🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🧩 Theorem Proving

Isabelle/HOL, Lean, Automated Reasoning, Proof Assistants

Fun with plain-text notes (searching Obsidian tasks)
sals.place·3d
💾Retrocomputing
Webmentions but manual (for Jekyll)
joelchrono.xyz·1d
🔗Parser Combinators
Project Mordenite (what if Small Language Models improved the way we hire? )
designswarm.com·3d
🧮Programming Language Theory
Free Google AI Studio
freegoogleai.top·1d·
Discuss: Hacker News
🧭SMT Solvers
My Solo GameDev Toolkit
1drv.ms·3d·
Discuss: DEV
👐Open Source Software
Some Dumb AI Ideas
4gravitons.com·2d
🔗Parser Combinators
This Week in Security: Anime Catgirls, Illegal AdBlock, and Disputed Research
hackaday.com·2d
👐Open Source Software
What the hell is going on right now?
catskull.net·2d·
Discuss: Lobsters, Hacker News
👐Open Source Software
The Quiet Influence of AI: Instructions Without Words
hackernoon.com·3d
🔧Compiler Design
Navigating the Creative Process with Others
reddit.com·22h·
Discuss: r/gamedev
🔌Network Programming
"I Won't Use Algorithms in My Job"
github.com·2d·
Discuss: DEV
🔧Compiler Design
Show HN: I replaced vector databases with Git for AI memory (PoC)
github.com·3d·
Discuss: Hacker News
🧠Memory Management
From Basic Affordances to Symbolic Thought: A Computational Phylogenesis of Biological Intelligence
arxiv.org·2d
🧮Programming Language Theory
There is an easy way to dramatically reduce the resources we spend to train LLMs.
medium.com·3d·
Discuss: r/LocalLLaMA
🔗Parser Combinators
Automated Optimization of Brine Fracture Propagation Using Multi-Modal Data Fusion and Bayesian Hyperparameter Calibration
dev.to·2d·
Discuss: DEV
🎲Probabilistic Programming
Robust Multi-Scale GRN Dynamics Prediction via Causal Tensor Decomposition
dev.to·1d·
Discuss: DEV
🎲Probabilistic Programming
GEPA DSPy Optimizer in SuperOptiX: Revolutionizing AI Agent Optimization Through Reflective Prompt Evolution
dev.to·6d·
Discuss: DEV
🧭SMT Solvers
KnowDR-REC: A Benchmark for Referring Expression Comprehension with Real-World Knowledge
arxiv.org·3d
🔗Parser Combinators
Why I Treat My Git Commits Like a Personal Journal
dev.to·2d·
Discuss: DEV
👐Open Source Software
Curious Beginner's Guide to AI Evaluations
creatoreconomy.so·4d
🔍Static Analysis
Loading...Loading more...
AboutBlogChangelogRoadmap