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
💻 CS
computer science, automata, theory, computation
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
19407
posts in
717.2
ms
Claude Code: new Tasks
persisting
between sessions and
Swarms
of agents against Context Rot.
dev.to
·
1d
·
Discuss:
DEV
✨
Effect Handlers
AI
usage
for coding
dev.to
·
2d
·
Discuss:
DEV
🎙️
Whisper
Learning
Compact
Boolean
Networks
arxiv.org
·
2d
🧠
Machine Learning
Linear Systems and
Eigenvalue
Problems: Open Questions from a
Simons
Workshop
arxiv.org
·
2d
📐
Linear Algebra
Code that
fits
in a context
window
blog.ploeh.dk
·
5d
🔗
Concatenative Programming
I Am Not a
Functional
Programmer
blog.daniel-beskin.com
·
3d
·
Discuss:
Hacker News
,
r/programming
⚔️
Lean Tactics
Feb
27 2026
nycresistor.com
·
5d
🎛️
Audio Synthesis
LLMs versus the
Halting
Problem: Revisiting Program
Termination
Prediction
orensultan.com
·
5d
·
Discuss:
Hacker News
✅
Formal Methods
The
Prompt
That Makes My Local Coding Agent Possible
robpanico.com
·
3d
·
Discuss:
Hacker News
⚡
Proof Automation
Python 3.14.3 and 3.13.12 are now available!
pythoninsider.blogspot.com
·
4d
·
Discuss:
Blogger
🌳
Incremental Parsing
As
Rocks
May Think
evjang.com
·
4d
·
Discuss:
Hacker News
,
r/programming
📼
Tape Combinators
Lambda
cube
en.wikipedia.org
·
5d
·
Discuss:
Lobsters
λ
Lambda Formalization
Notes: The Universal
Paperclip
Clicker
corecursive.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
🌳
Incremental Parsing
libfirm/cparser
: C99 parser and frontend for
libfirm
github.com
·
2d
·
Discuss:
Hacker News
🔓
Decompilation
Functional
Programming
Bits
in Python
martynassubonis.substack.com
·
5d
·
Discuss:
Substack
,
r/programming
,
r/webdev
🔗
Functional Compilers
Show HN: C discrete event SIM w
stackful
coroutines runs 45x faster than
SimPy
github.com
·
4d
·
Discuss:
Hacker News
🖥️
Game Emulation
Building Systems That
Survive
Real Life
towardsdatascience.com
·
5d
💾
Persistence Strategies
How not to program in
Dyalog
APL
toolofthought.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
✅
Format Verification
Show HN: Build a coding agent in 500 lines (Pure Python, No
Vector
DBs
)
news.ycombinator.com
·
4d
·
Discuss:
Hacker News
⚔️
Lean Tactics
Writing
the Code That
Powers
Your Code
thelinell.com
·
4d
·
Discuss:
Hacker News
📜
Proof Carrying Code
Loading...
Loading more...
« Page 7
•
Page 9 »
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