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
80222
posts in
324.4
ms
Do It for HER: First-Order Temporal Logic
Reward
Specification
in Reinforcement Learning (Extended Version)
arxiv.org
·
1d
📏
Linear Logic
ToolSelf
: Unifying Task Execution and
Self-Reconfiguration
via Tool-Driven Intrinsic Adaptation
arxiv.org
·
7h
🪜
Recursive Descent
A micro
Lie
theory for state estimation in
robotics
dev.to
·
5d
·
Discuss:
DEV
🌊
Loop Invariant Motion
I Built a 13-Agent AI System That
Reviews
Its Own
Decisions
. Here's the Architecture.
dev.to
·
23h
·
Discuss:
DEV
🎭
Program Synthesis
DCP-o-matic • CPL as
compositions
and multiple
CPLs
dcpomatic.com
·
3d
∫
Mathematical DSLs
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
Data-Oriented
Programming for
Java
: Beyond Records
openjdk.org
·
4d
📊
Row Polymorphism
Automatic
Programming
notes.billmill.org
·
5d
🎭
Program Synthesis
Generative Artificial Intelligence
Overview
:
Definition
, Models, and Uses
theaisurf.com
·
4d
🎭
Program Synthesis
Dynamic Metabolic Flux Optimization by Reinforcement‑Learning‑Guided Feed Control for *E. coli*
Bioprocesses
**Abstract** We present a scalable framework
tha
...
freederia.com
·
3d
📡
Erlang BEAM
**Certified
Lyapunov
‑Based Stability Analysis for Autonomous Swarm Robotics using Sum‑of‑
Squares
Verification and Formal Proof Generation** **Abstract**
freederia.com
·
5d
🧩
SAT Solvers
From Human
Thought
to Machine
Coordination
psychologytoday.com
·
3d
·
Discuss:
Hacker News
🎭
Program Synthesis
On the Tension Between
Object-Oriented
and
Generic
Programming in C++
artima.com
·
2d
🗂️
Type Indexing
Designing
energy-efficient AI chips: Why power must be an early
consideration
edn.com
·
5d
💾
Allocator Design
Ride
the Wave, Build the Future:
Scientific
Computing in an AI World
cloud4scieng.org
·
3d
🎭
Program Synthesis
Globally guided
simulated
bifurcation
for enhanced optimization
link.aps.org
·
5d
⚡
Interpreter Optimization
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
·
3d
·
Discuss:
Lobsters
,
Hacker News
🌱
Minimal Languages
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