fp.

Stanford's deterministic CUDA kernel verifier

https://2026.splashcon.org/details/oopsla-2026/96/Equivalence-Checking-of-ML-GPU-Kernels

1•ggboimoney•34s ago•0 comments

Spot X with Bluetooth

https://www.rei.com/product/172306/spot-x-with-bluetooth

1•Bondi_Blue•1m ago•0 comments

Inference Engineering by Philip Kiely – Digital Download

https://www.baseten.co/inference-engineering/

1•ajhai•2m ago•0 comments

An inside look at Hetzner's Datacenters [video]

https://www.youtube.com/watch?v=MQeJYEN_lrg

1•lwhsiao•4m ago•0 comments

Ask HN: How should I price an AI infrastructure platform?

1•aqibkhan026•4m ago•0 comments

Unitree Robotics IPO: "Embodied AI" Valuation Bubble?

https://www.cnn.com/2026/08/18/tech/china-unitree-ipo-intl-hnk

1•dvk13•5m ago•0 comments

Software Engineering Humble Book Bundle

https://www.humblebundle.com/books/software-engineering-manning-books

2•teleforce•5m ago•0 comments

Show HN: Particle – Extract and save articles in a clean, self-hosted reader

https://particle.crnst8.com/try/

1•flowerpil•9m ago•0 comments

Phoenix Species Project Announces Funds for Imperiled Wildlife

https://www.nytimes.com/2026/08/04/climate/phoenix-species-project-bezos-dicaprio-rewild.html

1•gmays•10m ago•0 comments

Pointer Chasing in Modern Systems: Why it hurts, When it helps

https://sourav-k-paul.medium.com/pointer-chasing-in-modern-systems-why-it-hurts-when-it-helps-and...

1•compiler-guy•10m ago•0 comments

Lying in Therapy

https://proud2bme.substack.com/p/lying-in-therapy

6•mohmdsad•12m ago•2 comments

Show HN: ResumeSkip – automatically tailor your resume to jobs

https://resumeskip.com/

2•ghosts_•15m ago•0 comments

My AI Agents Ship Code While I Sleep. Nobody Reviews It

https://goatsquadstudios.com/blog/how-i-work-with-ai-agents-autonomously

2•csgod•17m ago•0 comments

Building in the Cloud with Codex, Safely

https://www.ivan.codes/blog/building-in-the-cloud-with-codex

3•deeshee•18m ago•0 comments

Too much Chinese science is ignored by the West

https://www.economist.com/science-and-technology/2026/06/10/too-much-chinese-science-is-ignored-b...

2•ViktorRay•20m ago•0 comments

Show HN: Maritime, a platform for running AI agents for $1 a month

https://maritime.sh

4•mariagorskikh1•21m ago•0 comments

Threepp: Cross-platform C++20 3D library with the high-level API of Three.js

https://github.com/markaren/threepp

2•klaussilveira•21m ago•0 comments

AI-drafted bills are swamping the House office that writes US laws

https://gizmodo.com/its-absolutely-terrifying-ai-is-reportedly-slopping-up-the-bills-in-congress-...

2•fintuner•22m ago•0 comments

Which universities pay their faculty the most?

https://insurancedimes.com/2026/08/17/20-us-universities-where-professors-earn-over-200k-a-year/

2•crookedroad44•23m ago•0 comments

Why packaging is moving from 1D to 2D barcodes

https://www.packaging-gateway.com/features/why-packaging-is-moving-from-1d-to-2d-barcodes/

3•jawns•24m ago•0 comments

The Book of Bots

https://whatever.scalzi.com/2026/08/18/the-big-idea-james-patrick-kelly-2/

2•MattSayar•25m ago•0 comments

To Build a Data Center – Intro to Diesel Generation

https://power2026.ai/diesel

2•nsomani•26m ago•1 comments

Show HN: A sample dataset of computer-use tasks on professional software

https://cua.graderlabs.com/

14•parthmah•28m ago•2 comments

Memory Allocation for Constant-Bounded Programs

https://arxiv.org/abs/2608.14471

2•matt_d•29m ago•0 comments

Ask HN: Good IMAP Email Clients?

3•pudgywalsh•34m ago•1 comments

OpenAI's Second-Quarter Sales Show Tepid Growth Compared with Anthropic

