🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔗 Dependently Typed

Proof-Carrying Code, Correctness by Construction, Type-Level Programming

Proving theorems using Julia's types (or, a mini-Lean in Julia)
lmao.bearblog.dev·4h·
Discuss: Hacker News
⚔️Lean Theorem
CodeSOD: An Exert Operation
thedailywtf.com·21h
🧮Algebraic Datatypes
Understanding Go's Type System: A Complete Guide to Interfaces, Structs, and Composition [2025]
dev.to·12h·
Discuss: DEV
🔤Type Theory
Encoding SAT in OCaml GADTs
farlow.dev·1d·
Discuss: Hacker News
λLambda Formalization
haskell/vector
github.com·1d
🧬Functional Programming
Show HN: AI code reviewer with Python agent called from Rust, streaming works
medium.com·13h·
Discuss: Hacker News
🦀Rust Borrowing
Spiral Matrix: Another Matrix Layer Problem
mmhaskell.com·19h
🔗Combinatory Logic
API design note: Don’t make up multiple names for the same thing
devblogs.microsoft.com·14h
🔗Concatenative Programming
Pair Programming With ChatGPT: An Experience Report
brainbaking.com·2d·
Discuss: Hacker News
🦀Rust Macros
(Weak) Factorization Systems
bartoszmilewski.com·2d·
Discuss: Hacker News
🔀Category Theory
Cactus Language • Pragmatics 4
inquiryintoinquiry.com·13h
📐Format Grammars
A Markov Categorical Framework for Language Modeling
arxiv.org·1d
🧮Kolmogorov Complexity
From XML to JSON to CBOR
cborbook.com·11h·
Discuss: Lobsters, Hacker News
📋Document Grammar
Libfive: Solid modeling (CAD) library/tools with Scheme/Python bindings and GUI
libfive.com·9h·
Discuss: Hacker News
🔓Open Source Software
Physics+ MIN/MAX & Variation: UNIZOR.COM - Physics+ 4 All - Variations
unizor.blogspot.com·1d·
Discuss: www.blogger.com
⚔️Lean Theorem
Interprocedural Analysis: Catch nil Dereferences Before They Crash Your Code
blog.jetbrains.com·15h·
Discuss: Hacker News
🔒Type Safety
What if Left-Right and Seq-Lock had a baby?
github.com·2d·
Discuss: Hacker News
🔒Type Safety
What is Python Any Type
dev.to·9h·
Discuss: DEV
🎯Gradual Typing
Formal specs as sets of behaviors
surfingcomplexity.blog·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
✅Formal Methods
Contraction Hierarchies: HMC Clinic Project Recap
blog.appliedcomputing.io·1h·
Discuss: Lobsters, Hacker News
🎯Performance Proofs
Loading...Loading more...
AboutBlogChangelogRoadmap