🐿️ 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·9h·
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·19h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
GoFiber v3 + Testcontainers: Production-like Local Dev with Air
docker.com·19h
⚡gRPC
Simplify your Agent "vibe building" flow with ADK and Gemini CLI
developers.googleblog.com·1d
⚔️Lean Tactics
Writing the Perfect Question (2010)
codeblog.jonskeet.uk·12h·
Discuss: Hacker News
🔗Constraint Handling
ChatGPT agent might be a big deal
augmentedswe.com·6h·
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
How and where will agents ship software?
instantdb.com·1d·
Discuss: Hacker News
🌊Streaming Systems
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
Agent Memory with Spring AI & Redis
dev.to·1d·
Discuss: DEV
⚡Redis Internals
TransEvalnia: Reasoning-based Evaluation and Ranking of Translations
arxiv.org·5h
⚙️Compression Benchmarking
On the Limitations of Large Language Models (LLMs): False Attribution
arxiv.org·5h
📝ABNF Extensions
An AI Skeptic Uses AI for a Week
keithjgrant.com·2d·
Discuss: Hacker News
✨Effect Handlers
[P] Cogency – ReAct agents in 3 lines, out of the box (Python OSS)
reddit.com·11h·
Discuss: r/MachineLearning
🌀Brotli Internals
Inferencing LLMs in production with Kubernetes and KubeFlow - Chamod Perera & Suresh Peiris
youtube.com·3d
🌊Streaming Systems
Loading...Loading more...
AboutBlogChangelogRoadmap