fp.

A computer-assisted Lean 4 proof of the Berge–Fulkerson C(24) theorem

https://github.com/frjnn/bf-c24

1•frjnn•28s ago•0 comments

Eating Fruit Skins

https://pgadey.ca/blog/eating-fruit-skins/

1•surprisetalk•1m ago•0 comments

Top Mathematician Announces New Institute for A.I. Safety

https://www.nytimes.com/2026/09/08/science/jacob-tsimerman-math-ai-safety.html

1•cainxinth•1m ago•0 comments

Ghostscript (gstoraster): new halftone/dithering algorithms

https://github.com/OpenPrinting/libcupsfilters/pull/160

1•Bluestein•2m ago•0 comments

Fruit Box Game

https://fruitboxgame.com

1•winterscott•3m ago•0 comments

Are women better than men at endurance running?

https://www.bbc.co.uk/sport/articles/cwyzx1gxwqlo

3•polar•3m ago•0 comments

Stabilizing Rust's Never Type

https://lwn.net/SubscriberLink/1091015/d9e48318ed242b41/

1•cjd8•5m ago•0 comments

Designing Semiconductors in Sub-Saharan Africa [YouTube]

https://www.youtube.com/watch?v=zyglpl-Gyq0

1•johncole•6m ago•1 comments

Module-Lattice-Based Key-Encapsulation Mechanism

https://en.wikipedia.org/wiki/ML-KEM

1•binyu•7m ago•0 comments

The next SolarWinds will be an AI security vendor

https://getcrawdad.dev/blog/the-next-solarwinds-will-be-an-ai-security-vendor

1•AndrewGS•7m ago•0 comments

Show HN: A GitHub Action to stop coding agents from over-commenting

https://github.com/marketplace/actions/comment-ratio

1•Nebulic•7m ago•0 comments

Optimizing SQLite for Servers (2024)

https://kerkour.com/sqlite-for-servers

1•vladde•7m ago•0 comments

Show HN: Opair, a coding harness that eschews autonomy

https://gitlab.com/philbooth/opair

2•philbo•8m ago•0 comments

We've all been framed (1999)

https://www.theguardian.com/society/1999/dec/08/guardiansocietysupplement1

1•CGMthrowaway•10m ago•0 comments

CCTV footage of suicide attempt violates human rights (2003)

https://www.pinsentmasons.com/out-law/news/cctv-footage-of-suicide-attempt-violates-human-rights

1•CGMthrowaway•11m ago•0 comments

The Anthropocene was rejected as a geological epoch – but the idea is useful

https://theconversation.com/the-anthropocene-was-rejected-as-a-geological-epoch-but-the-idea-is-s...

1•samizdis•11m ago•0 comments

UK Surveillance Camera Code of Practice

https://www.gov.uk/government/publications/surveillance-camera-code-of-practice-guidance-for-loca...

3•CGMthrowaway•13m ago•0 comments

Logitech MX Keypad – AI control keys for developers

https://www.logitech.com/en-us/shop/p/mx-keypad

4•zvr•13m ago•1 comments

Knip fixes unused dependencies, exports and files in your JavaScript projects

https://github.com/webpro-nl/knip

1•Bluestein•16m ago•0 comments

I advertise malicious software on Google Ads

https://xlii.space/eng/malicious-software-on-google-ads/

3•xlii•19m ago•1 comments

Solaris Turnstiles for mutex priority inheritance

https://rdmsr.github.io/writing/turnstiles/

3•fanf2•20m ago•0 comments

Desert Ant Labs: local, fast models that run on device

https://desertant.com/blog/introducing-desert-ant-labs/

13•willwhitedc•23m ago•0 comments

Mapped: AI Adoption by Country in 2026

https://www.visualcapitalist.com/mapped-ai-adoption-by-country-in-2026/

2•soltanov•24m ago•0 comments

Is Google planning for Gemini 4 rather than 3.5 pro?

4•Qhloi•25m ago•1 comments

Show HN: Is It Q?

