📐 Type Theory

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

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
Building a Rubik’s Cube That Solves Itself
hackaday.com·2d
🌐Distributed Systems
Flag this post
Regular Old Diodes Can Be More Photosensitive Than You Think
hackaday.com·1d
🔍eBPF
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
Anonymous credentials: rate-limiting bots and agents without compromising privacy
blog.cloudflare.com·5d·
Discuss: Hacker News
🤖ai
Flag this post
Building a Xenon Lamp for Spectroscopy
hackaday.com·2d
🧩WebAssembly
Flag this post
Expert Systems: The Dawn of AI
hackaday.com·6d
🤖ai
Flag this post
Zohran Mamdani wins the New York mayoral race
nbcnews.com·2h·
Discuss: Hacker News
🦀rust
Flag this post
The Arduino Uno Q is a weird hybrid SBC
jeffgeerling.com·4d·
Discuss: Hacker News
⚡Zero-Copy
Flag this post
Why We're Never Using Wise Again – A Cautionary Tale from a Business Burned
shaun.nz·5d·
Discuss: Hacker News
🤖ai
Flag this post
Making YouTube Work in the Netscape 4.5 Browser on Windows 98
hackaday.com·4d
🧩WebAssembly
Flag this post
AerynOS 2025.10 ISOs Released - GNOME 49, Switches Back To GNU libstdc++
phoronix.com·4d
❄️Nix
Flag this post
Linux 6.18-rc4 Released: "None Of It Looks Particularly Scary"
phoronix.com·2d·
Discuss: r/linux
⚙️Systems Programming
Flag this post
The giant basket case countries
noahpinion.blog·3d·
Discuss: Hacker News
🦀rust
Flag this post
Linux 6.18-rc4 Introducing More AMD 6 Model IDs, Other x86 Fixes
phoronix.com·2d
🔍eBPF
Flag this post
Kafka is Fast – I'll use Postgres
topicpartition.io·6d·
Discuss: Lobsters, Hacker News, r/programming
💾Databases
Flag this post
All Hail The OC71
hackaday.com·6d
🔍eBPF
Flag this post