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
19452
posts in
463.6
ms
Codified
Finite-state
Machines for Role-playing
arxiv.org
·
1d
🌳
Context free grammars
Flow-Based Programming:
Seminal
Texts and
Theoretical
Foundations
repolex.ai
·
1d
·
Discuss:
Hacker News
💻
Programming languages
Creating
Buttons
To
Remember
Things
brainbaking.com
·
5h
🔗
Concatenative Programming
Build a
Compiler
in Five Projects
kmicinski.com
·
8h
🔨
Compilers
ChatGPT vs.
Logic
: Why AI Code is
Slower
dev.to
·
23h
·
Discuss:
DEV
🌊
Streaming Algorithms
Automating
busy
work
thomasrigby.com
·
2h
🤖
Archive Automation
Rethinking Time in
Computation
– From Wall
Clocks
to State Transitions
d1gesto.blogspot.com
·
1d
·
Discuss:
Hacker News
⏰
Time Crystals
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
2d
·
Discuss:
Lobsters
,
Hacker News
⚔️
Lean Tactics
The
Beacon
is
lit
blog.zarfhome.com
·
3h
⚡
Homebrew CPUs
Abstract Framework for All-Path
Reachability
Analysis
arxiv.org
·
2d
⏰
Temporal Logic
The control
layer
for AI
blog.dottxt.ai
·
18h
·
Discuss:
Hacker News
🔒
WASM Capabilities
Railway
Oriented
Programming
fsharpforfunandprofit.com
·
1d
·
Discuss:
Hacker News
🐚
Shell Monads
10-Part Series on
Breadth-First
Traversals
in Haskell
doisinkidney.com
·
1d
·
Discuss:
Hacker News
🔗
Functional Compilers
Differential
Logic
• 1
inquiryintoinquiry.com
·
2d
📏
Linear Logic
Theory-independent monitoring of the
decoherence
of a superconducting qubit with generalized
contextuality
nature.com
·
8h
⚛️
Quantum Channels
Automatic
Programming
notes.billmill.org
·
2d
⚡
Proof Automation
State-Awareness
vs One-Shot
Prompts
dev.to
·
1d
·
Discuss:
DEV
💾
Persistence Strategies
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically
Raft
, using Lean 4 and
dependen
...
freederia.com
·
1d
🤝
Consensus Protocols
Why Large Language Models Make Terrible
Compilers
— And Why the Industry Keeps Trying
Anyway
webpronews.com
·
17h
🏗️
Compiler Archaeology
Pratt
Parsers
: Expression Parsing Made Easy
journal.stuffwithstuff.com
·
19m
📝
Concrete Syntax
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