https://github.com/jparmstrong/IsItQ

1•gohwell•26m ago•0 comments

Has anybody burned out of tech like me, and done something else?

2•password03•28m ago•1 comments

Show HN: Web Developer = Embedded Developer: Real PHP Now Runs on the ESP32

https://www.php-baremetal.com/blog/real-php-on-esp32

1•gianfriaur•31m ago•0 comments

AlphaGenome maps 9B DNA variants

https://spectrum.ieee.org/alphagenome-atlas

1•ltononro•31m ago•0 comments

PicWish – AI photo editing for product images and everyday use

https://picwish.com/

1•VolaRmb•32m ago•0 comments

Tell HN: R2-D2 and Chewbacca playing holochess

1•gus_massa•32m ago•0 comments

A computer-assisted Lean 4 proof of the Berge–Fulkerson C(24) theorem

Eating Fruit Skins

Top Mathematician Announces New Institute for A.I. Safety

Ghostscript (gstoraster): new halftone/dithering algorithms

Fruit Box Game

Are women better than men at endurance running?

Stabilizing Rust's Never Type

Designing Semiconductors in Sub-Saharan Africa [YouTube]

Module-Lattice-Based Key-Encapsulation Mechanism

The next SolarWinds will be an AI security vendor

Show HN: A GitHub Action to stop coding agents from over-commenting

Optimizing SQLite for Servers (2024)

Show HN: Opair, a coding harness that eschews autonomy

We've all been framed (1999)

CCTV footage of suicide attempt violates human rights (2003)

The Anthropocene was rejected as a geological epoch – but the idea is useful

UK Surveillance Camera Code of Practice

Logitech MX Keypad – AI control keys for developers

Knip fixes unused dependencies, exports and files in your JavaScript projects

I advertise malicious software on Google Ads

Solaris Turnstiles for mutex priority inheritance

Desert Ant Labs: local, fast models that run on device

Mapped: AI Adoption by Country in 2026

Is Google planning for Gemini 4 rather than 3.5 pro?

Show HN: Is It Q?

Has anybody burned out of tech like me, and done something else?

Show HN: Web Developer = Embedded Developer: Real PHP Now Runs on the ESP32

AlphaGenome maps 9B DNA variants

PicWish – AI photo editing for product images and everyday use

Tell HN: R2-D2 and Chewbacca playing holochess

Chinese tech giants Huawei and Xiaomi launch new foldable phones ahead of Apple

A computer-assisted Lean 4 proof of the Berge–Fulkerson C(24) theorem

Eating Fruit Skins

Top Mathematician Announces New Institute for A.I. Safety

Ghostscript (gstoraster): new halftone/dithering algorithms

Fruit Box Game

Are women better than men at endurance running?

Stabilizing Rust's Never Type

Designing Semiconductors in Sub-Saharan Africa [YouTube]

Module-Lattice-Based Key-Encapsulation Mechanism

The next SolarWinds will be an AI security vendor

Show HN: A GitHub Action to stop coding agents from over-commenting

Optimizing SQLite for Servers (2024)

Show HN: Opair, a coding harness that eschews autonomy

We've all been framed (1999)

CCTV footage of suicide attempt violates human rights (2003)

The Anthropocene was rejected as a geological epoch – but the idea is useful

UK Surveillance Camera Code of Practice

Logitech MX Keypad – AI control keys for developers

Knip fixes unused dependencies, exports and files in your JavaScript projects

I advertise malicious software on Google Ads

Solaris Turnstiles for mutex priority inheritance

Desert Ant Labs: local, fast models that run on device

Mapped: AI Adoption by Country in 2026

Is Google planning for Gemini 4 rather than 3.5 pro?

Show HN: Is It Q?

Has anybody burned out of tech like me, and done something else?

Show HN: Web Developer = Embedded Developer: Real PHP Now Runs on the ESP32

AlphaGenome maps 9B DNA variants

PicWish – AI photo editing for product images and everyday use

Tell HN: R2-D2 and Chewbacca playing holochess