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
🔧 programming language design
type theory, safety, lifetimes, plt, syntax, macros, linear types
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
123857
posts in
2.60
s
LET vs
ALLR
: Same
Drawer
, Different Spin
ryortho.com
·
1h
🔄
Functional Programming
Semantic alignment of the German Human
Genome-Phenome
Archive metadata model in Europe’s
genomics
field
nature.com
·
3h
🕸
semantic web
Breaking Down
CVE-2026-25049
: How TypeScript Types Failed
n8n
's Security
programming.dev
·
8h
🦀
Borrow Checker
Building a
Regex
Engine with a team of parallel
Claudes
lesswrong.com
·
16h
🔄
Functional Programming
Practical
Object-Oriented
Design in
Ruby
poodr.com
·
3d
🧰
software development practices
CodeSOD
:
Cover
Up
thedailywtf.com
·
10h
📲
local-first software
What
Exactly
Is the
Zen
of Python?
realpython.com
·
2h
🔄
Functional Programming
Coding A PoS
Tagger
from Scratch — A Statistical Part-of-Speech
Tagger
|
NLP
pub.towardsai.net
·
1d
🔄
Functional Programming
Emacs
Theme
Gallery
doc.emacsen.de
·
1d
🔄
Functional Programming
Zinc
Language Design
ziggit.dev
·
4d
🦀
Borrow Checker
Package-Inferred
Systems are Dangerous
aartaka.me
·
1d
🔄
Functional Programming
andywingo/wastrel
: WebAssembly-to-C compiler
codeberg.org
·
1d
📲
local-first software
Claude Agents Just Built a Fully
Functioning
C
Compiler
With Zero Human Input
analyticsvidhya.com
·
4h
📊
Incremental Computation
Sneaky
quokka
: Testing and debugging with LLMs
honnibal.dev
·
1d
🦀
Borrow Checker
remote
locks
and
distributed
locks
tautik.me
·
1h
🦀
Borrow Checker
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
5d
·
Discuss:
Lobsters
,
Hacker News
🔄
Functional Programming
Show HN:
OCR
Arena – A
playground
for
OCR
models
news.ycombinator.com
·
21m
·
Discuss:
Hacker News
📊
Incremental Computation
Gillian
Debugging:
Swinging
Through the (Compositional Symbolic Execution) Trees, Extended Version
arxiv.org
·
1d
🧮
Algebraic Effects
Why you should
consider
F#
asfaload.com
·
5d
·
Discuss:
Hacker News
🔄
Functional Programming
The Adventures of a
Pythonista
in
Schemeland/30
artima.com
·
3d
🔄
Functional Programming
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