🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⚔️ Lean Tactics

Interactive Proving, Tactic Composition, Proof Automation, Mathlib

Human reward hacking
danmackinlay.name·1d
🎯Threat Hunting
Show HN: Generate and Copy Random IP Addresses
whatismyipaddressinquire.com·8h·
Discuss: Hacker News
🛣️BGP Hijacking
Effective Code Reviews with Conventional Comments • Paul Slaughter & Adrienne Braganza
youtube.com·1d
📏Code Metrics
When should you use an actor?
massicotte.org·12h·
Discuss: Hacker News
🌐Protocol Synthesis
The CoPilot productivity paradox
marginalia.nu·1d·
Discuss: Lobsters, Hacker News, Hacker News
🔄Language Evolution
C-to-N atom swap enables direct access to benzimidazoles from drug-like indoles
nature.com·9h·
Discuss: Hacker News
🌈Spectroscopy
I made a transformer by hand (no training)
vgel.me·3d·
Discuss: Hacker News
🤖Grammar Induction
AI Snacks: Small Ways to Sprinkle AI into Everyday Tools
amirmalik.net·2d·
Discuss: Hacker News
🎙️Whisper
Show HN: Yet another chatbot widget I've built
news.ycombinator.com·2h·
Discuss: Hacker News
🎙️Whisper
40 years later, are Bentley's "Programming Pearls" still relevant?
shkspr.mobi·3d·
Discuss: Hacker News, Hacker News, shkspr.mobi, r/programming
📏Code Metrics
ANNIE: Be Careful of Your Robots
arxiv.org·3d
🔲Cellular Automata
PromptCOS: Towards System Prompt Copyright Auditing for LLMs via Content-level Output Similarity
arxiv.org·3d
🏺ZIP Archaeology
Ask HN: GAN'ing Coding GPTs
news.ycombinator.com·16h·
Discuss: Hacker News
📝Text Compression
Automated Circuit Fault Diagnosis via Dynamic Graph Neural Network Fusion
dev.to·1d·
Discuss: DEV
⚡Circuit Design
DetectPack Forge: Natural-Language to Sigma/KQL/SPL
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Automated Reproducibility Validation via Federated Graph Neural Networks & HyperScore Ranking
dev.to·2d·
Discuss: DEV
🎯Performance Proofs
Building PersonaPrep: An Agentic AI Coach for Real-World Social Confidence
dev.to·3h·
Discuss: DEV
🔄Session Type Inference
Know When to Explore: Difficulty-Aware Certainty as a Guide for LLM Reinforcement Learning
arxiv.org·4d
🧠Intelligence Compression
How do you manage cross-language dependencies?
reddit.com·1d·
Discuss: r/rust
🦀Rust Borrowing
DevOps from the Driver's seat part 1
dev.to·2d·
Discuss: DEV
❄️Nix Adoption
Loading...Loading more...
AboutBlogChangelogRoadmap