Calvinist predestination versus Newcombβs problem.
Western culture has been moving towards more female influence for decades now. This has both good and bad consequences.
Build fully statically linked Haskell programs.
Renewable and nuclear are both far safer than conventional energy sources. The difference between the two is trivial in comparison.
How to port an existing Haskell application to a Polysemy-based effect system in small steps.
A Scala library for partial evaluation. Can be used to implement embedded domain-specific languages or to compile high-level code into optimized low-level code.
Type-safe staged metaprogramming for Scala with quasiquotation and code pattern matching. syntax-case, basically.
A functional programming language based on partial evaluation and explicit inlining opt-out.
Pioneer in nursing and statistics.
Type classes for F#.
On encoding type classes in F#.
A literature review. Quote:
In terms of environmental and climate change effects, organic farming is less polluting than conventional farming when measured per unit of land but not when measured per unit of output.
Sets up Docker and a Kubernetes cluster on your PC. Works cross-platform and so can be used to supplant the (now monetized) Docker Desktop application on non-GNU/Linux systems.