frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

ChatGPT agent: bridging research and action

https://openai.com/index/introducing-chatgpt-agent/
281•Topfi•3h ago•212 comments

Mistral Releases Deep Research, Voice, Projects in Le Chat

https://mistral.ai/news/le-chat-dives-deep
297•pember•5h ago•71 comments

Apple Intelligence Foundation Language Models Tech Report 2025

https://machinelearning.apple.com/research/apple-foundation-models-tech-report-2025
64•2bit•2h ago•14 comments

Hand: open-source Robot Hand

https://github.com/pollen-robotics/AmazingHand
287•vineethy•8h ago•87 comments

Perfume reviews

https://gwern.net/blog/2025/perfume
30•surprisetalk•20h ago•6 comments

Doing Hard Things

https://parv.bearblog.dev/kayaking/
183•speckx•3d ago•65 comments

Tell HN: Notion Desktop is monitoring your audio and network

341•HoyaSaxa•4h ago•97 comments

When is tech not hype? Tulips, toilets, trains and tabs

https://ajmoon.com/posts/when-is-tech-not-hype-tulips-toilets-trains-and-tabs
45•alex-moon•2d ago•39 comments

What's going on with gene therapies? (Part one)

https://nehalslearnings.substack.com/p/whats-going-on-with-gene-therapies
28•nehal96•2d ago•22 comments

My experience with Claude Code after 2 weeks of adventures

https://sankalp.bearblog.dev/my-claude-code-experience-after-2-weeks-of-usage/
41•dejavucoder•2h ago•19 comments

All AI Models Might be The Same

https://blog.jxmo.io/p/there-is-only-one-model
29•jxmorris12•3h ago•8 comments

How I Use Kagi

https://flamedfury.com/posts/how-i-use-kagi/
202•moebrowne•5h ago•172 comments

First Come First Served: The Impact of File Position on Code Review

https://arxiv.org/abs/2208.04259
18•whatever3•2h ago•6 comments

The patterns of elites who conceal their assets offshore

https://home.dartmouth.edu/news/2025/07/patterns-elites-who-conceal-their-assets-offshore
115•cval26•1h ago•63 comments

Archaeologists Discover Tomb of First King of Caracol

https://uh.edu/news-events/stories/2025/july/07102025-caracol-chase-discovery-maya-ruler.php
124•divbzero•3d ago•17 comments

Game of Trees Hub

https://gothub.org/
3•todsacerdoti•2d ago•1 comments

Chrome's SSL Bypass Cheatcode

https://thomascountz.com/2025/07/17/chromes-ssl-bypass-cheatcode
43•thomascountz•5h ago•27 comments

Writing a competitive BZip2 encoder in Ada from scratch in a few days (2024)

https://gautiersblog.blogspot.com/2024/11/writing-bzip2-encoder-in-ada-from.html
82•etrez•3d ago•40 comments

Show HN: PlutoFilter- A single-header, zero-allocation image filter library in C

https://github.com/sammycage/plutofilter
18•sammycage•3d ago•3 comments

Wttr: Console-oriented weather forecast service

https://github.com/chubin/wttr.in
229•saikatsg•14h ago•77 comments

The AI Replaces Services Myth

https://aimode.substack.com/p/the-ai-replaces-services-myth
22•warthog•1h ago•16 comments

Rejoy Health (YC W21) Is Hiring

https://www.ycombinator.com/companies/rejoy-health/jobs/DCsxNgv-software-engineer
1•rituraj_rhealth•8h ago

Lighthouse of Alexandria Rises Again as Giant Blocks Resurface After 2000 Years

https://greekreporter.com/2025/07/01/lighthouse-alexandria-giant-blocks-resurface/
51•gnabgib•3d ago•5 comments

Nintendo Switch 2 account bans continue: warning after buying old copy of Bayo 3

https://www.tomshardware.com/video-games/nintendo/nintendo-switch-2-account-bans-continue-content-creator-with-over-a-million-subs-issues-warning-after-buying-an-old-copy-of-bayo-3-on-ebay
16•freedomben•1h ago•8 comments

ESA’s Moonlight programme: Pioneering the path for lunar exploration (2024)

https://www.esa.int/Applications/Connectivity_and_Secure_Communications/ESA_s_Moonlight_programme_Pioneering_the_path_for_lunar_exploration
75•nullhole•3d ago•18 comments

Ask HN: What Pocket alternatives did you move in to?

4•ahmedfromtunis•21m ago•2 comments

The (Unfinished) PDE Coffee Table Book

https://people.maths.ox.ac.uk/trefethen/pdectb.html
14•nill0•3h ago•2 comments

Run TypeScript code without worrying about configuration

https://tsx.is/
13•nailer•3h ago•9 comments

Molecule produced by gut bacteria causes atherosclerosis

https://english.elpais.com/health/2025-07-17/revolution-in-medicine-a-molecule-produced-by-gut-bacteria-causes-atherosclerosis-responsible-for-millions-of-deaths.html
82•raphar•4h ago•40 comments

The rise of AI as a threat to the S&P 500 [pdf]

https://autonomy.work/wp-content/uploads/2025/07/Sp-500-capital-at-risk_-3.pdf
108•seangrvs•7h ago•81 comments
Open in hackernews

BB(6) Is Hard (Antihydra) (2024)

https://www.sligocki.com//2024/07/06/bb-6-2-is-hard.html
31•Fibra•4d ago

Comments

gliptic•6h ago
Recent developments on BB(6) previously posted here: https://scottaaronson.blog/?p=8972
cubefox•5h ago
272 points by bdr 18 days ago | 223 comments

https://news.ycombinator.com/item?id=44406171

_alternator_•4h ago
Cool link, despite being a bit later than some of the other stuff on BB(6). Basically, it shows a 6-state Turing machine can encode a Collatz-type iteration:

``` a,b=8,0 while b!=-1: b+=2-a%2*3 a+=a>>1 ```

Showing that these halt or not are long-standing open problems, so knowing upper bounds BB(6) would immediately solve them (modulo a lot of compute time).

thrance•4h ago
See also: https://en.wikipedia.org/wiki/Chaitin%27s_constant

A number, that if known, would allow us to derive the truth value of any statements from it.

tromp•4h ago
only the truth of finitely refutable conjectures...
david_for_you•3h ago
Hm, I'm not sure I would say that knowing an upper bound would be any help in solving these open problems, unless the way to prove that upper bound would involve a collatz type problem. We already know from the lower bound of BB(6) that we cannot iterate that far in this universe.
_alternator_•2h ago
An upper bound U for BB(6) implies that any program that runs longer than U never terminates. Thus the specific Collatz-type problems that can be encoded in 6 instructions can be run U+1 steps and if they don’t halt, they won’t halt.

The proof that BB(6) is relevant is that you can encode it in a 6 instruction program, which is what the link does.