Runtime for functional programs. Claims to be very efficient. Lazy, garbage-collection-free, parallel, and beta-optimal.
Comparison between different monadic effect systems.
I am still hoping Scala 3 gets a built-in effect system eventually so that all of this can go away. Monadic style does not fit the language well.
Functional programming language for the JVM with row types, algebraic effects, and embedded Datalog.
JVM back end for Idris 2.
A one-binary initramfs.
A framework for secure booting, building on top of whatever secure booting functionality the firmware provides and then taking over from there.
Using Linux as firmware and as a boot loader.
We need to be flexible and build our systems in such a way that we can switch out cryptographic algorithms as new attacks come along.
What worked in the past does not necessarily work today. Evolving defensive measures and notions of what “unthinkable” actions are force changes in strategy.
Converts a pattern description in English into a regular expression with the help of artificial intelligence.
A dependently-typed programming language and interactive theorem prover with an extrinsic type system based on the untyped lambda calculus.
Air conditioning works, but is not sustainable. The paper discusses alternatives.
Under most circumstances, anyway.
Chris Auld’s critique of Steve Keen.
Economic modeling software by Steve Keen, the author of Debunking Economics.
A book about the great scientific discoveries of the 20th century. What makes this book special is that works with the actual original scientific papers.
An ML-family, statically typed, functional programming language for data-parallel computations. Targets CUDA, OpenCL, and CPUs.