Program verification is not all-or-nothing
lawrencecpaulson.github.io·3d
🎯Performance Proofs
Show HN: PogiFit: Macros and Workout Tracker
play.google.com·3h·
Discuss: Hacker News
🎯Content Recommendation
Taking Down Booters: The Cat-and-Mouse Game
lightbluetouchpaper.org·1d·
Discuss: Hacker News
🎫Kerberos Exploitation
How We Built Our lakeFS Iceberg Catalog
lakefs.io·1d·
Discuss: Hacker News
📦METS Containers
Deliberate Abstraction
entropicthoughts.com·11h·
Discuss: Lobsters, Hacker News, r/programming
⚖️Hoare Logic
The Clue to Unlocking Parkinson’s May Be All Around Us
nytimes.com·10h
💿DAT Forensics
For all that's holy, can you just leverage the Web, please?
blog.tomayac.com·5d·
Discuss: Hacker News
🏺ZIP Archaeology
“I’ve Seen States Collapse; Now I See It Happening Here”
nakedcapitalism.com·5h
🧲Magnetic Philosophy
Man City reach settlement over legal challenge with Premier League
the-independent.com·4h
⚖️Legal Compliance
I watched Only Murders in the Building season 5 and I can’t believe it’s the best season yet
techradar.com·3h
🧪Archive Fuzzing
Advice for forcing immich and nextcloud to use trueNAS scale SMB share as dataset to store server data
preview.redd.it·1h·
Discuss: r/homelab
🏠HomeLab
AI adoption rate is declining among large companies — US Census Bureau claims fewer businesses are using AI tools
tomshardware.com·1h
🌊Streaming Algorithms
VMware's in court again. Customer relationships rarely go this wrong
theregister.com·10h·
Discuss: Hacker News
🏠Homelab Preservation
Show HN: Claude Context but local – semantic code search without API keys
github.com·21h·
Discuss: Hacker News, r/LocalLLaMA
🌀Brotli Dictionary
My new homelab with the 8-bay Sagittarius case
reddit.com·9h·
Discuss: r/homelab
🏠HomeLab
Buy a 2017 GitHub Account | Pro Badge, Stable, 2FA. Buy Now
dev.to·7h·
Discuss: DEV
🔐PAKE Protocols
Advanced Nanomechanical Characterization of Vanadium Dioxide with Dynamic Atomic Force Microscopy and Machine Learning
dev.to·1d·
Discuss: DEV
🌀Differential Geometry
Automated Poly-A Tail Length Prediction via Deep Convolutional Recurrent Architectures
dev.to·4h·
Discuss: DEV
🧠Machine Learning
Automated Anomaly Detection in Network Traffic via Multi-Variant Temporal Bayesian Networks
dev.to·1d·
Discuss: DEV
🕵️Network Forensics
Deep Learning Reconstruction of Spatially Resolved CMB Polarization Anomalies from Simulated Foreground Maps
dev.to·19h·
Discuss: DEV
🌊Digital Signal Processing