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
🔗 Concatenative Languages
Factor, Joy, Stack Programming, Point-free Style
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23827
posts in
501.6
ms
Sixteen
AI Agents Built a C
Compiler
From Scratch
developers.slashdot.org
·
2d
🦀
Rust Macros
Reducing
Technical
Debt: Top Five Coding Resources
loufranco.com
·
2d
📏
Code Metrics
Casual
For Registers,
Rectangles
, And Windows
irreal.org
·
2d
📺
VT100
One Version of
Events
thedailywtf.com
·
1d
🏺
Format Archaeology
Writing a new worker task for
Debusine
(by Carles Pina i
Estany
)
freexian.com
·
2d
🦀
Rust Macros
What You Have to Know About
Syntactic
Support for Error
Handling
hackernoon.com
·
3d
✅
Format Verification
Introducing
ThinkLang
: A Programming Language Where AI Is a First-Class
Citizen
dev.to
·
3d
·
Discuss:
DEV
⚡
Proof Automation
Graph
algebra
en.wikipedia.org
·
1d
🔄
Graph Rewriting
Specification
Vibing
for Automated Program Repair
arxiv.org
·
1d
🔓
Decompilation
Font
Creation
Tools
dev.to
·
1d
·
Discuss:
DEV
🔤
Font Archaeology
RoboInter
: A
Holistic
Intermediate Representation Suite Towards Robotic Manipulation
arxiv.org
·
21h
✨
Effect Handlers
Why JavaScript Needs
Structured
Concurrency
| Blog
frontside.com
·
2d
·
Discuss:
Hacker News
,
r/javascript
🐚
Bash Combinators
Weeknotes
2026-W06
› Project
Pterodactyl
: incremental architecture
jonmsterling.com
·
4d
·
Discuss:
Hacker News
,
r/Compilers
⚡
Incremental Computation
The
Quest
for
Simplicity
prokeimenon.org
·
2d
·
Discuss:
Hacker News
🎨
Swedish Design Philosophy
Stack
Overflow
for AI Coding Agents
shareful.ai
·
2d
·
Discuss:
Hacker News
,
Hacker News
⚡
Proof Automation
Oatmeal
-
Constraint
propagation for fun
eli.li
·
3d
·
Discuss:
Lobsters
,
Hacker News
🧮
Z3 Solver
The
Blurry
Boundaries
Between Programming and Direct Use
joshuahhh.com
·
1d
·
Discuss:
Hacker News
⟷
Bidirectional Programming
Show HN:
ShapeGuard
– Shape Contracts for
NumPy
and Jax
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🧮
Algebraic Datatypes
To Be
Determined
anekstein.com
·
3d
·
Discuss:
Hacker News
🧮
Z3 Solver
Code has _
always
_ been the easy part
laughingmeme.org
·
2d
·
Discuss:
Hacker News
📜
Proof Carrying Code
Loading...
Loading more...
« Page 9
•
Page 11 »
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