📐 Type Theory

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

Student Drone Flies, Submerges
hackaday.com·3d
💻programming
Linux 6.17 SoundWire Support Extended To Upcoming AMD ACP 7.2 Hardware
phoronix.com·1d
⚙️Systems Programming
Intel Phasing Out 16x MSAA Support - Being Disabled With Xe3 Graphics
phoronix.com·1d·
Discuss: r/hardware
⚡Zero-Copy
Apple HFS/HFS+ File-System Drivers See Many Fixes In Linux 6.17
phoronix.com·5d
❄️Nix
Open Source 5-Axis Printer Has Its Own Slicer
hackaday.com·4d
🧩WebAssembly
Grok generates fake Taylor Swift nudes without being asked
arstechnica.com·3d·
Discuss: Hacker News, Hacker News, r/technews
❄️Nix
Linux 6.17 KVM Additions Include Intel LKGS From FRED, Smarter AMD SEV Cache Flushing
phoronix.com·1d
⚡Zero-Copy
Ubuntu 24.04.3 LTS Released With Linux 6.14 HWE Kernel
phoronix.com·1d·
Discuss: r/linux
🔍eBPF
Palantir: The Most Evil Company
politicaleconomist.substack.com·5d·
Discuss: Substack
🔍eBPF
ChatGPT Chats Got Indexed. OpenAI Took Them Down, but the Internet Remembers
growtika.com·5d·
Discuss: Hacker News, Hacker News
🔗P2P Networks
A DIY Fermenter for Flavorful Brews
hackaday.com·5d
🧩WebAssembly
AI promised efficiency. Instead, it's making us work harder
afterburnout.co·4d·
Discuss: Hacker News
🤖ai
Bourdain, My Camera, and Me (2021)
melaniedunea.com·5d·
Discuss: Hacker News
🦀rust
Compute Express Link Code Further Cleaned Up In Linux 6.17
phoronix.com·5d
❄️Nix
NVIDIA CUDA 13.0 Available With Unified Arm Platform Support
phoronix.com·4d
⚙️Systems Programming
Cow vs. Water Buffalo Mozzarella
itscheese.com·6d·
Discuss: Hacker News
🤖ai
Did Craigslist decimate newspapers? Legend meets reality.
poynter.org·6d·
Discuss: Hacker News, Hacker News
🔗P2P Networks
Coffeematic PC – A coffee maker computer that pumps hot coffee to the CPU
dougmacdowell.com·6d·
Discuss: Hacker News
⚙️Systems Programming
The Day MOOCs Died: Coursera's Preview Mode Kills Free Learning
classcentral.com·5d·
Discuss: Hacker News
🤖ai
Exploring VersaLOGIC pre-LSI Logic Cards With the Data/620
hackaday.com·5d
🌐Distributed Systems