Branch Coverage Won't Prove the Collatz Conjecture

https://concerningquality.com/collatz-conjecture/

1•Bogdanp•1m ago•0 comments

Gnome Foundry Taking Shape as "An IDE in a Box" with CLI Tooling

https://www.phoronix.com/news/GNOME-Builder-Foundry-2025

1•mikece•1m ago•0 comments

Presidential AI Challenge

https://www.ai.gov/initiatives/presidential-challenge

1•cebert•6m ago•0 comments

DreamHAT+ Enables 60 GHz Radar Sensing on Raspberry Pi 4B and 5

https://linuxgizmos.com/dreamhat-enables-60-ghz-radar-sensing-on-raspberry-pi-4b-and-5/

2•ndsipa_pomu•8m ago•0 comments

Persistent Peer IDs in libp2p JavaScript

https://gist.github.com/Realman78/028b99a46de60ad4a169ae4107939237

1•Realman78•9m ago•0 comments

Neuralink Sees $1B of Revenue by 2031 in Expansion

https://www.bloomberg.com/news/articles/2025-07-23/neuralink-sees-1-billion-of-revenue-by-2031-in-vast-expansion

1•htrp•13m ago•0 comments

Spent 15 minutes building an overengineered password generator for fun and chaos

https://github.com/nabbonoushad/chaotic-password-generator

1•darad•17m ago•1 comments

War on hidden motors goes undercover

https://www.reuters.com/sports/war-hidden-motors-goes-undercover-2025-07-23/

1•fortran77•17m ago•1 comments

Ask HN: Are puzzle games more important now given what modern AI does for us?

1•amichail•17m ago•0 comments

I built a text to JSON local tool in GitHub Spark

https://github.com/login

1•tarasyarema•19m ago•1 comments

Shlide: Slide deck presentation tool written in pure bash

https://tangled.sh/@icyphox.sh/shlide

1•nerdypepper•19m ago•0 comments

The dark horse of AI labs

https://www.economist.com/business/2025/07/23/the-dark-horse-of-ai-labs

1•amirkabbara•20m ago•0 comments

ChatGPT outage for 3 hours – Ubuntu 22.04 had an automatic update to systemd

https://twitter.com/GergelyOrosz/status/1947745317237002441

1•greatgib•20m ago•1 comments

Show HN: ReceiptIQ Pro – AI receipt scanner that tracks spending/budgets (iOS)

https://receiptiq.me/

1•nichliu•21m ago•0 comments

Book Review: Nixon's Memoirs

https://justismills.substack.com/p/book-review-nixons-memoirs

2•surprisetalk•25m ago•0 comments

Generalized Hangriness: A Standard Rationalist Stance Toward Emotions

https://www.lesswrong.com/posts/naAeSkQur8ueCAAfY/generalized-hangriness-a-standard-rationalist-stance-toward

1•surprisetalk•25m ago•0 comments

Shallow Water Is Dangerous Too

https://www.jefftk.com/p/shallow-water-is-dangerous-too

1•surprisetalk•25m ago•0 comments

IQAir – Air Quality Maps

https://www.iqair.com/

2•surprisetalk•25m ago•1 comments

Docs for AI Agents

https://technicalwriting.dev/ai/agents/

1•kaycebasques•29m ago•0 comments

Release Notes for Safari Technology Preview 224

https://webkit.org/blog/17210/release-notes-for-safari-technology-preview-224/

1•feross•30m ago•0 comments

Microsoft Workers Rebel, Refuse to Work with IDF [video]

https://www.youtube.com/watch?v=2qx-WTePimo

5•DonnyV•31m ago•0 comments

SeaFile – High performance file syncing, sharing and more

https://github.com/haiwen/seafile

1•elisaado•34m ago•0 comments

TikTok content moderators in Germany strike over AI taking their jobs

https://www.euronews.com/next/2025/07/23/tiktok-content-moderators-in-germany-strike-over-ai-taking-their-jobs

2•layer8•36m ago•0 comments

Congressman Introduces New 'Stop AI Price Gouging and Wage Fixing Act'

https://casar.house.gov/media/press-releases/news-congressman-greg-casar-introduces-new-stop-ai-price-gouging-and-wage

