🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🦀 Rust Verification
Memory Safety Proofs, Linear Types, Borrow Checker, Systems Verification
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
/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...
« Page 6
•
Page 8 »