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

MeshCore is a lightweight alternative to Meshtastic LoRa-based off-grid messaging
cnx-software.com·27m
🕸️Mesh Networking
AI Agents Outnumber Humans 17:1 in the New Identity Crisis Era
syntheticauth.ai·15h·
Discuss: Hacker News
🔐Capability Systems
Original Xbox Hacks: The A20 CPU Gate
connortumbleson.com·2d·
Discuss: Hacker News
🧲RISC-V Archaeology
The Color Doesn't Matter
tristanpemble.com·5d·
Discuss: Hacker News
💻Programming languages
Forgejo v12.0 is available
forgejo.org·2d·
Discuss: Lobsters, Hacker News
🔓Open Source Software
Iowa attorney general to end lawsuit against a sheriff over his immigration post
the-independent.com·6h
💻Local first
Show HN: Souko.ai – Web scraping, search and extraction APIs for AI workflows
souko.ai·11h·
Discuss: Hacker News
📥Feed Aggregation
How Shinobi Security gets access to apps with internal DNS names or redirect flows to run AI agents
dev.to·10h·
Discuss: DEV
🔓Hacking
The Generative Energy Arena (GEA): Incorporating Energy Awareness in Large Language Model (LLM) Human Evaluations
arxiv.org·1d
🧠Intelligence Compression
Synthetic Conscious Pixels
dev.to·3h·
Discuss: DEV
🔲Cellular Automata
Python Fundamentals: cassandra-driver
dev.to·16h·
Discuss: DEV
🔀CRDT
finished my first full CI/CD pipeline project (GitHub/ ArgoCD/K8s) would love feedback
reddit.com·21h·
Discuss: r/kubernetes
🌊Streaming Systems
From No-Code to ReflectoBot: My Journey with Bolt
dev.to·5h·
Discuss: DEV
🌀Brotli Internals
Janet Feature Demos
github.com·2d·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
"high level" languages are easier to optimize
jyn.dev·6d·
Discuss: Hacker News
🔨Compilers
Beyond Single Models: Enhancing LLM Detection of Ambiguity in Requests through Debate
arxiv.org·2d
📝ABNF Parsing
Async Without the Headache: Meet areq, the Drop-In Replacement for Python’s Requests
hackernoon.com·23h
⚡gRPC
How Kiro Transformed My Vibe Coding into Structured, Production-Ready Development
dev.to·5h·
Discuss: DEV
🧱Immutable Infrastructure
Show HN: From Zod schema to agent-ready MCP server – minimal, typed, deployable
github.com·3d·
Discuss: Hacker News
🔐CBOR
Grok 4 Arrives With Impressive Coding Powers
hackernoon.com·4d
🎯Gradual Typing
Loading...Loading more...
AboutBlogChangelogRoadmap