Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧩 Separation Logic
Specific
Spatial Reasoning, Memory Safety, Program Verification, Infer
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
5463
posts in
17.2
ms
Formal
Verification: The Ultimate
Fitness
Function
lesswrong.com
·
9h
🔍
Formal Verification
ESPIRE
: A
Diagnostic
Benchmark for Embodied Spatial Reasoning of Vision-Language Models
arxiv.org
·
3d
📚
Automata Learning
Evaluating
VLMs
' Spatial Reasoning Over Robot Motion: A Step Towards Robot Planning with Motion
Preferences
arxiv.org
·
3d
🤖
Robotics
Less-relevant results
Formally
Verifying
the Easy Part: a field report on using
Dafny
to verify AI-generated code, and why all 4 real production bugs were in the integration layer
brainflow.substack.com
·
18h
·
Discuss:
r/programming
🔍
Formal Verification
Ask HN: I built a
geometric
reasoning
engine
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🧮
SMT Solvers
Memory
Allocation
Strategies
gingerbill.org
·
1d
·
Discuss:
r/programming
🏃
Escape Analysis
Study: Consumers Show No
Impairment
in Their Next-Day Driving Performance Despite Residual
THC
Blood Levels
norml.org
·
3h
🔧
Microcontrollers
Powell
: Job
creation
is near zero
finance.yahoo.com
·
8h
·
Discuss:
Hacker News
🔲
Cellular Automata
celtera/ahsohtoa
: Structure-of-array synthesis in C++20
github.com
·
1h
·
Discuss:
Hacker News
⚙️
Compiler Design
The Talk Show: ‘The
Pogue
Feature’
daringfireball.net
·
10h
📺
Vintage Apple
DIY
Reflow
Plate
Runs On USB Power Delivery
hackaday.com
·
6h
🖥️
KVM
Apple highlights 13
enhancements
coming to iPhone with iOS 26.4
9to5mac.com
·
15h
🍎
Apple
Data is Code (2016)
haskellforall.com
·
4h
·
Discuss:
Lobsters
🧮
Lambda Calculus
Stretching
2,689 miles, the world's longest
coastal
path opens in England
bbc.com
·
5h
·
Discuss:
Hacker News
🏔️
climbing
Fluorescent
ruby-like
gems
have been found on Mars for the first time
newscientist.com
·
13h
🧗
Climbing Tech
Mapping
the Privacy
Workforce
in the AI Era
usenix.org
·
12h
🛡️
Privacy Engineering
Simple
MIDI
Sample Player Runs on
ESP32
hackaday.com
·
29m
🔌
IOKit
Turning Chinese
Character
Structure
into a Strategy Game
store.steampowered.com
·
2h
·
Discuss:
Lobsters
,
Hacker News
📐
Linear Algebra
PSA
: Spotify investigating outage that’s
kicking
users off their plans
9to5mac.com
·
15h
🍎
Apple
Jony Ive on
Redesigning
the Christie’s
Rostrum
youtube.com
·
11h
📺
Vintage Apple
Loading...
Loading more...
Page 2 »
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