3•Improvement•38m ago•0 comments

Trump supporters report higher levels of psychopathy

https://www.msn.com/en-us/health/other/trump-supporters-report-higher-levels-of-psychopathy-manipulativeness-callousness-and-narcissism/ar-AA1J8jKa

7•galaxyLogic•39m ago•0 comments

Show HN: Search London StreetView Panoramas by Text

https://london.publicinsights.uk

1•dfworks•42m ago•0 comments

Eleven-minute race for food: how aid points in Gaza became 'death traps'

https://www.theguardian.com/global-development/2025/jul/22/food-aid-gaza-deaths-visual-story-ghf-israel

Branch Coverage Won't Prove the Collatz Conjecture

Gnome Foundry Taking Shape as "An IDE in a Box" with CLI Tooling

Presidential AI Challenge

DreamHAT+ Enables 60 GHz Radar Sensing on Raspberry Pi 4B and 5

Persistent Peer IDs in libp2p JavaScript

Neuralink Sees $1B of Revenue by 2031 in Expansion

Spent 15 minutes building an overengineered password generator for fun and chaos

War on hidden motors goes undercover

Ask HN: Are puzzle games more important now given what modern AI does for us?

I built a text to JSON local tool in GitHub Spark

Shlide: Slide deck presentation tool written in pure bash

The dark horse of AI labs

ChatGPT outage for 3 hours – Ubuntu 22.04 had an automatic update to systemd

Show HN: ReceiptIQ Pro – AI receipt scanner that tracks spending/budgets (iOS)

Book Review: Nixon's Memoirs

Generalized Hangriness: A Standard Rationalist Stance Toward Emotions

Shallow Water Is Dangerous Too

IQAir – Air Quality Maps

Docs for AI Agents

Release Notes for Safari Technology Preview 224

Microsoft Workers Rebel, Refuse to Work with IDF [video]

SeaFile – High performance file syncing, sharing and more

TikTok content moderators in Germany strike over AI taking their jobs

Congressman Introduces New 'Stop AI Price Gouging and Wage Fixing Act'

Trump supporters report higher levels of psychopathy

Show HN: Search London StreetView Panoramas by Text

Eleven-minute race for food: how aid points in Gaza became 'death traps'

Extremism as a "metric". To understand if society is "doing a good enough job"

PageRank in the Age of AI

I catalogued 50 products built with AI coding tools

iPhone case switches Lightning ports to USB-C

Comments

Branch Coverage Won't Prove the Collatz Conjecture

Gnome Foundry Taking Shape as "An IDE in a Box" with CLI Tooling

Presidential AI Challenge

DreamHAT+ Enables 60 GHz Radar Sensing on Raspberry Pi 4B and 5

Persistent Peer IDs in libp2p JavaScript

Neuralink Sees $1B of Revenue by 2031 in Expansion

Spent 15 minutes building an overengineered password generator for fun and chaos

War on hidden motors goes undercover

Ask HN: Are puzzle games more important now given what modern AI does for us?

I built a text to JSON local tool in GitHub Spark

Shlide: Slide deck presentation tool written in pure bash

The dark horse of AI labs

ChatGPT outage for 3 hours – Ubuntu 22.04 had an automatic update to systemd

Show HN: ReceiptIQ Pro – AI receipt scanner that tracks spending/budgets (iOS)

Book Review: Nixon's Memoirs

Generalized Hangriness: A Standard Rationalist Stance Toward Emotions

Shallow Water Is Dangerous Too

IQAir – Air Quality Maps

Docs for AI Agents

Release Notes for Safari Technology Preview 224

Microsoft Workers Rebel, Refuse to Work with IDF [video]

SeaFile – High performance file syncing, sharing and more

TikTok content moderators in Germany strike over AI taking their jobs

Congressman Introduces New 'Stop AI Price Gouging and Wage Fixing Act'

Trump supporters report higher levels of psychopathy

Show HN: Search London StreetView Panoramas by Text

Eleven-minute race for food: how aid points in Gaza became 'death traps'

Extremism as a "metric". To understand if society is "doing a good enough job"

PageRank in the Age of AI

I catalogued 50 products built with AI coding tools