Submissions by alex_hirner

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

Toward a (smoking) high performance tensor library in Nim

Streaming operations on NumPy arrays

The Rsync Algorithm in Python

Right and left folds in Python and Haskell

DrQA: Reading Wikipedia to Answer Open-Domain Questions

Private Deep Learning with MPC

Prototype for an encrypted Uber

Making a Neural Synthesizer Instrument