Research

+ More
+ More
Reviving an Old iMac with NixOSReviving an Old iMac with NixOS
Upstream posts
A Bit Late but Ultimate Analysis: DeepSeekA Bit Late but Ultimate Analysis: DeepSeek
A Brief Look at Untyped Lambda CalculusA Brief Look at Untyped Lambda Calculus
dependent haskell post thumbnaildependent haskell post thumbnail
How to Implement an LR(1) ParserHow to Implement an LR(1) Parser
formal verification thumbnailformal verification thumbnail
Rapid introduction to modal logic, part 2Rapid introduction to modal logic, part 2
Editor’s pick
Incomplete and Utter Introduction to Modal Logic, Part 1Incomplete and Utter Introduction to Modal Logic, Part 1
Upstream posts
Insane Properties of the Closed Long Ray and the Long LineInsane Properties of the Closed Long Ray and the Long Line
Serokell at ZuriHac 2019Serokell at ZuriHac 2019
The Worst Random Number GeneratorThe Worst Random Number Generator
The Problem of Intermediate Recursively Enumerable Turing DegreesThe Problem of Intermediate Recursively Enumerable Turing Degrees
Challenge of modeling large quantum computersChallenge of modeling large quantum computers
Trees that MeltTrees that Melt