AI Creates the Problems it Solves
dbreunig.com·11h
⚡Proof Automation
Reverse Engineering the Firmware Loader for an X-Rite Spectrophotometer
adam.zeloof.xyz·1d·
Discuss: Hacker News
⚡Circuit Archaeology
Show HN: Yoslm -- You Only Need a Smoll Language Model for Object Detection
jigsawstack.com·16h·
Discuss: Hacker News
🏺Computational Archaeology
Strengthening Microsoft Defender: Understanding Logical Evasion Threats
zenodo.org·1d·
Discuss: Hacker News
🏺Kerberos Archaeology
Introducing Phi-4-mini-flash-reasoning
azure.microsoft.com·2d·
Discuss: Hacker News
🧮Z3 Applications
jank is C++
jank-lang.org·12h·
Discuss: Lobsters, Hacker News, r/programming
🐚Bash Monads
Regolith - A JavaScript library immune to ReDoS attacks
github.com·1d
⚡Dependent Rust
Next-gen SSDs achieve 28 GByte/s and many more IOPS
heise.de·10h
🖥️Modern Terminals
Phantom Subgroup Poisoning: Stealth Attacks on Federated Recommender Systems
arxiv.org·2d
🔍BitFunnel
On Trustworthy Rule-Based Models and Explanations
arxiv.org·1d
⚖️Constraint Logic
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·1d·
Discuss: Lobsters, Hacker News
⚙️TLA+
When io.ReadAll Becomes a Performance Bottleneck in Go
dev.to·17h·
Discuss: DEV
⚡Redis Internals
Hitchhiker’s Guide to RAG: From Tiny Files to Tolstoy with OpenAI’s API and LangChain
towardsdatascience.com·11h
📄Text Chunking
Agentic Data Classification
adaptive.live·3d·
Discuss: Hacker News, r/programming
🔤Character Classification
Top Free Websites to Create Strong Passwords and Secure
cyble.com·2d·
Discuss: Hacker News
🔓Password Cracking
What is device intelligence? An explainer guide
fingerprint.com·2d
🏺Kerberos Archaeology
Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.org·2d
📼Tape Combinators
Scanning for Post-Quantum Cryptographic Support
anvilsecure.com·3d·
Discuss: Hacker News
🔐Certificate Analysis
Cache Benchmarks
github.com·6h·
Discuss: Hacker News
⚡Performance Tools
SFrame-based stack unwinding for the kernel
lwn.net·15h·
Discuss: Hacker News
🔩Systems Programming