๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ”’ Linear Types

Resource Management, Rust Ownership, Session Types, Protocol 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ยท5hยท
Discuss: r/BadMtgCombos
๐ŸŽฏProof Tactics
LLVM 21.1-rc1 Released For Testing: Better RISC-V Support, AMD GFX1250 & NVIDIA GB10
phoronix.comยท8h
๐ŸงฉRISC-V Assembly
sync.Once โ€” Go's simple pattern for safe one-time execution.
dev.toยท14hยท
Discuss: DEV
๐Ÿ”„Lens Laws
Boffins detail new algorithms to losslessly boost AI perf by up to 2.8x
theregister.comยท19hยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
Why pull-based pipelines are faster
blog.sequinstream.comยท13hยท
Discuss: Lobsters, Hacker News, r/programming
๐ŸŒŠStream Processing
RustNext: The Next.js-Inspired Web Framework for Rust
dev.toยท2dยท
Discuss: DEV
๐Ÿฆ€Rust Borrowing
Gaslight-driven development
tonsky.meยท2dยท
Discuss: Hacker News
๐ŸŽฏGradual Typing
Machine Learning Fundamentals: dimensionality reduction tutorial
dev.toยท13hยท
Discuss: DEV
๐Ÿ“Vector Dimensionality
How to actually use Model Context Protocol
seangoedecke.comยท1dยท
Discuss: Hacker News
โšกProof Automation
I built a CLI to catch prompt injection & LLM jailbreaks. Want to try it out?
dev.toยท10hยท
Discuss: DEV
โšกProof Automation
My Experience With Claude Code After 2 Weeks of Adventures
sankalp.bearblog.devยท17hยท
Discuss: Hacker News
๐ŸŒณIncremental Parsing
GORM Magic: Go Database Made Easy โšก
dev.toยท7hยท
Discuss: DEV
โ›๏ธSQL Archaeology
Quicksilver v2: evolution of a globally distributed key-value store (Part 2)
blog.cloudflare.comยท16hยท
Discuss: Hacker News
๐Ÿ”„Sync Engine
Graph or Chain? Choosing the Right Engine for Your AI App
dev.toยท1dยท
Discuss: DEV
๐Ÿ”—Topological Sorting
How we automated GitHub Actions Runner updates with Claude
dev.toยท1dยท
Discuss: DEV
๐ŸงฒRISC-V Preservation
Solving the Context Rot Problem for Coding Agents
install.mdยท1dยท
Discuss: Hacker News
๐ŸŒณIncremental Parsing
On One-Shot Signatures, Quantum vs Classical Binding, and Obfuscating Permutations
arxiv.orgยท1d
๐Ÿ”Quantum Security
oapi-codegen v2.5.0 is out
github.comยท2dยท
Discuss: r/golang
๐Ÿ“œProof Carrying Code
SmartDocs AI - Intelligent Documentation Search with Algolia MCP Server
dev.toยท1dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Loading...Loading more...
AboutBlogChangelogRoadmap