📐 Type Theory

Dependent Types, Proving Program Correctness, Curry-Howard Isomorphism, Formal Verification

Building A DIY Ryzen-Based PC!
hackaday.com·2d
⚙️Systems Programming
Flag this post
Building A Clamshell Writer Deck
hackaday.com·4d
⚙️Systems Programming
Flag this post
Measuring characteristics of TCP connections at Internet scale
blog.cloudflare.com·6d·
Discuss: Hacker News
🔍eBPF
Flag this post
Flatpak 1.17 Adds Support For Sideloading From OCI Images, flatpak+HTTPS URIs
phoronix.com·1d
❄️Nix
Flag this post
The jQuery Age of AI Agents
metorial.com·6d·
Discuss: Hacker News
🧩WebAssembly
Flag this post
Vibecoded tool that converts ArXiv papers to interactive podcasts
wadamczyk.io·5d·
Discuss: Hacker News
🔒Cryptography
Flag this post
GNOME Gains A New macOS-Inspired Quick Menu Option
phoronix.com·4d
⚙LLVM
Flag this post
Some rando turned me into a meme coin
cloudfour.com·4d·
Discuss: Hacker News
⚡Zig
Flag this post
Stop AI: 14 Steps to turn off AI
againstdata.com·1d·
Discuss: Hacker News
🤖ai
Flag this post
Dating: A mysterious constellation of facts
dynomight.net·6d·
Discuss: Hacker News
🧮Functional Programming
Flag this post
Qt Creator 18 released
qt.io·5d·
Discuss: Hacker News, r/cpp, r/programming
❄️Nix
Flag this post
Wacl – A Tcl Distribution for WebAssembly
github.com·6d·
Discuss: Hacker News
🧩WebAssembly
Flag this post
Raspberry Pi Pico Bit-Bangs 100 Mbit/S Ethernet
elektormagazine.com·6d·
Discuss: Hacker News
🔍eBPF
Flag this post
China solves 'century-old problem' with new analog chip that is 1,000 times faster than high-end Nvidia GPUs
livescience.com·4d·
Discuss: Hacker News, r/computers
⚙️Systems Programming
Flag this post
AI's Dial-Up Era
wreflection.com·1d·
Discuss: Hacker News
🤖ai
Flag this post
SailfishOS: A Linux-based European alternative to dominant mobile OSes
sailfishos.org·3d·
Discuss: Hacker News
⚙LLVM
Flag this post
Regular Old Diodes Can Be More Photosensitive Than You Think
hackaday.com·1d
🔍eBPF
Flag this post
Building a Rubik’s Cube That Solves Itself
hackaday.com·2d
🌐Distributed Systems
Flag this post
Ask HN: Where to Begin with "Modern" Emacs?
news.ycombinator.com·3d·
Discuss: Hacker News
🧩WebAssembly
Flag this post
The Internet Runs on Free and Open Source Software–and So Does the DNS
icann.org·6d·
Discuss: Hacker News, r/opensource
❄️Nix
Flag this post