๐Ÿฟ๏ธ 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

Stackage Blog: LTS 24 release for ghc-9.10 and Nightly now on ghc-9.12
stackage.orgยท1d
๐Ÿ”—Functional Compilers
Magic The Gathering - Deal infinite damage for 4GRU, as long as the twin primes conjecture is true
reddit.comยท2hยท
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
GoFiber v3 + Testcontainers: Production-like Local Dev with Air
docker.comยท11h
โšกgRPC
Self-hosting CI runners is a trap
shipfox.ioยท12hยท
Discuss: Hacker News
๐Ÿ–ฅ๏ธSelf-hosted Infrastructure
Show HN: 1.5B LLM routing model that aligns to preferences, not leaderboards
huggingface.coยท5hยท
Discuss: Hacker News
๐Ÿ“ABNF Parsing
Dollars per token considered harmful
modal.comยท1dยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
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ยท5hยท
Discuss: Hacker News
๐Ÿ”—Constraint Handling
I Accidentaly Wrote a Compile-Time Executable State Machine (2020)
philippegroarke.comยท4dยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
The FIPS 140-3 Go Cryptographic Module
go.devยท3dยท
Discuss: Lobsters, Hacker News, r/golang, r/programming
๐ŸŒŠStream Ciphers
Know Your Playground: The Essential Guide to Algorand for MEV Enthusiasts
hackernoon.comยท2d
๐Ÿ”—Hash Chains
The Top Programming Languages to Learn in 2025 (And Why You Should Look Beyond Python)
dev.toยท20hยท
Discuss: DEV
๐Ÿ”„Language Evolution
Boffins detail new algorithms to losslessly boost AI perf by up to 2.8x
theregister.comยท15hยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
Enhancing Your Matillion Python Component with a Custom Matillion Python Package Powered by Amazon Q Developer
dev.toยท2dยท
Discuss: DEV
๐Ÿค–Network Automation
Comparison of defining interfaces in the consumer vs. producer when it comes to developing a microservice
reddit.comยท20hยท
Discuss: r/golang
๐Ÿ”ŒInterface Evolution
CRABS: A syntactic-semantic pincer strategy for bounding LLM interpretation of Python notebooks
arxiv.orgยท21h
๐Ÿ’ปProgramming languages
Show HN: I built an SDK for building an AI RAG app with Supabase and pgvector
github.comยท1dยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
Loading...Loading more...
AboutBlogChangelogRoadmap