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
79988
posts in
275.0
ms
Canzona
: A Unified, Asynchronous, and Load-Balanced Framework for Distributed Matrix-based
Optimizers
arxiv.org
·
1d
⚡
Interpreter Optimization
Efficient and Robust Modeling of
Nonlinear
Mechanical
Systems
arxiv.org
·
1d
🌊
Loop Invariant Motion
I Built a 13-Agent AI System That
Reviews
Its Own
Decisions
. Here's the Architecture.
dev.to
·
21h
·
Discuss:
DEV
🎭
Program Synthesis
Throttling
as a Coordination
Constraint
dev.to
·
2d
·
Discuss:
DEV
📡
Async Channels
DCP-o-matic • CPL as
compositions
and multiple
CPLs
dcpomatic.com
·
3d
∫
Mathematical DSLs
IPAB
Workshop
- 12/2/2026 |
IPAB
informatics.ed.ac.uk
·
3d
🔬
Nanopasses
Redux Integration in the
Exei
:
Architecting
Scalable State for a Multi-Tenant Platform
core.forem.com
·
3d
·
Discuss:
DEV
🏛️
Elm Architecture
Data-Oriented
Programming for
Java
: Beyond Records
openjdk.org
·
4d
📊
Row Polymorphism
**Certified
Lyapunov
‑Based Stability Analysis for Autonomous Swarm Robotics using Sum‑of‑
Squares
Verification and Formal Proof Generation** **Abstract**
freederia.com
·
4d
🧩
SAT Solvers
From Human
Thought
to Machine
Coordination
psychologytoday.com
·
3d
·
Discuss:
Hacker News
🎭
Program Synthesis
In (highly
contingent
!) defense of
interpretability-in-the-loop
ML training
lesswrong.com
·
3d
🪜
Recursive Descent
On the Tension Between
Object-Oriented
and
Generic
Programming in C++
artima.com
·
2d
🗂️
Type Indexing
Ride
the Wave, Build the Future:
Scientific
Computing in an AI World
cloud4scieng.org
·
3d
🎭
Program Synthesis
G-Wii
Attempt
2026
bitbuilt.net
·
4d
🤖
Embedded Go
Virtual AI Memory
Chips
pgsgrove.com
·
4d
💬
Smalltalk VMs
LLMs could be, but
shouldn
't be
compilers
alperenkeles.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
🌱
Minimal Languages
Show HN:
Programming
Language for Music-
Aethra
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
💬
Interactive REPLs
**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
feldera/feldera
: The
Feldera
Incremental
Computation Engine
github.com
·
3d
🚂
Cranelift IR
AI Role-Playing Characters Gain
Consistency
With
Automatically
Built ‘state Of Mind’ Models
quantumzeitgeist.com
·
3d
🎭
Erlang OTP
Loading...
Loading more...
« Page 10
•
Page 12 »
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