🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🎯 Interactive Provers

Proof Development, Tactic Languages, Theorem Proving, Mathematical Verification

Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·35m
🎯Performance Proofs
Structural vs. Mathematical “Under” (2023)
dyalog.com·4h·
Discuss: Lobsters, Hacker News
🐚Shell Calculus
FLINT: Fast Library for Number Theory
flintlib.org·10h
🧮Algebraic Datatypes
busy beaver function
ncatlab.org·2d
⚔️Lean Theorem
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·2d
🔗Functional Compilers
What writing a failed rock-paper-scissors program taught me (or should have taught me) about sample size and uncertainty
statmodeling.stat.columbia.edu·14h
🧮Kolmogorov Bounds
Show HN: SecretMemoryLocker – File Encryption Without Static Passwords
news.ycombinator.com·11h·
Discuss: Hacker News
🔐Archive Encryption
Harnessing MCP Servers with LangChain and LangGraph: A Comprehensive Guide
dev.to·18h·
Discuss: DEV
🔗Constraint Handling
The Lobster Programming Language
strlen.com·8h·
Discuss: Hacker News
🔗Concatenative Programming
Mini-Review: The Life and Times of the Cubic-Solving Guy
daveagp.wordpress.com·1h
🗝️Paleocryptography
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·17h
🤝Paxos Consensus
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·14h·
Discuss: Hacker News
✅Format Verification
Claude Code Gets a Second Opinion from GPT-5
proxymock.io·14h·
Discuss: Hacker News
⚡Proof Automation
Learning ON Large Datasets Using Bit-String Trees
arxiv.org·35m
🗂️Vector Databases
Generating C functions and prototypes using macros – part 2
subethasoftware.com·3h
🦀Rust Macros
On systematic construction of correct logic programs
arxiv.org·35m
⚖️Hoare Logic
Bmssp: A New Shortest Path Algorithm
rohanparanjpe.substack.com·10h·
Discuss: Substack
🔗Topological Sorting
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·1d
🧪Binary Fuzzing
Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·14h·
Discuss: Hacker News
⚡Hardware Transactional Memory
Mini-Omni-Reasoner: Token-Level Thinking-in-Speaking in Large Speech Models
arxiv.org·1d
🎙️Whisper
Loading...Loading more...
AboutBlogChangelogRoadmap