A month or so back, I wrote a tweet saying that F# computation expressions are amazing and no other language has anything like that. I can finally provide all the evidence by linking to a PADL 2014 paper about them.
I’m using flakes for my system configuration. Most things are going smoothly, but I’m stuck on one thing. I create a custom pkgs attribute set in flake.nix and then attempt to pass it to nixosSystem for use in all module…
linked to me from https://twitter.com/cattheory/status/1220803662802489344 (by Joomy Korkut, PhD student in programming languages at Princeton https://cs.princeton.edu/~ckorkut/) — « not a language but a way to reason about C programs in Coq: VST lets you define separation logic predicates that describe how a Coq type would be represented in C: https://cs.princeton.edu/~appel/vc/Verif_reverse.html#lab32 \n\n might be interesting to you, or not, I don't know. » at 9:20 PM CET on Jan 24, 2020
Bamboo Spark, to wyjątkowe urządzenie firmy Wacom, które stosunkowo niedawno weszło na nasz rynek. Łączy ono w sobie możliwości tradycyjnych tabletów grafi…
Hi! I’ve been a happy user of NixOS for quite some time, but I couldn’t quite polish my nix-shell workflow and I am wondering if you have any practical tips? I think that my problems with nix-shell boil down to the fact…
There is a common view that extracting text from a PDF document should not be too difficult. After all, the text is right there in front of our eyes and humans consume PDF content all the time with great success. Why would it be difficult to automatically extract the text data? Turn
# A survey of software related to the Gemini protocol
This is a collection of Nix packages, either picked from the main Nixpkgs repository or locally hosted. Please submit a patch if you wish to add packages in either form.
Requires Nix with flakes supported and enabled.
=> https://www.tweag.io/posts/2020-05-25-flakes.html