Stories by eggy

Introduction to Formal Verification with Spark

Ask HN: Safe Fundraising for Hardware Startup

Muen SK for x86/64 – formally verified Separation Kernel

Ask HN: Optimum small-business web hosting, email, and project platforms

3D Cellular Automata and GOL in the J programming language

Game Jam 2 Results

Mach Game Engine in Zig

IronScheme – R6RS scheme implementation for .NET

Corman Lisp development environment for MS Windows

Ask HN: Input forms and people with just one legal name

LisPi #0 – Lisp environment on bare metal [YouTube]

The race to reinvent document editing

Coding a Text Editor in J [YouTube]

AFL – Amibroker Formula Language – Vector PL for Trading

Lunar IceCube Mission (2019)

Convolutional Neural Networks in APL (in 10 lines) [pdf]

Nap Framework for Creative Coding

Painting a Selfie Girl with Maths

Evaluation of rebreathed air in human nasal cavity with N95 respirator

1