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
23908
posts in
938.0
ms
How to Use
Glue
with
Cursor
: The Context-First Workflow
dev.to
·
3d
·
Discuss:
DEV
🤖
Archive Automation
Top 5 Programming
Languages
Dominating
2026
dev.to
·
4d
·
Discuss:
DEV
🔩
Systems Programming
AlgoVeri
: An
Aligned
Benchmark for Verified Code Generation on Classical Algorithms
arxiv.org
·
15h
🎯
Performance Proofs
VERIFY-RL:
Verifiable
Recursive
Decomposition for Reinforcement Learning in Mathematical Reasoning
arxiv.org
·
1d
⚔️
Lean Tactics
Show HN:
Elysia
JIT
"Compiler", why it's one of the fastest JavaScript framework
elysiajs.com
·
3d
·
Discuss:
Hacker News
,
r/javascript
,
r/node
🏗️
Compiler Archaeology
Font
Rendering
from First Principles
mccloskeybr.com
·
3d
·
Discuss:
Hacker News
🔤
Font Archaeology
Achieving
Ultra-Fast AI Chat
Widgets
cjroth.com
·
3d
·
Discuss:
Hacker News
🎙️
Whisper
Oddly
Simple
GUI
Programs
simonsafar.com
·
4d
·
Discuss:
Hacker News
🪟
Awesome windows command-line
Show HN: Competitor
Finder
API – find real competitors from one
hostname
champsignal.com
·
3d
·
Discuss:
Hacker News
🔍
BitFunnel
AI
Orchestrators
Decision
Table
gist.github.com
·
2d
·
Discuss:
Hacker News
⚡
Proof Automation
Extracting
Xcode
's Claude Code Prompt
jackpearce.co.uk
·
3d
·
Discuss:
Hacker News
🌳
Incremental Parsing
The Rise of Local Speech
Recognition
oatmealapp.com
·
3d
·
Discuss:
Hacker News
🎵
Audio ML
Automatic
Programming
Returns
cyber-omelette.com
·
4d
·
Discuss:
Hacker News
,
Hacker News
,
r/programming
🏗️
Compiler Archaeology
Tiny
C
Compiler
bellard.org
·
3d
·
Discuss:
Hacker News
🚀
Compiler Optimizations
Teaching
Computers
to
Laugh
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
⚡
Proof Automation
Designing
MCP tool
schemas
that LLMs understand
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🔗
Constraint Handling
Jokes
on You AI: Turning the
Tables
dev-log.me
·
3d
·
Discuss:
Hacker News
⚔️
Lean Tactics
"
Compiled
"
Specs
deepclause.substack.com
·
3d
·
Discuss:
Substack
⚡
Proof Automation
Code has _
always
_ been the easy part
laughingmeme.org
·
2d
·
Discuss:
Hacker News
📜
Proof Carrying Code
Modernizing
my 150-line Python search engine: Yahoo!
dumps
-> Hugging Face 🤗
bart.degoe.de
·
2d
·
Discuss:
Hacker News
🌀
Brotli Internals
Loading...
Loading more...
« Page 17
•
Page 19 »
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