🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🛡️ Proof-Carrying Archives
Verified Preservation, Formal Guarantees, Type Safety, Correctness Proofs
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
This is what a degree in cannabis studies will get ya
statmodeling.stat.columbia.edu
·
3h
🧲
Magnetic Philosophy
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Issue 730
iosdevweekly.com
·
2d
🔌
Interface Evolution
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Quantum dynamics on your laptop? New technique moves us closer
buffalo.edu
·
7h
·
Discuss:
Hacker News
⚛️
Information Physics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The effective LLM multi-tenant security with SQL
getbruin.com
·
2d
·
Discuss:
Hacker News
🗄️
Database Internals
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Reverse Engineering keyboard firmware with Ghidra
blog.usedbytes.com
·
3d
·
Discuss:
Hacker News
🔓
Reverse engineering
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
SSH Security: Why You Should Touch to Verify
ubicloud.com
·
2d
·
Discuss:
Hacker News
🔒
Hardware Attestation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Bio-Catalytic Polymer Synthesis via Immobilized Enzyme Cascade for Sustainable Plastics
dev.to
·
2h
·
Discuss:
DEV
☕
Coffee Chemistry
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Simplicity • Pragmatic Dave Thomas & Sarah Taraporewalla
youtube.com
·
2d
⬜
Minimalism
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
[R] How to retrieve instructions given to annotators - RLHF
reddit.com
·
2d
·
Discuss:
r/MachineLearning
📚
Documentation Archaeology
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Building on vibes: Lessons from three years with LLMs
world.hey.com
·
3d
·
Discuss:
Hacker News
🌀
Brotli Internals
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: GitHub-native prediction markets using Issues (no DB)
news.ycombinator.com
·
2h
·
Discuss:
Hacker News
🌊
Apache Kafka
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Every Line of Code Is a Philosophy in Disguise
dev.to
·
2d
·
Discuss:
DEV
⚖️
Emulation Ethics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The 64 KB Challenge: Teaching a Tiny Net to Play Pong
dev.to
·
1h
·
Discuss:
DEV
⚡
Homebrew CPUs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
OSD600: Lab 5
dev.to
·
1d
·
Discuss:
DEV
❄️
Nix Flakes
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: Orchestro – Trello for Claude Code with Kanban Board
github.com
·
1h
·
Discuss:
Hacker News
🔄
Sync Engine
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
I was tired of regression testing, so I weekend-vibe-coded something
dev.to
·
4h
·
Discuss:
DEV
❄️
Nix Flakes
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
Detecting Distillation Data from Reasoning Models
arxiv.org
·
5d
⚙️
ABNF Mining
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Rust is a low-level systems language (not!)
reddit.com
·
12h
·
Discuss:
r/rust
🦀
Rust Macros
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Master Docker & Kubernetes — From Zero to Real-World Deployment (limited time)
reddit.com
·
7h
·
Discuss:
r/kubernetes
📦
Container Security
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 13
•
Page 15 »