🐿️ 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

Modelling API rate limits as diophantine inequalities
vivekn.dev·2d·
Discuss: Hacker News
🎯Performance Proofs
AI videos have never been better: can you tell what's real?
nytimes.com·3h·
Discuss: Hacker News
🏺Media Archaeology
How to get the most out of AI deep research tools
operatorshandbook.com·1d
🧭Content Discovery
​​Accelerating Cloud Cryptography: Optimizing AWS-LC with Intel’s AVX-512
infosecwriteups.com·17h
⚡SIMD Optimization
Show HN: Natrul AI – An API for autocomplete, search, and content enhancement
natrul.ai·1d·
Discuss: Hacker News
🌀Brotli Internals
Can AI Stop AI? Inside Bengio's Mission to Make It Safer
mindthenerd.com·9h·
Discuss: Hacker News
🔲Cellular Automata
Context engineering
simonwillison.net·2d·
Discuss: Hacker News
🔍Archive Semantics
20 Best AI Headshot Generators of 2025 (I Tried Them All)
dev.to·1d·
Discuss: DEV
⚡Proof Automation
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·5d
🎯Performance Proofs
SCI-FI is all you need: Meet GEN-I-SYS
dev.to·2d·
Discuss: DEV
🖥️Modern Terminals
🚀 From Manual API Testing(PlantoPlan) to AI-Powered Automation with Keploy
dev.to·2d·
Discuss: DEV
⚡Proof Automation
RAG vs Fine-tuning vs Prompt Engineering: The Complete Enterprise Guide
dev.to·2d·
Discuss: DEV
🌊Stream Processing
From Scratch to SaaS in 9 Days: A Dev's Journey + Free Insights
dev.to·18h·
Discuss: DEV
🚀Indie Hacking
How to Write a Software Project Proposal: Complete Template & Guide
dev.to·3d·
Discuss: DEV
🦋Format Metamorphosis
Animation Plugin for draw.io Documentation & Deep Dive
dev.to·1d·
Discuss: DEV
📐Mathematical Art
Building Your Own DSL with @resultBuilder in Swift: HTML Builder
dev.to·1d·
Discuss: DEV
🔤DSLs
Flame Graph Performance Truth Analysis(1750991459477100)
dev.to·2d·
Discuss: DEV
⚡Performance Tools
Memory Safety in Web Rust System Zero Cost Secure(1751034480783800)
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·5d
💻Local LLMs
Making AI Models Accessible Anywhere :: Scaling AI Traffic with Envoy AI Gateway
dev.to·1d·
Discuss: DEV
🏠Homelab Orchestration
Loading...Loading more...
AboutBlogChangelogRoadmap