🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
📐 Proof Assistants

Agda, Coq, Isabelle, Lean, Theorem Proving, Interactive Verification

A Standard for Human-Centered Investigation Playbooks
chrissanders.org·12h
🎯Threat Hunting
abhisheksr01/spring-boot-microservice-best-practices
github.com·6h
🌊Streaming Systems
First NetHack ascension, and insights into the AI capabilities it requires
mikaelhenaff.substack.com·45m·
Discuss: Substack
🔲Cellular Automata
Shane Kennedy - Software Engineer
shaneikennedy.xyz·1d
🦀Rust Macros
NewDay builds A Generative AI based Customer service Agent Assist with over 90% accuracy
aws.amazon.com·1d
🌀Brotli Internals
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·13h·
Discuss: Hacker News
⚡Proof Automation
CloneDex: Rebuilding OpenAI Codex with VibeKit
vibekit.sh·20h·
Discuss: Hacker News
🔄Sync Engine
Proficient Python: A free interactive online course
blog.pamelafox.org·2d·
Discuss: www.blogger.com, Hacker News
🔗Concatenative Programming
Vibe Coding Makes You a Better Engineer
artmann.co·2d
📏Code Metrics
$1M per Week: My Seven-Week AI Development Sprint
blockhead.consulting·1d·
Discuss: Hacker News
🦀Rust Macros
LR(1) parse-tables generator
github.com·1d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing
Machine Learning Fundamentals: accuracy with python
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
Agent Lineage Evolution: A Novel Framework for Managing LLM Agent Degradation
danieltan.weblog.lol·58m·
Discuss: Hacker News
⚙️TLA+
DSPy for Rubyists
github.com·1d·
Discuss: Hacker News
🌀Brotli Internals
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
Effective Agent Instruction
dev.to·13h·
Discuss: DEV
⚡Proof Automation
When AI Meets Madness: Peter's 16-Hour Days Building Apps at the Speed of Thought
steipete.me·14h·
Discuss: Hacker News
⚡Proof Automation
A Multi-Pass Large Language Model Framework for Precise and Efficient Radiology Report Error Detection
arxiv.org·3h
✅Format Verification
Is Your Automated Software Engineer Trustworthy?
arxiv.org·2d
⚡Proof Automation
Enterprise Large Language Model Evaluation Benchmark
arxiv.org·3h
⚙️Compression Benchmarking
Loading...Loading more...
AboutBlogChangelogRoadmap