🐿️ 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
Recommended reading: history of large language models
noncommutativeanalysis.wordpress.com
·
1h
🤖
Lisp Machines
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Open Lineage
usenix.org
·
2d
🔌
Interface Evolution
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
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
Self Hosting Nightscout on Raspberry Pi
broderic.blog
·
16h
·
Discuss:
Hacker News
🔌
Single Board PC
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
I have seen the compounding teams
sundaylettersfromsam.substack.com
·
23h
·
Discuss:
Substack
⚔️
Lean Tactics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Cold Calculation
kae3g.codeberg.page
·
17h
·
Discuss:
Hacker News
⚡
Incremental Computation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Wild Vibe
jarv.org
·
16h
·
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
Responsible Vibe Coding
dev.to
·
20h
·
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
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
·
4d
·
Discuss:
r/rust
🏷️
Memory Tagging
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Node.js vs Go in Practice: Performance Comparison of chaos-proxy and chaos-proxy-go
dev.to
·
13h
·
Discuss:
DEV
⚡
gRPC
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
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
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
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to
·
1d
·
Discuss:
DEV
🎵
Audio ML
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
·
21h
·
Discuss:
DEV
📊
Multi-vector RAG
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org
·
5d
⚡
Proof Automation
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
Loading...
Loading more...
« Page 11
•
Page 13 »