🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧠 Separation Logic
Memory Safety, Heap Analysis, Formal Verification, Pointer Reasoning
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
I Replaced My Toaster's Firmware and Now I'm a Fugitive
jxself.org
·
11h
🔓
Hacking
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
We built AI that auto-checks building plans
planchecksolver.com
·
10h
·
Discuss:
Hacker News
🔄
Reproducible Builds
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Tiny AI model outperforms o3‑mini and Gemini 2.5 Pro in ARC‑AGI benchmark
the-decoder.com
·
1d
🧠
Intelligence Compression
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com
·
1d
·
Discuss:
Hacker News
λ
Lambda Encodings
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Automated Anomaly Detection in Time-Series Statistical Spreadsheets via Hyperdimensional Vector Similarity
dev.to
·
6h
·
Discuss:
DEV
🔤
Character Classification
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Google Chrome RCE (No Sandbox) via CanonicalEquality:EqualValueType()
ssd-disclosure.com
·
5d
·
Discuss:
Hacker News
🛡️
WASM Security
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
QUIC! Jump to User Space!
hackaday.com
·
11h
🌐
Network Protocols
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
·
4d
·
Discuss:
Hacker News
,
r/golang
,
r/programming
💨
Cache Optimization
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.to
·
7h
·
Discuss:
DEV
⚡
Incremental Computation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Java Backend Coding Technology: Writing Code in the Era of AI #Version 1.1
dev.to
·
4d
·
Discuss:
DEV
⚡
SMT Applications
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Sorting encrypted data without decryption: a practical trick
dev.to
·
11h
·
Discuss:
DEV
🔐
Hash Functions
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Building A Real-Time Communication System Using Go and WebSocket
dev.to
·
7h
·
Discuss:
DEV
🌐
WebSocket Framing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Active Confusion Expression in Large Language Models: Leveraging World Models toward Better Social Reasoning
arxiv.org
·
22h
🧮
Prolog Parsing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
This Week in Security: ID Breaches, Code Smell, and Poetic Flows
hackaday.com
·
12h
🔓
Hacking
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Need to sanity check my backup plan before I implement it
youtube.com
·
3d
·
Discuss:
r/homelab
💿
Backup Strategies
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Zelos Tech Manages Hundreds of Millions of Files for Autonomous Driving with JuiceFS
dev.to
·
19h
·
Discuss:
DEV
💾
Proxmox Storage
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
AsyncSpade: Efficient Test-Time Scaling with Asynchronous Sparse Decoding
arxiv.org
·
22h
⚙️
Compression Benchmarking
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Memory Retrieval and Consolidation in Large Language Models through Function Tokens
arxiv.org
·
22h
💻
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
OpenAI's inflated valuation, as I understand it
taloranderson.com
·
10h
·
Discuss:
Hacker News
💻
Local LLMs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Why is allocating in this example so fast? Am I actually allocating?
reddit.com
·
4d
·
Discuss:
r/rust
🦀
Rust Verification
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 8
•
Page 10 »