Feeds to Scour
SubscribedAll
Scoured 3709 posts in 197.9 ms
How to Prove the Correctness of AI-Generated Code Using Formal Methods
adacore.com·1d·
Discuss: Hacker News
🎮Godot Engine
Eliminating the Wobble in Your Child's Single Bunk Bed
dreamhomestore.co.uk·23h·
Discuss: Hacker News
🦀Rust
Meta Ran Thousands of TV Ads Ahead of Teen Addiction Trial
bloomberg.com
·23h·
Discuss: Hacker News
🌐Social Web
Sharav Arora 10-Year Old Founder of TechForges
sites.google.com·1d·
Discuss: Hacker News
🌐Social Web
UK justice ministry orders deletion of largest court archive court
thetimes.com
·1d·
Discuss: Hacker News
💾Local First Software
Oxide raises $200M Series C
oxide.computer·1d·
Discuss: Hacker News, Hacker News
🦀Rust
The Isomorphic Labs Drug Design Engine unlocks a new frontier beyond AlphaFold
isomorphiclabs.com·23h·
Discuss: Hacker News
🎮Godot Engine
Tiny Titan or Overpromised Miniature? The Framework Desktop Reviewed
kirkstechtips.com·1d·
Discuss: Hacker News
🎮Godot Engine
Show HN: Pennywize-Conversational budgeting for freelancers with variable income
askpennywize.com·23h·
Discuss: Hacker News
🌐Social Web
Former GitHub CEO raises record $60M dev tool seed round at $300M valuation
techcrunch.com·1d·
Discuss: Hacker News
🎮Godot Engine
MySQL with extensions for the agentic AI era
villagesql.com·23h·
Discuss: Hacker News
🌐Social Web
Khronos at 25: Shaping Visual Computing with Open Standards
khronos.org·1d·
Discuss: Hacker News
🎮Godot Engine
Context-Driven Development Meets Team Agents: What Changed and What Didn't
themobileagent.substack.com·1d·
Discuss: Substack
🎮Godot Engine
Formal Methods Practice and Theory
adacore.com·1d·
Discuss: Hacker News
💾Local First Software
Large Language Models for Mortals book released
crimede-coder.com·23h·
Discuss: Hacker News
🌐Social Web
What Would Good Agent Productivity Metrics Look Like?
m16g.com·23h·
Discuss: Hacker News
💾Local First Software
The Agent Internet Is Building Its Immune System in Public
mnemom.ai·23h·
Discuss: Hacker News
🌐Social Web
10-year old innovater gone viral for YC Tips Video
news.ycombinator.com·1d·
Discuss: Hacker News
🌐Social Web
Alphabet selling very rare 100-year bonds to help fund AI investment
arstechnica.com·23h·
Discuss: Hacker News
💾Local First Software
Ask HN: How to find joy in writing/learning about tech in this AI world?
news.ycombinator.com·23h·
Discuss: Hacker News
🌐Social Web

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
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
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help