🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⚔️ Lean Tactics

Interactive Proving, Tactic Composition, Proof Automation, Mathlib

Redefining DNS Protection
paloaltonetworks.com·8h
🌐DNS Security
A Blueprint for Implementing RAG at Scale
thenewstack.io·1d
🔍Information Retrieval
Common Expression Language – Fast, safe expression language
cel.dev·1d·
Discuss: Hacker News
✅Format Verification
Logistic Regression Applied to Baseball Data
runningonnumbers.com·1d·
Discuss: Hacker News
🧮Kolmogorov Bounds
Recursive Functions To Piss Off Your CS Professor
inventwithpython.com·5d·
Discuss: Hacker News, r/programming
🔗Lisp
The End Is Nigh, for the Beta Days for Reticulum
unsigned.io·5h·
Discuss: Hacker News
🌀Brotli Internals
A Practical Comparison of AI Coding Agents
jaredforsyth.com·1d·
Discuss: Hacker News
🔐Capability Systems
Reliable by Design: Fast, Fail-Safe AI Agents
aimon.ai·1d·
Discuss: Hacker News
🔍Concolic Testing
Evolution in Software: What Has Changed Since GOOS? • Nat Pryce & Duncan McGregor
youtube.com·1d
🔌Interface Evolution
I co-authored books with GPT. It became more than a mirror
news.ycombinator.com·42m·
Discuss: Hacker News
📼Cassette Linguistics
Bottom-up Domain-specific Superintelligence: A Reliable Knowledge Graph is What We Need
arxiv.org·2d
🗺️Competency Maps
Rethinking Memorization Measures and their Implications in Large Language Models
arxiv.org·1d
💻Local LLMs
Machine Learning Fundamentals: ensemble learning
dev.to·4d·
Discuss: DEV
🎵Audio ML
SpiroLLM: Finetuning Pretrained LLMs to Understand Spirogram Time Series with Clinical Validation in COPD Reporting
arxiv.org·16h
🎙️Whisper
Top 5 Tools for Simulating AI Agents in 2025
dev.to·6h·
Discuss: DEV
⚡Proof Automation
Graphs over Chains - My LangGraph Journey (part-1)
dev.to·2d·
Discuss: DEV
🕸️Neo4j
Orchestrating 6 Subagents to Build a Collaborative API Playground for Kids
dev.to·2d·
Discuss: DEV
🌐Protocol Synthesis
AI Agent Protocols Every Developer Should Know in 2025
dev.to·2d·
Discuss: DEV
🔌Interface Evolution
Protecting Your Data: A Developer's Guide to AWS AI Opt-Out Policies
dev.to·5h·
Discuss: DEV
🔄Language Evolution
ICML Statement about subversive hidden LLM prompts
icml.cc·7h·
Discuss: Hacker News
⚖️Constraint Logic
Loading...Loading more...
AboutBlogChangelogRoadmap