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
⬌ Bidirectional Typing
Type Inference, Elaboration, Synthesis, Checking Modes
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23299
posts in
395.7
ms
A
practical
systems engineering guide:
Architecting
AI-ready infrastructure for the agentic era
thenewstack.io
·
1d
⚙️
TLA+
Infrastructure as Code in
Practice
: What It
Solves
— and What It Doesn’t
hackernoon.com
·
1d
🧱
Immutable Infrastructure
Zero-Trust Data
Warehousing
for Agentic AI: Why
Trusting
the Pipeline No Longer Scales
hackernoon.com
·
1d
⚙️
Batch Processing
Craig
Interpolation
in Program Verification
arxiv.org
·
1d
⚖️
Verification Calculi
Gillian
Debugging:
Swinging
Through the (Compositional Symbolic Execution) Trees, Extended Version
arxiv.org
·
1d
🔗
Functional Compilers
Building a Dynamic
Multilanguage
System Without
Rebuilds
kuldeepmodi.vercel.app
·
3d
·
Discuss:
DEV
🔄
Language Evolution
Pratt
Parsers
: Expression Parsing Made Easy
journal.stuffwithstuff.com
·
3d
📝
Concrete Syntax
Build a
Compiler
in Five Projects
kmicinski.com
·
4d
🔨
Compilers
The Potential of
RLMs
dbreunig.com
·
1d
·
Discuss:
Hacker News
📏
Linear Logic
How the GNU C Compiler became the
Clippy
of
cryptography
theregister.com
·
2d
·
Discuss:
Hacker News
,
r/programming
🔓
Password Cracking
The cost of a
function
call
lemire.me
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🔗
Concatenative Programming
The many
masks
LLMs
wear
understandingai.org
·
2d
·
Discuss:
Hacker News
🔲
Cellular Automata
Fun
With
Dada
smallcultfollowing.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
🔗
Concatenative Programming
Relay
Lang –
Async
first programming language
harrisonerd.com
·
1d
·
Discuss:
Hacker News
🌐
Protocol Synthesis
Vibe
Coding
tosbourn.com
·
1d
·
Discuss:
Hacker News
📏
Code Metrics
Railway
Oriented
Programming
fsharpforfunandprofit.com
·
5d
·
Discuss:
Hacker News
🐚
Shell Monads
Ask HN: What is this "
boilerplate
" of which you
speak
?
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🎯
Gradual Typing
AI Coding Is a Framework—Use It Like a Library
piglei.com
·
1d
·
Discuss:
Hacker News
,
r/programming
📏
Code Metrics
CSCI
49201 - Functional Programming in
OCaml
a-nikolaev.github.io
·
5d
·
Discuss:
Hacker News
🧬
Functional Programming
Type
Variance
en.wikipedia.org
·
5d
·
Discuss:
Hacker News
🧮
Algebraic Datatypes
Loading...
Loading more...
« Page 5
•
Page 7 »
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