fp.

Skillbench

https://skillbench.arcade.dev/browse

1•gnanagurusrgs•39s ago•0 comments

Show HN: Forall – Spec-driven AI coding with formal verification

https://github.com/astrio-labs/forall

1•Nolan_Lwin•1m ago•0 comments

Caseway and MiTAC Advance Technology Partner to Bring Trusted AI Intelligence

https://www.suasnews.com/2026/07/caseway-and-mitac-advance-technology-partner-to-bring-trusted-ai...

1•ClearwayLaw•1m ago•1 comments

The Mechanics of ARR Loans

https://lesbarclays.substack.com/p/the-mechanics-of-arr-loans

1•lesbarclays•1m ago•0 comments

DiffGI Differentiable Geometry Images for High-Fidelity Thin-Shell 3D Generation

https://ejshim.github.io/diffgi/

1•throwaway2027•2m ago•0 comments

The Human-in-the-Loop Is Tired

https://pydantic.dev/articles/the-human-in-the-loop-is-tired

2•haritha1313•2m ago•0 comments

Cerebras Built Its Enterprise Knowledge Base

https://www.cerebras.ai/blog/how-we-built-our-knowledge-base

1•haritha1313•3m ago•0 comments

Show HN: Justif – publication-grade text justification for the web

https://justif.lyall.co/

1•lyall•4m ago•0 comments

WTF are modular forms (2024)

https://graemephi.github.io/posts/modular-forms/

1•marysminefnuf•4m ago•0 comments

No Shark Is Safe: Shark Vacuums Are Vulnerable to RCE

https://tokay0.com/posts/millions-of-shark-vacuums-vulnerable-to-rce.html

1•dlgeek•4m ago•0 comments

'Rust makes coding fun again': Greg explains why Linux is moving away from C

https://www.zdnet.com/article/greg-kroah-hartman-linux-kernel-rust/

1•maxloh•9m ago•0 comments

Lingbot-map: A 3D foundation model for reconstructing scenes from streaming data

https://github.com/Robbyant/lingbot-map

1•olalonde•15m ago•0 comments

Alphabet shares fall on Gemini 3.5 Pro delay

https://www.cnbc.com/2026/07/16/alphabet-stock-gemini-3-5-pro-ai.html

3•PessimalDecimal•16m ago•0 comments

DEI Ain't Dead According to New Study

https://www.blackenterprise.com/dei-isnt-dead-companies-still-back-workplace-inclusion/

2•ohjeez•20m ago•0 comments

The Auditor's Opinion

https://www.cringely.com/2026/07/16/the-auditors-opinion/

1•dxs•22m ago•0 comments

Against "Stochastic Terrorism"

https://www.astralcodexten.com/p/against-stochastic-terrorism

1•paulpauper•27m ago•1 comments

Why Legal Personhood Is Neither Necessary nor Sufficient

https://papers.ssrn.com/sol3/papers.cfm?abstract_id=7127038

1•paulpauper•27m ago•0 comments

Why is it so difficult (and crazy expensive) to fly within Africa?

https://www.africanistperspective.com/p/why-is-it-so-difficult-and-crazy

2•paulpauper•28m ago•1 comments

ReactBench

https://www.reactbench.com/blog

1•gmays•31m ago•0 comments

Apple's Vision Pro Tool Contains Traces of Defunct Game Engine 'The Machinery'

https://www.macrumors.com/2026/06/23/apple-reality-composer-pro-the-machinery/

4•bananaboy•35m ago•0 comments

AI that builds and runs your business, 24/7

https://www.leapd.ai

2•Cyrus2050•38m ago•3 comments

Xiaomi Opens a 38B World Model Built to Generate Robot Data

https://topicqueue.substack.com/p/xiaomi-opens-a-38b-world-model-built

3•DISCURSIVE•41m ago•0 comments

Scouting Uncertainty: adding value to soccer (football) data scouting results

https://marclamberts.medium.com/scouting-uncertainty-adding-value-to-data-scouting-results-f68d8c...

2•sebg•47m ago•0 comments

The Self-Driving Company

https://twitter.com/amasad/status/2077802290304684404

3•bilsbie•49m ago•0 comments

Why Not HP Printers (2019)

