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
🔄 Finite State Machines
Statecharts, Visual Programming, State Transitions, Temporal Logic
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23706
posts in
232.1
ms
A
Weakest
Precondition
Calculus for Programs and Linear Temporal Specifications
arxiv.org
·
18h
⚖️
Verification Calculi
Formal
Verification Fundamentals Remain
Non-Negotiable
In The New Verification Revolution
semiengineering.com
·
15h
🔧
Hardware Verification
Proof-oriented
Programming in F*
fstar-lang.org
·
19h
·
Discuss:
Lobsters
👑
Isabelle
Proving
What's Possible
buttondown.com
·
1d
⚖️
Hoare Logic
Zero State
Architecture
deep
dive
news.ycombinator.com
·
5h
·
Discuss:
Hacker News
🕹️
Hardware Emulation
What Agentic AI "Vibe Coding" In The Hands Of
Actual
Programmers
/ Engineers
stochasticlifestyle.com
·
11h
✨
Effect Handlers
Symbolic Pattern Temporal
Numeric
Planning with
Intermediate
Conditions and Effects
arxiv.org
·
1d
⚡
Effectful Programming
Functional
Optics
for Modern Java
blog.scottlogic.com
·
23h
💧
Liquid Types
The
prehistory
of generative grammar and
Chomsky
’s debt to Emil Post
benjamins.com
·
2h
·
Discuss:
Hacker News
🌳
Context free grammars
[
TUHS
] bare m4 (was BTL
summmer
employees)
tuhs.org
·
1d
·
Discuss:
Lobsters
🧠
Lisp Dialects
Truth and paradox in the theory of finite and infinite games,
Owens
Memorial
Lecture
, Wayne State University, April 2026
jdh.hamkins.org
·
20h
🔲
Cellular Automata
AI
uncovers
solutions to
Erdős
problems, moving closer to transforming math
scientificamerican.com
·
1h
🧮
SMT Solvers
Differential
Logic
• 6
inquiryintoinquiry.com
·
7h
🎯
Proof Tactics
Python to Clojure: A
Gentle
Guide for
Pythonistas
dev.to
·
14h
·
Discuss:
DEV
🧠
Lisp Dialects
Large Language Models for
Mortals
book
andrewpwheeler.com
·
1d
💻
Local LLMs
Sjs2332/microGPT
_Visualizer: An interactive visual explainer for Andrej Karpathy's
microGPT
github.com
·
4h
·
Discuss:
Hacker News
🖥️
Terminal Renaissance
How I
learnt
to stop
worrying
and love AI
tweag.io
·
23h
🌳
Incremental Parsing
Your
Fastly
VCL
deserves an IDE: bringing full
VCL
language support to Visual Studio Code
fastly.com
·
23h
✅
Format Verification
On This Day in
Math
pballew.blogspot.com
·
17h
·
Discuss:
Blogger
🔲
Cellular Automata
Testing a Component System Like Infrastructure: Contract Tests, Visual
Regression
, and
Accessibility
Gates
hackernoon.com
·
1d
🔍
Concolic Testing
Loading...
Loading more...
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