Stories by pizza

The Homotopy Type Theory (HoTT) Game

A portable idris2 implementation of TLS 1.2 and TLS 1.3 protocol

Ask HN: Equivalent of Docker-compose for managing team knowledge services?

Typeclassopedia

Polynote: The polyglot notebook with first-class Scala support

When Seniors Write Wikipedia Online

Domain: Haskell Focused domain model toolkit with codegen

Water drinking acutely improves orthostatic tolerance in healthy subjects (2002)

Democratic Domestic Product

Zeratool: Automatic Exploit Generation

Solving the Halting Problem

The Haskell School of Music (2012) [pdf]

Joanne Cohn and the email list that led to ArXiv

Ask HN: What are you un-learning?

Omnizart: Library for automatic music transcription

Chaos: Strongly typed, dynamic, compilable, zero cyclomatic complexity language

Proglangdesign.net

Awkward: Nested, jagged, differentiable, mixed type, GPU-enabled, JIT'd NumPy

Gmsh: A 3D finite elem. mesh generator/CAD engine with C/C++/Python/Julia API

Applied logic for the United Nations (2020)

13
14
15
16
17
18
19
20
21
22