📐 Type Theory

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

Türkiye will not sell rare earth elements to the USA
ceenergynews.com·1d·
Discuss: Hacker News
🦀rust
Flag this post
AI Broke Interviews
yusufaytas.com·3d·
Discuss: Hacker News, r/programming
🤖ai
Flag this post
Signs of introspection in large language models
anthropic.com·6d·
Discuss: Hacker News, Hacker News, r/ClaudeAI
🤖ai
Flag this post
OpenAI Moves To Complete Potentially The Largest Theft In Human History
thezvi.substack.com·4d·
Discuss: Substack
🤖ai
Flag this post
2025 Component Abuse Challenge: A Transistor As A Voltage Reference
hackaday.com·3d
🔍eBPF
Flag this post
Dual-Arm Mobile Bot Built on IKEA Cart Costs Hundreds, Not Thousands
hackaday.com·1d
🧩WebAssembly
Flag this post
Tech workers' fight for living wages and a 32-hour workweek is a battle for all
thechiefleader.com·1d·
Discuss: Hacker News
🦀rust
Flag this post
MCE Blaster Translates TTL For Modern(ish) Monitors
hackaday.com·1d
⚙LLVM
Flag this post
Ask HN: Do you have an aversion to recent TLDs?
news.ycombinator.com·3d·
Discuss: Hacker News
🦀rust
Flag this post
Show HN: Ellipticc Drive – open-source cloud drive with E2E and PQ encryption
ellipticc.com·5d·
Discuss: Hacker News
🔒Cryptography
Flag this post
Amazon has launched a major global crackdown on Fire Stick piracy
the-sun.com·2d·
Discuss: Hacker News
🔗P2P Networks
Flag this post
Pitching the Death Star to Investors
supremefounder.com·3d·
Discuss: Hacker News
❄️Nix
Flag this post
Intel Preparing Linux Graphics Driver For Xe3P DisplayPort 2.1 ALPM Support
phoronix.com·22h
⚙️Systems Programming
Flag this post
Learn What a Gaussian Splat Is, Then Make One
hackaday.com·4d
🧩WebAssembly
Flag this post
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