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
83198
posts in
1.27
s
Loading...
Subscribe
Beautiful
Perl
feature:
BLOCKs
dev.to
·
1h
·
Discuss:
DEV
🔧
PLT
OpenAI launches
Frontier
for building and
managing
AI agents
techzine.eu
·
2d
🤖
AI
I Built a
Programming
Language Where think Is a
Keyword
dev.to
·
2h
·
Discuss:
DEV
🔎
Semantic Analysis
Home
Depot
AI
Battles
for the Pro Wallet
pymnts.com
·
20h
🤖
AI
Zinc
Language Design
ziggit.dev
·
12h
🔍
Static Analysis
Waterloo
Style
theprogrammersparadox.blogspot.com
·
1d
·
Discuss:
Hacker News
🔍
Static Analysis
A
GTM
guide to AI models
revengine.substack.com
·
59m
·
Discuss:
Substack
🤖
AI
How I
Extend
My
Workflow
with Claude Code CLI
spin.atomicobject.com
·
1d
💻
Claude
Single User
Slop
Apps
er4hn.info
·
21h
🤖
AI
Weeknotes
2026-W06
› Project
Pterodactyl
: incremental architecture
jonmsterling.com
·
5h
·
Discuss:
Hacker News
🔍
Symbolic Execution
🎲
Piecemeal
Formal Verification: Cloudflare, Java Exceptions, and Rust
Mutexes
gavinhoward.com
·
2d
🔍
Static Analysis
OpenAI
counters
Anthropic Claude
Opus
4.6 with GPT-5.3 Codex, its most advanced coding agent
indianexpress.com
·
1d
🤖
AI
ClawEmail
: 1min setup for
OpenClaw
agents with Gmail, Docs
clawemail.com
·
12h
·
Discuss:
Hacker News
🤖
AI
My
Current
AI Coding
Workflow
jonathannen.com
·
1d
🤖
AI
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically
Raft
, using Lean 4 and
dependen
...
freederia.com
·
1d
📐
formal specification
Doc2Spec
:
Synthesizing
Formal Programming Specifications from Natural Language via Grammar Induction
arxiv.org
·
1d
📐
formal specification
C and C++
dependencies
, don't
dream
it, be it!
nibblestew.blogspot.com
·
3h
·
Discuss:
Hacker News
,
nibblestew.blogspot.com
🔍
Static Analysis
Claude Code is becoming the big favorite among
programmers
. So much so that it already accounts for 4% of everything
uploaded
to GitHub
europedigital.cloud
·
1d
💻
Claude
How
StrongDM
’s AI team build
serious
software without even looking at the code
simonwillison.net
·
5h
·
Discuss:
Hacker News
📐
formal specification
Your AI, your server. Up in 5 minutes.
openclawcloud.io
·
23h
·
Discuss:
Hacker News
🤖
AI
Loading...
Loading more...
« Page 2
•
Page 4 »
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