📐 Type Theory

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

Amazon Rivian Electric Delivery Vans Arrive in Canada
cleantechnica.com·5d·
Discuss: Hacker News
🔍eBPF
Flag this post
USDA Threatens Stores Giving Discounts to People on Food Stamps
newrepublic.com·1d·
Discuss: Hacker News
🦀rust
Flag this post
KDE Plasma 6.6 To Support Intel's Adaptive Sharpness Feature
phoronix.com·3d·
Discuss: r/linux
❄️Nix
Flag this post
Addiction Markets: Abolish Corporate-Run Gambling
thebignewsletter.com·4d·
Discuss: Hacker News
🔗P2P Networks
Flag this post
DIY Pinball Machine Uses Every Skill
hackaday.com·3d
🤖ai
Flag this post
'No idea who he is', says Trump after pardoning crypto tycoon
bbc.com·2d·
Discuss: Hacker News
🔒Cryptography
Flag this post
My impressions of the MacBook Pro M4
michael.stapelberg.ch·4d·
Discuss: Lobsters, Hacker News, Hacker News
⚙LLVM
Flag this post
There’s Nothing Boring About Web Search on Retro Amigas
hackaday.com·5d
🧩WebAssembly
Flag this post
What the Air You Breathe May Be Doing to Your Brain
nytimes.com·3d·
Discuss: Hacker News
⚙️Systems Programming
Flag this post
International Criminal Court Kicks Out Microsoft
heise.de·5d·
Discuss: Hacker News
🔗P2P Networks
Flag this post
Devuan 6.0 Released For Debian 13 Without systemd
phoronix.com·1d
❄️Nix
Flag this post
Paris Had a Moving Sidewalk in 1900, and a Thomas Edison Film Captured It
openculture.com·2d·
Discuss: Hacker News
🌐Distributed Systems
Flag this post
Self-Driving Cars and the Fight Over the Necessity of Lidar
hackaday.com·5d
🔍eBPF
Flag this post
NASM 3.00 Assembler Is Ready With Intel APX & AVX10 Support
phoronix.com·2d
🧩WebAssembly
Flag this post
Recreating a Homebrew Game System from 1987
alex-j-lowry.github.io·6d·
Discuss: Hacker News
⚡Zero-Copy
Flag this post
[D] ArXiv CS to stop accepting Literature Reviews/Surveys and Position Papers without peer-review.
blog.arxiv.org·4d·
Discuss: Hacker News, Hacker News
🌐Distributed Systems
Flag this post
Linux 6.18 Kernel Happenings, Python 3.14, NTFSPLUS & Other October Highlights
phoronix.com·3d
⚙️Systems Programming
Flag this post
KosmicKrisp Now Vulkan 1.3 Compliant For Apple Devices
phoronix.com·4d
⚙LLVM
Flag this post
Introducing Tailscale Peer Relays
tailscale.com·6d·
Discuss: Hacker News
🔗P2P Networks
Flag this post
Composer: Building a fast frontier model with RL
simonwillison.net·6d·
Discuss: Hacker News
🔄Concurrency
Flag this post