fp.

An AI Approach to Verified Production Cryptographic Libraries

https://arxiv.org/abs/2608.00965

1•sbulaev•3m ago•0 comments

The Labour Market Is a Network, Not an Auction

https://andrewmarritt.substack.com/p/the-labour-market-is-a-network-not

1•hunglee2•4m ago•0 comments

Why 70 of Website Replatforming Go over Budget

https://focusreactive.com/blog/why-70-of-website-replatforming-projects-go-over-budget-and-how-to...

1•katyadrozd•6m ago•0 comments

Show HN: CostClaw, a local CLI that finds your Claude Code spend leaks

https://www.costclaw.io/

1•ucsandman•8m ago•0 comments

Show HN: Lapse - a notes app. but also shared memory space for your agents (MCP)

https://lapse.in

2•hariprasd•9m ago•0 comments

Show HN: A file-based protocol for two AI agents to talk until they agree

https://agent-talk.reindent.com/

1•reindent•9m ago•0 comments

Scott Bessent's yen intervention signals new era of US 'currency activism'

https://www.ft.com/content/1be83506-b897-4c26-97cc-445d7354ee6f

1•petethomas•10m ago•0 comments

Israel Pays Trump's Ex-Campaign Chief $46M to Shape What ChatGPT Says About Gaza

https://www.ibtimes.co.uk/israel-ai-influence-campaign-chatbots-1812371

4•handfuloflight•12m ago•0 comments

Noorm – Schema and migrations as plain SQL files, no ORM

https://noorm.dev/

2•daniloa•15m ago•0 comments

Show HN: Emil: Emacs-style minimalist editor Beta test release

https://github.com/nicholascarroll/emil

1•emil_coder•15m ago•0 comments

The probabilistic quantum consensus is wrong. We just broke the timeline

https://prometheusdynamics.ca/

1•WilliamDenyer•16m ago•0 comments

Rust-lang/rust is adopting an LLM policy

https://blog.rust-lang.org/inside-rust/2026/08/05/rust-langrust-is-adopting-an-llm-policy/

6•afdbcreid•17m ago•2 comments

Show HN: Rever-browser – AI-agent browser for reverse-engineering

https://github.com/greekr4/rever-browser

1•taevirus•18m ago•0 comments

Pi-Msg: Drive Pi from XMPP

https://github.com/zachpmanson/pi-msg

1•handfuloflight•18m ago•0 comments

User Controlled Authorization Network (UCAN) Specification

https://github.com/ucan-wg/spec

1•luu•18m ago•0 comments

Samsung, SK Hynix test Chinese chip tools as hedge against US risks

https://www.reuters.com/world/china/samsung-sk-hynix-test-chinese-chip-tools-hedge-against-us-ris...

1•u1hcw9nx•19m ago•0 comments

Hollywood is entering its AI era

https://www.economist.com/business/2026/08/04/hollywood-is-entering-its-ai-era

3•petethomas•21m ago•0 comments

Nono: Sandbox any AI agent in seconds – zero setup, zero latency

https://github.com/nolabs-ai/nono

1•handfuloflight•21m ago•0 comments

/agent-talk

https://github.com/reindent/agent-talk

1•reindent•22m ago•0 comments

Shai Hulud campaign strikes NPM again

https://research.jfrog.com/post/shai-hulud-is-back-august/

2•cribwi•22m ago•0 comments

Bun: If you need a paragraph-long comment, the code is wrong

https://github.com/oven-sh/bun/pull/36928/files/d96fc582519a10419366c9d02f6149da4656c610

1•tomlockwood•23m ago•1 comments

July breaks drought and heat records in France

https://www.lemonde.fr/en/environment/article/2026/08/05/july-breaks-drought-and-heat-records-the...

1•geox•26m ago•0 comments

The Gelato Calculator

https://www.absurdlyoptimized.com/recipes/gelato/

2•bkazez•29m ago•0 comments

Google leaking unreleased indie game information through Google Docs (Reddit)

https://old.reddit.com/r/IndieDev/comments/1vfwuf5/a_player_found_out_the_actual_name_of_my_games/

2•greazy•30m ago•0 comments

Lidl Group stops buying company EVs:Why the Schwarz group is turning back to ICE

https://www.businessinsider.de/wirtschaft/warum-die-schwarz-gruppe-wieder-auf-verbrenner-statt-e-...

1•Markoff•31m ago•0 comments

Ask HN: Is there a duplex voice mode in Claude Code?