https://www.wsj.com/tech/ai/openais-second-quarter-sales-show-tepid-growth-compared-with-anthropi...

7•cwwc•38m ago•2 comments

Ask HN: Slightly Strange LinkedIn Survey

2•duxup•39m ago•0 comments

The 90-year history of the binoculars bolted to scenic overlooks

https://www.dpreview.com/news/the-90-year-history-of-the-binoculars-bolted-to-scenic-overlooks/

6•sohkamyung•41m ago•0 comments

Simple Systemd Hermes Service Management for Linux and WSL2

https://github.com/icecore2/hermes-as-a-service

3•icecore•41m ago•1 comments

Apple: DOJ's latest challenge in antitrust case 'fails at every level'

https://9to5mac.com/2026/08/17/apple-dojs-latest-challenge-in-antitrust-case-fails-at-every-level/

4•CharlesW•41m ago•0 comments

Stanford's deterministic CUDA kernel verifier

Spot X with Bluetooth

Inference Engineering by Philip Kiely – Digital Download

An inside look at Hetzner's Datacenters [video]

Ask HN: How should I price an AI infrastructure platform?

Unitree Robotics IPO: "Embodied AI" Valuation Bubble?

Software Engineering Humble Book Bundle

Show HN: Particle – Extract and save articles in a clean, self-hosted reader

Phoenix Species Project Announces Funds for Imperiled Wildlife

Pointer Chasing in Modern Systems: Why it hurts, When it helps

Lying in Therapy

Show HN: ResumeSkip – automatically tailor your resume to jobs

My AI Agents Ship Code While I Sleep. Nobody Reviews It

Building in the Cloud with Codex, Safely

Too much Chinese science is ignored by the West

Show HN: Maritime, a platform for running AI agents for $1 a month

Threepp: Cross-platform C++20 3D library with the high-level API of Three.js

AI-drafted bills are swamping the House office that writes US laws

Which universities pay their faculty the most?

Why packaging is moving from 1D to 2D barcodes

The Book of Bots

To Build a Data Center – Intro to Diesel Generation

Show HN: A sample dataset of computer-use tasks on professional software

Memory Allocation for Constant-Bounded Programs

Ask HN: Good IMAP Email Clients?

OpenAI's Second-Quarter Sales Show Tepid Growth Compared with Anthropic

Ask HN: Slightly Strange LinkedIn Survey

The 90-year history of the binoculars bolted to scenic overlooks

Simple Systemd Hermes Service Management for Linux and WSL2

Apple: DOJ's latest challenge in antitrust case 'fails at every level'

Show HN: A sample dataset of computer-use tasks on professional software

Comments

Stanford's deterministic CUDA kernel verifier

Spot X with Bluetooth

Inference Engineering by Philip Kiely – Digital Download

An inside look at Hetzner's Datacenters [video]

Ask HN: How should I price an AI infrastructure platform?

Unitree Robotics IPO: "Embodied AI" Valuation Bubble?

Software Engineering Humble Book Bundle

Show HN: Particle – Extract and save articles in a clean, self-hosted reader

Phoenix Species Project Announces Funds for Imperiled Wildlife

Pointer Chasing in Modern Systems: Why it hurts, When it helps

Lying in Therapy

Show HN: ResumeSkip – automatically tailor your resume to jobs

My AI Agents Ship Code While I Sleep. Nobody Reviews It

Building in the Cloud with Codex, Safely

Too much Chinese science is ignored by the West

Show HN: Maritime, a platform for running AI agents for $1 a month

Threepp: Cross-platform C++20 3D library with the high-level API of Three.js

AI-drafted bills are swamping the House office that writes US laws

Which universities pay their faculty the most?

Why packaging is moving from 1D to 2D barcodes

The Book of Bots

To Build a Data Center – Intro to Diesel Generation

Show HN: A sample dataset of computer-use tasks on professional software

Memory Allocation for Constant-Bounded Programs

Ask HN: Good IMAP Email Clients?

OpenAI's Second-Quarter Sales Show Tepid Growth Compared with Anthropic

Ask HN: Slightly Strange LinkedIn Survey

The 90-year history of the binoculars bolted to scenic overlooks

Simple Systemd Hermes Service Management for Linux and WSL2

Apple: DOJ's latest challenge in antitrust case 'fails at every level'