https://productrevue.ca/index.php/2019/04/23/why-not-hp-printers/

3•thisislife2•51m ago•0 comments

Cyberattack at Nichirei leads to food shortages at eateries, stores

https://www.asahi.com/ajw/articles/16731347

4•rawgabbit•53m ago•0 comments

AI Data Centers and the Concentration of Wealth

https://www.schneier.com/blog/archives/2026/07/ai-data-centers-and-the-concentration-of-wealth.html

7•birdculture•1h ago•0 comments

Can AI make honest mistakes?

https://twitter.com/thsottiaux/status/2077630111499882637

3•throwaway2027•1h ago•3 comments

The Rise and Fall of a Tech Company

https://amrshawky.com/posts/rise-and-fall/

6•amr_shawky•1h ago•0 comments

AegisDB – self-hosted memory for AI agents, in one C binary

https://github.com/d4n-larsson/aegisdb

2•d4n-larsson•1h ago•0 comments

Skillbench

Show HN: Forall – Spec-driven AI coding with formal verification

Caseway and MiTAC Advance Technology Partner to Bring Trusted AI Intelligence

The Mechanics of ARR Loans

DiffGI Differentiable Geometry Images for High-Fidelity Thin-Shell 3D Generation

The Human-in-the-Loop Is Tired

Cerebras Built Its Enterprise Knowledge Base

Show HN: Justif – publication-grade text justification for the web

WTF are modular forms (2024)

No Shark Is Safe: Shark Vacuums Are Vulnerable to RCE

'Rust makes coding fun again': Greg explains why Linux is moving away from C

Lingbot-map: A 3D foundation model for reconstructing scenes from streaming data

Alphabet shares fall on Gemini 3.5 Pro delay

DEI Ain't Dead According to New Study

The Auditor's Opinion

Against "Stochastic Terrorism"

Why Legal Personhood Is Neither Necessary nor Sufficient

Why is it so difficult (and crazy expensive) to fly within Africa?

ReactBench

Apple's Vision Pro Tool Contains Traces of Defunct Game Engine 'The Machinery'

AI that builds and runs your business, 24/7

Xiaomi Opens a 38B World Model Built to Generate Robot Data

Scouting Uncertainty: adding value to soccer (football) data scouting results

The Self-Driving Company

Why Not HP Printers (2019)

Cyberattack at Nichirei leads to food shortages at eateries, stores

AI Data Centers and the Concentration of Wealth

Can AI make honest mistakes?

The Rise and Fall of a Tech Company

AegisDB – self-hosted memory for AI agents, in one C binary

Kimi K3 beats GPT 5.6 Sol in agentic knowledge work

Skillbench

Show HN: Forall – Spec-driven AI coding with formal verification

Caseway and MiTAC Advance Technology Partner to Bring Trusted AI Intelligence

The Mechanics of ARR Loans

DiffGI Differentiable Geometry Images for High-Fidelity Thin-Shell 3D Generation

The Human-in-the-Loop Is Tired

Cerebras Built Its Enterprise Knowledge Base

Show HN: Justif – publication-grade text justification for the web

WTF are modular forms (2024)

No Shark Is Safe: Shark Vacuums Are Vulnerable to RCE

'Rust makes coding fun again': Greg explains why Linux is moving away from C

Lingbot-map: A 3D foundation model for reconstructing scenes from streaming data

Alphabet shares fall on Gemini 3.5 Pro delay

DEI Ain't Dead According to New Study

The Auditor's Opinion

Against "Stochastic Terrorism"

Why Legal Personhood Is Neither Necessary nor Sufficient

Why is it so difficult (and crazy expensive) to fly within Africa?

ReactBench

Apple's Vision Pro Tool Contains Traces of Defunct Game Engine 'The Machinery'

AI that builds and runs your business, 24/7

Xiaomi Opens a 38B World Model Built to Generate Robot Data

Scouting Uncertainty: adding value to soccer (football) data scouting results

The Self-Driving Company

Why Not HP Printers (2019)

Cyberattack at Nichirei leads to food shortages at eateries, stores

AI Data Centers and the Concentration of Wealth

Can AI make honest mistakes?

The Rise and Fall of a Tech Company

AegisDB – self-hosted memory for AI agents, in one C binary