ML in the Home
blog.raymond.burkholder.net·1d
📈Time Series
LLM-Aided Testbench Generation and Bug Detection for Finite-State Machines
arxiv.org·1d
🔧Hardware Verification
Threaded Code
muforth.dev·8h·
Discuss: Hacker News
🦀Rust Macros
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.to·1d·
Discuss: DEV
🧬Functional Programming
My first experience with Formal Methods | ZipCPU
zipcpu.com·6d
🔧Hardware Verification
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
ReasonFlux-PRM: Trajectory-Aware PRMs for Long Chain-of-Thought Reasoning in LLMs
arxiv.org·1d
💻Local LLMs
Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions
arxiv.org·1d
🎯Performance Proofs
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·7h·
Discuss: Hacker News
🔗Constraint Handling
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·4h·
Discuss: Substack
🦀Rust Macros
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
LLMs bring new nature of abstraction
martinfowler.com·1d·
Discuss: Hacker News
💻Programming languages
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·1d
⚖️Hoare Logic
Exploring High Efficiency Web Analysis Results（1750876031390300）
dev.to·1h·
Discuss: DEV
🌊Stream Processing
End of the line for coding LLMs will do a better job. How do I pay my mortgage?
daniel-payne-keldan-systems.medium.com·1d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
Failure Modes of AI-Powered Engineering (2024)
bertolami.com·1d·
Discuss: Hacker News
✨Effect Handlers
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·1h·
Discuss: Hacker News
⚡Proof Automation
Learning Approach to Efficient Vision-based Active Tracking of a Flying Target by an Unmanned Aerial Vehicle
arxiv.org·1d
🔲Cellular Automata
Python Fundamentals: asynchronous
dev.to·7h·
Discuss: DEV
🌊Stream Processing