🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔲 Proof Irrelevance

Squash Types, Proposition Equality, Setoid Model, Type Theory

Typeclassopedia
wiki.haskell.org·1d·
Discuss: Hacker News
🧬Functional Programming
On systematic construction of correct logic programs
arxiv.org·3h
⚖️Hoare Logic
Academic Philosophy - My quixotic quest
notes.billmill.org·1d
🏛️Philosophy
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·20h
🤝Paxos Consensus
Nullable vs. Nullable in C#
einarwh.no·12h·
Discuss: Lobsters, Hacker News, r/programming
✅Format Verification
Song recommendations with F# free monads
blog.ploeh.dk·23h
🔗Functional Compilers
Two Dogmas of Empiricism
en.wikipedia.org·18h·
Discuss: Hacker News
💻Programming languages
busy beaver function
ncatlab.org·2d
⚔️Lean Theorem
Structural vs. Mathematical “Under” (2023)
dyalog.com·6h·
Discuss: Lobsters, Hacker News
🐚Shell Calculus
Claude Code's 19 cent Parser
blogger.com·18h
🔧Binary Parsers
Stable, Mutable References for Ante
antelang.org·17h·
Discuss: Hacker News, r/programming
🔒Type Safety
Spoon-Bending, a logical framework for analyzing GPT-5 alignment behavior
github.com·1d·
Discuss: Hacker News
💾Binary Linguistics
The Baby Paradox in Haskell
blog.jle.im·4d·
Discuss: Lobsters, Hacker News
🔤Type Theory
The Lobster Programming Language
strlen.com·11h·
Discuss: Hacker News
🔗Concatenative Programming
A critique of philosophical objectivity
lapcatsoftware.com·16h
🏛️Philosophy
What writing a failed rock-paper-scissors program taught me (or should have taught me) about sample size and uncertainty
statmodeling.stat.columbia.edu·17h
🧮Kolmogorov Bounds
Semantic Embedding in RAG: why close vectors still miss meaning and how to fix it
dev.to·1h·
Discuss: DEV
🧮Vector Embeddings
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·3h
🎯Performance Proofs
Uncertain< T >: A First-Order Type for Uncertain Data (2014)
microsoft.com·1d·
Discuss: Hacker News
🧪Binary Fuzzing
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
jacobasper.com·6h·
Discuss: Hacker News
🦀Rusty Databases
Loading...Loading more...
AboutBlogChangelogRoadmap