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
⚡ Control Synthesis
Hardware Description, Digital Design, State Machines, FPGA
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80230
posts in
419.0
ms
ToolSelf
: Unifying Task Execution and
Self-Reconfiguration
via Tool-Driven Intrinsic Adaptation
arxiv.org
·
9h
🪜
Recursive Descent
Reliability-aware Execution
Gating
for Near-field and
Off-axis
Vision-guided Robotic Alignment
arxiv.org
·
9h
🌊
Loop Invariant Motion
I Built a 13-Agent AI System That
Reviews
Its Own
Decisions
. Here's the Architecture.
dev.to
·
1d
·
Discuss:
DEV
🎭
Program Synthesis
DCP-o-matic • CPL as
compositions
and multiple
CPLs
dcpomatic.com
·
3d
∫
Mathematical DSLs
Throttling
as a Coordination
Constraint
dev.to
·
2d
·
Discuss:
DEV
📡
Async Channels
IPAB
Workshop
- 12/2/2026 |
IPAB
informatics.ed.ac.uk
·
4d
🔬
Nanopasses
Redux Integration in the
Exei
:
Architecting
Scalable State for a Multi-Tenant Platform
core.forem.com
·
4d
·
Discuss:
DEV
🏛️
Elm Architecture
From Human
Thought
to Machine
Coordination
psychologytoday.com
·
3d
·
Discuss:
Hacker News
🎭
Program Synthesis
Virtual AI Memory
Chips
pgsgrove.com
·
4d
💬
Smalltalk VMs
G-Wii
Attempt
2026
bitbuilt.net
·
4d
🤖
Embedded Go
Show HN:
Programming
Language for Music-
Aethra
news.ycombinator.com
·
4d
·
Discuss:
Hacker News
💬
Interactive REPLs
LLMs could be, but
shouldn
't be
compilers
alperenkeles.com
·
4d
·
Discuss:
Lobsters
,
Hacker News
🌱
Minimal Languages
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically
Raft
, using Lean 4 and
dependen
...
freederia.com
·
3d
📡
Erlang BEAM
**Abstract:** This paper introduces a novel framework for dynamically
stabilizing
orbital
resonances
within Dyson Swarm configurations using hyperdimensional...
freederia.com
·
3d
🌊
Loop Invariant Motion
Safe
Labels
in C++
artima.com
·
2d
🏷️
Symbol Mangling
AI Role-Playing Characters Gain
Consistency
With
Automatically
Built ‘state Of Mind’ Models
quantumzeitgeist.com
·
3d
🎭
Erlang OTP
A safety protection method based on
trajectory
prediction for the operation of virtual
coupling
trains
sciencedirect.com
·
4d
🚂
Error Propagation
4
Raspberry
Pi
alternatives
that actually make sense in 2026
xda-developers.com
·
4d
🔌
Microcontrollers
AI attention
span
so good it
shouldn
’t be legal
stackoverflow.blog
·
4d
✨
Gleam
Building a
Synthesizer
notes.billmill.org
·
4d
🛠️
Code Synthesis
Loading...
Loading more...
« Page 11
•
Page 13 »
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