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
2568
posts in
69.9
ms
Loading...
Subscribe
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
3d
·
Discuss:
Lobsters
,
Hacker News
✅
formal methods
Human-like Search for Modern
Applications
anvitra.ai
·
23h
·
Discuss:
Hacker News
⚡
query optimization
Using AI for Code
Reviews
: What Works, What Doesn’t, and Why
entelligence.ai
·
18h
·
Discuss:
Hacker News
⚙️
systems programming
The
Tipping
Point: The collective
awakening
to agentic programming
dimillian.medium.com
·
2d
·
Discuss:
Hacker News
⚙️
systems programming
Circumstantial
Complexity
, LLMs and Large Scale Architecture
datagubbe.se
·
21h
·
Discuss:
Lobsters
,
Hacker News
⚙️
systems programming
A Quick
Introduction
to
OxCaml
noelwelsh.com
·
4d
·
Discuss:
Hacker News
🐫
ocaml
Hitting
1,000
tokens
per second on a single RTX 5090
blog.alpindale.net
·
3h
·
Discuss:
Hacker News
⚙️
systems programming
Sony
Ericsson
Course
Material
(2012)
systemicsoftwaredebugging.com
·
5h
·
Discuss:
Hacker News
⚙️
systems programming
Oatmeal
-
Constraint
propagation for fun
eli.li
·
23h
·
Discuss:
Lobsters
,
Hacker News
✅
formal methods
Lazy-pulling containers: 65x faster pulls, but 20x
slower
readiness
blog.zmalik.dev
·
8h
·
Discuss:
Hacker News
⚙️
systems programming
Building a battle tested C
compiler
in a new language using
Codex
moonbitlang.com
·
3d
·
Discuss:
Hacker News
🔄
compilers
Extracting
Xcode
's Claude Code Prompt
jackpearce.co.uk
·
1d
·
Discuss:
Hacker News
✅
formal methods
RFC 3092:
Etymology
of "
Foo
"
datatracker.ietf.org
·
11h
·
Discuss:
Hacker News
🐫
ocaml
Systems
Thinking
theprogrammersparadox.blogspot.com
·
3d
·
Discuss:
Hacker News
,
theprogrammersparadox.blogspot.com
,
r/programming
⚙️
systems programming
Fast
Properties
in
V8
(2017)
v8.dev
·
9h
·
Discuss:
Hacker News
✅
formal methods
Oddly
Simple
GUI
Programs
simonsafar.com
·
1d
·
Discuss:
Hacker News
⚙️
systems programming
Rebuilding
my home network with
VLANs
and 10Gbps
clintonboys.com
·
17h
·
Discuss:
Lobsters
,
Hacker News
,
r/homelab
🌐
network programming
Software Engineering
Transformation
2026
mfranc.com
·
1d
·
Discuss:
Hacker News
⚙️
systems programming
Electrobun
v1: Build fast, tiny, and cross-platform desktop apps with
TypeScript
blackboard.sh
·
12h
·
Discuss:
Hacker News
⚙️
systems programming
Weeknotes
2026-W06
› Project
Pterodactyl
: incremental architecture
jonmsterling.com
·
1d
·
Discuss:
Hacker News
,
r/Compilers
⚙️
systems programming
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