📐 Hoare Logic

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

A portable picokernel for async I/O
ryansepassi.com·2h·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Surprises from "vibe validating" an algorithm
reddit.com·3d·
Discuss: r/programming
🎮Verification Games
Flag this post
"Our research is greatly sped up by AI but AI still needs us"
twitter.com·5h·
Discuss: Hacker News
✓Automated Theorem Proving
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
reddit.com·7h·
Discuss: r/golang
🎯GADT
Flag this post
Opportunistic Mutation in Roc
roc-lang.org·3d·
Discuss: Hacker News
🔧ppx
Flag this post
Enhanced Knowledge Graph Reasoning via Multi-Modal Data Fusion and Automated Verification
dev.to·1d·
Discuss: DEV
🧠Automated Reasoning
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·1d
🧠Automated Reasoning
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·1d·
Discuss: Hacker News, r/programming
🔬Static Analysis
Flag this post
The Abode of Salvation
rohanparanjpe.substack.com·7h·
Discuss: Substack
🔲Cellular Automata
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·11h·
Discuss: Hacker News
⚙️Operating System Design
Flag this post
Three Meanings of Reference
sandordargo.com·20h·
Discuss: Hacker News, r/cpp
🎯GADT
Flag this post
A mathematical certification for positivity conditions in Neural Networks with applications to partial monotonicity and Trustworthy AI
arxiv.org·1d
🧮SMT Solvers
Flag this post
Durable execution workflow system based on Postgres
github.com·15h·
Discuss: Hacker News
🧱Immutable Infrastructure
Flag this post
Nim 2.2.6
nim-lang.org·15h·
Discuss: Hacker News
📦Opam
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
blog.jetbrains.com·2d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
The case against boolean logic
abuseofnotation.github.io·1d·
Discuss: Hacker News
❓Existential Types
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.com·4h·
Discuss: Hacker News
📦OPAM
Flag this post
Let Hypothesis Break Your Python Code Before Your Users Do
towardsdatascience.com·12h
🧪Property-Based Testing
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·22h·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
Exploring Python Logic: How to Turn Conditions into Code
dev.to·1d·
Discuss: DEV
🧠Automated Reasoning
Flag this post