Stories by -1

Interfaces for Representing Uncertainty

Show HN: I integrated my from-scratch TCP/IP stack into the xv6-riscv OS

A tutorial implementation of a dependently typed lambda calculus [pdf]

Dreaming of Graphs in the Open Lakehouse

Math Breakthroughs from Behind Bars

Haraka Hash: A Look at AES-Based PoW for Blockchains

Lide.device: An Open source IDE driver for Amiga computers

Fast .NET Converter for Markdown to HTML, HTML to Markdown, AmigaGuide to HTML

How the internet gets inside us (2011)

Bring Your Own Model to Chat in Visual Studio

MCP plugins study – 10% of tested plugins „fully exploitable"

Sapir-Whorf does not apply to Programming Languages

Physics-based simulation and optimization in desktop 3D printing