🐿️ 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
Servers with Personality
caolan.uk
·
15h
🖥️
Self-hosted Infrastructure
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
I am at my wits end
thehomelab.wiki
·
20h
·
Discuss:
r/homelab
📦
Container Security
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
If it hurts, do it more often
markoanastasov.com
·
3h
·
Discuss:
Hacker News
⚡
Proof Automation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com
·
4d
·
Discuss:
Hacker News
λ
Lambda Encodings
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Robust reset control design for piezo-actuated nano-positioner in presence of hysteresis nonlinearity
arxiv.org
·
9h
⚙️
Tape Transport
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Combobulate: Structured Editing and Navigation in Emacs with Tree-sitter
github.com
·
3d
·
Discuss:
Hacker News
✨
Effect Handlers
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Online Topological Localization for Navigation Assistance in Bronchoscopy
arxiv.org
·
9h
🕸️
Algebraic Topology
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
More Than Code: Gearing Up for the Hackathon of the Year!🚀
dev.to
·
1d
·
Discuss:
DEV
🏴
Scottish Computing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Parallel Coding with AI Agents: What’s Hype, What’s Real, and How We Run It at Pynest
dev.to
·
4h
·
Discuss:
DEV
📏
Code Metrics
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
·
3d
🔲
Cellular Automata
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Community: The 100% Open-Source AI Stack That Automates My Business, and Tricks for Troubleshooting It
dev.to
·
4d
·
Discuss:
DEV
🏠
Homelab Orchestration
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to
·
17h
·
Discuss:
DEV
📊
Multi-vector RAG
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Fast, Declarative Open Graph Image Generation in Python
dev.to
·
1d
·
Discuss:
DEV
📸
PNG Optimization
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Gemini3
dev.to
·
22h
·
Discuss:
DEV
🌀
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
·
22h
·
Discuss:
Hacker News
🌊
Apache Kafka
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Handling 100+ Website Scrapers with Python's asyncio
dev.to
·
1d
·
Discuss:
DEV
📰
RSS Archaeology
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Relational Database Distillation: From Structured Tables to Condensed Graph Data
arxiv.org
·
4d
📊
Graph Databases
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
·
21h
·
Discuss:
DEV
⚡
Homebrew CPUs
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
·
4d
📜
Manuscript Algebras
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
On Epistemic Uncertainty of Visual Tokens for Object Hallucinations in Large Vision-Language Models
arxiv.org
·
9h
🤖
Advanced OCR
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 21
•
Page 23 »