🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧩 Theorem Proving
Isabelle/HOL, Lean, Automated Reasoning, Proof Assistants
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Quantifying Baseball Pitch Tunneling with K-Nearest Neighbors
runningonnumbers.com
·
1d
·
Discuss:
Hacker News
🎲
Probabilistic Programming
🚀 Create and Sell eBooks in Minutes with GETebook.ai
getebook.ai
·
2d
·
Discuss:
DEV
⚖️
Logic Programming
Multi-Protocol Traceroute
seclists.org
·
2d
🤝
Protocol Design
15.04 Small Business System
johnnydecimal.com
·
1d
🔌
Network Programming
Google L3 SDE II Interview Experience: Rejected for the first two rounds!
programhelp.net
·
3d
·
Discuss:
DEV
🎲
Probabilistic Programming
Recreationally overengineering my Location History
overengineer.dev
·
1d
·
Discuss:
Hacker News
🦀
Rust
iOS PWAでnavigateが動作しない時がある
dev.to
·
1d
·
Discuss:
DEV
🔌
Network Programming
I made Python uncrashable, it catches every exception
github.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
TanStack Query mutation curious behavior
reddit.com
·
1d
·
Discuss:
r/reactjs
🔌
Network Programming
Postgres in 2025: No managed service required?
docs.codefloe.com
·
1d
·
Discuss:
Hacker News
🌍
Distributed Systems
Strong Confinement of a Nanoparticle in a Needle Paul Trap: Towards Matter-Wave Interferometry with Nanodiamonds
arxiv.org
·
6h
🔐
Cryptography
Why Prompts Are the New Buy Buttons
pymnts.com
·
2h
⚖
Algorithmic Game Theory
Stabilization of BiCGSTAB by the generalized residual cutting method
arxiv.org
·
1d
🧫
Cellular Automata
How I Built a Chrome Extension That Parses Any Job Site Without Scraping
dev.to
·
22h
·
Discuss:
DEV
📦
WebAssembly
[R] Virtuous Machines: Towards Artificial General Science
reddit.com
·
1d
·
Discuss:
r/MachineLearning
🤖
Sci-Fi
I built a tool to replace static API keys with short-lived credentials for agents
reddit.com
·
1d
·
Discuss:
r/LocalLLaMA
🧭
SMT Solvers
GEPA optimizes LLMs without costly reinforcement learning
venturebeat.com
·
2d
🔗
Parser Combinators
Predicting ChatGPT Use in Assignments: Implications for AI-Aware Assessment Design
arxiv.org
·
2d
🧮
Programming Language Theory
The Why Bot
dev.to
·
2d
·
Discuss:
DEV
🧭
SMT Solvers
The Better AI Gets, The More It Needs Us
every.to
·
1d
🤖
Sci-Fi
Loading...
Loading more...
« Page 28
•
Page 30 »