The theorem on formal functions
math.columbia.edu·1d
⚔️Lean Theorem
Trialing Far UVC and Glycol Vapors at BIDA
jefftk.com·2d
📻Homebrew Protocols
OpenBSD’s Greytrapping: 18 Years of Fighting Spam with Data and Grit
discoverbsd.com·2d
🛡️eBPF Security
Bad Engineering
theprogrammersparadox.blogspot.com·1d·
Discuss: theprogrammersparadox.blogspot.com
🔐Systems Hardening
Porting Gigabyte MZ33-AR1 Server Board with AMD Turin CPU to Coreboot
blog.3mdeb.com·1d·
Discuss: Hacker News
🛡️RISC-V Security
#TROOPERS25 AD & Entra ID Security Track
insinuator.net·2d
🏺Kerberos Archaeology
Show HN: Eternal Vault, E2EE Estate Platform Using Shamir's Secret Sharing
eternalvault.app·2d·
Discuss: Hacker News
🏠Personal Archiving
A Better Vocabulary for Testing
alperenkeles.com·2h·
Discuss: Lobsters, r/programming
🔍Concolic Testing
You do the best you can
ryanglover.net·2d·
Discuss: Hacker News
⚖️Lossy Compression Ethics
Show HN: ClipDump – A Clipboard Dumper for Windows
github.com·1d·
Discuss: Hacker News
🗜️ZIP Forensics
2025 One Hertz Challenge: Educational Tool Becomes 10 Stopwatches
hackaday.com·22h
🧪Cassette Hacks
National Public Data returns after massive Social Security Number leak
malwarebytes.com·1d
🔓Hacking
Show HN: CCCP – a programmable, context-aware compression protocol (early stage)
news.ycombinator.com·2d·
Discuss: Hacker News
🌊Streaming Compression
GenHuzz: An Efficient Generative Hardware Fuzzer
usenix.org·3d
🧪RISC-V Fuzzing
How I Explained Vector Embeddings to My Mom (And She Got It)
dev.to·3d·
Discuss: DEV
🧮Vector Embeddings
Automated Glycan Structure Prediction via Multi-Modal Hypergraph Embeddings & Bayesian Refinement
dev.to·9h·
Discuss: DEV
🌀Hyperbolic Geometry
Public vs. Private LLMs: Another One Rides the Bus
dev.to·18h·
Discuss: DEV
💻Local LLMs
Quantum Error Mitigation via Entanglement-Assisted Adaptive Pulse Shaping (EAAPS)
dev.to·1d·
Discuss: DEV
⚛️Quantum Error Correction
HyperKD: Distilling Cross-Spectral Knowledge in Masked Autoencoders via Inverse Domain Shift with Spatial-Aware Masking and Specialized Loss
arxiv.org·2d
🧠Machine Learning
Hackers exploit Microsoft flaw to breach Canada ’s House of Commons
securityaffairs.com·1d
🔓Hacking