Stories by lemper

In which five different paths lead to methods

The C++ Iceberg

KMonad: An Advanced Keyboard Manager

What Computers Cannot Do: The Consequences of Turing-Completeness

Exploiting the NT Kernel in 24H2

Getting your Haskell executable statically linked without Nix

Type Safety Doesn't Matter (2023)

Bluefin Effect System

Beckhoff achieves a smaller footprint by switching from Windows to FreeBSD

Automated Stitching of Chip Images

Why CVE-2022-3602 was not detected by fuzz testing

Hardest Problem in Computer Science: Centering Things

Zoomer Tries RSS: In Praise of Yarr

A lazy and flippant classification of programming languages

Nix from the Bottom Up

Darktable: Crashing into the wall in slow-motion

From Ada to Platinum Spark: A Case Study for Reusable Bounded Stacks

Tracing vs. Partial Evaluation

How to Download and Install Linux

Gnome Merge Requests Opened That Would Drop X.org Session Support

1
2