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

Cryptography for the Everyday Developer: Understanding DES - The Data Encryption Standard
sookocheff.comΒ·18h
πŸ”Cryptographic Archaeology
Magic The Gathering - Deal infinite damage for 4GRU, as long as the twin primes conjecture is true
reddit.comΒ·1dΒ·
Discuss: r/BadMtgCombos
🎯Proof Tactics
Debcraft – Easiest way to modify and build Debian packages
optimizedbyotto.comΒ·9hΒ·
Discuss: Hacker News
πŸ“¦Package Managers
Good binding data is all you need
leashbio.substack.comΒ·2dΒ·
Discuss: Substack
πŸ—‚οΈVector Databases
API Auth Is Deeper Than It Looks
nango.devΒ·2dΒ·
Discuss: Hacker News
πŸ”ŒInterface Evolution
GoFiber v3 + Testcontainers: Production-like Local Dev with Air
docker.comΒ·1d
⚑gRPC
Self-hosting CI runners is a trap
shipfox.ioΒ·1dΒ·
Discuss: Hacker News
πŸ–₯️Self-hosted Infrastructure
Simplify your Agent "vibe building" flow with ADK and Gemini CLI
developers.googleblog.comΒ·2d
βš”οΈLean Tactics
The Conspiracy of Reason
medium.comΒ·21hΒ·
Discuss: Hacker News
πŸ”²Cellular Automata
Build your CV on Subreply as a LinkedIn alternative
subreply.comΒ·9hΒ·
Discuss: Hacker News
πŸš€Indie Hacking
OpenAI's ChatGPT Agent Outperforms the Model Alone: Impact for Developers
belitsoft.comΒ·21hΒ·
Discuss: Hacker News
πŸ–₯️Terminal Renaissance
Inferencing LLMs in production with Kubernetes and KubeFlow - Chamod Perera & Suresh Peiris
youtube.comΒ·4d
🌊Streaming Systems
Gaslight-driven development
tonsky.meΒ·3dΒ·
Discuss: Hacker News
🎯Gradual Typing
LLM Internals for Beginners
vivekkairi.comΒ·17hΒ·
Discuss: Hacker News
πŸ’»Local LLMs
HTML to PDF Conversion using Modern .NET Core Frameworks: The Ultimate Guide
hackernoon.comΒ·2d
πŸ“„PDF Internals
Stability of lattice Boltzmann schemes for initial boundary value problems in raw formulation
arxiv.orgΒ·1d
πŸ“Linear Algebra
[R] Paper recommendations?
reddit.comΒ·14hΒ·
Discuss: r/MachineLearning
🧠Machine Learning
Graph or Chain? Choosing the Right Engine for Your AI App
dev.toΒ·2dΒ·
Discuss: DEV
πŸ”—Topological Sorting
Automate Your Development Workflow with Kiro’s AI Agent Hooks
dev.toΒ·2dΒ·
Discuss: DEV
πŸ€–Archive Automation
CRABS: A syntactic-semantic pincer strategy for bounding LLM interpretation of Python notebooks
arxiv.orgΒ·2d
πŸ’»Programming languages
Loading...Loading more...
AboutBlogChangelogRoadmap