Four Ways to Use Wolfram Notebook Assistant This Semester
blog.wolfram.com·1h
📐Proof Assistants
Detection Engineering: Practicing Detection-as-Code – Repository – Part 2
blog.nviso.eu·10h
🔄Reproducible Builds
A Neural Net For a Graphing Calculator?
hackaday.com·10h
🤖Advanced OCR
Asymmetry of Verification and Verifier's Law
jasonwei.net·1d·
Discuss: Hacker News
🔮Proof Search
SFT Is Bad RL
justinchiu.netlify.app·22h·
Discuss: Hacker News
🧠Machine Learning
Migrating over 30 lambdas from Serverless Framework with LLMs
intmaker.com·9h·
Discuss: Hacker News
🦋Format Metamorphosis
Automated Function ID Database Generation in Ghidra on Windows
blog.mantrainfosec.com·7h·
Discuss: Hacker News
🔓Decompilation
Boffins detail new algorithms to losslessly boost AI perf by up to 2.8x
theregister.com·8h·
Discuss: Hacker News
💻Local LLMs
[R] Interesting paper on cost-aware prompt optimization (CAPO)
reddit.com·1d·
Discuss: r/MachineLearning
🏗️Compiler Archaeology
Robust Route Planning for Sidewalk Delivery Robots
arxiv.org·14h
🔗Topological Sorting
How to reason from first principles
caseyhandmer.wordpress.com·23h·
Discuss: Hacker News
🎯Proof Tactics
I'm Switching to Python and Actually Liking It
cesarsotovalero.net·1d·
Discuss: Hacker News
🌀Brotli Internals
You Are in a Box
jyn.dev·3d·
Discuss: Lobsters, Hacker News
🐚Shell Calculus
A Practical Framework for Managing Performance
kb.buildingbetterteams.de·1d·
Discuss: Hacker News
🔗Data Provenance
Why We Develop EloqDB Mainly in C++
eloqdata.com·4h·
Discuss: Hacker News
🦀Rust Borrowing
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·1d·
Discuss: DEV
📝Concrete Syntax
How we automated GitHub Actions Runner updates with Claude
dev.to·18h·
Discuss: DEV
🧲RISC-V Preservation
A Practical Two-Stage Recipe for Mathematical LLMs: Maximizing Accuracy with SFT and Efficiency with Reinforcement Learning
arxiv.org·3d
💻Local LLMs
The Fundamental Failure-Mode Theorem: Systems lie about their proper functioning
devblogs.microsoft.com·1d·
Discuss: Hacker News
💾Persistence Strategies
Ralph Wiggins as a "Software Engineer"
ghuntley.com·3d·
Discuss: Hacker News, Hacker News
🦀Rust Macros