🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔬 Refinement Types

Liquid Haskell, Contract Programming, SMT Integration, Type Safety

Magic The Gathering - Deal infinite damage for 4GRU, as long as the twin primes conjecture is true
reddit.com·19h·
Discuss: r/BadMtgCombos
🎯Proof Tactics
Why pull-based pipelines are faster
blog.sequinstream.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🌊Stream Processing
Good binding data is all you need
leashbio.substack.com·1d·
Discuss: Substack
🗂️Vector Databases
GoFiber v3 + Testcontainers: Production-like Local Dev with Air
docker.com·1d
⚡gRPC
Simplify your Agent "vibe building" flow with ADK and Gemini CLI
developers.googleblog.com·2d
⚔️Lean Tactics
The Conspiracy of Reason
medium.com·7h·
Discuss: Hacker News
🔲Cellular Automata
Show HN: 1.5B LLM routing model that aligns to preferences, not leaderboards
huggingface.co·22h·
Discuss: Hacker News, Hacker News
📝ABNF Parsing
I Accidentaly Wrote a Compile-Time Executable State Machine (2020)
philippegroarke.com·5d·
Discuss: Hacker News
🔗Functional Compilers
OpenAI's ChatGPT Agent Outperforms the Model Alone: Impact for Developers
belitsoft.com·7h·
Discuss: Hacker News
🖥️Terminal Renaissance
The Impact of Prompt Bloat on LLM Output Quality
mlops.community·1d·
Discuss: Hacker News
✨Effect Handlers
From Goliath Idea to Reality with Bolt
dev.to·6h·
Discuss: DEV
🌊Streaming Systems
Inferencing LLMs in production with Kubernetes and KubeFlow - Chamod Perera & Suresh Peiris
youtube.com·3d
🌊Streaming Systems
We migrated our site to Eleventy and increased performance by 24%
etch.co·14h·
Discuss: Hacker News
🎬WebCodecs
A Discrete Analog of Tutte's Barycentric Embeddings on Surfaces
arxiv.org·15h
🌐Computational Topology
Automate Your Development Workflow with Kiro’s AI Agent Hooks
dev.to·1d·
Discuss: DEV
🤖Archive Automation
Gaslight-driven development
tonsky.me·2d·
Discuss: Hacker News
🎯Gradual Typing
A Bayesian Incentive Mechanism for Poison-Resilient Federated Learning
arxiv.org·1d
🤐Secure Multiparty
From Console to GUI: Building My Python DataProcessor (v1.0.0 Release!)
dev.to·7h·
Discuss: DEV
📟Terminals
LLM Internals for Beginners
vivekkairi.com·3h·
Discuss: Hacker News
💻Local LLMs
How AI Can Speed up Modernization of Your Legacy IT Systems
thenewstack.io·3h
🏛️Mainframe Archaeology
Loading...Loading more...
AboutBlogChangelogRoadmap