📐 Type Theory

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

Israels top military lawyer resigns, goes missing, is found and thrown into jail
apnews.com·1h·
Discuss: Hacker News
🔒Cryptography
Flag this post
Linux Kernel Ported To WebAssembly - Demo Lets You Run It In Your Web Browser
phoronix.com·2d·
Discuss: Hacker News
🧩WebAssembly
Flag this post
You Don't Need Anubis
fxgn.dev·1d·
Discuss: Lobsters, Hacker News
🤖ai
Flag this post
Is This The Last PCB You’ll Ever Buy?
hackaday.com·19h
🧩WebAssembly
Flag this post
Immutable releases are now generally available on GitHub
github.blog·3d·
Discuss: Hacker News
❄️Nix
Flag this post
Why Nextcloud feels slow to use
ounapuu.ee·21h·
Discuss: Hacker News, r/selfhosted
🧩WebAssembly
Flag this post
Git 2.52-rc0 Starts Working On SHA1-SHA256 Interop, Hints For New Default Branch Name
phoronix.com·8h
❄️Nix
Flag this post
Who needs Graphviz when you can build it yourself?
spidermonkey.dev·6d·
Discuss: Lobsters, Hacker News, Hacker News
⚡Zig
Flag this post
SwirlDB: Modular-first, CRDT-based embedded database
docs.swirldb.org·6d·
Discuss: Hacker News
🧩WebAssembly
Flag this post
New national law will turn large parking lots into solar power farms
electrek.co·1d·
Discuss: Hacker News
🌐Distributed Systems
Flag this post
Just Use a Button
gomakethings.com·3d·
Discuss: Lobsters, Hacker News
🧩WebAssembly
Flag this post
Context engineering
chrisloy.dev·4d·
Discuss: Hacker News, Hacker News
✅Formal Methods
Flag this post
We are building AI slaves. Alignment through control will fail
utopai.substack.com·4d·
Discuss: Substack
🌐Distributed Systems
Flag this post
Wikipedia row erupts as Jimmy Wales intervenes on 'Gaza genocide' page
thenational.scot·6h·
Discuss: Hacker News
🦀rust
Flag this post
CLI to manage your SQL database schemas and migrations
github.com·1d·
Discuss: Hacker News
💾Databases
Flag this post
Fil-C: A memory-safe C implementation
lwn.net·6d·
Discuss: Hacker News
⚡Zig
Flag this post
The AI bubble has reached its ‘fried chicken’ phase
ft.com·3d·
Discuss: Hacker News
🤖ai
Flag this post
Google pulls AI model after senator says it fabricated assault allegation
theverge.com·14h·
Discuss: Hacker News
🤖ai
Flag this post
Show HN: Deep Research Hacker News, ArXiv and Google (Without LLMs)
sturdystatistics.com·6d·
Discuss: Hacker News
🧮Functional Programming
Flag this post
Pi Zero Powers A Little Indoor Rover
hackaday.com·1d
🤖ai
Flag this post