Submissions from tweag.io

		How to make your papers run: Executable formal semantics for your language (201 (tweag.io)
		1 point by todsacerdoti 2 hours ago \| past \| discuss
		Bazel, Cabal, Stack: Why choose when you can have them all? (2019) (tweag.io)
		2 points by transpute 9 days ago \| past \| discuss
		Reflecting away from definitions in Liquid Haskell (tweag.io)
		4 points by JNRowe 18 days ago \| past \| discuss
		Reflecting away from definitions in Liquid Haskell (tweag.io)
		2 points by ingve 19 days ago \| past
		Adding algebraic data types to Nickel (tweag.io)
		62 points by JNRowe 26 days ago \| past \| 21 comments
		Adding algebraic data types to Nickel (tweag.io)
		1 point by ingve 26 days ago \| past
		Deploying Buildbarn on Kubernetes with MTLS on the Side (tweag.io)
		1 point by ingve 33 days ago \| past
		Let there be types: observable type sharing for GHC Core (tweag.io)
		2 points by ingve 47 days ago \| past
		Safe Composable Python (tweag.io)
		2 points by ingve 74 days ago \| past
		Integration testing: pain points and remedies (tweag.io)
		1 point by JNRowe 81 days ago \| past
		Nickel Modules (tweag.io)
		57 points by ryangibb 3 months ago \| past \| 21 comments
		Safe Composable Python (tweag.io)
		2 points by ingve 3 months ago \| past
		Liquid Haskell Through the Compilers (tweag.io)
		6 points by ingve 4 months ago \| past
		Nickel: Toward a Programmable LSP for Configurations (tweag.io)
		2 points by ingve 4 months ago \| past
		Re-implementing the Nix protocol in Rust (tweag.io)
		2 points by ellieh 4 months ago \| past
		The right words in the right place: Nix documentation is getting better (tweag.io)
		3 points by ingve 5 months ago \| past
		Re-implementing the Nix protocol in Rust (tweag.io)
		2 points by JNRowe 5 months ago \| past
		Re-implementing the Nix protocol in Rust (tweag.io)
		2 points by goranmoomin 5 months ago \| past
		Re-implementing the Nix protocol in Rust (tweag.io)
		1 point by ingve 5 months ago \| past
		Cloud Native Computing in 2024 – feeling the pulse at Kubecon (tweag.io)
		1 point by asymmetric 5 months ago \| past
		Mapping a Universe of Open Source Software (2019) (tweag.io)
		1 point by sdht0 6 months ago \| past
		Software Identifiers through the eyes of Nix (tweag.io)
		3 points by ingve 6 months ago \| past
		Porting Libffi to Pure WebAssembly (tweag.io)
		2 points by ctoth 6 months ago \| past
		Extending destination-passing style programming to arbitrary data types in Line (tweag.io)
		3 points by todsacerdoti 6 months ago \| past
		Bazel Remote Execution with Rules_nixpkgs (tweag.io)
		1 point by todsacerdoti 7 months ago \| past
		Supercharging Your Rust Static Executables with Mimalloc (tweag.io)
		2 points by hochmartinez 7 months ago \| past
		A look under GHC's hood: desugaring linear types (tweag.io)
		2 points by ingve 8 months ago \| past
		CLI user experience case study (tweag.io)
		179 points by Xophmeister 8 months ago \| past \| 159 comments
		Supercharging your Rust musl executables with mimalloc (tweag.io)
		3 points by croemer 9 months ago \| past
		Source filtering with file sets (tweag.io)
		27 points by wwilson 10 months ago \| past \| 5 comments
		More