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

How AI Can Speed up Modernization of Your Legacy IT Systems
thenewstack.ioΒ·22m
πŸ›οΈMainframe Archaeology
RFC 7711 - PKIX over Secure HTTP (POSH)
datatracker.ietf.orgΒ·4d
🌐DNS Security
Good binding data is all you need
leashbio.substack.comΒ·1dΒ·
Discuss: Substack
πŸ—‚οΈVector Databases
Why pull-based pipelines are faster
blog.sequinstream.comΒ·1dΒ·
Discuss: Lobsters, Hacker News, r/programming
🌊Stream Processing
We migrated our site to Eleventy and increased performance by 24%
etch.coΒ·11hΒ·
Discuss: Hacker News
🎬WebCodecs
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
Show HN: 1.5B LLM routing model that aligns to preferences, not leaderboards
huggingface.coΒ·19hΒ·
Discuss: Hacker News, Hacker News
πŸ“ABNF Parsing
Simplify your Agent "vibe building" flow with ADK and Gemini CLI
developers.googleblog.comΒ·1d
βš”οΈLean Tactics
The Conspiracy of Reason
medium.comΒ·4hΒ·
Discuss: Hacker News
πŸ”²Cellular Automata
I Accidentaly Wrote a Compile-Time Executable State Machine (2020)
philippegroarke.comΒ·4dΒ·
Discuss: Hacker News
πŸ”—Functional Compilers
OpenAI's ChatGPT Agent Outperforms the Model Alone: Impact for Developers
belitsoft.comΒ·4hΒ·
Discuss: Hacker News
πŸ–₯️Terminal Renaissance
Defeating Memory Leaks With Zig Allocators
tgmatos.github.ioΒ·3dΒ·
Discuss: Hacker News, r/programming
πŸ”’Type Safety
[P] Cogency – ReAct agents in 3 lines, out of the box (Python OSS)
reddit.comΒ·18hΒ·
Discuss: r/MachineLearning
πŸŒ€Brotli Internals
From Goliath Idea to Reality with Bolt
dev.toΒ·3hΒ·
Discuss: DEV
🌊Streaming Systems
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Β·12h
🌐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Β·8hΒ·
Discuss: DEV
🧠Machine Learning
Gaslight-driven development
tonsky.meΒ·2dΒ·
Discuss: Hacker News
🎯Gradual Typing
Loading...Loading more...
AboutBlogChangelogRoadmap