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
9696
posts in
250.5
ms
Symbolic Model Checking using
Intervals
of
Vectors
arxiv.org
·
10h
✅
Model Checking
De-mystifying
Agentic AI: Building a Minimal Agent Engine from Scratch with
Clojure
serefayar.substack.com
·
1d
·
Discuss:
Substack
⏳
LTL
A
State-Transition
Framework for Efficient LLM
Reasoning
arxiv.org
·
1d
🌲
CTL
Taming the Flat AST:
Ergonomics
in the Age of Zero
Allocations
modern-c.blogspot.com
·
19h
·
Discuss:
Lobsters
,
Hacker News
,
r/golang
🐫
Embedded OCaml
Logic
for
Programmers
New Release and Next Steps
buttondown.com
·
1h
🔬
Static Analysis
The
Heartbeat
of Tetris 🟥🟥🟥🟥: What a
1x1
Pixel Taught Me About Concurrency
qianarthurwang.substack.com
·
22h
·
Discuss:
r/programming
🔲
Cellular Automata
Go Deep Dive:
Mutex
vs
RWMutex
dev.to
·
2h
·
Discuss:
DEV
👁️
System Observability
The
Projection
Problem: Two
Pitfalls
in AI Safety Research
lesswrong.com
·
18h
🩹
Self-Healing Systems
The Graph Theory of
Circuit
Sculptures
hackaday.com
·
22h
🕸️
Graph Theory
I Am Not a
Functional
Programmer
blog.daniel-beskin.com
·
1h
·
Discuss:
r/programming
λ
Functional Programming
How I Program with LLMs
blog.wesleyabbey.io
·
1h
·
Discuss:
Hacker News
🛡️
seL4
Show HN: C discrete event SIM w
stackful
coroutines runs 45x faster than
SimPy
github.com
·
23h
·
Discuss:
Hacker News
🔀
OCaml Multicore
Plan–Code–
Execute
:
Designing
Agents That Create Their Own Tools
towardsdatascience.com
·
3h
🤖
Program Synthesis
LLMs versus the
Halting
Problem: Revisiting Program
Termination
Prediction
orensultan.com
·
1d
·
Discuss:
Hacker News
🔍
CBMC
How not to program in
Dyalog
APL
toolofthought.com
·
4h
·
Discuss:
Lobsters
,
Hacker News
📝
Nix Language
Implementing
the Temporal proposal in
JavaScriptCore
blogs.igalia.com
·
1d
·
Discuss:
Lobsters
⏳
LTL
Why we built
ModelRift
on
OpenSCAD
modelrift.com
·
2h
·
Discuss:
Hacker News
🔧
ppx
Functional
Programming
Bits
in Python
martynassubonis.substack.com
·
1d
·
Discuss:
Substack
,
r/programming
,
r/webdev
λ
Functional Programming
Understanding ReAct (
Reasoning
+ Action) through a simple game
dev.to
·
10h
·
Discuss:
DEV
🎮
Verification Games
Multi-layer defense for LLM agents inspired by
immune
systems (seeking
critique
)
gist.github.com
·
5h
·
Discuss:
Hacker News
🛡️
seL4
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