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.
Matthias
#
Even with popular support for the CSU dwindling, it still seems unlikely for the left to capture a significant number of direct mandates (first-vote seats assigned by first-past-the-post voting) in Bavaria due to vote splitting between the three left-leaning parties (the Left Party, the Social Democrats, and the Greens).
If I were responsible for any of the three partiesβ Bavarian election strategies, I would propose to the other two to hold a joint primary election in each voting district. This would likely improve the odds for both the Social Democrats and the Greens while not really changing them for the Left Party (while still giving them the benefit of hurting the other end of the political spectrum plus the opportunity to build alliances within their own).
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#.