🐿️ 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
Creating Real-Time Multimodal AI Pipelines: Scaling File Processing to 50M Daily Uploads
engineering.salesforce.com
·
1d
🌊
Stream Processing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org
·
2d
·
Discuss:
Hacker News
,
r/programming
🌳
Incremental Parsing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Cold Calculation
kae3g.codeberg.page
·
12h
·
Discuss:
Hacker News
⚡
Incremental Computation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Reverse Engineering keyboard firmware with Ghidra
blog.usedbytes.com
·
3d
·
Discuss:
Hacker News
🔓
Reverse engineering
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Interviewing Intel's Chief Architect of x86 Cores
chipsandcheese.com
·
2d
·
Discuss:
Hacker News
,
r/hardware
🧲
RISC-V Archaeology
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Building Repo Bench
repoprompt.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
⚡
Proof Automation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
IASC: Interactive Agentic System for ConLangs
arxiv.org
·
2d
🌳
Context free grammars
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Building Trust for AI Agents — ISM-X: A Privacy-Preserving Identity Layer (with demo)
dev.to
·
1d
·
Discuss:
DEV
🌳
Archive Merkle Trees
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A Proof of the Riemann Hypothesis
dev.to
·
3d
·
Discuss:
DEV
⚔️
Lean Theorem
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
GCC Patches Posted For C++26 SIMD Support
phoronix.com
·
1d
🔩
Systems Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Built a “code-first + visual” ETL/ELT Pipeline in Go — feedback wanted from data folks
reddit.com
·
12h
·
Discuss:
r/golang
💧
Liquidhaskell
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
More Than Code: Gearing Up for the Hackathon of the Year!🚀
dev.to
·
10h
·
Discuss:
DEV
🏴
Scottish Computing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to
·
12h
·
Discuss:
DEV
📊
Multi-vector RAG
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org
·
2d
🧮
Theorem Proving
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Is there a single book/resource that is actually good?
reddit.com
·
2d
·
Discuss:
r/golang
🦀
Rust Macros
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
JVM stack is about to be massively modernized
medium.com
·
1d
·
Discuss:
Hacker News
🔗
Dependency Resolution
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Python 3.14 Unleashed: Revolutionary Features That Will Transform Your Code (Part 1)
dev.to
·
4d
·
Discuss:
DEV
💧
Liquid Types
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Combobulate: Structured Editing and Navigation in Emacs with Tree-sitter
github.com
·
1d
·
Discuss:
Hacker News
✨
Effect Handlers
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
CPU Cache-Friendly Data Structures in Go: 10x Speed with Same Algorithm
skoredin.pro
·
6d
·
Discuss:
Hacker News
,
r/golang
,
r/programming
💨
Cache Optimization
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Responsible Vibe Coding
dev.to
·
15h
·
Discuss:
DEV
📏
Code Metrics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 9
•
Page 11 »