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
📐 Denotational Semantics
Domain Theory, Fixed Points, Continuations, Program Equivalence
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8611
posts in
96.5
ms
Designing and Comparing
RPQ
Semantics
arxiv.org
·
21h
⚙
Operational Semantics
How I Built My Project in
Haskell
dev.to
·
6d
·
Discuss:
DEV
λ
Functional Programming
A
Weakest
Precondition
Calculus for Programs and Linear Temporal Specifications
arxiv.org
·
1d
✅
Model Checking
A
Closer
Look at the “
Societies
of Thought” Paper
lesswrong.com
·
1d
🎮
Verification Games
Building a
Regex
Engine with a team of parallel
Claudes
lesswrong.com
·
3d
🧩
Parser Combinators
Architecture
of
SQLite
sqlite.org
·
2d
·
Discuss:
Hacker News
🔢
Algebraic Data Types
How to Prove the
Correctness
of AI-Generated Code Using
Formal
Methods
adacore.com
·
3d
·
Discuss:
Hacker News
🤖
Program Synthesis
How System
Prompts
Define
Agent Behavior
dbreunig.com
·
2d
·
Discuss:
Hacker News
🤖
Program Synthesis
Show HN: Latent-k –
Persistent
dependency
map to reduce AI coding token usage
latentk.org
·
2d
·
Discuss:
Hacker News
📦
OPAM
True,
Relevant
, and Wrong: The
Applicability
Problem in RAG
pinecone.io
·
2d
·
Discuss:
Hacker News
🧩
Parser Combinators
Large Language Models for
Mortals
book released
crimede-coder.com
·
3d
·
Discuss:
Hacker News
🎯
Hindley-Milner
Rust Memory Management: The
Playroom
Analogy
adacore.com
·
3d
·
Discuss:
Hacker News
🏃
Escape Analysis
What
Functional
Programmers
Get Wrong About Systems
iankduncan.com
·
4d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
💎
Refinement Types
Microgpt.py
gist.github.com
·
2d
·
Discuss:
Hacker News
,
Hacker News
🔀
Brzozowski Derivatives
Russ
Cox on: What should we do with
CLs
generated by AI?
groups.google.com
·
14h
·
Discuss:
Lobsters
,
Hacker News
,
r/golang
🤖
Program Synthesis
Domain
Knowledge Is the New
Syntax
blog.melashri.net
·
4d
·
Discuss:
Hacker News
🔤
Language Design
Show HN:
PolyMCP
–
Expose
Python functions as MCP tools
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🔀
OCaml Multicore
Don't give away to the
gradient
descent
carteakey.dev
·
2d
·
Discuss:
Hacker News
λ
Functional Programming
Humanity
's last
programming
language
xeiaso.net
·
4d
·
Discuss:
Lobsters
,
Hacker News
🔤
Language Design
Regime-Declared
Mathematics
as Survivor Sets
zboralski.github.io
·
4d
·
Discuss:
Hacker News
🧠
Automated Reasoning
Sign up or log in to see more results
Sign Up
Login
« Page 2
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