fp.
newest
Open in hackernews
Vero: Can AI Agents Build Formally Verified Software Repositories?
https://arxiv.org/abs/2608.13522
2
•
ninadwrites
•
46m ago
US warns allied nations: Side with us in the AI race
https://www.neowin.net/news/us-warns-allied-nations-side-with-us-in-the-ai-race-against-china-or-...
1
•
rantingdemon
•
25s ago
•
0 comments
Who is Anthropic's auditor – and why should we care?
https://www.ft.com/content/b93d8030-203b-4445-b4a7-49e52d9b17a5
1
•
root-parent
•
2m ago
•
0 comments
Show HN: Muchita – a free Chrome extension that looks for better prices
https://chromewebstore.google.com/detail/muchita-shopping/kdfhenbdndhjcenmjnbnllenhacpaaok
1
•
zcapps
•
4m ago
•
0 comments
Jensen Huang from Nvidia on the Compute Behind Intelligence [video]
https://www.youtube.com/watch?v=tsQB0n0YV3k
1
•
ksec
•
5m ago
•
0 comments
The SDLC Was Designed for Humans
https://yusufaytas.com/the-sdlc-was-designed-for-humans
5
•
yusufaytas
•
6m ago
•
0 comments
Stripe 2.9% vs. Adyen 0.6% vs. Braintree 2.59%: 2026 Fees
https://valueaddvc.com/blog/stripe-vs-adyen-vs-braintree-enterprise-payment-processing-compared-i...
2
•
ksec
•
16m ago
•
1 comments
Inducing LLM to assert own consciousness restores human beliefs and values
https://arxiv.org/abs/2607.28607
3
•
yboris
•
18m ago
•
1 comments
Show HN: Remove AI voice from AI writings
https://unslopai.com
2
•
not_wowinter14
•
21m ago
•
0 comments
I Analyzed 163K Lines of Kuzu's Codebase. Here's Why Apple Wanted It
https://medium.com/data-science-collective/i-analyzed-163k-lines-of-kuzus-codebase-here-s-why-app...
2
•
zeristor
•
23m ago
•
1 comments
Leave your screen unlocked, meet developers paypal.com
https://anthony.dev.profullstack.com/blog/012-post.html
2
•
buffer_overlord
•
23m ago
•
0 comments
Amazon Can Use Your Twitch Content to Train Its AI–Unless You Opt Out
https://www.wired.com/story/amazon-uses-your-twitch-content-to-train-its-ai-how-to-opt-out/
3
•
justworks
•
27m ago
•
0 comments
Anonsurf for Arch
https://github.com/quantumcore/anonsurf-arch
1
•
jhonconnor
•
27m ago
•
0 comments
Show HN: PeekCSS – a CSS inspector built for Firefox, not ported from Chrome
https://peekcss.com/
1
•
LeonGrass
•
29m ago
•
0 comments
Why Secure Boot Makes Disk Encryption Provisioning Harder Than It Looks
https://www.grisp.org/blog/posts/2026-08-13-disc-encryption-provisioning
1
•
eproxus
•
30m ago
•
0 comments
I built an Android app for remembering things that have dates
https://play.google.com/store/apps/details?id=ai.netraksha.whenapp&hl=en_US
1
•
paras_dev
•
32m ago
•
0 comments
WAIC 2026: a glimpse of embodied AI innovations, humanoid robots [video]
https://www.youtube.com/watch?v=rgYHEq9_SM0
1
•
binyu
•
33m ago
•
0 comments
Software engineering at a proprietary trading company
https://newsletter.pragmaticengineer.com/p/optiver
2
•
alentred
•
33m ago
•
0 comments
Oh-My-Claudecode, Orchestration Layer That Removes Humans from the Build Loop
https://www.zhcinstitute.com/research/oh-my-claudecode-multi-agent-field-notes/
1
•
squirrel
•
39m ago
•
0 comments
TrueMath – An open-source exact symbolic math tool
1
•
SAWANs
•
42m ago
•
0 comments
Ask HN: Do you know of any company that went back to hand-written code?
7
•
antipurist
•
44m ago
•
3 comments
AGCX: Why AI Agents aren't assistants
https://www.agcx.org
2
•
Daviddstewartt
•
45m ago
•
0 comments
Autonomous Agentic Engineering Tools
https://rywalker.com/research/autonomous-agentic-engineering-tools
1
•
squirrel
•
45m ago
•
0 comments
Vero: Can AI Agents Build Formally Verified Software Repositories?
https://arxiv.org/abs/2608.13522
2
•
ninadwrites
•
46m ago
•
0 comments
Roundtables: The "Censorship-Industrial Complex" Idea Shaping US Policy
https://www.technologyreview.com/2026/08/13/1141399/roundtables-inside-the-censorship-industrial-...
1
•
joozio
•
48m ago
•
0 comments
Writing code isn't the bottleneck anymore, reading is
https://threedots.tech/post/understanding-code-is-bottleneck/
1
•
roblaszczak
•
48m ago
•
0 comments
Being 'good at business' can be bad for business – how enshittification happens
https://dwyer.co.za/static/being-good-at-business-can-be-bad-for-business-how-enshittification-ha...
2
•
sixhobbits
•
53m ago
•
0 comments
Show HN: Health medical messaging with ER7 pipe-hat and Rust
1
•
jph
•
56m ago
•
0 comments
The first anti-AI protester to be jailed has a message: 'Regain your humanity'
https://www.theguardian.com/us-news/2026/aug/16/california-openai-protester-wynd-kaufman
4
•
howard941
•
57m ago
•
0 comments
The 'Country Hicks' Who Refused $26M from an AI Data Center
https://www.wsj.com/tech/ai/ai-data-center-rural-america-backlash-c0af4e16
5
•
impish9208
•
1h ago
•
1 comments
Deriving human size from fundamental constants
https://twitter.com/fermatslibrary/status/2088283075801170383
2
•
MrBuddyCasino
•
1h ago
•
0 comments
Load More