Relative Completeness of Incorrectness Separation Logic
arxiv.org·5h
🧠Separation Logic
A New Concurrent ML in Guile Scheme
wingolog.org·41m·
Discuss: Hacker News
🔄Lens Laws
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·19h
📝Concrete Syntax
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·22h
⚗️Algebraic Coding
Pragmatism in Programming Proverbs
gingerbill.org·29m·
Discuss: Lobsters, Hacker News, r/programming
💻Programming languages
A Formal Framework for the Definition of 'State': Hierarchical Representation and Meta-Universe Interpretation
arxiv.org·5h
🔄Finite State Machines
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
How to Write Inductive Invariants
quint-lang.org·3d·
Discuss: Lobsters, Hacker News, r/programming
🌐Protocol Synthesis
Juris.js: The Thousand Masters Architecture That AI Can't Even Figure Out Where to Start
dev.to·13h·
Discuss: DEV
🦀Rust Macros
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·2h
✅Archive Validation
Software Internals Book Club
eatonphil.com·3h
⚙️Operating System Design
SAT Requires Exhaustive Search
link.springer.com·12h·
Discuss: Hacker News
🧮Kolmogorov Complexity
The Curse of the A-Word
temporal.io·1h·
Discuss: Hacker News
✨Algebraic Effects
PFL: a Probabilistic Logic for Fault Trees
arxiv.org·5h
📋Formal Verification
Automating Boundary Filling in Cubical Type Theories
arxiv.org·1d
🔶Cubical Type Theory
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·1d·
Discuss: Substack, r/programming
🎯Proof Tactics
Testing races with a synchronizing Decorator
blog.ploeh.dk·1d
🔄Sync Engine
Show HN: Structured Cooperation – A new way of building distributed apps & POC
github.com·1d·
Discuss: Hacker News
⚡gRPC
Linear Types for Programmers
twey.io·2d·
Discuss: Hacker News
🔒Linear Types
Challenges of Pseudocode Expansion
funcall.blogspot.com·1d·
Discuss: www.blogger.com
🔗Lisp