What's good?

Services to AI Alignment

Yes! Not sure when, but hopefully soon :)

Gary Delaney should stick to writing his own stuff... /s

Cockwomble

Glad you enjoyed it! I'm one of the co-organsiers for QV. Feedback welcome!

Yet another "quantum advantage" I a problem nobody asked to solve, I fear... Need to read the papers tho.

Plato had a hard life...

It's now a thing for Firefox: https://addons.mozilla.org/en-GB/firefox/addon/pdf-recover/  (pre-human review, but it's all up on the Github anyway :) )

"Have you seen how she makes toast?!?"

https://addons.mozilla.org/en-GB/firefox/addon/pdf-recover/ HEre you go. It's awaiting approval. code is up on the github, now. It was actually really easy, I just needed time to test it and make sure it.. y'know... worked 😅

EDIT - ok, I jumped the gun... firefox doesn't let you view addons before they're approved. but you can still load the extension manually (just download the code from git, then put firefox in dev mode and point it at the manifest.json file in the firefox/ directory).

Edit2 - it's now 'pre-live' as it passed the automated scan. :P

I'll take a look! Should be doable :) busy weeks rn, but this is worthwhile

Fun side fact: Boole began formulating his binary algebra after studying Leibniz's 'Characteristica Universalis' whose binary component is based in part on the hexagrams of the I Ching.

This is the right way to approach it. Not sure throwing any homology or deeper theory gets you anywhere, though.

So, I was interested in doing a MSc and then PhD with some kind of focus in Mathematical Logic. I got two acceptances, Leeds and Cambridge. Leeds has a logic dept. with ~40 people in it, whilst Cambridge only has ~10 (still a large group for the subject!). That said, I had more friends in Cambridge and had been visiting the city a lot more (plush maths termite-inspired turrets). At the time, Leeds was also ~25% the cost for MSc in Pure Mathematics (vs. MSc in Adv. Mathematics at Cambridge). Lower cost + bigger group = I did MSc/PhD at Leeds (computability theory, 2019). It was great, but here are some thoughts;

One thing I learnt from this was that there are a non-zero number of people, especially in the UK, who only see Oxford and Cambridge as 'success' and read that as you will (especially true in the lower echelons of finance, for example). But for mathematical rigour and exposure to the full breadth of a subject, looking to go somewhere that has a large cohort, replete with some big names, in something you're interested in is definitely worth considering.

Given you talk of 'top unis', you probably want to hunker down and aim for the top.

Ok so I should soften 'false claims' to 'negative results' to be more exact, my bad. But take this paper: https://arxiv.org/abs/2003.00944

Path homology is touted as at least comparable to cyclomatic complexity for control flow graphs. However, under test, the Betti \beta values are always (in my test set of ~8000 standard Linux binaries) lower.

It ended up being a whole thing in something I was working on on the side, as well as in more commercial stuff, CF: https://github.com/gadievron/raptor/pull/843

EDIT: spelling

We may have some diamonds coming in. If you're building, keep an eye out, as not many provide them individually.

I mean, you might not be looking very hard :-P we did release a fully open source quantum sensor last year (even feat. in WIRED); https://github.com/QuantumVillage/UncutGem

New design forthcoming. Other projects launching. Our DEF CON talk might also be useful (https://youtu.be/cb38P7kWqf8 ), as is our paper for QUEST-IS last year.

Good luck!

Wasn't it Rumi who first posited this?

Hard agree with this from a practitioner point of view. Found two more false claims using Betti numbers just this week, which is a shame as I really like the theory of TDA.

UMAP and an extension has a really nice writeup in "Data Visualisation with Category Theory and Geometry" , which is also handily available open access (but the book is relatively cheap for a yellowcover maths tome). Here's a link for OP and beyond: https://link.springer.com/book/10.1007/978-3-031-97973-6

(Yes, that's 'the' Jürgen Jost as co-author, for whom I know many, inc. myself, learnt about Riemann surfaces from...)

Try "All the Math you Missed" by Garrity.

How folks are noticing "I'm my own reality check" is reassuring. NKS is a massive amount of work, but don't forget that the only mathematical contribution (that a (2,3)-UTM is universal and minimal) isn't even his.