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
🤖 AI
LLMs, AI startups, ML engineering
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
3770
posts in
278.5
ms
How to Prove the
Correctness
of AI-Generated Code Using
Formal
Methods
adacore.com
·
1d
·
Discuss:
Hacker News
💻
Programming languages
Show HN: AI Prompt
Frameworks
That Generated $
47K
in Business Value
tannerwave37.gumroad.com
·
2d
·
Discuss:
Hacker News
📈
Finance
New
ARIA
research funding programme: nearly £
50M
to secure AI agents in the wild
aria.org.uk
·
19h
·
Discuss:
Hacker News
💻
Programming languages
AI
Personality
Extraction from Faces: Labor Market
Implications
nber.org
·
1d
·
Discuss:
Hacker News
📈
Finance
AI
vastly
reduced stress of IPv6
migrations
in university experiment
theregister.com
·
1d
·
Discuss:
Hacker News
💻
Programming languages
Show HN: AI Cost Board – Track LLM Cost,
Requests
, and Errors Across
Providers
aicostboard.com
·
2d
·
Discuss:
Hacker News
🗄️
Databases
Mailly
: AI Cold Email
Outreach
Platform
mailly.io
·
23h
·
Discuss:
Hacker News
,
r/SideProject
💻
Programming languages
Free AI Image
Generator
: All Models in One Place
tryimgai.com
·
1d
·
Discuss:
Hacker News
🗄️
Databases
LLMs
Refuse
High-Cost Attacks but Stay
Vulnerable
to Cheap, Real-World Harm
expectedharm.github.io
·
1d
·
Discuss:
Hacker News
💻
Programming languages
Designing
a Cost-Efficient
Agentic
System
p.agnihotry.com
·
1d
·
Discuss:
Hacker News
💻
Programming languages
Show HN:
ClawKit
｜Open-source toolkit to configure and debug
OpenClaw
AI agents
getclawkit.com
·
22h
·
Discuss:
Hacker News
💻
Programming languages
Slides
from my AI presentation I gave to
seniors
, feel free to share
aititus.com
·
19h
·
Discuss:
Hacker News
💻
Programming languages
Show HN: We got sick of
juggling
terminals
for AI agents so we built a workspace
augmentcode.com
·
1d
·
Discuss:
Hacker News
💻
Programming languages
AI Is Finally
Eating
Software’s
Total
Market: Here’s What’s Next
vinvashishta.substack.com
·
3d
·
Discuss:
Substack
📈
Finance
96%
Engineers
Don’t Fully Trust AI Output, Yet Only 48%
Verify
It
newsletter.eng-leadership.com
·
2d
·
Discuss:
Hacker News
,
r/programming
💻
Programming languages
Besieged
redmonk.com
·
23h
·
Discuss:
Hacker News
💻
Programming languages
Context-Driven
Development Meets Team Agents: What
Changed
and What Didn't
themobileagent.substack.com
·
1d
·
Discuss:
Substack
💻
Programming languages
Structure Beats
Prose
:
Specs
for Coding Agents That Actually Work
medium.com
·
1d
·
Discuss:
Hacker News
💻
Programming languages
Turn any
codebase
into interactive, multi-level
documentation
revibe.codes
·
1d
·
Discuss:
Hacker News
💻
Programming languages
AI Makes the Easy Part
Easier
and the Hard Part
Harder
blundergoat.com
·
3d
·
Discuss:
Hacker News
,
Hacker News
,
r/programming
,
r/webdev
💻
Programming languages
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