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
123622
posts in
3.00
s
Semantic alignment of the German Human
Genome-Phenome
Archive metadata model in Europe’s
genomics
field
nature.com
·
1h
🕸
semantic web
CodeSOD
:
Cover
Up
thedailywtf.com
·
7h
📲
local-first software
Building a
Regex
Engine with a team of parallel
Claudes
lesswrong.com
·
13h
🔄
Functional Programming
rss.livelink.threads-in-node
: Choosing the Right Model in GitHub Copilot: A Practical Guide for Developers
techcommunity.microsoft.com
·
1d
📊
Incremental Computation
Weeknotes
2026-W06
› Project
Pterodactyl
: incremental architecture
jonmsterling.com
·
3d
·
Discuss:
Hacker News
,
r/Compilers
📊
Incremental Computation
Everything I know about good system design
seangoedecke.com
·
1d
📊
Incremental Computation
Emacs
Theme
Gallery
doc.emacsen.de
·
21h
🔄
Functional Programming
Coding A PoS
Tagger
from Scratch — A Statistical Part-of-Speech
Tagger
|
NLP
pub.towardsai.net
·
1d
🔄
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
·
21h
·
Discuss:
Hacker News
📊
Incremental Computation
Thinking
about
context
natemeyvis.com
·
13h
🦀
Borrow Checker
The
Secure
Force: Building an End-to-End
SDLC
Without Breaking the Bank
hackernoon.com
·
7h
📲
local-first software
Gemini writes, Claude
polishes
, JetBrains
rests
: an agent development pipeline
ginkida.dev
·
14h
·
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
Enforcing
Code Feature
Requirements
in C++
artima.com
·
3d
🔄
Functional Programming
charleskawczynski/CodeComplexity.jl
: A package for estimating code complexity in Julia
github.com
·
1d
🔄
Functional Programming
Building a Zero-Allocation,
SIMD-Accelerated
CSV
Parser
in Zig
peymanmo.com
·
1d
·
Discuss:
Hacker News
🦀
Borrow Checker
Information Flow Verification Framework
Integrating
Static and
Formal
Verification Methods At The Pre-Silicon Stage (U. of Florida)
semiengineering.com
·
20h
🔄
Functional Programming
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