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
danielfox's Feed
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
2708
posts in
74.4
ms
Loading...
Subscribe
Railway
Oriented
Programming
fsharpforfunandprofit.com
·
1d
·
Discuss:
Hacker News
✅
Formal Verification
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
2d
·
Discuss:
Lobsters
,
Hacker News
🤖
Automata Theory
Economics
Puzzle Leads to a New Understanding of a
Fundamental
Law of Physics
caltech.edu
·
1d
·
Discuss:
Hacker News
🎲
Branden Fitelsin
We are not
scared
of AI, we are
scared
of
irrelevance
adlrocha.substack.com
·
2h
·
Discuss:
Substack
⚙
Complex ststems
Parassharmaa/agent-fetch
: Sandboxed HTTP client with SSRF protection for AI agents. Prevents DNS
rebinding
, blocks private IPs, and validates every connection — available as a Rust crate and npm package.
github.com
·
6h
·
Discuss:
Hacker News
🦀
Rust
Code only says what it does
brooker.co.za
·
8h
·
Discuss:
Hacker News
✅
Formal Verification
Clarity
vs. complexity: the invisible work of
subtraction
alexscamp.com
·
16h
·
Discuss:
Hacker News
⚙
Complex ststems
Seedance2
– multi-shot AI video generation
genstory.app
·
18h
·
Discuss:
Hacker News
🧠
Machine learning
What rare disease AI
teaches
us about
longitudinal
health
myaether.live
·
3h
·
Discuss:
Hacker News
📊
Streaming ML
How to Fake a
Robotics
Result
itcanthink.substack.com
·
16h
·
Discuss:
Substack
🧠
Machine learning
Can AI Rely on the
Systematicity
of Truth? The Challenge of Modelling
Normative
Domains
link.springer.com
·
1d
·
Discuss:
Hacker News
🎲
Branden Fitelsin
C and C++
dependencies
, don't
dream
it, be it!
nibblestew.blogspot.com
·
17h
·
Discuss:
Hacker News
,
nibblestew.blogspot.com
🦀
Rust
Building Highly Efficient Inference System for
Recommenders
Using
PyTorch
pytorch.org
·
2d
·
Discuss:
Hacker News
📊
Streaming ML
Weeknotes
2026-W06
› Project
Pterodactyl
: incremental architecture
jonmsterling.com
·
19h
·
Discuss:
Hacker News
,
r/Compilers
🔺
Computational Geometry
Life at the Edge
asadk.com
·
23h
·
Discuss:
Hacker News
📊
Streaming ML
Visual
data
modelling
in the browser (open source)
github.com
·
14h
·
Discuss:
Hacker News
🦀
Rust
Why Every R Package
Wrapping
External Tools Needs a
Sitrep
() Function
drmowinckels.io
·
12h
·
Discuss:
Lobsters
,
Hacker News
✅
Formal Verification
Full-circle Test-driven
Firmware
Development with
OpenClaw
blog.adafruit.com
·
19h
·
Discuss:
Hacker News
✅
Formal Verification
What I
wish
I
knew
before building a vibe coding platform
imagine.dev
·
1d
·
Discuss:
Hacker News
📊
Streaming ML
Rethinking Time in
Computation
– From Wall
Clocks
to State Transitions
d1gesto.blogspot.com
·
1d
·
Discuss:
Hacker News
🌐
Distributed Systems
Loading...
Loading more...
« Page 2
•
Page 4 »
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