home tags events about rss login

Things happen.

tom bonked 16 Mar 2025 03:54 +0000
original: beka_valentine@kolektiva.social

this is where the Hazel work is a really useful reference point, because Hazel is all about providing a logic for editor moves, in the context of a type theory

a spiritually similar logic of program development moves would be useful

tom bonked 16 Mar 2025 03:52 +0000
original: tedu@honk.tedunangst.com

Perfect weather for puke on the sidewalk day. Warm enough you'll think you can leave the jacket home, cold enough you'll need to get shitfaced to feel warm.

tom bonked 16 Mar 2025 03:20 +0000
original: carnage4life@mas.to

I love the message of this article. Instead of organizations chasing after “10x” “rockstar” engineers, they instead should focus on createing a culture and development pipeline where the average developer does great work.

I’ve seen many unproductive orgs with great engineers stymied by poor dev toolchains & processes.

https://spectrum.ieee.org/10x-engineer

tom bonked 15 Mar 2025 04:19 +0000
original: tedu@honk.tedunangst.com

Heh, well, the blade runner bar is now closed, after failing to pay some combination of wages, taxes, rents, and licenses.

tom bonked 14 Mar 2025 14:16 +0000
original: johncarlosbaez@mathstodon.xyz

The arXiv is where we keep papers on math, physics, etc. It's run by Cornell University.

It seems unlikely that the US government would demand that Cornell destroy the arXiv. But the many copies of the arXiv around the world were shut down on September 15, 2024, and it seems that now all the data resides in the US.

If anyone wants to back up the arXiv, they should go here:

https://info.arxiv.org/help/bulk_data_s3.html

The complete arXiv was 5.6 terabytes in March 2023, and growing at about 100 gigabytes a month.

Also read this, if you want to keep your backup up to date:

https://info.arxiv.org/help/api/index.html