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
🦀 Rust
async, geospatial, etl, database
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
2702
posts in
44.8
ms
Webhook
Dispatcher
: a Rust library for reliable webhooks (retries,
DLQ
, signatures, durability)
github.com
·
2d
·
Discuss:
DEV
,
Hacker News
,
r/rust
🌐
Distributed Systems
OlaProeis/ironPad
:
Ironpad
is a local-first, file-based project management system I've been building with AI. Rust backend (Axum), Vue 3 frontend, markdown files as the database, Git integration for versioning
github.com
·
2d
·
Discuss:
DEV
,
Hacker News
,
r/SideProject
🔺
Computational Geometry
Jacob
Boxerman
-
Declarative
, Reproducible Emacs with straight.el and use-package
jakebox.github.io
·
1d
·
Discuss:
Lobsters
,
Hacker News
✅
Formal Verification
In 2026,
Postgres
Is (Still)
Enough
postgresisenough.dev
·
2d
·
Discuss:
Hacker News
🌐
Distributed Systems
Show HN:
Buquet
– Durable
queues
and workflows using only S3
horv.co
·
2d
·
Discuss:
Hacker News
📊
Streaming ML
Rust Project
Goals
2026
rust-lang.github.io
·
3d
·
Discuss:
Hacker News
📊
Streaming ML
Everything in
Git
: Running a Trading Signal Platform on
NixOS
pxdynamics.com
·
2d
·
Discuss:
Hacker News
🌐
Distributed Systems
RAG on
Ruby
on
Rails
jessewaites.com
·
1d
·
Discuss:
Hacker News
📊
Streaming ML
I Am Not a
Functional
Programmer
blog.daniel-beskin.com
·
3d
·
Discuss:
Hacker News
,
r/programming
✅
Formal Verification
annotate
–> preview –> code generation
intentify.dev
·
1d
·
Discuss:
Hacker News
📊
Streaming ML
Next.js
Boilerplate
:
Multi-Tenant
SaaS
Boilerplate
with Better Auth
nextjs-boilerplate.com
·
3d
·
Discuss:
Hacker News
📊
Streaming ML
Clankers
with
Claws
world.hey.com
·
2d
·
Discuss:
Hacker News
🧬
Computational Biology
Building Highly Efficient Inference System for
Recommenders
Using
PyTorch
pytorch.org
·
1d
·
Discuss:
Hacker News
📊
Streaming ML
The Engineering
Discipline
That Made AI Actually
Useful
multigres.com
·
3d
·
Discuss:
Hacker News
✅
Formal Verification
Automated AI research setup (
Clawdbot/OpenClaw
and
vibecoding
)
jessesilverberg.com
·
2d
·
Discuss:
Hacker News
📊
Streaming ML
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
2d
·
Discuss:
Lobsters
,
Hacker News
🤖
Automata Theory
I
shipped
706 commits in 5 days with
Taskwarrior
and Claude Code
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
📊
Streaming ML
Self-hosted log
aggregation
in a single
binary
glintlog.com
·
3d
·
Discuss:
Hacker News
📊
Streaming ML
Examining
Turbopuffer
ANN v3
terencezl.github.io
·
2d
·
Discuss:
Hacker News
📊
Streaming ML
clojure.spec
-
Rationale
and Overview
clojure.org
·
5d
·
Discuss:
Hacker News
✅
Formal Verification
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