Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⬌ Bidirectional Typing
Type Inference, Elaboration, Synthesis, Checking Modes
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
22947
posts in
967.3
ms
Ex-NFL
linebacker
Darron
Lee kept jailed without bail in girlfriend’s murder
mercurynews.com
·
17m
⚖️
Digital Evidence
Michelin-starred
pastry
chef rates 19
desserts
from movies and TV for realism
businessinsider.com
·
17m
🧮
Algorithmic Cooking
‘Harold and
Maude
’ star Bud
Cort
dies at 77
mercurynews.com
·
17m
🗄
SIARD
Here's what will happen during each phase of the Feb. 17 'ring of fire'
annular
solar
eclipse
space.com
·
27m
🔄
Lens Laws
What is a
mommy
kink
, and why is everyone a mother now?
huckmag.com
·
22m
🏺
Gaming Archaeology
Evaluating Wheelchair use in Automated Vehicles and Aircraft: An Interview with Dr.
Kathy
Klinich
blogs.lib.umich.edu
·
2m
⚙️
Cassette Mechanics
This Is Why the Same
Virus
Hits People So
Differently
scitechdaily.com
·
12m
🧬
Copy Number Variants
Banker who paid record £
15m
for
waterfront
mansion to build even bigger home on site
the-independent.com
·
14m
⚡
HTMX
PHC
Holdings
Corporation (
PHCCF
) Q3 2026 Earnings Call Transcript
seekingalpha.com
·
13m
🌊
Stream Processing
Why SpaceX
Merged
with
xAI
and Is Going to the Moon
unchartedterritories.tomaspueyo.com
·
9m
🖥️
Modern Terminals
PDD
Holdings: This Retail
Disruptor
Appears Undervalued (NASDAQ:
PDD
)
seekingalpha.com
·
17m
🔍
BitFunnel
Storm
Nils
batters
France and Spain leaving one dead and 850,000 without power
the-independent.com
·
4m
🦀
Embedded Rust
Python vs. a Modern BASIC
Interpreter
: When the “
Toy
Language” Actually Wins
dev.to
·
4d
·
Discuss:
DEV
📝
Concrete Syntax
Building a Fake News Kill Chain with
VeraSnap
and
CPP
— Full Implementation from Capture to Verification
dev.to
·
5d
·
Discuss:
DEV
🌳
Archive Merkle Trees
Rethinking
Code
Complexity
Through the Lens of Large Language Models
arxiv.org
·
2d
📏
Code Metrics
Rethinking Scientific Modeling: Toward Physically Consistent and
Simulation-Executable
Programmatic
Generation
arxiv.org
·
2d
⚡
Incremental Computation
Show HN:
A2A
Protocol
– Infrastructure for an Agent-to-Agent Economy
news.ycombinator.com
·
4d
·
Discuss:
Hacker News
🌐
Protocol Synthesis
lean-phys-community/PhysLean
: A project to
digitalise
results from physics into Lean.
github.com
·
2d
·
Discuss:
Hacker News
🔬
Lean
Designing
MCP tool
schemas
that LLMs understand
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
🔗
Constraint Handling
CrimsonDemon567PC/JavaPP
: Python Syntax, compiles to branchless, highly optimized Java
github.com
·
2d
·
Discuss:
Hacker News
🧠
Lisp Dialects
Loading...
Loading more...
« Page 17
•
Page 19 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help