🐿️ 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Β·13hΒ·
Discuss: r/BadMtgCombos
🎯Proof Tactics
Good binding data is all you need
leashbio.substack.comΒ·1dΒ·
Discuss: Substack
πŸ—‚οΈVector Databases
API Auth Is Deeper Than It Looks
nango.devΒ·1dΒ·
Discuss: Hacker News
πŸ”ŒInterface Evolution
RFC 7711 - PKIX over Secure HTTP (POSH)
datatracker.ietf.orgΒ·4d
🌐DNS Security
Self-hosting CI runners is a trap
shipfox.ioΒ·23hΒ·
Discuss: Hacker News
πŸ–₯️Self-hosted Infrastructure
Writing the Perfect Question (2010)
codeblog.jonskeet.ukΒ·16hΒ·
Discuss: Hacker News
πŸ”—Constraint Handling
Simplify your Agent "vibe building" flow with ADK and Gemini CLI
developers.googleblog.comΒ·1d
βš”οΈLean Tactics
The Conspiracy of Reason
medium.comΒ·50mΒ·
Discuss: Hacker News
πŸ”²Cellular Automata
ChatGPT agent might be a big deal
augmentedswe.comΒ·10hΒ·
Discuss: Hacker News
πŸ–₯️Terminal Renaissance
The FIPS 140-3 Go Cryptographic Module
go.devΒ·3dΒ·
Discuss: Lobsters, Hacker News, r/golang, r/programming
🌊Stream Ciphers
An AI Skeptic Uses AI for a Week
keithjgrant.comΒ·2dΒ·
Discuss: Hacker News
✨Effect Handlers
Effective Practices for Coding with a Chat-Based AI
infoq.comΒ·1dΒ·
Discuss: Hacker News
πŸ”„Language Evolution
Source code analysis of Amazon Kiro
ghuntley.comΒ·3dΒ·
Discuss: Hacker News
πŸŒ€Brotli Dictionary
Defeating Memory Leaks With Zig Allocators
tgmatos.github.ioΒ·2dΒ·
Discuss: Hacker News, r/programming
πŸ”’Type Safety
[P] Cogency – ReAct agents in 3 lines, out of the box (Python OSS)
reddit.comΒ·15hΒ·
Discuss: r/MachineLearning
πŸŒ€Brotli Internals
Inferencing LLMs in production with Kubernetes and KubeFlow - Chamod Perera & Suresh Peiris
youtube.comΒ·3d
🌊Streaming Systems
A Discrete Analog of Tutte's Barycentric Embeddings on Surfaces
arxiv.orgΒ·8h
🌐Computational Topology
Automate Your Development Workflow with Kiro’s AI Agent Hooks
dev.toΒ·1dΒ·
Discuss: DEV
πŸ€–Archive Automation
From Neural Network Frustration to Mathematical Innovation
dev.toΒ·4hΒ·
Discuss: DEV
🧠Machine Learning
Gaslight-driven development
tonsky.meΒ·2dΒ·
Discuss: Hacker News
🎯Gradual Typing
Loading...Loading more...
AboutBlogChangelogRoadmap