ReFIne: A Framework for Trustworthy Large Reasoning Models with Reliability, Faithfulness, and Interpretability
arxiv.org·22h
🛡️Proof-Carrying Archives
Figuring out round, floor and ceil with integer division
blog.pkh.me·1h·
Discuss: Hacker News
📐Interval Arithmetic
Version 2 of the Algol 68 GCC Front-End posted
gcc.gnu.org·1d
🦀Rust Macros
Compilation is communication
mmapped.blog·1d
🛡️Proof-Carrying Archives
Cracking Blackjack with Go: A Step-by-Step Guide to Your First Move
dev.to·10h·
Discuss: DEV
🎯Proof Tactics
Free PLTL algebras and a coalgebraic extension of hyperdoctrines
topos.institute·1d
🧮Algebraic Archives
Line-based Lisp Editing
aartaka.me·9h·
Discuss: r/programming
🧠Lisp Dialects
How I Built a Mini C Compiler to Understand How Compilers Work
github.com·5h·
Discuss: DEV
📝Compiler Design
Copy-and-Patch: A Copy-and-Patch Tutorial
transactional.blog·1d
🦀Rust Macros
Building the Reasoning Engine at Axiom
axiommath.ai·3d·
Discuss: Hacker News
⚔️Lean Theorem
Well-Typed.Com: Verifying and testing timeliness constraints with io-sim
well-typed.com·1d
🔍Concolic Testing
Hash Me If You Can — How I Beat a 2-Second Hashing Challenge on RingZer0Team
infosecwriteups.com·18h
🌐DNS Security
Tests Don’t Prove Code Is Correct… They Just Agree With It
medium.com·8h·
Discuss: Hacker News, r/programming
📏Code Metrics
Show HN: Flemma – turn Neovim into a first-class AI workspace
github.com·5h·
Discuss: Hacker News
⚡Proof Automation
Algebra Problems of the Day (Algebra Regents, January 2025 Part I)
mrburkemath.blogspot.com·8h·
Discuss: www.blogger.com
📐Interval Arithmetic
Building Transformer Models from Scratch with PyTorch (10-day Mini-Course)
machinelearningmastery.com·1d
🤖Grammar Induction
Automated Verification of Timing Constraints in High-Speed Digital Circuits using Hybrid Symbolic Execution and Machine Learning
dev.to·1h·
Discuss: DEV
🔧Hardware Verification
Auditing binaries like source code
zetier.com·11h
🔬Binary Analysis
LLMs for Nominative Determinism
yuri.is·11h·
Discuss: Hacker News
🧬Functional Programming
How to build reliable AI workflows with agentic primitives and context engineering
github.blog·10h
💾Persistence Strategies