🐿️ 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
·
1d
🧩
WASM Components
Beast X for Bayesian phylogenetic, phylogeographic and phylodynamic inference
nature.com
·
2h
·
Discuss:
Hacker News
🧬
Bitstream Evolution
My Budget DIY Mini Lab
reddit.com
·
2h
·
Discuss:
r/homelab
🏠
Homelab
Show HN: I made an extension for VSCode that integrates opencode
marketplace.visualstudio.com
·
1d
·
Discuss:
Hacker News
🪟
Awesome windows command-line
The Big OOPs: Anatomy of a Thirty-Five Year Mistake
computerenhance.com
·
3d
·
Discuss:
Hacker News
,
Hacker News
🏗️
Compiler Archaeology
The .a File Is a Relic: Why Static Archives Were a Bad Idea All Along
medium.com
·
1d
·
Discuss:
Hacker News
,
r/C_Programming
🔗
Static Linking
Manus AI agent context engineering – practical implementation guide
aicodingtools.blog
·
1d
·
Discuss:
Hacker News
⚡
Incremental Computation
Introducing the Herb Linter, Formatter, and a Vision for the Future of Rails Views
marcoroth.dev
·
3d
·
Discuss:
Lobsters
,
r/programming
🌀
Brotli Internals
Show HN: Agency Protocol – Domain-Specific Trust Through Verifiable Promises
promise-keeping.com
·
11h
·
Discuss:
Hacker News
🏛️
Byzantine Archives
My favorite use-case for AI is writing logs
newsletter.vickiboykis.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
🌳
Incremental Parsing
Linux 6.16-rc7 Bringing Fix For Possible Bogus/Miscalculated Load Averages
phoronix.com
·
4h
🔍
eBPF
Rethinking MCP or Tool Calling Through Permission Based System
shivasurya.me
·
10h
·
Discuss:
Hacker News
🔒
WASM Capabilities
The Imitation Game: Turing Machine Imitator is Length Generalizable Reasoner
arxiv.org
·
2d
🧮
Kolmogorov Complexity
Using LLVM To Supercharge AI Model Execution On Edge Devices
hackernoon.com
·
3d
🏭
Compiler Backends
Optimising DeepSeek-R1-Distill-Qwen-7B for use in production
fin.ai
·
2d
·
Discuss:
Hacker News
📊
Quantization
C++ Trailing Return Types (2022)
danielsieger.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
r/cpp
,
r/programming
🔗
Concatenative Programming
Why Every Go Library Should Implement Must* Methods
blog.cansu.dev
·
2d
·
Discuss:
Hacker News
💧
Liquid Types
Recursive Functions To Piss Off Your CS Professor
inventwithpython.com
·
2d
·
Discuss:
Hacker News
,
r/programming
🔗
Lisp
How the Free Software Foundation Battles the LLM Bots
thenewstack.io
·
11h
·
Discuss:
Hacker News
🚀
Indie Hacking
GPT-4.1 Beast Prompt
github.com
·
2d
·
Discuss:
Hacker News
⚡
Proof Automation
Loading...
Loading more...
« Page 5
•
Page 7 »