immmmmm

On YT there’s dosdude soldering ram on M series SoCs

Good BGA experience and a steady hand seems required

I loved the book QED: The Strange Theory of Light and Matter by Feynman as a child. Funny enough I always saw QM from a path integral PoV, a decade before I got to learn the formalism

Yes, and in a more general way Noether thm applies in QM/QFT as well (energy conservation is just a special case). Symmetries become operators acting on the Hilbert/Fock space (ie representation).

With the caveats: - anomalies-> symmetries/conservation broken by quantum noise (has to be cancelled in valid theories) - Heisenberg’s incertitude

Michael Abrash's Graphics Programming Black Book is still one of my all time favourite. What they did back then was almost black magic. I learned a good part of maths, cs and physics trying to mod id1 with this book during my teenaghood.

Isn’t the very pitch ai bros have to their investors: “we’ll replace ppl by tokens.”

If it doesn’t pay for non-permanent staff salary that would be sad for the maths ppl indeed.

OTOH I have a phd in th physics, 15+ y of academic senior researcher experience, now working 60+ h /w on an unpaid internship and using lunch money to pay for tokens.

And I’m by far not most unlucky

Edit: just to put things in perspective, my phd field (string theory) has 15-30M€ annual funding in Europe (per google)

Aren’t some type systems (eg Lean) able to essentially verify/prove arbitrary mathematics?

I have been moving from fusion 360/eagle to FreeCAD+Kicad for mixed electronic/mechanical designs and never looked back. Since 1.0 assemblies work better in FC than 360, less crashes at least for my limited cases. Also an order of magnitude faster to boot. Didn’t have any issue with open cascade kernel, even with weird filets etc. Kicad is a joy to use compared to eagle, and library is even better.

Never tried OpenSCAD, maybe I’m old fashioned but graphic workflow works better for me.

I remember one of my professor, a pioneer of neutrino detectors in Europe, mentioning Ice Cube in a lecture more than 20 years ago. Long time scale (due to funding).

Serious question: US spend 50+ B$ / month to throw JDAMs on little girls schools, what do we gain here?

Serious answer: on a yearly 130T$ GDP at least a good third is spent on destroying this planet. 50$B which ends up paying phds is barely one peanut.

No string theory (10d) or m theory (11d) map to lower dimensions (eg 4d) via (generalisation of) Kaluza Klein compactification. Vector boson (eg maxwell or Yang mills) are internal degree la of freedom-> 6/7d graviton becomes a photon/ gluon.

There’s holography in string theory: AdS/CFT but this rather maps 4d super Yang mills (on the boundary of AdS5) in an AdS5xS5 background: which is one holography correspondence we know works.

Holography is much more common, but we only really understand it on hyperbolic spaces.

Also since it has a theory at strong coupling on one side we cannot really do calculation on that side and verify it.

You can use it tho to make calculations.

I’m out of academia but in defence of former colleagues I note:

- Maths and theoretical physics are very cheap (compared to other disciplines)

- Maths and physics researchers provide lectures for all other scientific fields

- Brut forcing maths/physics problems require debilitating amount of compute/money. This will make research in these topics even more biased towards rich countries.

- There most certainly will be pervers effect, ppl refraining from publishing results etc

- it’s very unlikely that private ai labs will play ball with academic research. They scrapped the internet and now sell access to their models.

As much as I’m happy to see new tools, I have the feeling there will be nefarious effects.

Please note possible name collision with PostGIS Triangulated Irregular Network (TIN) data type.

I started with Slackware 1.0 on i386.

I certainly do not miss compiling X11!

Those who have token money will succeed.

It biases maths and theoretical physics towards the rich.

That one thing that was free.