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
🔧 PLT
Type Theory, Lambda Calculus, Semantics, Compiler Design
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80066
posts in
712.4
ms
Structure
groupoids
of
quiver-theoretic
Yang-Baxter maps
arxiv.org
·
1d
🔍
Symbolic Execution
Mapping
Gemma3
onto an Edge
Dataflow
Architecture
arxiv.org
·
1d
🔄
Concurrency Models
Polysemy
and
Porn
thingofthings.substack.com
·
2d
·
Discuss:
Substack
🔎
Semantic Analysis
LoopScript
esolangs.org
·
1d
🐫
Ocaml
Categorical
systems
theory
danmackinlay.name
·
5d
🔄
Concurrency Models
Vibe-coding
our
wedding
website
janlukas.blog
·
1d
🔎
Semantic Analysis
A Quick
Introduction
to
OxCaml
noelwelsh.com
·
5d
·
Discuss:
Hacker News
🐫
Ocaml
Logistic
Regression, Average Marginal Effects, and the Linear Probability Model - Part II:
Coefficients
and AMEs of nested models
elff.eu
·
3d
🐫
Ocaml
EqPad
: A Calculator-Style Equation Editor for
LaTeX
, Markdown, and PNG
eqpad.kttin.net
·
2d
·
Discuss:
DEV
🔍
Symbolic Execution
The LLM Judge
Controversy
mlfrontiers.substack.com
·
1d
·
Discuss:
Substack
🔎
Semantic Analysis
Show HN:
LocalGPT
– A local-first AI assistant in Rust with
persistent
memory
dev.to
·
1d
·
Discuss:
DEV
🔍
Symbolic Execution
First
Proof
| Research-Level
Math
for AI Evaluation
1stproof.org
·
3d
·
Discuss:
Hacker News
🔍
Symbolic Execution
A dev coding
setup
in 2026
dev.to
·
4h
·
Discuss:
DEV
🔍
Static Analysis
What in the f-16? (Solving
Sofia
Santos
OSINT
exercise #32)
medium.com
·
2d
🔍
Static Analysis
I am
happier
writing code by
hand
abhinavomprakash.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
💻
Claude
The Engineering
Discipline
That Made AI Actually
Useful
multigres.com
·
5d
·
Discuss:
Hacker News
🔍
Symbolic Execution
Full-circle Test-driven
Firmware
Development with
OpenClaw
blog.adafruit.com
·
2d
·
Discuss:
Hacker News
📐
formal specification
C Isn't A
Programming
Language
Anymore
faultlore.com
·
4d
·
Discuss:
Hacker News
🔍
Static Analysis
I hold a different opinion regarding the self-built
compilation
backend
ziggit.dev
·
1d
🔍
Refinement Types
Using Rust to Delete
Gitignored
Cruft
forrestthewoods.com
·
2d
🔍
Symbolic Execution
Loading...
Loading more...
« Page 14
•
Page 16 »
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