ReFIne: A Framework for Trustworthy Large Reasoning Models with Reliability, Faithfulness, and Interpretability
arxiv.org·9h
🛡️Proof-Carrying Archives
Version 2 of the Algol 68 GCC Front-End posted
gcc.gnu.org·16h
🦀Rust Macros
Making My First Choice
reddit.com·17h·
Discuss: r/homelab
🔌Operating system internals
RAG vs. Memory: Addressing Token Crisis in Agentic Tasks
agamjn.com·8h·
Discuss: Hacker News
🦀Rusty Databases
Fully Implementing PSR-16 Simple Cache is Less Than Simple
donatstudios.com·3h
🦀Rusty Databases
How to Solve Google Search reCAPTCHA Verification Issues: A Technical Guide
dev.to·4h·
Discuss: DEV
⚡Proof Automation
Free PLTL algebras and a coalgebraic extension of hyperdoctrines
topos.institute·1d
🧮Algebraic Archives
Archivists: they can do anything!
aranewprofessionals.wordpress.com·7h
📼Cassette Archaeology
IBM 1130 MRAM memory replacement - investigating Parity Check and random data occurrences
rescue1130.blogspot.com·13h·
Discuss: rescue1130.blogspot.com
⚡Circuit Archaeology
Testing Language Models: Engineering Confidence Without Certainty
gojiberries.io·1d·
Discuss: Hacker News
⚙️Proof Engineering
Valuable News – 2025/10/13
vermaden.wordpress.com·7h
🔌Operating system internals
Announcing Chamber: A simple, cross-platform encrypted file vault tool built with Go
reddit.com·1d·
Discuss: r/golang
🔐Archive Encryption
Three ways formally verified code can go wrong in practice
buttondown.com·2d·
Discuss: Lobsters, Hacker News
📜Proof Carrying Code
Verifying Chain-of-Thought Reasoning via Its Computational Graph
arxiv.org·9h
🔗Constraint Handling
Hash Me If You Can — How I Beat a 2-Second Hashing Challenge on RingZer0Team
infosecwriteups.com·5h
🌐DNS Security
What's The Deal With GitHub Spec Kit
den.dev·1d
🔄Reproducible Builds
Rohan Paul on X: "New paper from @Google is a major memory breakthrough for AI agents. ReasoningBank helps an AI agent improve during use by learning from its w...
x.com·1d·
Discuss: X
🧮SMT Solvers
Creating Real-Time Multimodal AI Pipelines: Scaling File Processing to 50M Daily Uploads
engineering.salesforce.com·2d
🌊Stream Processing
Cambridge University launches project to rescue data trapped on old floppy disks
lib.cam.ac.uk·1d·
Discuss: Hacker News
💽Floppy disks
I wrote a parser for Redis protocol so you don't have to
neversleeps.moscow·3h·
Discuss: Hacker News
⚡Redis Internals