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
artjom's Feed
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
2578
posts in
147.5
ms
Loading...
Subscribe
qcc4cp/qcc
: Source code for the book "Quantum Computing for
Programmers
", Cambridge University Press
github.com
·
4d
·
Discuss:
Hacker News
✅
formal methods
Ramsbaby/openclaw-self-healing
: 🦞 4-tier autonomous self-healing system for
OpenClaw
Gateway — featuring Claude Code as emergency doctor (world's first!)
github.com
·
2d
·
Discuss:
Hacker News
✅
formal methods
Making IoT Fit Your Business Structure with Custom
Databases
from
Blynk
blynk.io
·
5d
·
Discuss:
Hacker News
⚙️
systems programming
A Quick Look at
QUIC
potaroo.net
·
5d
·
Discuss:
Hacker News
🌐
network programming
Slashwork
: next generation of work tools
slashwork.com
·
4d
·
Discuss:
Hacker News
⚙️
systems programming
Former Cohere execs Sara Hooker and
Sudip
Roy secure $50 million seed round for their new startup
Adaption
Labs
fortune.com
·
4d
·
Discuss:
Hacker News
⚙️
systems programming
Complexity-based
anomaly
detection for time series (Rust)
alec-codec.com
·
6d
·
Discuss:
Hacker News
⚙️
systems programming
Self-Healing
Infrastructure: How an AI Agent
Manages
My Home Server
madebynathan.com
·
6d
·
Discuss:
Hacker News
⚙️
systems programming
Digging into
UUID
,
ULID
, and implementing my own
atlas9.dev
·
4d
·
Discuss:
Hacker News
✅
formal methods
AI Cost
Considerations
Every
Engineer
Should Know
vantage.sh
·
5d
·
Discuss:
Hacker News
⚙️
systems programming
Recent
Advances
in LLMs for
Mathematics
youtube.com
·
5d
·
Discuss:
Hacker News
✅
formal methods
My Experience with
Vibe
Coding
haskellforall.com
·
6d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🔄
compilers
Getting the
main
thing right
seangoedecke.com
·
4d
·
Discuss:
Lobsters
,
Hacker News
⚙️
systems programming
The Linux
graphics
stack in a
nutshell
, part 1
lwn.net
·
4d
·
Discuss:
Hacker News
⚙️
systems programming
Form
Backend
for Intelligent Request Handling and
Prioritization
formrule.com
·
5d
·
Discuss:
Hacker News
⚡
query optimization
LayerClaw
– Observability tool for
PyTorch
training
news.ycombinator.com
·
4d
·
Discuss:
Hacker News
⚙️
systems programming
Notes: The Universal
Paperclip
Clicker
corecursive.com
·
4d
·
Discuss:
Lobsters
,
Hacker News
⚙️
systems programming
Sign up or login to customize your feed and get personalized topic recommendations
Sign Up
Login
Show HN:
OpenSymbolicAI
– Agents with typed variables, not just context
stuffing
news.ycombinator.com
·
5d
·
Discuss:
Hacker News
✅
formal methods
The
Crumbling
Workflow
Moat
: Aggregation Theory's Final Chapter
nicolasbustamante.com
·
4d
·
Discuss:
Hacker News
,
Hacker News
⚙️
systems programming
Pijul
: A
DVCS
based on a theory of asynchronous work (Git alternative)
pijul.org
·
6d
·
Discuss:
Hacker News
⚙️
systems programming
Loading...
Loading more...
« Page 21
•
Page 23 »
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