🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⚔️ Lean Tactics
Interactive Proving, Tactic Composition, Proof Automation, Mathlib
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Cactus Language • Stylistics 4
inquiryintoinquiry.com
·
1d
🌳
Context free grammars
Robust Route Planning for Sidewalk Delivery Robots
arxiv.org
·
1h
🔗
Topological Sorting
Three unrelated thoughts about working with LLMs
henrycourse.com
·
6h
·
Discuss:
Hacker News
🏴
Scottish Computing
You Are in a Box
jyn.dev
·
2d
·
Discuss:
Lobsters
,
Hacker News
🐚
Shell Calculus
How we automated GitHub Actions Runner updates with Claude
dev.to
·
5h
·
Discuss:
DEV
🧲
RISC-V Preservation
A Practical Two-Stage Recipe for Mathematical LLMs: Maximizing Accuracy with SFT and Efficiency with Reinforcement Learning
arxiv.org
·
3d
💻
Local LLMs
The Fundamental Failure-Mode Theorem: Systems lie about their proper functioning
devblogs.microsoft.com
·
15h
·
Discuss:
Hacker News
💾
Persistence Strategies
Ralph Wiggins as a "Software Engineer"
ghuntley.com
·
3d
·
Discuss:
Hacker News
,
Hacker News
🦀
Rust Macros
Kiro and the future of AI spec-driven software development
kiro.dev
·
15h
·
Discuss:
Lobsters
,
Hacker News
🔌
Interface Evolution
What people said about an OpenZFS bug
despairlabs.com
·
14h
·
Discuss:
Lobsters
,
Hacker News
🔒
Type Safety
Protocols for Verifying Smooth Strategies in Bandits and Games
arxiv.org
·
1d
🎯
Performance Proofs
Reflecting on PLDI 2025
people.csail.mit.edu
·
3d
·
Discuss:
Hacker News
🌐
Protocol Synthesis
The great misunderstanding of the DRY principle
pmatteo.com
·
2d
·
Discuss:
Hacker News
💧
Liquid Types
Differentiable Programming for Learnable Graphs: Optimizing LLM Workflows W DSPy
viksit.substack.com
·
3d
·
Discuss:
Substack
⚡
Incremental Computation
An AI Skeptic Uses AI for a Week
keithjgrant.com
·
1d
·
Discuss:
Hacker News
✨
Effect Handlers
Machine Learning Fundamentals: dimensionality reduction
dev.to
·
14h
·
Discuss:
DEV
📐
Linear Algebra
Google Wifi Pro: Glitching from Root to EL3: Part 1 - Characterization
raelize.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
🛡️
eBPF Security
On One-Shot Signatures, Quantum vs Classical Binding, and Obfuscating Permutations
arxiv.org
·
1h
🔐
Quantum Security
Artisanal Handcrafted Git Repositories
drew.silcock.dev
·
10h
·
Discuss:
Lobsters
,
Hacker News
🌳
Git Internals
VoTranhAbyssCore: An AI Oracle Mapping the Entropic Pathway to Systemic Collapse
github.com
·
2d
·
Discuss:
Hacker News
🔲
Cellular Automata
Loading...
Loading more...
« Page 3
•
Page 5 »