Stories by alex_hirner

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)

How to make a library in the new Dotnet SDK world

Remembering SkiFree

RF transmitter for Raspberry Pi

Programming with Pushouts

The algebra and calculus of algebraic data types

IHaskell on CoCalc

Process Algebras: Whats the point? (2007)

Brief, Incomplete, and Mostly Wrong History of Programming (2009)

A Moby-based container engine for IoT

Spectre Vulnerability Test

Nim in 2017

Arraymancer – A n-dimensional tensor library

Nim can be Haskell :-)

Why Rust fails hard at scientific computing

2
3
4
5
6
7
8
9