🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⛪ Church Encoding

Lambda Calculus, Data Representation, Functional Encoding, Type Theory

Deaf Historical Sites in the National Register of Historic Places
text-message.blogs.archives.gov·13h
🕯️Wax Cylinders
Human vs. AI in Logic Tasks: a Study
dailynous.com·19h
✓Automated Theorem Proving
Inside the Man vs. Machine Hackathon
wired.com·13h
🚀Indie Hacking
RomM 4.2 Launches with Console Mode and Smarter Library Tools
gardinerbryant.com·14h·
Discuss: Hacker News
🕹️Retro Gaming
Built an AI news agent that stops information overload
reckoning.dev·20h·
Discuss: Hacker News
🎯Content Recommendation
Esoteric Languages Challenge Coders to Think Way Outside the Box
spectrum.ieee.org·5d·
Discuss: Hacker News, r/programming, r/technews
💻Programming languages
Show HN: Context, Hallucinations, and How LLMs Are Changing Development
juanpabloaj.substack.com·15h·
Discuss: Substack
🌀Brotli Internals
How to (and Not to) Manipulate Transformers: A Logic-First Guide
lightcapai.medium.com·11h·
Discuss: Hacker News
✨Effect Handlers
A Humble Blog Post
nvegater.com·2d·
Discuss: Hacker News
💾Persistence Strategies
Show HN: Modular, LLM-optimized OpenAPI docs – deterministic URLs
news.ycombinator.com·1d·
Discuss: Hacker News
🧩WASM Modules
DjVuLibre 3.5.29 ZPCodec Unsigned Integer Overflow in Arithmetic Encoding
seclists.org·1d
📦Deflate
The Disappearance of Responsibility: AI Decisions Nobody Signs
dev.to·13h·
Discuss: DEV
🌍Cultural Algorithms
UrbanMIMOMap: A Ray-Traced MIMO CSI Dataset with Precoding-Aware Maps and Benchmarks
arxiv.org·1d
📊Count-Min Sketch
A polyglot's guide to multiple-dispatch
eli.thegreenplace.net·2d·
Discuss: Hacker News
🔄Lens Laws
I Finally Stopped Alt-Tabbing to ChatGPT While Coding
dev.to·12h·
Discuss: DEV
🪟Awesome windows command-line
Efficient Multi-Agent Coordination via Dynamic Joint-State Graph Construction
arxiv.org·1h
🔄Graph Rewriting
Automated Multi-Modal Analysis for Early Ischemic Colitis Detection via Microvasculature Biomarkers
dev.to·21h·
Discuss: DEV
🧠Machine Learning
Code's Hidden Structure: How Graph AI is Revolutionizing Software Development by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🔗Topological Sorting
Evaluating NL2SQL via SQL2NL
arxiv.org·2d
🧠Query Planners
A Markov Decision Process Model for Intrusion Tolerance Problems
arxiv.org·1h
🎯Threat Hunting
Loading...Loading more...
AboutBlogChangelogRoadmap