David Waern

Father of two. Programmer addicted to pretty math and logic. Co-founder of

[Kit Langton @kitlangton]

premature concretization is the root of some evil

[David Waern @dwaern]

Every Haskell project of at least moderate complexity has a ticket in its issue tracker named "thread blocked indefinitely in an STM transaction".

[@nixbuild @nixbuild]

KVM builds are now generally available for all https://t.co/MkPMu3Lsfk users!

https://t.co/M6LYSgfV6P

[David Waern @dwaern]

@aramh @subcountability You got them back to front :-)

[David Waern @dwaern]

@aramh Can you add uniqueness logic (with its own modality) to this so one can borrow the pointer also (maybe getting a new reference type then)?

[David Waern @dwaern]

@HSVSphere IMHO, there is no best FP language. Haskell is great for DSLs and OCaml is great for engineering.

[David Waern @dwaern]

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 https://t.co/KitShTO0aj on the idea. Stay tuned :-)

[David Waern @dwaern]

@onehappyfellow Kant was on to something though https://t.co/EeXDNeApMm

[David Waern @dwaern]

@JustDeezGuy It gets a bit better if you combine it with a build cluster solution like https://t.co/KitShTNskL (shameless plug). You get caching and we're working on improving observability.

[David Waern @dwaern]

@owickstrom I discovered Rameau through his Debussy – Rameau record which is really great also.

[David Waern @dwaern]

@fmzakari The system I'm imagining would need some extra type-level features for paths. Integrating with Nix the language is the hard part ;-( Maybe with a really small subset, or with gradual types like Nickel.

[@nixbuild @nixbuild]

Check out what our customers say about our on-premises deployments!

https://t.co/sNn6VBucV3

[Rickard Nilsson @rickynils]

I'll be speaking about remote Nix builds at https://t.co/zhDAsOTh02 in Pasadena in March!
https://t.co/29UTLdb08D

[@nixbuild @nixbuild]

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!
https://t.co/SMkeydhX4g

[@nixbuild @nixbuild]

https://t.co/MkPMu3Lsfk 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!

[David Waern @dwaern]

@TechnoEmpress @tomjaguarpaw Maybe with UndecidableInstances their order could affect termination? Not sure.

[David Waern @dwaern]

@kc_srk That paper is great! It cleared things up for me too.