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
🔗 Lisp
Functional Programming, S-expressions, Code as Data, Recursion
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
16913
posts in
264.5
ms
Implementing
Grassroots
Logic Programs with
Multiagent
Transition Systems and AI
arxiv.org
·
1d
⚙️
TLA+
Deep networks learn to
parse
uniform-depth
context-free languages from local statistics
arxiv.org
·
1d
🌳
Context free grammars
Breaking Down
Barriers
: My Journey to Make Programming
Truly
Global
dev.to
·
3d
·
Discuss:
DEV
🔄
Language Evolution
🚀 How I’d Learn Go (
Golang
) Fast in 2026
dev.to
·
3d
·
Discuss:
DEV
🧠
Lisp Dialects
Common Sense
Refactoring
of a
Messy
React Component
alexkondov.com
·
5d
·
Discuss:
Hacker News
🧩
WASM Components
Trudging
Through
Nonsense
aphyr.com
·
5d
·
Discuss:
Hacker News
🧪
Binary Fuzzing
Why do we use
async-await
in our Code
furotmark.github.io
·
6d
·
Discuss:
Hacker News
🔄
Lens Laws
michaelzixizhou/codag
: Visualize AI/LLM workflows in your codebase.
github.com
·
5d
·
Discuss:
Hacker News
⚔️
Lean Tactics
Groverkss/mlir-tutor
: Exercises for Learning MLIR (Originally written for
PPoPP
2026)
github.com
·
5d
·
Discuss:
Hacker News
,
r/Compilers
🎵
Audio ML
Wirth
's
Revenge
jmoiron.net
·
6d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
⚡
Incremental Computation
Vibe
Coding Design Study:
Tlparse
blog.ezyang.com
·
6d
·
Discuss:
Hacker News
📏
Code Metrics
Show HN: Build a coding agent in 500 lines (Pure Python, No
Vector
DBs
)
news.ycombinator.com
·
6d
·
Discuss:
Hacker News
⚔️
Lean Tactics
What
Happens
When AI Can
Write
All Your Software?
jakequist.com
·
5d
·
Discuss:
Hacker News
📏
Code Metrics
Notes: The Universal
Paperclip
Clicker
corecursive.com
·
5d
·
Discuss:
Lobsters
,
Hacker News
🌳
Incremental Parsing
Mekara
:
Workflows
as Code Proof-of-Concept
meksys-dev.github.io
·
6d
·
Discuss:
Hacker News
⚡
Proof Automation
Millets
: A practical memory-safety and thread-safety
experiment
eagledot.xyz
·
6d
·
Discuss:
Lobsters
,
Hacker News
🦀
Rust Borrowing
Verifying
coding
AIs
for LLM powered software
aunhumano.com
·
6d
·
Discuss:
Hacker News
⚡
Proof Automation
Plan–Code–
Execute
:
Designing
Agents That Create Their Own Tools
towardsdatascience.com
·
6d
🔗
Constraint Handling
Evolution
of the
x86
context switch in Linux (2018)
maizure.org
·
6d
·
Discuss:
Hacker News
🔩
Systems Programming
Programming
with AI, Without the
Hype
albertovarela.net
·
6d
·
Discuss:
Hacker News
🏗️
Compiler Archaeology
Loading...
Loading more...
« Page 12
•
Page 14 »
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