๐Ÿฟ๏ธ 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ยท5hยท
Discuss: r/BadMtgCombos
๐ŸŽฏProof Tactics
Why pull-based pipelines are faster
blog.sequinstream.comยท14hยท
Discuss: Lobsters, Hacker News, r/programming
๐ŸŒŠStream Processing
Good binding data is all you need
leashbio.substack.comยท1dยท
Discuss: Substack
๐Ÿ—‚๏ธVector Databases
RFC 7711 - PKIX over Secure HTTP (POSH)
datatracker.ietf.orgยท4d
๐ŸŒDNS Security
We migrated our site to Eleventy and increased performance by 24%
etch.coยท7mยท
Discuss: Hacker News
๐ŸŽฌWebCodecs
GoFiber v3 + Testcontainers: Production-like Local Dev with Air
docker.comยท15h
โšกgRPC
Show HN: 1.5B LLM routing model that aligns to preferences, not leaderboards
huggingface.coยท8hยท
Discuss: Hacker News
๐Ÿ“ABNF Parsing
Self-hosting CI runners is a trap
shipfox.ioยท16hยท
Discuss: Hacker News
๐Ÿ–ฅ๏ธSelf-hosted Infrastructure
Simplify your Agent "vibe building" flow with ADK and Gemini CLI
developers.googleblog.comยท1d
โš”๏ธLean Tactics
I Accidentaly Wrote a Compile-Time Executable State Machine (2020)
philippegroarke.comยท4dยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Enhancing Your Matillion Python Component with a Custom Matillion Python Package Powered by Amazon Q Developer
dev.toยท2dยท
Discuss: DEV
๐Ÿค–Network Automation
The Impact of Prompt Bloat on LLM Output Quality
mlops.communityยท17hยท
Discuss: Hacker News
โœจEffect Handlers
Using LLVM To Supercharge AI Model Execution On Edge Devices
hackernoon.comยท20h
๐ŸญCompiler Backends
Show HN: Default-Exploitability Context for CISA Known Exploited Vulnerabilities
github.comยท16hยท
Discuss: Hacker News, Hacker News
๐Ÿ›ก๏ธCBOR Security
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
Agent Memory with Spring AI & Redis
dev.toยท1dยท
Discuss: DEV
โšกRedis Internals
TransEvalnia: Reasoning-based Evaluation and Ranking of Translations
arxiv.orgยท1h
โš™๏ธCompression Benchmarking
On the Limitations of Large Language Models (LLMs): False Attribution
arxiv.orgยท1h
๐Ÿ“ABNF Extensions
Loading...Loading more...
AboutBlogChangelogRoadmap