🐿️ 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

Image Rotation: Mutable Arrays in Haskell
mmhaskell.com·2d
λLambda Encodings
The kill ring is a list of blocks of text
gnu.org·1d·
Discuss: Hacker News
🔍Archive Semantics
Detect NBA 3 Second Violations with AI
blog.roboflow.com·1d·
Discuss: Hacker News
📐Projective Geometry
The Custom Tenant Code Nightmare (and How to Wake Up)
eloquentarchitecture.com·2d·
Discuss: Hacker News
🔌Interface Evolution
The Big Stack Game of LLM Poker (2024)
sarahtavel.com·1d·
Discuss: Hacker News
🖥️Terminal Renaissance
Agents Are Not Tools
discuss.google.dev·6h·
Discuss: Hacker News
🔐Capability Systems
Clowns to the Left of Me
blog.korny.info·11h·
Discuss: Hacker News
✨Effect Handlers
Toad – a universal UI for agentic coding in the terminal
willmcgugan.github.io·11h·
Discuss: Hacker News
🖥️Modern Terminals
Complete Hummingbot Arbitrage Usage Guide
dev.to·4h·
Discuss: DEV
⚡Hardware Transactional Memory
Python Fundamentals: click
dev.to·14h·
Discuss: DEV
💧Liquid Types
**Essential Python Security Practices: Advanced Techniques to Protect Your Applications from Threats**
dev.to·3d·
Discuss: DEV
🛡️WASM Security
Building Event-Driven Architecture with MSK and Lambda: The Python Developer's Guide to Not Shooting Yourself in the Foot
dev.to·1d·
Discuss: DEV
🌊Apache Kafka
Join the Redis AI Challenge: $3,000 in Prizes!
dev.to·12h·
Discuss: DEV
⚡Redis Internals
Stop Believing the Agent Hype—The Numbers Don’t Lie
hackernoon.com·21h
⚙️TLA+
Expense Coding Errors Aren’t Random—They’re Rule-Based, New Study Finds
hackernoon.com·21h
✅Format Verification
LLM-in-a-Box: A Templated, Self-Hostable Framework for Generative AI
github.com·3d·
Discuss: Hacker News
🦋Format Metamorphosis
BIDWESH: A Bangla Regional Based Hate Speech Detection Dataset
arxiv.org·23h
🌀Brotli Dictionary
Top AI Agent Protocols for Developers in 2025
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
How to handle people dismissing io_uring as insecure?
github.com·2d·
Discuss: Hacker News
🔩Systems Programming
Are you thinking about homelabbing but have little technical experience? Start small!
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Loading...Loading more...
AboutBlogChangelogRoadmap