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

/visual: A web component gallery
me.micahrl.com·2d
🧩WASM Components
Beast X for Bayesian phylogenetic, phylogeographic and phylodynamic inference
nature.com·6h·
Discuss: Hacker News
🧬Bitstream Evolution
My Budget DIY Mini Lab
reddit.com·6h·
Discuss: r/homelab
🏠Homelab
Rethinking MCP or Tool Calling Through Permission Based System
shivasurya.me·14h·
Discuss: Hacker News
🔒WASM Capabilities
The Imitation Game: Turing Machine Imitator is Length Generalizable Reasoner
arxiv.org·2d
🧮Kolmogorov Complexity
How I Found Myself In the Game Industry
nothings.org·5h·
Discuss: Lobsters, Hacker News
🇸🇪Nordic Demoscene
Using LLVM To Supercharge AI Model Execution On Edge Devices
hackernoon.com·3d
🏭Compiler Backends
Why Every Go Library Should Implement Must* Methods
blog.cansu.dev·2d·
Discuss: Hacker News
💧Liquid Types
Optimising DeepSeek-R1-Distill-Qwen-7B for use in production
fin.ai·2d·
Discuss: Hacker News
📊Quantization
How the Free Software Foundation Battles the LLM Bots
thenewstack.io·14h·
Discuss: Hacker News
🚀Indie Hacking
C++ Trailing Return Types (2022)
danielsieger.com·3d·
Discuss: Lobsters, Hacker News, r/cpp, r/programming
🔗Concatenative Programming
Recursive Functions To Piss Off Your CS Professor
inventwithpython.com·2d·
Discuss: Hacker News, r/programming
🔗Lisp
GPT-4.1 Beast Prompt
github.com·2d·
Discuss: Hacker News
⚡Proof Automation
cargo-auditable v0.7 is out with native SBOM support
reddit.com·4d·
Discuss: r/rust
⚡Dependent Rust
Complete Beginner's Guide to Building AI Agents with LangChain and LangGraph
dev.to·11h·
Discuss: DEV
🔗Constraint Handling
Hyperdimensional Connections a Lossless, Queryable Semantic Reasoning Framework
zenodo.org·2d·
Discuss: Hacker News
🗂️Vector Databases
I built an MCP server for observability, here's my unhyped take
signoz.io·1d·
Discuss: Hacker News
🛡️Error Boundaries
Thoughts on External Memory for LLMs
medium.com·2d·
Discuss: Hacker News
⚡Hardware Transactional Memory
[P] Anyone interested in adding their fine-tuned / open source models to this benchmark?
reddit.com·9h·
Discuss: r/MachineLearning
🌀Brotli Internals
A curated directory for developers to discover and showcase tech products
devhub.best·1h·
Discuss: Hacker News
🔓Open Source Software
Loading...Loading more...
AboutBlogChangelogRoadmap