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
123677
posts in
1.15
s
LET vs
ALLR
: Same
Drawer
, Different Spin
ryortho.com
·
56m
🔄
Functional Programming
Semantic alignment of the German Human
Genome-Phenome
Archive metadata model in Europe’s
genomics
field
nature.com
·
2h
🕸
semantic web
CodeSOD
:
Cover
Up
thedailywtf.com
·
9h
📲
local-first software
Building a
Regex
Engine with a team of parallel
Claudes
lesswrong.com
·
15h
🔄
Functional Programming
Weeknotes
2026-W06
› Project
Pterodactyl
: incremental architecture
jonmsterling.com
·
4d
·
Discuss:
Hacker News
,
r/Compilers
📊
Incremental Computation
rss.livelink.threads-in-node
: Choosing the Right Model in GitHub Copilot: A Practical Guide for Developers
techcommunity.microsoft.com
·
1d
📊
Incremental Computation
Python
Insider
: Python 3.15.0
alpha
6
pythoninsider.blogspot.com
·
14m
·
Discuss:
Blogger
🔄
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
·
23h
🔄
Functional Programming
Zinc
Language Design
ziggit.dev
·
4d
🦀
Borrow Checker
andywingo/wastrel
: WebAssembly-to-C compiler
codeberg.org
·
1d
📲
local-first software
The
Blurry
Boundaries
Between Programming and Direct Use
joshuahhh.com
·
23h
·
Discuss:
Hacker News
📊
Incremental Computation
Thinking
about
context
natemeyvis.com
·
15h
🦀
Borrow Checker
Vulnerabilities in 45 Open Source Projects (vLLM,
Langfuse
, Phase,
NocoDB
)
kolega.dev
·
1h
·
Discuss:
Hacker News
🦀
Borrow Checker
Gemini writes, Claude
polishes
, JetBrains
rests
: an agent development pipeline
ginkida.dev
·
15h
·
Discuss:
Hacker News
📊
Incremental Computation
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
5d
·
Discuss:
Lobsters
,
Hacker News
🔄
Functional Programming
Show HN:
ShapeGuard
– Shape Contracts for
NumPy
and Jax
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🔄
Functional Programming
An Introduction to
XML
Data
Binding
in C++
artima.com
·
3d
🔄
Functional Programming
A Senior
Engineer
’s Guide to Learning a New
Codebase
dustin.boston
·
12h
🧰
software development practices
Gillian
Debugging:
Swinging
Through the (Compositional Symbolic Execution) Trees, Extended Version
arxiv.org
·
1d
🧮
Algebraic Effects
Loading...
Loading more...
« Page 8
•
Page 10 »
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