📐 Type Theory

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

Does brand advertising work? Upwave (YC S12) is hiring engineers to answer that
upwave.com·6d·
Discuss: Hacker News
⚙LLVM
Flag this post
GooglePlay reports latest F-Droid version of Aves Libre as potential malware
github.com·5d·
Discuss: Hacker News
🔍eBPF
Flag this post
An Audio Brick For Your Smart Home
hackaday.com·3d
🔍eBPF
Flag this post
Linux 6.19 To Support Microsoft's ACPI Fan Extensions
phoronix.com·2d
🔍eBPF
Flag this post
Apple uses 3D Gaussian splatting for Personas and 3D conversions of photos
cnet.com·5d·
Discuss: Hacker News
⚙LLVM
Flag this post
Repurposing Dodgy Android TV Boxes As Linux Boxes
hackaday.com·2d·
Discuss: Hacker News, r/linux
⚙️Systems Programming
Flag this post
Architecture Variants in Ubuntu
discourse.ubuntu.com·6d·
Discuss: Hacker News
❄️Nix
Flag this post
AMD Radeon AI PRO R9700 Offers Competitive Workstation Graphics Performance/Value
phoronix.com·1d·
Discuss: Hacker News
⚙️Systems Programming
Flag this post
Gilded Rage – Why Silicon Valley went from libertarian to authoritarian
paulkrugman.substack.com·4d·
Discuss: Substack
🔒Cryptography
Flag this post
PhantomRaven Attack Exploits NPM’s Unchecked HTTP URL Dependency Feature
hackaday.com·5d
⚡Zig
Flag this post
Linux 6.19 Adding Support For The Line 6 POD HD Pro X Audio Effects Processor
phoronix.com·2d
🔍eBPF
Flag this post
Pornhub says UK visitors down 77% since age checks came in
bbc.com·5d·
Discuss: Hacker News
🔍eBPF
Flag this post
Heart Mountain
xkcd.com·5d
🦀rust
Flag this post
“Update and shut down” no longer restarts PC, as Windows 11 25H2 patch addresses a decades-old bug
windowslatest.com·3d·
Discuss: Hacker News
❄️Nix
Flag this post
Vulkan 1.4.331 Brings Two New Extensions
phoronix.com·5d
⚙LLVM
Flag this post
This is your brain without sleep
news.mit.edu·6d·
Discuss: Hacker News, Hacker News
🤖ai
Flag this post
SF neighborhood mourns loss of bodega cat allegedly killed by Waymo
sfgate.com·5d·
Discuss: Hacker News
❄️Nix
Flag this post
Ex-Mossad chief brags Israel has installed a global sabotage network
middleeastmonitor.com·5d·
Discuss: Hacker News
🔍eBPF
Flag this post
Changes to Warp’s pricing: Introducing Build
warp.dev·6d·
Discuss: Hacker News
⚡Zero-Copy
Flag this post
Free software scares normal people
danieldelaney.net·5d·
Discuss: Hacker News
❄️Nix
Flag this post