๐Ÿฟ๏ธ 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ยท1dยท
Discuss: r/BadMtgCombos
๐ŸŽฏProof Tactics
RFC 7711 - PKIX over Secure HTTP (POSH)
datatracker.ietf.orgยท5d
๐ŸŒDNS Security
Debcraft โ€“ Easiest way to modify and build Debian packages
optimizedbyotto.comยท2hยท
Discuss: Hacker News
๐Ÿ“ฆPackage Managers
Good binding data is all you need
leashbio.substack.comยท2dยท
Discuss: Substack
๐Ÿ—‚๏ธVector Databases
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
Simplify your Agent "vibe building" flow with ADK and Gemini CLI
developers.googleblog.comยท2d
โš”๏ธLean Tactics
The Conspiracy of Reason
medium.comยท14hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Writing the Perfect Question (2010)
codeblog.jonskeet.ukยท1dยท
Discuss: Hacker News
๐Ÿ”—Constraint Handling
I Accidentaly Wrote a Compile-Time Executable State Machine (2020)
philippegroarke.comยท5dยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Build your CV on Subreply as a LinkedIn alternative
subreply.comยท2hยท
Discuss: Hacker News
๐Ÿš€Indie Hacking
OpenAI's ChatGPT Agent Outperforms the Model Alone: Impact for Developers
belitsoft.comยท14hยท
Discuss: Hacker News
๐Ÿ–ฅ๏ธTerminal Renaissance
Inferencing LLMs in production with Kubernetes and KubeFlow - Chamod Perera & Suresh Peiris
youtube.comยท4d
๐ŸŒŠStreaming Systems
Gaslight-driven development
tonsky.meยท3dยท
Discuss: Hacker News
๐ŸŽฏGradual Typing
LLM Internals for Beginners
vivekkairi.comยท10hยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
HTML to PDF Conversion using Modern .NET Core Frameworks: The Ultimate Guide
hackernoon.comยท1d
๐Ÿ“„PDF Internals
govalid - A compile-time validation library that's up to 45x faster than reflection-based validators
reddit.comยท2dยท
Discuss: r/golang
๐Ÿฆ€Rust Verification
Beyond Single Models: Enhancing LLM Detection of Ambiguity in Requests through Debate
arxiv.orgยท1d
๐Ÿ“ABNF Parsing
Stability of lattice Boltzmann schemes for initial boundary value problems in raw formulation
arxiv.orgยท22h
๐Ÿ“Linear Algebra
[R] Paper recommendations?
reddit.comยท7hยท
Discuss: r/MachineLearning
๐Ÿง Machine Learning
Loading...Loading more...
AboutBlogChangelogRoadmap