🐿️ 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
·
6h
🔓
Hacking
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A Year of Gentoo
arch.dog
·
8h
·
Discuss:
Lobsters
,
Hacker News
❄
Nix
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
C++26: range support for std:optional
sandordargo.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
💧
Liquid Types
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A Retrospective Survey of 2024/2025 Open Source Supply Chain Compromises
words.filippo.io
·
6h
·
Discuss:
Lobsters
,
Hacker News
🔓
Open Source Software
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
·
2d
·
Discuss:
r/homelab
💿
Backup Strategies
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
CubicLog – A single-binary logging server with zero-config smart analytics
github.com
·
23h
·
Discuss:
Hacker News
📝
Log Parsing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Structured Cognition for Behavioral Intelligence in Large Language Model Agents: Preliminary Study
arxiv.org
·
2d
🧠
Intelligence Compression
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Parameterized Complexity of Temporal Connected Components: Treewidth and k-Path Graphs
arxiv.org
·
2d
🎨
Graph Coloring
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
I analyzed 70 Data Breaches. Three controls would have stopped 65% of them
securityblueprints.io
·
1d
·
Discuss:
Hacker News
🔐
Capability Systems
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A Month Debugging AI Agents: How I Built a 10-Agents and Why I Had to Delete It
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
👑
Isabelle
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
·
1h
·
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
·
6h
🌐
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
·
2h
·
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
·
6h
·
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
·
2h
·
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
·
17h
🧮
Prolog Parsing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 7
•
Page 9 »