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
80856
posts in
521.4
ms
Solving parametric polynomial systems using Generic
Rational
Univariate
Representation
arxiv.org
·
1d
⚡
Partial Evaluation
VERIFY-RL:
Verifiable
Recursive
Decomposition for Reinforcement Learning in Mathematical Reasoning
arxiv.org
·
13h
🧩
SAT Solvers
**Pulse‑Sequence Tuning for Fault‑Tolerant
Exponentiation
in
Shor
’s Algorithm on Transmon Qubits**
dev.to
·
2d
·
Discuss:
DEV
🔬
Nanopasses
Building Multi-Agent AI Systems: Architecture
Patterns
and Best
Practices
dev.to
·
1d
·
Discuss:
DEV
🎭
Erlang OTP
Datapoint
2200
Emulator
!
retrocomputingforum.com
·
2d
🖥️
Minimal VMs
AI
Workflows
chatprd.ai
·
2d
🎭
Program Synthesis
The control
layer
for AI
blog.dottxt.ai
·
3d
·
Discuss:
Hacker News
🔀
Control Structures
My Most Important C++
Aha
!
Moments
...Ever
artima.com
·
2d
🔬
Nanopasses
Oatmeal
-
Constraint
propagation for fun
eli.li
·
2d
·
Discuss:
Lobsters
,
Hacker News
🧩
Constraint Solvers
John Park’s CircuitPython
Parsec
:
NeoPixel
Starburst on Trellis
blog.adafruit.com
·
4d
🔍
Lens Libraries
qrafty-ai/teleop
_xr: Transforms your VR/AR headset into a powerful, precise robot controller
github.com
·
2d
·
Discuss:
Hacker News
🌐
Portable Assembly
When AI goes
haywire
: the case of the skyscraper and the slide
trombone
theconversation.com
·
2d
🌱
Minimal ML
Design and implementation of a low-cost mobile robot prototype for trajectory tracking and robotic
swarm
tasks in research and
educational
applications
sciencedirect.com
·
5d
🔌
Microcontrollers
Coroutine
Types
abseil.io
·
2d
🔄
Coroutines
How to Stay
Valuable
When AI
Writes
All The Code
pathtostaff.com
·
2d
·
Discuss:
r/programming
🎭
Program Synthesis
The Future of Software Engineering
poberezkin.com
·
1d
·
Discuss:
Hacker News
🎭
Program Synthesis
gharasathi
(
घर
ासाठी) — A Privacy-First Household AI Running on a $200 Mini PC
amazon.com.au
·
2d
·
Discuss:
DEV
💬
Smalltalk VMs
SyntagmaNull/synthetic-phenomenology
: A foundational framework for AI consciousness, structural
psychodynamics
, and transparency-based ethics. Co-authored by Human and AI.
github.com
·
3d
·
Discuss:
Hacker News
🎭
Program Synthesis
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
4d
·
Discuss:
Lobsters
,
Hacker News
π
Pi Calculus
Dot
Chain Special
Operators
yamlscript.org
·
3d
🔬
Nanopasses
Loading...
Loading more...
« Page 6
•
Page 8 »
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