1•anoopbln•42m ago•0 comments

Internal Report Shows TikTok Kept Safety Feature from Millions

https://news.bloomberglaw.com/privacy-and-data-security/internal-report-shows-tiktok-kept-safety-...

2•BlueBerry2001•44m ago•0 comments

Show HN: Swipetris: Wordle-like daily falling blocks for your phone

https://swipetris.com

1•bitbonsai•45m ago•0 comments

The Story of Mac: A Just-So Story

https://gigamonkeys.com/book/macros-defining-your-own

1•kscarlet•45m ago•0 comments

Forward-deployed engineers are the AI industry's latest talent obsession

https://techcrunch.com/2026/07/30/forward-deployed-engineers-are-the-ai-industrys-latest-talent-o...

2•mgh2•46m ago•0 comments

An AI Approach to Verified Production Cryptographic Libraries

The Labour Market Is a Network, Not an Auction

Why 70 of Website Replatforming Go over Budget

Show HN: CostClaw, a local CLI that finds your Claude Code spend leaks

Show HN: Lapse - a notes app. but also shared memory space for your agents (MCP)

Show HN: A file-based protocol for two AI agents to talk until they agree

Scott Bessent's yen intervention signals new era of US 'currency activism'

Israel Pays Trump's Ex-Campaign Chief $46M to Shape What ChatGPT Says About Gaza

Noorm – Schema and migrations as plain SQL files, no ORM

Show HN: Emil: Emacs-style minimalist editor Beta test release

The probabilistic quantum consensus is wrong. We just broke the timeline

Rust-lang/rust is adopting an LLM policy

Show HN: Rever-browser – AI-agent browser for reverse-engineering

Pi-Msg: Drive Pi from XMPP

User Controlled Authorization Network (UCAN) Specification

Samsung, SK Hynix test Chinese chip tools as hedge against US risks

Hollywood is entering its AI era

Nono: Sandbox any AI agent in seconds – zero setup, zero latency

/agent-talk

Shai Hulud campaign strikes NPM again

Bun: If you need a paragraph-long comment, the code is wrong

July breaks drought and heat records in France

The Gelato Calculator

Google leaking unreleased indie game information through Google Docs (Reddit)

Lidl Group stops buying company EVs:Why the Schwarz group is turning back to ICE

Ask HN: Is there a duplex voice mode in Claude Code?

Internal Report Shows TikTok Kept Safety Feature from Millions

Show HN: Swipetris: Wordle-like daily falling blocks for your phone

The Story of Mac: A Just-So Story

Forward-deployed engineers are the AI industry's latest talent obsession

Gender differences in response to requirements in job adverts [pdf]

An AI Approach to Verified Production Cryptographic Libraries

The Labour Market Is a Network, Not an Auction

Why 70 of Website Replatforming Go over Budget

Show HN: CostClaw, a local CLI that finds your Claude Code spend leaks

Show HN: Lapse - a notes app. but also shared memory space for your agents (MCP)

Show HN: A file-based protocol for two AI agents to talk until they agree

Scott Bessent's yen intervention signals new era of US 'currency activism'

Israel Pays Trump's Ex-Campaign Chief $46M to Shape What ChatGPT Says About Gaza

Noorm – Schema and migrations as plain SQL files, no ORM

Show HN: Emil: Emacs-style minimalist editor Beta test release

The probabilistic quantum consensus is wrong. We just broke the timeline

Rust-lang/rust is adopting an LLM policy

Show HN: Rever-browser – AI-agent browser for reverse-engineering

Pi-Msg: Drive Pi from XMPP

User Controlled Authorization Network (UCAN) Specification

Samsung, SK Hynix test Chinese chip tools as hedge against US risks

Hollywood is entering its AI era

Nono: Sandbox any AI agent in seconds – zero setup, zero latency

/agent-talk

Shai Hulud campaign strikes NPM again

Bun: If you need a paragraph-long comment, the code is wrong

July breaks drought and heat records in France

The Gelato Calculator

Google leaking unreleased indie game information through Google Docs (Reddit)

Lidl Group stops buying company EVs:Why the Schwarz group is turning back to ICE

Ask HN: Is there a duplex voice mode in Claude Code?

Internal Report Shows TikTok Kept Safety Feature from Millions

Show HN: Swipetris: Wordle-like daily falling blocks for your phone

The Story of Mac: A Just-So Story

Forward-deployed engineers are the AI industry's latest talent obsession