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
bugzmanov's Feed
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
82725
posts in
640.1
ms
Loading...
Subscribe
Full-circle Test-driven
Firmware
Development with
OpenClaw
blog.adafruit.com
·
22h
·
Discuss:
Hacker News
📐
formal specification
Rusthaven
Announced
bluesnews.com
·
18h
🦀
Rust
Sign up or login to customize your feed and get personalized topic recommendations
Sign Up
Login
Building Interactive C/C++ workflows in Jupyter through
Clang-REPL
[video]
fosdem.org
·
21h
·
Discuss:
Hacker News
🔍
Symbolic Execution
AI is making me
anxious
and
stupid
tom.so
·
1h
·
Discuss:
Hacker News
🤖
AI
C++20
span
tutorial
solarianprogrammer.com
·
14h
🔍
Static Analysis
Humanoid's platform,
URDF
kitchen, Nvidia's Dream Zero and
Intrinsic
's AI for Industry
robotsandstartups.substack.com
·
18h
·
Discuss:
Substack
🤖
AI
Grace
Hopper
's
Revenge
thefuriousopposites.com
·
2h
🪜
Scala
Building
Reliable
AI Applications: A
Validation
Strategy
dev.to
·
2h
·
Discuss:
DEV
📐
formal specification
I Built a $399 Always-On AI
Assistant
Box That Draws Less Power Than a Light
Bulb
dev.to
·
3h
·
Discuss:
DEV
🤖
AI
Context
Is Part of the Game
joy.pm
·
3h
·
Discuss:
Hacker News
🔍
Static Analysis
OpenAI launches
Frontier
for building and
managing
AI agents
techzine.eu
·
2d
🤖
AI
How
StrongDM
’s AI team build
serious
software without even looking at the code
simonw.substack.com
·
4h
·
Discuss:
Substack
🔍
Symbolic Execution
Code only says what it does
brooker.co.za
·
11h
·
Discuss:
Hacker News
📐
formal specification
Why
Penguins
Don't Build
Nests
in Trees and Why That Matters for AI
erikzaadi.com
·
2h
🤖
AI
Type
Variance
en.wikipedia.org
·
2d
·
Discuss:
Hacker News
🔧
PLT
Puzzle
Potential
jhyde.itch.io
·
1h
🔍
Symbolic Execution
How I
Extend
My
Workflow
with Claude Code CLI
spin.atomicobject.com
·
1d
💻
Claude
🎲
Piecemeal
Formal Verification: Cloudflare, Java Exceptions, and Rust
Mutexes
gavinhoward.com
·
3d
🔍
Static Analysis
My
Current
AI Coding
Workflow
jonathannen.com
·
2d
🤖
AI
Doc2Spec
:
Synthesizing
Formal Programming Specifications from Natural Language via Grammar Induction
arxiv.org
·
2d
📐
formal specification
Loading...
Loading more...
« Page 3
•
Page 5 »
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