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
80065
posts in
891.8
ms
Mapping
Gemma3
onto an Edge
Dataflow
Architecture
arxiv.org
·
1d
🔄
Concurrency Models
Neural
Sentinel
: Unified Vision Language Model (
VLM
) for License Plate Recognition with Human-in-the-Loop Continual Learning
arxiv.org
·
4h
🤖
AI
Polysemy
and
Porn
thingofthings.substack.com
·
2d
·
Discuss:
Substack
🔎
Semantic Analysis
Categorical
systems
theory
danmackinlay.name
·
5d
🔄
Concurrency Models
Vibe-coding
our
wedding
website
janlukas.blog
·
1d
🔎
Semantic Analysis
Rebuilding
the
spellchecker
zverok.space
·
2d
🔎
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
Declarative
,
Reproducible
Emacs
irreal.org
·
2d
🔍
Refinement Types
EqPad
: A Calculator-Style Equation Editor for
LaTeX
, Markdown, and PNG
eqpad.kttin.net
·
2d
·
Discuss:
DEV
🔍
Symbolic Execution
Show HN:
LocalGPT
– A local-first AI assistant in Rust with
persistent
memory
dev.to
·
1d
·
Discuss:
DEV
🔍
Symbolic Execution
What in the f-16? (Solving
Sofia
Santos
OSINT
exercise #32)
medium.com
·
2d
🔍
Static Analysis
A dev coding
setup
in 2026
dev.to
·
9h
·
Discuss:
DEV
🔍
Static Analysis
Fyrox
Game Engine 1.0 Release
Candidate
2
fyrox.rs
·
1d
·
Discuss:
r/rust
,
r/rust_gamedev
🪜
Scala
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
Using Rust to Delete
Gitignored
Cruft
forrestthewoods.com
·
2d
🔍
Symbolic Execution
I hold a different opinion regarding the self-built
compilation
backend
ziggit.dev
·
2d
🔍
Refinement Types
Loading...
Loading more...
« Page 15
•
Page 17 »
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