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

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

Pick's Theorem, some history.
pballew.blogspot.comΒ·2dΒ·
Discuss: www.blogger.com
πŸ“Mathematical Art
PI(M)P Your Clock
blog.broulik.deΒ·10hΒ·
Discuss: Hacker News
πŸ•ΈοΈWASM Archives
Semantic Kernel for JavaScript
kerneljs.comΒ·1dΒ·
Discuss: Hacker News
πŸŽ™οΈWhisper
Airtable "Omni" app builder review
rnikhil.comΒ·1dΒ·
Discuss: Hacker News
πŸŒ€Brotli Internals
Life of an inference request (vLLM V1): How LLMs are served efficiently at scale
ubicloud.comΒ·2dΒ·
Discuss: Hacker News
πŸ”’Linear Types
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.comΒ·5dΒ·
Discuss: Hacker News
πŸ”—Constraint Handling
Make Fun Of Them
wheresyoured.atΒ·6hΒ·
Discuss: Hacker News
🧲Magnetic Philosophy
Fighting bots by implementing fast TCP fingerprinting with eBPF
halb.itΒ·1dΒ·
Discuss: Hacker News
πŸ›‘οΈeBPF Security
adityachandelgit/BookLore
github.comΒ·1d
πŸ”„Sync Engine
Working with Scheduled Tasks in Go: Timer and Ticker
dev.toΒ·1dΒ·
Discuss: DEV
⚑Effectful Programming
Lightning-Fast, Minimal AI/API Serverless Deployment: The Essence and Practice of Mastra Lambda Docker Deploy
dev.toΒ·12hΒ·
Discuss: DEV
🏠Homelab Orchestration
Single Core Hundred Thousand Concurrency(1751084926454900οΌ‰
dev.toΒ·2dΒ·
Discuss: DEV
🌊Stream Processing
Beyond Speed: A Smarter Framework for Measuring AI Developer Efficiency
dev.toΒ·2dΒ·
Discuss: DEV
πŸ“Code Metrics
Flame Graph Performance Truth Analysis(1751156736805300οΌ‰
dev.toΒ·1dΒ·
Discuss: DEV
⚑Performance Tools
LLM Agents: Your Guide to Smarter Development
dev.toΒ·1dΒ·
Discuss: DEV
πŸ—£οΈDomain-Specific Languages
I Built a Simple SQL Injection Test Tool (and Broke My Own Site in the Process πŸ˜…)
dev.toΒ·1dΒ·
Discuss: DEV
πŸ›Fuzzing
What Devs Are Really Searching About Gemini CLI Right Now
dev.toΒ·1dΒ·
Discuss: DEV
πŸš€Indie Hacking
Exploring the change in scientific readability following the release of ChatGPT
arxiv.orgΒ·17h
🧠Intelligence Compression
Hope Speech Detection in code-mixed Roman Urdu tweets: A Positive Turn in Natural Language Processing
arxiv.orgΒ·17h
πŸŽ™οΈWhisper
Build a Login App using React and Express (Step by Step Guide)
dev.toΒ·1dΒ·
Discuss: DEV
πŸ“œProof Carrying Code
Loading...Loading more...
AboutBlogChangelogRoadmap