🐿️ 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
Detection Engineering: Practicing Detection-as-Code – Repository – Part 2
blog.nviso.eu
·
19h
🔄
Reproducible Builds
A Neural Net For a Graphing Calculator?
hackaday.com
·
19h
🤖
Advanced OCR
SFT Is Bad RL
justinchiu.netlify.app
·
1d
·
Discuss:
Hacker News
🧠
Machine Learning
Asymmetry of Verification and Verifier's Law
jasonwei.net
·
2d
·
Discuss:
Hacker News
🔮
Proof Search
A Practical Framework for Managing Performance
kb.buildingbetterteams.de
·
1d
·
Discuss:
Hacker News
🔗
Data Provenance
Reflecting on PLDI 2025
people.csail.mit.edu
·
4d
·
Discuss:
Hacker News
🌐
Protocol Synthesis
The Fundamental Failure-Mode Theorem: Systems lie about their proper functioning
devblogs.microsoft.com
·
1d
·
Discuss:
Hacker News
💾
Persistence Strategies
Show HN: Tanu – High-performance WebAPI testing framework for Rust
github.com
·
1d
·
Discuss:
Hacker News
🦀
Rust Borrowing
Google Wifi Pro: Glitching from Root to EL3: Part 1 - Characterization
raelize.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
🛡️
eBPF Security
Three unrelated thoughts about working with LLMs
henrycourse.com
·
1d
·
Discuss:
Hacker News
🏴
Scottish Computing
Everything You Need to Know About the Gemini CLI
dev.to
·
7h
·
Discuss:
DEV
🌳
Incremental Parsing
[P] Cogency – ReAct agents in 3 lines, out of the box (Python OSS)
reddit.com
·
5h
·
Discuss:
r/MachineLearning
🌀
Brotli Internals
On One-Shot Signatures, Quantum vs Classical Binding, and Obfuscating Permutations
arxiv.org
·
23h
🔐
Quantum Security
The Leading CISO Strategy to Pentesting as a Service
hackerone.com
·
10h
🕵️
Penetration Testing
Go Concurrent Programming: Real-World Lessons to Level Up Your Skills
dev.to
·
2h
·
Discuss:
DEV
🌊
Stream Processing
An AI Skeptic Uses AI for a Week
keithjgrant.com
·
2d
·
Discuss:
Hacker News
✨
Effect Handlers
Know Your Playground: The Essential Guide to Algorand for MEV Enthusiasts
hackernoon.com
·
2d
🔗
Hash Chains
I built a CLI to catch prompt injection & LLM jailbreaks. Want to try it out?
dev.to
·
8h
·
Discuss:
DEV
⚡
Proof Automation
AI Improves at Improving Itself Using an Evolutionary Trick
dev.to
·
2h
·
Discuss:
DEV
⚡
Incremental Computation
Predicting the Future with Python: My Magic 8-Ball Project
dev.to
·
8h
·
Discuss:
DEV
🔗
Concatenative Programming
Loading...
Loading more...
« Page 6
•
Page 8 »