🐿️ 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
rblhost: Exploring Rust’s Role in Embedded Development Tools
mcuoneclipse.com
·
6d
🦀
Embedded Rust
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
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
Self Hosting Nightscout on Raspberry Pi
broderic.blog
·
14h
·
Discuss:
Hacker News
🔌
Single Board PC
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Cold Calculation
kae3g.codeberg.page
·
15h
·
Discuss:
Hacker News
⚡
Incremental Computation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Wild Vibe
jarv.org
·
13h
·
Discuss:
Hacker News
🌀
Brotli Internals
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
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
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
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
·
2d
·
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
·
17h
·
Discuss:
DEV
📏
Code Metrics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
RedTWIZ: Diverse LLM Red Teaming via Adaptive Attack Planning
arxiv.org
·
3d
⚔️
Lean Tactics
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
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to
·
1d
·
Discuss:
DEV
📊
Multi-vector RAG
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Memory fragmentation? leak? in Rust/Axum backend
reddit.com
·
3d
·
Discuss:
r/rust
🏷️
Memory Tagging
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Stress-Testing Model Specs Reveals Character Differences among Language Models
arxiv.org
·
2d
📋
Document Grammar
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
SPAD: Specialized Prefill and Decode Hardware for Disaggregated LLM Inference
arxiv.org
·
2d
·
Discuss:
r/LLM
💻
Local LLMs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org
·
2d
🔗
Parser Combinators
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 10
•
Page 12 »