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
8663
posts in
97.7
ms
A
Weakest
Precondition
Calculus for Programs and Linear Temporal Specifications
arxiv.org
·
1d
✅
Model Checking
The
Pensieve
Paradigm:
Stateful
Language Models Mastering Their Own Context
arxiv.org
·
18h
📚
Automata Learning
Go -
Unit
&
Integration
Testing
linkedin.com
·
2d
·
Discuss:
r/programming
🧪
Property-Based Testing
We Die Because it's a
Computational
Necessity
lesswrong.com
·
10h
🔲
Cellular Automata
Using
Databases
Without
Putting
Domain Logic in Them (2023)
alexkondov.com
·
2d
·
Discuss:
Lobsters
🧱
Immutable Infrastructure
Hazardous
States and
Accidents
lesswrong.com
·
10h
🎯
GADT
Zero State
Architecture
deep
dive
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
💻
QEMU
One
Task
at a Time, Even with AI
wakamoleguy.com
·
8h
·
Discuss:
Hacker News
🏃
Escape Analysis
fltk-rs/flemish
: An
elmish
architecture for
fltk-rs
github.com
·
12h
·
Discuss:
Lobsters
,
Hacker News
🐫
Embedded OCaml
Is It over for
Metrics
?
clickhouse.com
·
1d
·
Discuss:
Hacker News
👁️
Observability
The
Timeless
Way of
Programming
(2022)
tomasp.net
·
1d
·
Discuss:
Lobsters
,
Hacker News
🤖
Program Synthesis
The
Redundancy
Paradox
mihirdeshpande.com
·
1d
·
Discuss:
Hacker News
👁️
System Observability
Zvec
: SQLite-like
simplicity
in an embedded vector database (By Alibaba)
zvec.org
·
1d
·
Discuss:
Hacker News
🧮
Z3 Solver
AI
uncovers
solutions to
Erdős
problems, moving closer to transforming math
scientificamerican.com
·
1d
·
Discuss:
Hacker News
🎯
Complexity Classes
The programming language after
Kotlin
– with the
creator
of
Kotlin
newsletter.pragmaticengineer.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
⚙️
Compiler Design
Chuck
Moore's Wonderful
colorForth
Programming Language and Operating System
colorforth.github.io
·
12h
·
Discuss:
Hacker News
⚙️
Compiler Design
An
async
HTTP server in ~80 lines of modern C++ (
coroutines
)
vixcpp.com
·
1d
·
Discuss:
Hacker News
🌐
Network Protocols
Explain
Your Rules
blog.sebastiansastre.co
·
1d
·
Discuss:
Hacker News
🏹
Effect Systems
We have
outgrown
the
Process
model
sidhion.com
·
1d
·
Discuss:
Hacker News
⚙️
Operating System Design
Digitizing
the "
Shokunin
": How we encoded a Master's hammer strike into AI
yusukekaizen.substack.com
·
1d
·
Discuss:
Substack
📚
Automata Learning
Loading...
Loading more...
« Page 1
•
Page 3 »
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