📐 Type Theory

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

Kyoto University team develops pain reliever comparable to morphine
japantimes.co.jp·3d·
Discuss: Hacker News
🔍eBPF
Hiroshima (1946)
newyorker.com·5d·
Discuss: Hacker News, r/Longreads, r/longform
🦀rust
What Happens When Lightning Strikes A Plane?
hackaday.com·2d
⚡Zig
Linux 6.17 Introduces hash_pointers= Boot Parameter
phoronix.com·2d·
Discuss: r/linux
⚡Zero-Copy
Show HN: Voltpeek – A Vim inspired oscilloscope software
github.com·5d·
Discuss: Hacker News
🔍eBPF
Electric bikes might just be the healthiest thing to ever happen to teenagers
electrek.co·2d·
Discuss: Hacker News
🌐Distributed Systems
Grok generates fake Taylor Swift nudes without being asked
arstechnica.com·2d·
Discuss: Hacker News, Hacker News, r/technews
❄️Nix
Flex PCB Underlies the Watch of the Future
hackaday.com·2d
🧩WebAssembly
AI Code Review the Right Way
hackaday.com·6d
🤖ai
Collections: Life, Work, Death and the Peasant, Part IIIa: Family Formation
acoup.blog·6d·
Discuss: Hacker News
🌐Distributed Systems
LoRaSense Pi Hat aims to Kick Start IoT Projects
hackaday.com·1d
⚙LLVM
The case for having roommates (even when you can afford to live alone)
supernuclear.substack.com·5d·
Discuss: Substack
🧮Functional Programming
A real PowerBook: the Macintosh Application Environment on a PA-RISC laptop
oldvcr.blogspot.com·4d·
Discuss: Lobsters, Hacker News
⚙LLVM
Vibe Coding Is the Fast Fashion Industry of Software Engineering
pdelboca.me·6d·
Discuss: Hacker News
💻programming
New AMD Zen 6 Linux Patches Posted - Confirming Up To 16 Memory Channels
phoronix.com·5h
🔄Concurrency
Australia’s Space Program Finally Gets Off The Pad, But Only Barely
hackaday.com·1d
❄️Nix
<div xmlns="http://www.w3.org/1999/xhtml"> The X11 SECURITY extension from the 1990ies </div>
uninformativ.de·5d·
Discuss: Hacker News
❄️Nix
Intel Xe Enabling SR-IOV PF By Default, Marking Driver As "Broken" For Non-4K Kernels
phoronix.com·1d
⚙️Systems Programming
AlmaLinux Introduces Native NVIDIA Support Using Open-Source Kernel Driver
phoronix.com·1d·
Discuss: Hacker News
⚙️Systems Programming
Termagotchi – A terminal-based Tamagotchi simulation written in Go
github.com·5d·
Discuss: Hacker News
🤖ai