Stories by agumonkey

Linux Kernel Fastboot [pdf]

Houdini 17.5 Launch Talk

The Design and Implementation of Probabilistic Programming Languages (2014)

Rust’s standard library was vulnerable for years and nobody noticed

Julia v1.1 Release Notes

It's Magit – John Weigley EmacsSF

OSSAT 2017 – Purely Functional Configuration with Nix and NixOS by Joël Franusic

Coalton: ML Dialect Embedded in Common Lisp

8th (forth dialect) v18.07 released (perf and bug fixes)

GNU Guile 2.9.1 (beta) released – support for JIT [x86_64 as of now]

The Art of Prolog, Second Edition

Lambda lifting

Cedille v1.0 – theorem-prover and dependently typed programming language

Forrest Man – Jadav Payeng hand planted forest to save Majuli Island ecosystem

Arch Hurd is being maintained again since 2018-06-17 (no new ISO yet)

Switching-Mode Power Supply Design – Jerrold Foutz (2010)

Live Object Programming in Pharo Mooc – 3rd Run Fall 2018

Breadth-First Traversals in Far Too Much Detail (Haskell)

Problem Solving and Clojure 1.9 with Rich Hickey

QEMU version 2.12.0 released – Spectre/Meltdown/Rpi3/

1
2
3
4
5
6
7
8