🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🎯 Interactive Provers

Proof Development, Tactic Languages, Theorem Proving, Mathematical Verification

Patching A Homebrew Emacs
irreal.orgΒ·10h
πŸ’§Liquid Types
Quoting Recurse Center
simonwillison.netΒ·1d
βš”οΈLean Tactics
mariadb-operator πŸ“¦ 25.08.0 has landed: PhysicalBackups, VolumeSnapshots, VECTOR support, new cluster Helm chart, and more!
github.comΒ·16h
🌳Git Internals
How Anthropic teams use Claude Code
anthropic.comΒ·2dΒ·
Discuss: Hacker News, r/programming
πŸ”„Language Evolution
AI's Rapid Role in Spotting Fake News
dev.toΒ·2hΒ·
Discuss: DEV
πŸ“°RSS Reading Practices
A Simple "Try Again" Can Elicit Multi-Turn LLM Reasoning
arxiv.orgΒ·3d
πŸ”²Cellular Automata
Sticking to the Mean: Detecting Sticky Tokens in Text Embedding Models
arxiv.orgΒ·22h
πŸ“Text Parsing
The LACT Stack: Lighttpd, Awk, CGI, and Text Files
github.comΒ·5hΒ·
Discuss: Hacker News
⚑gRPC
Getting structured JSON from LLMs in C#
dev.toΒ·14hΒ·
Discuss: DEV
βœ…Format Verification
Shard Protocol: a preemptive logic layer built on Bolt
dev.toΒ·4dΒ·
Discuss: DEV
βš™οΈTLA+
I randomly decided to learn Python last week and ended up making an adaptable and modular AI model from scratch.
dev.toΒ·12hΒ·
Discuss: DEV
πŸ”²Cellular Automata
CausalStep: A Benchmark for Explicit Stepwise Causal Reasoning in Videos
arxiv.orgΒ·1d
✨Effect Handlers
Join the Redis AI Challenge: $3,000 in Prizes!
dev.toΒ·2dΒ·
Discuss: DEV
⚑Redis Internals
The Dangers of Vibe Coding Part 1: Premature Optimization
dev.toΒ·2dΒ·
Discuss: DEV
⚑Effectful Programming
Revolutionizing the Self-Googling Era: How to Get Better Responses from Chatbots
dev.toΒ·1dΒ·
Discuss: DEV
πŸ“ŠFeed Optimization
Bolt.new in Action: A Technical Deep-Dive into AI-Assisted Full-Stack Development
dev.toΒ·1dΒ·
Discuss: DEV
πŸ”„Reproducible Builds
Scoping Freelance Dev Projects with GPT: My Workflow
dev.toΒ·8hΒ·
Discuss: DEV
βš™οΈBatch Processing
Neural Corrective Machine Unranking
arxiv.orgΒ·22h
🧠Learned Indexing
Explainable Graph Neural Networks via Structural Externalities
arxiv.orgΒ·22h
πŸ•ΈοΈGraph Embeddings
Building Effective Agents: Simple Strategies for Success
dev.toΒ·1dΒ·
Discuss: DEV
πŸ”²Cellular Automata
Loading...Loading more...
AboutBlogChangelogRoadmap