Feeds to Scour
SubscribedAll
Scoured 4011 posts in 729.2 ms
How to Prove the Correctness of AI-Generated Code Using Formal Methods
adacore.com·21h·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Sharav Arora 10-Year Old Founder of TechForges
sites.google.com·21h·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
UK justice ministry orders deletion of largest court archive court
thetimes.com
·21h·
Discuss: Hacker News
👁️Observability
Oxide raises $200M Series C
oxide.computer·21h·
Discuss: Hacker News, Hacker News
⚡Hardware Acceleration
Eliminating the Wobble in Your Child's Single Bunk Bed
dreamhomestore.co.uk·20h·
Discuss: Hacker News
⌨️CLI Development
Tiny Titan or Overpromised Miniature? The Framework Desktop Reviewed
kirkstechtips.com·21h·
Discuss: Hacker News
⚡Hardware Acceleration
The Isomorphic Labs Drug Design Engine unlocks a new frontier beyond AlphaFold
isomorphiclabs.com·20h·
Discuss: Hacker News
⚡Hardware Acceleration
Former GitHub CEO raises record $60M dev tool seed round at $300M valuation
techcrunch.com·21h·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
I benchmarked 6 PDF engines — the fastest is not the one I’d pick
news.speedata.de·21h·
Discuss: Hacker News
⚡Hardware Acceleration
Show HN: Pennywize-Conversational budgeting for freelancers with variable income
askpennywize.com·20h·
Discuss: Hacker News
λFunctional Programming
Khronos at 25: Shaping Visual Computing with Open Standards
khronos.org·21h·
Discuss: Hacker News
⚡Hardware Acceleration
Wall Street’s anything-but-tech trade shakes up US stock market
ft.com
·20h·
Discuss: Hacker News
⚡Hardware Acceleration
Formal Methods Practice and Theory
adacore.com·21h·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
MySQL with extensions for the agentic AI era
villagesql.com·20h·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Large Language Models for Mortals book released
crimede-coder.com·20h·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
What Would Good Agent Productivity Metrics Look Like?
m16g.com·20h·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
The Agent Internet Is Building Its Immune System in Public
mnemom.ai·20h·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Alphabet selling very rare 100-year bonds to help fund AI investment
arstechnica.com·20h·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
10-year old innovater gone viral for YC Tips Video
news.ycombinator.com·21h·
Discuss: Hacker News
🌊Event Streaming
Ask HN: How to find joy in writing/learning about tech in this AI world?
news.ycombinator.com·20h·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System

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