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
83012
posts in
381.9
ms
Loading...
Subscribe
DCP-o-matic • Re: CPL as
compositions
and multiple
CPLs
dcpomatic.com
·
2h
🔄
Concurrency Models
Hello Edge: Keyword
Spotting
on
Microcontrollers
paperium.net
·
16h
·
Discuss:
DEV
🔎
Semantic Analysis
Building
PokéAgents
: When AI Agents
Paint
Together (Part 2)
blog.jyotiska.in
·
1d
🤖
AI
The
beginning
of a new era in Rust
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
First
Proof
| Research-Level
Math
for AI Evaluation
1stproof.org
·
1d
·
Discuss:
Hacker News
🔍
Symbolic Execution
I Built a 6
BIPS
JIT
in Five Months
unlikelyemphasis.substack.com
·
1d
·
Discuss:
Substack
🔍
Symbolic Execution
impl Rust: Avro
IDL
tool in Rust via
ANTLR
youtube.com
·
14h
📐
formal specification
Automatic
Programming
Returns
cyber-omelette.com
·
10h
·
Discuss:
Hacker News
,
r/programming
🔍
Symbolic Execution
Refactoring
038
dev.to
·
1d
·
Discuss:
DEV
🔍
Static Analysis
Being the
Centaur
:
Context
Engineering for LLM Coding
schlitt.info
·
1d
🔍
Symbolic Execution
a
proposal
for AI that's on your side
r.github.io
·
18h
·
Discuss:
Hacker News
🤖
AI
Enhancing
Mathematical
Problem Solving in LLMs through Execution-Driven Reasoning
Augmentation
arxiv.org
·
2d
🔍
Symbolic Execution
Does Programming Language Matter? An
Empirical
Study of
Fuzzing
Bug Detection
arxiv.org
·
1d
🔍
Static Analysis
Implementing
Automated Rules-Based
Evaluations
for LLM Applications
dev.to
·
1d
·
Discuss:
DEV
📐
formal specification
Rowan
Street 2025 Year-End
Letter
seekingalpha.com
·
21h
💰
Fidelity
How to
effectively
write
quality code with AI
heidenstedt.org
·
19h
·
Discuss:
Hacker News
📐
formal specification
OpenAI
Frontier
is a single platform to control your AI agents
theverge.com
·
1d
·
Discuss:
Hacker News
🤖
AI
Sign up or login to customize your feed and get personalized topic recommendations
Sign Up
Login
LLMs could be, but
shouldn
't be
compilers
alperenkeles.com
·
23h
·
Discuss:
Hacker News
🔍
Refinement Types
From Questions to
Insights
: Data Analysis with
LangChain
’s Built-In Tools
pub.towardsai.net
·
1d
🔎
Semantic Analysis
Clean
Coder
: The Dark Path (2017)
blog.cleancoder.com
·
2d
·
Discuss:
Hacker News
🔍
Static Analysis
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