๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿฆ€ Rust Verification

Memory Safety Proofs, Linear Types, Borrow Checker, Systems Verification

Invincible Island: The Bones of Our Ancestors
bluerenga.blogยท1d
โšกProof Automation
High level design of replacement for 1130 core memory
rescue1130.blogspot.comยท1dยท
Discuss: rescue1130.blogspot.com
โšกHardware Transactional Memory
TextIndex: Simple syntax for creating indexes in Markdown and text documents
mattgemmell.scotยท1dยท
Discuss: Hacker News
๐Ÿ“‡Indexing Strategies
The Real Python Podcast โ€“ Episode #258: Supporting the Python Package Index
realpython.comยท1d
๐ŸŒ€Brotli Internals
MirrorVM: Compiling WebAssembly using Reflection
sbox.gameยท6dยท
Discuss: r/programming
๐Ÿ”—Concatenative Programming
ZeroFS โ€“ The Filesystem That Makes S3 Your Primary Storage
github.comยท1dยท
Discuss: Hacker News
๐Ÿ’ฟZFS Internals
Solving the inference problem for open source AI projects with GitHub Models
github.blogยท3dยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
My local Lowe's has its check-out computers running Linux.
reddit.comยท19hยท
Discuss: r/linux
๐Ÿ”ŒOperating system internals
How I Got My First Developer Job โ€” And the One Tiny Habit That Helped Big Time
dev.toยท2hยท
Discuss: DEV
๐Ÿ”ฉSystems Programming
How to Make Your AI Agent Remember Things (Without a Database)
dev.toยท1dยท
Discuss: DEV
๐Ÿ’พPersistence Strategies
StakeRunner - Automating the Future of Crypto Gambling
dev.toยท1dยท
Discuss: DEV
๐ŸŒŠApache Kafka
Back-end Design Patterns in Rails Eliminate Bloated Code!
blog.codeminer42.comยท4d
๐Ÿ“ฆCBOR Extensions
URPO: A Unified Reward & Policy Optimization Framework for Large Language Models
arxiv.orgยท3d
๐Ÿ”—Parser Combinators
Build a Fullstack Stock Portfolio Agent with LangGraph and AG-UI
dev.toยท2dยท
Discuss: DEV
๐Ÿ“Proof Assistants
AI coding agent one-shot challenge with Amp, Claude Code and Gemini
unknwon.ioยท4dยท
Discuss: Hacker News
โšกProof Automation
Python Fundamentals: cloudpickle
dev.toยท2dยท
Discuss: DEV
๐Ÿ’งLiquid Types
Security Affairs newsletter Round 534 by Pierluigi Paganini โ€“ INTERNATIONAL EDITION
securityaffairs.comยท4h
๐Ÿ”“Hacking
Machine Learning Fundamentals: hyperparameter tuning
dev.toยท19hยท
Discuss: DEV
๐Ÿ“ŠFeed Optimization
๐ŸŽจ Clean code setup that boosts focus:
dev.toยท9hยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Post-quantum TLS in Python
aws.amazon.comยท2d
๐Ÿ”Quantum Security
Loading...Loading more...
AboutBlogChangelogRoadmap