🐿️ 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
·
1d
🔓
Hacking
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
AAS: The Metric for Monitoring DB Performance
kylehailey.com
·
17h
·
Discuss:
Hacker News
🗄️
Database Internals
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com
·
2d
·
Discuss:
Hacker News
λ
Lambda Encodings
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
Multi-Cluster command execution?
reddit.com
·
8h
·
Discuss:
r/kubernetes
📦
Container Security
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Property-based testing of batch-invariant operations
mmaaz.ca
·
5d
·
Discuss:
Hacker News
🧪
Property-Based Testing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Building a Streaming Data Pipeline with Kafka and Spark: Real-Time Analytics Implementation Guide
dev.to
·
1d
·
Discuss:
DEV
🌊
Apache Kafka
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
⚙️ Mastering Python Context Managers: Beyond with open()
dev.to
·
1d
·
Discuss:
DEV
🪟
Awesome windows command-line
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
End-to-end testing of Gen AI Apps
dev.to
·
8h
·
Discuss:
DEV
🔍
Concolic Testing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
AgentAsk: Multi-Agent Systems Need to Ask
arxiv.org
·
1d
🧮
Kolmogorov Complexity
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.to
·
1d
·
Discuss:
DEV
⚡
Incremental Computation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
English - the hottest programming language of the future
dev.to
·
1d
·
Discuss:
DEV
🔄
Language Evolution
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
·
4d
⚡
Proof Automation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Unsure what to do as lab has grown
reddit.com
·
21h
·
Discuss:
r/homelab
🖥
Home Lab Setup
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Moving from Fortigate to OPNsense (reorganizing my Homelab)
reddit.com
·
7h
·
Discuss:
r/homelab
🏠
HomeLab
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Custom Conveyor: Building Your Own Iterators
dev.to
·
16h
·
Discuss:
DEV
🔄
Burrows-Wheeler
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Bayesian Optimization for Dynamic Sample Size Allocation in A/B Testing
dev.to
·
33m
·
Discuss:
DEV
🧮
Kolmogorov Bounds
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Injecting Hallucinations in Autonomous Vehicles: A Component-Agnostic Safety Evaluation Framework
arxiv.org
·
1d
✨
Effect Handlers
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Get RICH or Die Scaling: Profitably Trading Inference Compute for Robustness
arxiv.org
·
2d
🧠
Intelligence Compression
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A 7-year-old CLI tool reborn with AI, meet gokill
reddit.com
·
10h
·
Discuss:
r/golang
🪟
Awesome windows command-line
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 12
•
Page 14 »