ghuntley

27 ms·

421.
NixOS for the Impatient(borretti.me)
6 points by ghuntley 3y ago|0 comments
422.
NixFS: Access Flakes Through Filesystem Paths(discourse.nixos.org)
3 points by ghuntley 3y ago|0 comments
423.
Twitter's e2ee DMs are better than nothing(mjg59.dreamwidth.org)
3 points by ghuntley 3y ago|0 comments
424.
Initial Preview Release of Private Extension Repositories for VS Code(github.com)
1 points by ghuntley 3y ago|0 comments
425.
Flattening ASTs (and Other Compiler Data Structures)(cs.cornell.edu)
4 points by ghuntley 3y ago|0 comments
426.
Two Years of OCaml(borretti.me)
9 points by ghuntley 3y ago|0 comments
427.
Type-Safe Data Processing Pipelines(tweag.io)
1 points by ghuntley 4y ago|0 comments
428.
Fastly 0day: Malformed HTTP/1.1 Request Causes OOM with H2O Server
1 points by ghuntley 4y ago|0 comments
429.
Optimizing Haskell Code for Runtime Verification: Part 2(serokell.io)
15 points by ghuntley 4y ago|0 comments
430.
My thoughts on OCaml(osa1.net)
185 points by ghuntley 4y ago|219 comments
431.
The Nix, OpenGL and Ubuntu Integration Nightmare(alternativebit.fr)
3 points by ghuntley 4y ago|0 comments
432.
Defunctionalization with Dependent Types(arxiv.org)
3 points by ghuntley 4y ago|0 comments
433.
Nixica – Nix with Gitlab Startup Experience(nixica.dev)
2 points by ghuntley 4y ago|0 comments
434.
Data races are bad (OCaml/Jane Street)(github.com)
3 points by ghuntley 4y ago|0 comments
435.
I Moved from Gitpod to Goorm(medium.com)
1 points by ghuntley 4y ago|0 comments
436.
Load Balancing (Visualised)(samwho.dev)
4 points by ghuntley 4y ago|0 comments
437.
Take Control of Your $Home(getfleek.dev)
9 points by ghuntley 4y ago|2 comments
438.
Baking Images with Nix for Robust Private Networks at Bowtie(bowtie.works)
4 points by ghuntley 4y ago|0 comments
439.
Can PL theory make you a better software engineer?(typetheoryforall.com)
71 points by ghuntley 4y ago|14 comments
440.
Falsify: Property-based testing with internal integrated shrinking(hackage.haskell.org)
3 points by ghuntley 4y ago|0 comments
441.
Python Monorepo: An Example. Part 1: Structure and Tooling(tweag.io)
1 points by ghuntley 4y ago|0 comments
442.
Explainer: File Types and Extensions(textslashplain.com)
1 points by ghuntley 4y ago|0 comments
443.
Fundraising for the Nix Documentation Project(discourse.nixos.org)
1 points by ghuntley 4y ago|0 comments
444.
Weeknotes: A new LLM CLI tool, plus automating my weeknotes and newsletter(simonwillison.net)
3 points by ghuntley 4y ago|0 comments
445.
Nix Chats: How to Run a Windows/macOS VM on NixOS (With Geoffrey Huntley)(youtube.com)
1 points by ghuntley 4y ago|0 comments
446.
An abstract example of refactoring from interaction-based to property testing(blog.ploeh.dk)
1 points by ghuntley 4y ago|0 comments
447.
A Safer High Performance AV1 Decoder(memorysafety.org)
1 points by ghuntley 4y ago|0 comments
448.
Introducing Trurl: trurl is a tool in a similar spirit of tr but for URLs(daniel.haxx.se)
24 points by ghuntley 4y ago|2 comments
449.
I for one welcome our GPT overlords co-workers(webdirections.org)
1 points by ghuntley 4y ago|0 comments
450.
A Bloomberg Donation(daniel.haxx.se)
5 points by ghuntley 4y ago|2 comments

More ›