📐 Hoare Logic

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

The Abode of Salvation
rohanparanjpe.substack.com·23h·
Discuss: Substack
🔲Cellular Automata
Flag this post
🧠 The Simplest "Decision": Is AI Always Rational?
dev.to·12h·
Discuss: DEV
⏱️Computational Complexity
Flag this post
SQLite concurrency and why you should care about it
jellyfin.org·8h·
Discuss: Hacker News
🧩Separation Logic
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·7h·
Discuss: Substack
⚡Process Calculi
Flag this post
Surprises from "vibe validating" an algorithm
reddit.com·4d·
Discuss: r/programming
🎮Verification Games
Flag this post
Enhanced Knowledge Graph Reasoning via Multi-Modal Data Fusion and Automated Verification
dev.to·2d·
Discuss: DEV
🧠Automated Reasoning
Flag this post
Nim 2.2.6
nim-lang.org·1d·
Discuss: Hacker News
📦Opam
Flag this post
Engineering a Rust optimization quiz
fasterthanli.me·10h
❄️Nixified Development
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
blog.jetbrains.com·3d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
The case against boolean logic
abuseofnotation.github.io·2d·
Discuss: Hacker News
❓Existential Types
Flag this post
Let Hypothesis Break Your Python Code Before Your Users Do
towardsdatascience.com·1d
🧪Property-Based Testing
Flag this post
Circular dependency check in Python
dev.to·22h·
Discuss: DEV
🔬Static Analysis
Flag this post
🧠 Soft Architecture (Part B): Emotional Timers and the Code of Care (Part 5 of the SaijinOS series)
dev.to·8h·
Discuss: DEV
🔲Cellular Automata
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.com·2d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·1d·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·1d·
Discuss: Lobsters, Hacker News
🔢Algebraic Data Types
Flag this post
CAD-3D on the Atari ST
stonetools.ghost.io·1d·
Discuss: Hacker News
💾Retro Computing
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.com·3d·
Discuss: Substack
⚙️Compiler Design
Flag this post
A Formulation of Slop: How Optimization Pressure Destroys Meaning
intuitmachine.medium.com·9h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Unlocking AI Speed: The Hidden Symmetries in Reinforcement Learning
dev.to·20h·
Discuss: DEV
🔲Cellular Automata
Flag this post