🐿️ 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
Absurd fallacies of "minimalist" Linux setups
self-rover.bearblog.dev
·
5h
·
Discuss:
r/linux
🔌
Operating system internals
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
C++26: range support for std:optional
sandordargo.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
,
r/programming
💧
Liquid Types
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
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
Simplicity • Pragmatic Dave Thomas & Sarah Taraporewalla
youtube.com
·
1d
⬜
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
Sorting encrypted data without decryption: a practical trick
dev.to
·
1d
·
Discuss:
DEV
🔐
Hash Functions
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Generalized Orders of Magnitude (GOOMs)
github.com
·
21h
·
Discuss:
Hacker News
🕸️
Tensor Networks
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
InferenceMAX – open-source Inference Frequent Benchmarking
github.com
·
1d
·
Discuss:
Hacker News
⚡
Performance Mythology
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Exponential Error Bounds for Information Bottleneck Source Coding Problems
arxiv.org
·
2d
📐
Compression Bounds
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
LLMs Learn to Deceive Unintentionally: Emergent Misalignment in Dishonesty from Misaligned Samples to Biased Human-AI Interactions
arxiv.org
·
2d
🔲
Cellular Automata
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
Handling 100+ Website Scrapers with Python's asyncio
dev.to
·
13h
·
Discuss:
DEV
📰
RSS Archaeology
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: OpenRun – Declarative web app deployment
github.com
·
20h
·
Discuss:
Hacker News
🔓
Open Source Software
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Relational Database Distillation: From Structured Tables to Condensed Graph Data
arxiv.org
·
3d
📊
Graph Databases
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
OSD600: Lab 5
dev.to
·
1d
·
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
Loading...
Loading more...
« Page 11
•
Page 13 »