๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐ŸŽฏ Dependent Preservation

Type-safe Archives, Verified Storage, Format Correctness, Proof Assistants

ZFS in Virtualization: Storage Backend for the Pros
klarasystems.comยท2d
๐Ÿ’ฟZFS Internals
Blogging Like It's 1998 โ€“ The Pipetogrep Blog
blog.pipetogrep.orgยท21hยท
Discuss: Hacker News
๐Ÿ Homelab Archaeology
DataOps and Automation: The Future of Database Management
devops.comยท1h
๐ŸššData Migration
Show HN: TableSprint- Supabase alternative with vibe coding features
tablesprint.comยท2dยท
Discuss: Hacker News
๐Ÿ“ฒDigitization
Microservices to Monolith, Rebuilding Our Back End in Rust
influxdata.comยท13hยท
Discuss: Hacker News
๐Ÿ”ŒInterface Evolution
Building a Language Server
bullno1.comยท4dยท
Discuss: Hacker News, r/programming
๐Ÿ—ฃ๏ธDomain-Specific Languages
Agent Lineage Evolution: A Novel Framework for Managing LLM Agent Degradation
danieltan.weblog.lolยท1dยท
Discuss: Hacker News
โš™๏ธTLA+
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.appยท2dยท
Discuss: Hacker News
โšกProof Automation
[D] Thinking, Fast and Slow
reddit.comยท12hยท
Discuss: r/MachineLearning
๐ŸงฎTheoretical Computer Science
Coding Agents 101: Some tips for using agents productively
devin.aiยท2hยท
Discuss: Hacker News
โšกProof Automation
Building a Full-Stack Bookstore App in 100 Days with .NET MAUI and Clean Architecture
hackernoon.comยท17h
๐ŸงฑImmutable Infrastructure
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols๏ผˆ1751016812847900๏ผ‰
dev.toยท10hยท
Discuss: DEV
๐ŸŒNetwork Protocols
"Who Should I Believe?": User Interpretation and Decision-Making When a Family Healthcare Robot Contradicts Human Memory
arxiv.orgยท15h
๐ŸŽฏThreat Hunting
On Context-Content Uncertainty Principle
arxiv.orgยท15h
๐Ÿง Machine Learning
The Unspoken Engineering Trade-offs in Large-Scale Vector Search
dev.toยท1dยท
Discuss: DEV
๐Ÿ—‚๏ธVector Databases
This Is How I Mastered TypeScript Like I'm 5 (And How You Can, Too!)(5)
dev.toยท4hยท
Discuss: DEV
๐ŸŽฏGradual Typing
Hong Mong 5 Development Treasure Case Sharing Cross-Thread Performance Optimization Guide
dev.toยท1dยท
Discuss: DEV
๐Ÿ‘๏ธSystem Observability
From expected to actual: Kotlin doesn't reinvent, it reuses ๐Ÿ”„
dev.toยท19hยท
Discuss: DEV
๐Ÿ’งLiquid Types
Understanding the System 3: Databases
dev.toยท16hยท
Discuss: DEV
๐Ÿ—„๏ธDatabase Internals
PEGTL -- Parsing Expression Grammar Template Library
github.comยท2dยท
Discuss: Hacker News
๐Ÿ”—Parser Combinators
Loading...Loading more...
AboutBlogChangelogRoadmap