@dwaern

Father of two. Programmer addicted to pretty math and logic. Co-founder of https://xitter.cf/t.co/WJSYwNDCG9

 France
Joined February 2012
  • Tweets119
  • Following235
  • Followers53
David Waern retweeted
Aumit Leon
@aumitleonAug 25
The benefits of nix (true reproducibility) are massive in a world where agentic flows define how we build software. It would seem to me that in a time when we're building more than ever, we should focus more on establishing solid fundamental infrastructure.
2
3
22
2,004
David Waern retweeted
Kit Langton
@kitlangtonMay 24
premature concretization is the root of some evil
5
10
104
9,001
Every Haskell project of at least moderate complexity has a ticket in its issue tracker named "thread blocked indefinitely in an STM transaction".
2
79
David Waern retweeted
@nixbuild@nixbuild4 Nov 2025
KVM builds are now generally available for all nixbuild.net users! docs.nixbuild.net/kvm-builds…
2
3
207
I have the idea that concurrent Nix build processes may work as a computational interpretation of the semi-axiomatic sequent calculus for adjoint logic. To check this, I am basing some new developments in nixbuild.net on the idea. Stay tuned :-)
187
David Waern retweeted
@nixbuild@nixbuild6 Mar 2025
Check out what our customers say about our on-premises deployments! nixbuild.net/#testimonials
2
2
342
I'll be speaking about remote Nix builds at planetnix.com in Pasadena in March! discourse.nixos.org/t/planet…
1
2
7
435
David Waern retweeted
@nixbuild@nixbuild16 Oct 2024
We have a new blog post out! This one is a summary of some of the things we've been working on lately: A new web UI, self-hosting and more! blog.nixbuild.net/posts/2024…
2
8
401
David Waern retweeted
@nixbuild@nixbuild11 Oct 2024
nixbuild.net is now en route to #Bazelcon in Mountain View, to learn more about @bazelbuild and talk to users combining Bazel with Nix! If you're there, don't hesitate saying hi to @rickynils and @dawaern!
2
8
385
Finally, an update on the Apilog project (work-in-progress API testing and documentation service): blog.apilog.net/posts/2024-0… We now have some (in flux) documentation and a private beta running online. DM me if you are interested in trying it out!
1
2
3
488
David Waern retweeted
@nixbuild@nixbuild22 Sep 2023
We've published a new blog post where we introduce a brand new feature of nixbuild.net: Build details and build logs available in your browser through handy links displayed directly in your terminal when running Nix builds! blog.nixbuild.net/posts/2023…
1
4
9
1,428
David Waern retweeted
@nixbuild@nixbuild26 Oct 2022
We are very happy to announce that nixbuild.net now has an API! Use it to get detailed info on your builds, and find out how many CPU hours you've spent. A blog post will come, but you can start using the API right now, check out the docs here: docs.nixbuild.net/api-usage/
3
2
17
David Waern retweeted
@nixbuild@nixbuild18 Aug 2022
We are very happy to announce that ARM builds on nixbuild.net now are generally available to all our users! The free CPU hours you get when signing up for our service can also be used for running ARM builds. blog.nixbuild.net/posts/2022… #nix #arm64
3
7
I miss this all the time in Haskell, for all the reasons listed in the thread. You can kind of get it with Backpack, but it's too heavy.
Arnaud Spiwack@aspiwack6 May 2022
On authored interface files. This is how I call things like Ocaml's mli files. I don't know an established name for them, so it's the name I propose using. An authored interface file contains the whole documented interface exposed by a module/component/unit/file/thing. 1/9
2
"The history of the colonization of Ukraine, like the history of troubling and divisive subjects in general, can help us get free of myths." newyorker.com/news/essay/the…

The War in Ukraine Is a Colonial War

For centuries, the country has lived in the shadow of empire. But its past also provides the key to its present.

newyorker.com
31
524
60
1,324
David Waern retweeted
@nixbuild@nixbuild4 Apr 2022
Check out our CI Workflow for GitHub Actions! It's a Reusable Workflow you can integrate with minimal configuration. It builds a Nix flake in your repo as concurrent GHA jobs on nixbuild.net, giving you a simple CI dashboard directly in GitHub! github.com/nixbuild/nixbuild…
3
4
David Waern retweeted
NixOS@nixos_org22 Mar 2022
Really cool stuff from the @nixbuild team on remote builds! blog.nixbuild.net/posts/2022…
1
2
1
18
With this new feature, nixbuild.net becomes an effective central engine of your Nix-based devops infrastructure. And we have more features planned...
@nixbuild@nixbuild16 Mar 2022
New blog post: Lightning-fast CI with nixbuild.net We're announcing a new way of running Nix builds that can improve CI build times drastically on services like GitHub Actions! No-op builds can now run in seconds! blog.nixbuild.net/posts/2022…
2
Load more