More

rawling · 2026-09-04T19:58:08.000000Z

Front-page discussion: https://news.ycombinator.com/item?id=49568506

rawling · 2026-09-04T19:05:33.000000Z

The last box, per https://news.ycombinator.com/item?id=49568667

throw567643u8 · 2026-09-05T06:34:49.000000Z

Has Lean proved the Four Colour Theorem? I thought only Rocq had.

Smaug123 · 2026-09-05T19:20:01.000000Z

It’s an aggregated list, not a list of formalisations in Lean - the checkbox is “things formalised in any prover”.

rawling · 2026-08-31T17:00:32.000000Z

I've been using it at work since we moved from TF source control to TF-Git, close to a decade ago. feature/ticketno, release/number and user/initials/...

TF at least gave a nice folder view on the branches screen, which we've lost now we've moved to GitHub, but it has made it easier to enforce.

sixothree · 2026-09-01T01:02:57.000000Z

I think gitkraken is the only tool I use that presents it that way currently. It's a good convention.

rawling · 2026-08-30T16:44:19.000000Z

450+ comments of discussion:

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

rawling · 2026-08-29T05:32:02.000000Z

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

rawling · 2026-08-25T20:39:55.000000Z

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

rawling · 2026-08-19T19:39:29.000000Z

How did they pivot from just providing a redirect to

> we decided to start proxying radiosonde ingestion data through SondeHub

Redirecting to the habhub UI doesn't seem like it would also let them intercept people uploading their data to habhub.

drdexebtjl · 2026-08-20T01:36:59.000000Z

I didn’t understand that part either.

rawling · 2026-08-18T17:39:05.000000Z

Do the other pages work for you?

rawling · 2026-08-18T05:46:55.000000Z

https://developer.android.com/security/fraud-prevention/acti...

drdexebtjl · 2026-08-18T14:03:19.000000Z

Thanks. It’s been a while since I used Android.

This is absolutely hostile to users.

rawling · 2026-08-17T06:43:49.000000Z

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

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

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

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

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