📐 Hoare Logic

Pre-conditions, Post-conditions, Loop Invariants, Program Correctness

Celtic Code: Drawing Knots with Python
2earth.github.io·5h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
The Evolutionary Argument Against Reality
quantamagazine.org·1d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Opportunistic Mutation in Roc
roc-lang.org·5d·
Discuss: Hacker News
🔧ppx
Flag this post
New prompt injection papers: Agents Rule of Two and The Attacker Moves Second
simonwillison.net·14h·
Discuss: Hacker News
🛡️seL4
Flag this post
After the Last Git Commit
gist.github.com·17h·
Discuss: Hacker News
🔧DevOps
Flag this post
From searching to solving: how Vector Databases transform product discovery
dev.to·5h·
Discuss: DEV
🔢Algebraic Data Types
Flag this post
Vibecoding my way to a crit on GitHub
furbreeze.github.io·1d·
Discuss: Hacker News
🔧DevOps
Flag this post
Visual Backdoor Attacks on MLLM Embodied Decision Making via Contrastive Trigger Learning
arxiv.org·9h
🎮Verification Games
Flag this post
A Deep Dive into Gorm: Architecture, Workflow, Tips, and Troubleshooting for Go’
dev.to·1d·
Discuss: DEV
🎯GADT
Flag this post
InertialAR: Autoregressive 3D Molecule Generation with Inertial Frames
arxiv.org·9h
⚙️Compiler Design
Flag this post
DDD and the Simplicity Gospel
oluatte.com·1d·
Discuss: Hacker News, r/programming
🔤DSLs
Flag this post
Building a Message-to-SQL AI Agent with Mastra and Telex.im
dev.to·17h·
Discuss: DEV
✓Automated Theorem Proving
Flag this post
Generation at the Speed of Thought: Speculative Decoding
bittere.substack.com·1d·
Discuss: Substack
🔀OCaml Multicore
Flag this post
Math's New Muse: AI as a Reasoning Partner
dev.to·16h·
Discuss: DEV
✓Automated Theorem Proving
Flag this post
Real-Time Wave Function Collapse Prediction via Hybrid Bayesian Filtering and Generative Adversarial Networks
dev.to·6h·
Discuss: DEV
🔢Matrix Decomposition
Flag this post
🚀 Exploring Go’s Core Features in Depth
dev.to·1d·
Discuss: DEV
λFunctional Programming
Flag this post
ClipTagger-12B VLM: Frame Captioning Tutorial
dev.to·22h·
Discuss: DEV
🔀OCaml Multicore
Flag this post
Challenges in Credit Assignment for Multi-Agent Reinforcement Learning in Open Agent Systems
arxiv.org·9h
✓Automated Theorem Proving
Flag this post
Human Values ≠ Goodness
lesswrong.com·18h
⬜Minimalism
Flag this post
A mathematical certification for positivity conditions in Neural Networks with applications to partial monotonicity and Trustworthy AI
arxiv.org·3d
🧮SMT Solvers
Flag this post