🐿️ 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

Mathematicians Say There’s a Number So Big, It’s Literally the Edge of Human Knowledge
popularmechanics.com·5h
🎞️Tape Combinatorics
Word Embeddings for Tabular Data Feature Engineering
machinelearningmastery.com·8h
🧮Vector Embeddings
Ente web - State of the Union 2025
ente.io·2d
🎯Gradual Typing
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space·22h·
Discuss: r/programming
🔢Bitwise Algorithms
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com·1d·
Discuss: Hacker News
🔍RegEx Engines
Build a GenAI App With Java Using Spring AI and Docker Model Runner
docker.com·8h
📦Container Security
The Right Approach to Authorization in RAG
osohq.com·1d·
Discuss: Hacker News
🧬PostgreSQL Forensics
On Trustworthy Rule-Based Models and Explanations
arxiv.org·16h
⚖️Constraint Logic
How to scale RL to 10^26 FLOPs
blog.jxmo.io·23h·
Discuss: Hacker News
🔮Proof Search
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com·22h·
Discuss: r/golang
🔗Concatenative Programming
A Practical Guide to Go’s Fan-in and Fan-out Concurrency Patterns
dev.to·19h·
Discuss: DEV
🌊Stream Processing
Truth-value judgment in language models: 'truth directions' are context sensitive
arxiv.org·16h
🧮Kolmogorov Complexity
SAND: Boosting LLM Agents with Self-Taught Action Deliberation
arxiv.org·16h
⚡Incremental Computation
What Is Type Inference? What It Is and How It Works
hackernoon.com·5d
🔍Type Inference
Trace LLM workflows at your app's semantic level, not at the OpenAI API boundary
engineeringideas.substack.com·13h·
Discuss: Substack
⚙️TLA+
DocCHA: Towards LLM-Augmented Interactive Online diagnosis System
arxiv.org·16h
🎙️Whisper
Machine Learning Fundamentals: data augmentation
dev.to·5h·
Discuss: DEV
⚡Incremental Computation
Being a psychologist to your (over)thinking LLM
specy.app·3d·
Discuss: Hacker News
🔗Constraint Handling
🐍 My Python Journey: Week 3 – The Realm of Operators
dev.to·3d·
Discuss: DEV
📝Concrete Syntax
[D] Automatic system prompt generation from a task + data
reddit.com·5h·
Discuss: r/MachineLearning
⚡Proof Automation
Loading...Loading more...
AboutBlogChangelogRoadmap