🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🎮 Verification Games

Theorem Proving, Gamified Formal Methods, Interactive Verification, Learning Tools

Show HN: CS2 crosshair Database that updates daily
cs2crosshair.org·1d·
Discuss: Hacker News
💻CS
The Ideological Spiral
cognition.cafe·18h·
Discuss: Hacker News
➡️Category Theory
Biggest Mistakes Engineering Leaders Make With AI
newsletter.eng-leadership.com·3d·
Discuss: r/programming
🧪Property-Based Testing
Claude is kicking ChatGPT's butt (in one thing)
ben-mini.com·4d·
Discuss: Hacker News
🏹Effect Systems
How To Build an AI Health Care Agent on Amazon Bedrock
thenewstack.io·2d
🏠HomeLab
What Would a Real Friendship With A.I. Look Like? Maybe Like Hers.
nytimes.com·4h·
Discuss: Hacker News
💾Retro Computing
ToMacVF : Temporal Macro-action Value Factorization for Asynchronous Multi-Agent Reinforcement Learning
arxiv.org·5d
🔄Finite State Machines
Intelligent Virtual Sonographer (IVS): Enhancing Physician-Robot-Patient Communication
arxiv.org·2d
🤖Program Synthesis
Generalist Bimanual Manipulation via Foundation Video Diffusion Models
arxiv.org·2d
➡️Category Theory
How I Learned to Stop Worrying and Have Fun with A.I.
nytimes.com·3d·
Discuss: Hacker News
🔬Static Analysis
GHPO: Adaptive Guidance for Stable and Efficient LLM Reinforcement Learning
arxiv.org·4d
✓Automated Theorem Proving
SIEVE: Effective Filtered Vector Search with Collection of Indexes
arxiv.org·3d
➡️Category Theory
Toxicity-Aware Few-Shot Prompting for Low-Resource Singlish Translation
arxiv.org·3d
🔍Formal Verification
Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers
arxiv.org·5d
🏹Effect Systems
Ask HN: Would you use a serverless, pay-per-second model for AI inference?
news.ycombinator.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Tracing the Path to Grokking: Embeddings, Dropout, and Network Activation
arxiv.org·3d
🔬Static Analysis
Interacting Hosts with Microbiome Exchange: An Extension of Metacommunity Theory for Discrete Interactions
arxiv.org·2d
📡Network Protocol Design
Deep Generative Methods and Tire Architecture Design
arxiv.org·3d
🐫OCaml
Replay institutional trades for debugging and testing (QuantReplay, open-source)
github.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Show HN: I built a video meet app integrated with AI voice and avatar agents
github.com·14h·
Discuss: Hacker News
🍎Apple
Loading...Loading more...
AboutBlogChangelogRoadmap