🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⚡ Dependent Rust

Verification, Type-level Programming, Safety Proofs, Linear Types

The Open 2025: Tee times and fourth round schedule at Royal Portrush
the-independent.com·3h
⚙Backus-Naur Form
Async BOFs – “Wake Me Up, Before You Go Go”
outflank.nl·3d
🔍eBPF
Mastering Feature Interactions: A Deep Dive into DLRM-Style Ranking Models (Wide & Deep, DeepFM, etc.)
shaped.ai·3d
🎛️Feed Filtering
Base44 – build fully-functional apps in minutes with just your words
base44.com·13h·
Discuss: Hacker News
🌀Brotli Internals
Development Interview with Randal Linden and John Linneman
limitedrungames.com·1d·
Discuss: Hacker News
📼Retro Games
Does AWS Lambda have a silent crash in the runtime?
aaronstuyvenberg.com·4d·
Discuss: Hacker News
🌊Stream Processing
Show HN: Kannel SMS gateway fork with WAP removed
sysadmin.lol·5d·
Discuss: Hacker News
🔌Interface Evolution
Tao: The Power of the Graph (2013)
engineering.fb.com·1d·
Discuss: Hacker News
🌳B-tree Optimization
Agent DB
agentdb.dev·2d·
Discuss: Hacker News
🗄️Database Internals
Build Your Own Motion Peeper in Just 3 Minutes!
hackster.io·3h
🏠Home Automation
Migrating to GitOps in a multi-client AWS environment — looking for advice to make it smooth
reddit.com·9h·
Discuss: r/kubernetes
🧱Immutable Infrastructure
QuestA: Expanding Reasoning Capacity in LLMs via Question Augmentation
arxiv.org·1d
✓Automated Theorem Proving
🔐 Introducing EMCL – A Secure Protocol for AI Agents to Call Tools
dev.to·4d·
Discuss: DEV
🌐NetworkProtocols
Information-Theoretic Aggregation of Ethical Attributes in Simulated-Command
arxiv.org·1d
🔲Cellular Automata
My Participation in the METR AI Productivity Study
domenic.me·4d·
Discuss: Hacker News
👁️Observatory Systems
Building High-Performance GraphQL Servers in Golang with Optimized Resolver Patterns
dev.to·5d·
Discuss: DEV
🌊Stream Processing
What AI Can Do, and What we Can Build
hackernoon.com·1d
🤖AI Paleography
🎬 Introducing Ravgeek: Dev Concepts in 60 Seconds
dev.to·21h·
Discuss: DEV
🏺ZIP Archaeology
How AI Can Speed up Modernization of Your Legacy IT Systems
thenewstack.io·1d
🏛️Mainframe Archaeology
Fastest AI Model ever
dev.to·13h·
Discuss: DEV
⚡Proof Automation
Loading...Loading more...
AboutBlogChangelogRoadmap