🐿️ 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
Practical Guide to Production-Grade Observability in the JS ecosystem
medium.com
·
9h
👁️
System Observability
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Let’s talk about LLM guardrails
blog.adnansiddiqi.me
·
14h
·
Discuss:
Hacker News
🎯
Proof Tactics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Watching AWS Instance Types Evolution in 2025
rmazur.io
·
6h
·
Discuss:
Hacker News
🔌
Interface Evolution
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Does Go have types?
youtube.com
·
1d
·
Discuss:
r/golang
🔒
Linear Types
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Homelab Jouney, Planning stage
reddit.com
·
7h
·
Discuss:
r/homelab
🏠
HomeLab
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k
harvard-edge.github.io
·
1d
·
Discuss:
Hacker News
🎯
Performance Proofs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: Prompts to make AI impersonate 10 programming legends
ai-impersonator.blueprintlab.io
·
16h
·
Discuss:
Hacker News
,
r/ClaudeAI
🎙️
Whisper
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: Static builds of popular open source libraries on npmjs.org
github.com
·
1d
·
Discuss:
Hacker News
🔓
Open Source Software
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Conveyor Belt Protocol: Understanding Iterators
dev.to
·
21h
·
Discuss:
DEV
🧬
Functional Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog
·
1d
·
Discuss:
Hacker News
,
r/programming
✅
Format Verification
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Generalized Orders of Magnitude (GOOMs)
github.com
·
10h
·
Discuss:
Hacker News
🕸️
Tensor Networks
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Let's Prove Leftpad
github.com
·
4d
·
Discuss:
Hacker News
📜
Proof Carrying Code
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Scriptable mutating admission hook?
reddit.com
·
1d
·
Discuss:
r/kubernetes
🎯
Gradual Typing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Property-based testing of batch-invariant operations
mmaaz.ca
·
6d
·
Discuss:
Hacker News
🧪
Property-Based Testing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loyca.ai – An open-source, local-first AI assistant with contextual awareness
github.com
·
6h
·
Discuss:
Hacker News
🌀
Brotli Internals
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org
·
4d
💻
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
[P] PKBoost: Biologically-Inspired Rust Gradient Booster for Drift/Adversarial ML (“Out-of-the-Box” Wins vs XGBoost/LGBM/CB)
reddit.com
·
11h
·
Discuss:
r/MachineLearning
⚡
Homebrew CPUs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org
·
2d
🔨
Compilers
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Alert System: Try, Except, and Finally
dev.to
·
2d
·
Discuss:
DEV
🌳
Incremental Parsing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Programmer in Wonderland
binaryigor.com
·
2d
·
Discuss:
Hacker News
🔩
Systems Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 7
•
Page 9 »