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 Programming
Factor, Joy, Stack-based Languages, Point-free Style
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
16995
posts in
339.3
ms
Casual
For Registers,
Rectangles
, And Windows
irreal.org
·
18h
📺
VT100
Magic
Words
daverupert.com
·
18h
⚡
Proof Automation
How
StrongDM
’s AI team build
serious
software without even looking at the code
jmason.ie
·
23h
⚔️
Lean Tactics
Differential
Logic
• 4
inquiryintoinquiry.com
·
1d
⚔️
Lean Theorem
Expectation
and
Copysets
buttondown.com
·
15h
·
Discuss:
Hacker News
🧮
Kolmogorov Complexity
Toward
Faithful
and Complete Answer Construction from a Single
Document
arxiv.org
·
1d
🎯
Dependent Parsing
From Prediction to
Compilation
: A Manifesto for
Intrinsically
Reliable AI
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
⚖️
Hoare Logic
Everything I know about good system design
seangoedecke.com
·
9h
🗄️
Database Internals
A Software Engineer’s
Wish
List for
CS
Research
laser-coder.net
·
16h
·
Discuss:
Hacker News
🔩
Systems Programming
From Separate
Compilation
to Sound Language
Composition
arxiv.org
·
6d
🏗️
Compiler Archaeology
Testing 80 LLMs on
spatial
reasoning on
grids
mihai.page
·
1d
·
Discuss:
Hacker News
🧮
Prolog Parsing
Show HN: A
Prompting
Framework for
Non-Vibe-Coders
github.com
·
2d
·
Discuss:
Hacker News
⚔️
Lean Tactics
Stack
Overflow
for AI Coding Agents
shareful.ai
·
1d
·
Discuss:
Hacker News
,
Hacker News
⚡
Proof Automation
Opus
4.5 really
changed
things
kylerush.org
·
1d
·
Discuss:
Hacker News
📚
MARC Evolution
Main
Content ||
Math
∩ Programming
jeremykun.com
·
1d
🧮
Kolmogorov Complexity
Show HN:
LocalGPT
– A local-first AI assistant in Rust with
persistent
memory
dev.to
·
1d
·
Discuss:
DEV
🦀
Rust Macros
A
practical
systems engineering guide:
Architecting
AI-ready infrastructure for the agentic era
thenewstack.io
·
12h
⚙️
TLA+
Graph
algebra
en.wikipedia.org
·
7h
🔄
Graph Rewriting
Extract
structured data from any website. Real-time search API with JSON,
Markdown
& HTML output.
searchresult.dev
·
1h
·
Discuss:
Hacker News
🕵️
Feed Discovery
Python’s
Truthiness
: A Code Smell Worth
Sniffing
owl.billpg.com
·
3d
·
Discuss:
Hacker News
🧪
Binary Fuzzing
Loading...
Loading more...
« Page 4
•
Page 6 »
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