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

AI Agents Outnumber Humans 17:1 in the New Identity Crisis Era
syntheticauth.ai·9h·
Discuss: Hacker News
🔐Capability Systems
Improving End-to-End Tests to Reduce Flakiness: Tools and Strategies
blog.testresult.co·16h·
Discuss: Hacker News
🐛Fuzzing
Original Xbox Hacks: The A20 CPU Gate
connortumbleson.com·1d·
Discuss: Hacker News
🧲RISC-V Archaeology
The Color Doesn't Matter
tristanpemble.com·4d·
Discuss: Hacker News
💻Programming languages
Rex: Closing the language-verifier gap with safe and usable kernel extensions
usenix.org·6d·
Discuss: Hacker News
🛡️eBPF Security
Iowa attorney general to end lawsuit against a sheriff over his immigration post
the-independent.com·1h
💻Local first
Show HN: Souko.ai – Web scraping, search and extraction APIs for AI workflows
souko.ai·5h·
Discuss: Hacker News
📥Feed Aggregation
An Epistemic and Aleatoric Decomposition of Arbitrariness to Constrain the Set of Good Models
arxiv.org·3d
🔲Proof Irrelevance
finished my first full CI/CD pipeline project (GitHub/ ArgoCD/K8s) would love feedback
reddit.com·15h·
Discuss: r/kubernetes
🌊Streaming Systems
Improving Data and Parameter Efficiency of Neural Language Models Using Representation Analysis
arxiv.org·1d
🧮Kolmogorov Complexity
What is the Best Coding Agent?
dolthub.com·3d·
Discuss: Hacker News
⚡Proof Automation
The Generative Energy Arena (GEA): Incorporating Energy Awareness in Large Language Model (LLM) Human Evaluations
arxiv.org·19h
🧠Intelligence Compression
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
Async Without the Headache: Meet areq, the Drop-In Replacement for Python’s Requests
hackernoon.com·17h
⚡gRPC
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
[P] Building a VTON model from scratch, any advice?
reddit.com·1d·
Discuss: r/MachineLearning
🌈Holographic Storage
Build an AI Agent And Win 💸
dev.to·2h·
Discuss: DEV
🌍Cultural Algorithms
Dynamic ClassFile Generation To Save 15.5 Nanoseconds
github.com·4d·
Discuss: r/programming
✅Format Verification
Loading...Loading more...
AboutBlogChangelogRoadmap