🐿️ 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
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
·
10h
·
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
·
3d
·
Discuss:
Hacker News
🗄️
Database Internals
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
Reverse Engineering keyboard firmware with Ghidra
blog.usedbytes.com
·
4d
·
Discuss:
Hacker News
🔓
Reverse engineering
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
·
5h
·
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
Sorting encrypted data without decryption: a practical trick
dev.to
·
2d
·
Discuss:
DEV
🔐
Hash Functions
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Generalized Orders of Magnitude (GOOMs)
github.com
·
1d
·
Discuss:
Hacker News
🕸️
Tensor Networks
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
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.org
·
3d
📜
Manuscript Algebras
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
From ML Beginner to Production Engineer: How I’m Leveling Up My AI Projects
dev.to
·
3h
·
Discuss:
DEV
🏴
Scottish Computing
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
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
·
3h
·
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
·
7h
·
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
Master Docker & Kubernetes — From Zero to Real-World Deployment (limited time)
reddit.com
·
9h
·
Discuss:
r/kubernetes
📦
Container Security
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
·
15h
·
Discuss:
r/rust
🦀
Rust Macros
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 14
•
Page 16 »