🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🏗️ Constructive Logic

Intuitionistic Proofs, Program Extraction, Computational Content, Type Theory

Yes, The Book of PF, 4th Edition Is Coming Soon
bsdly.blogspot.com·2d·
Discuss: bsdly.blogspot.com
📟Vintage Protocols
Anthropic Is Bleeding Out
wheresyoured.at·2d·
Discuss: Hacker News
🖥️Terminal Renaissance
Show HN: A Scarce Cryptoasset Rooted in Private ETH Destruction
worm.cx·6h·
Discuss: Hacker News
🌳Archive Merkle Trees
Agentic AI Is Quietly Replacing Developers
thenewstack.io·1d
🔄Language Evolution
Book review: A New Kind of Science (2005)
bactra.org·4d·
Discuss: Hacker News
🔲Cellular Automata
Building an AI app builder with an AI app builder built with an AI app builder
rhett.info·2d·
Discuss: Hacker News, r/webdev
🌀Brotli Internals
“Craft in the Real World”: Advice for writing workshops that is relevant more generally
statmodeling.stat.columbia.edu·2d
📕Bookbinding
The Next Wave
dumindu.github.io·2d·
Discuss: Hacker News, r/programming
🔩Systems Programming
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.co·3d·
Discuss: Hacker News
⚙️TLA+
Machine Learning Fundamentals: data augmentation with python
dev.to·1d·
Discuss: DEV
⚡Incremental Computation
Enhanced Paperless-NGX with Paddle OCR + LLM Pipeline
dev.to·1d·
Discuss: DEV
📄Document Streaming
NeoSearch: A Search Engine Forged by Determination
dev.to·1d·
Discuss: DEV
🚀Indie Hacking
Creating Synthetic Dialogues using RAG and Gemini
dev.to·2d·
Discuss: DEV
🏛Digital humanities
Position: We Need An Algorithmic Understanding of Generative AI
arxiv.org·2d
🔲Cellular Automata
Think Your AI Understands You? It Already Started Responding
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Argumentative Characterizations of (Extended) Disjunctive Logic Programs
arxiv.org·4d
🧠Computational Logic
On the Effect of Uncertainty on Layer-wise Inference Dynamics
arxiv.org·3d
🧮Kolmogorov Bounds
Why 87% of Developers Write Trash Prompts (And How You Can Level Up)
dev.to·8h·
Discuss: DEV
📐Proof Assistants
A http parser single-header library written in C89 which is 50 lines total.
github.com·20h·
Discuss: Hacker News, r/programming
🔧Binary Parsing
Machine Learning Fundamentals: cross validation with python
dev.to·3d·
Discuss: DEV
📏Code Metrics
Loading...Loading more...
AboutBlogChangelogRoadmap