Stories by alex_hirner

Kubernetes as an API Standard

Karabiner-sauerkraut: Switch to US keyboard with caps-lock

Programming Servo: the incredibly shrinking timer

Rust Rocks NB-IoT on Apache Mynewt

Solving the Generalized Streaming Iterator Problem Without GATs (2018)

Vulkan Progress Report #3

The Theory of Concatenative Combinators (2007)

Fun While Avoiding Lambda (Python, 2008)

Dots: Entity Component System

How to Prove That a Turing Machine Is Universal

What Makes Functional and Object-Oriented Programming Equal

Help Me Solve an Old Approximate Computing Problem

Tartiflette – GraphQL Server in Python 3.6 and Asyncio

Solving the XY Model Using Mixed Integer Optimization in Python

Mere Functional Programming in F#

Program Design by Calculation [pdf]

Show HN: MoonVision

Python library for quantum machine learning

Grammatical Inference Using the Z3 SMT Solver

Learning as a SMT Problem (2017)

2
3
4
5
6
7
8
9