My first verified (imperative) program
markushimmel.de·1d·
Discuss: Lobsters, Hacker News, r/programming
⚔️Lean Tactics
Preventing Reentrancy Bugs From Creeping Back In: Linking TLA+ Models to Rust Code
medium.com·7h·
Discuss: Lobsters
🏛️Agda
Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
arxiv.org·23h
🧮Algebraic Archives
Superimposed codes, take two
blog.sesse.net·7h
🔢Bitwise Algorithms
Exploiting Partial Compliance: The Redact-and-Recover Jailbreak
generalanalysis.com·6h·
Discuss: Hacker News
🧪CBOR Fuzzing
Programming Extensible Data Types in Rust with CGP - Part 1: Modular App Construction and Extensible Builders
contextgeneric.dev·19h·
Discuss: Lobsters, Hacker News, r/programming
🔒Type Safety
Proof Complexity 2025
cstheory-events.org·1d
🎯Performance Proofs
[R] Temporal Logic as a means to guarantee safety and efficiency in LLMs
reddit.com·23h·
Discuss: r/MachineLearning
📏Linear Logic
An InfoSec Architect's First Taste of Temporal
supasaf.com·12h·
Discuss: Hacker News
⏰Temporal Logic
“No cookbook methods”
reprog.wordpress.com·1d
🔗Concatenative Programming
Sandboxes? In my process? It's more likely than you think.
dadrian.io·2d
🔒Type Safety
Programming = proving? The Curry-Howard correspondence today
xavierleroy.org·1d·
Discuss: Hacker News
🔤Type Theory
Lambda calculus cooked N ways: Benchmarks for capture-avoiding substitution
github.com·1d·
Discuss: Hacker News
λLambda Formalization
CI/CD inputs: Secure and preferred method to pass parameters to a pipeline
about.gitlab.com·2d
🐚Shell Calculus
[$] Toward the unification of kselftests and KUnit
lwn.net·13h
🔍Concolic Testing
Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
arxiv.org·23h
🐓Coq
Deterministic Simulation Testing in Rust: A Theater Of State Machines
polarsignals.com·12h·
Discuss: Lobsters, Hacker News
🦀Embedded Rust
SRE Weekly Issue #484
sreweekly.com·2d
💾Persistence Strategies
Semantically Separating Nominal Wyvern for Usability and Decidability
arxiv.org·23h
💻Programming languages
🐍 My Python Journey: Week 3 – The Realm of Operators
dev.to·9h·
Discuss: DEV
📝Concrete Syntax