rnather @rnather@mathstodon.xyz

The universe sometimes appears to be governed by the most beautiful laws, and physicists even use this as a guiding principle it seems. But I would argue that the best you can hope for is locally maximal beauty.

If you never go off at a tangent, you will forever run in circles.

Thanks to @evelynjlamb's newsletter, I've discovered Missing Numbers, a blog by Alice Powell-Smith about numbers the government should be tracking but isn't.
https://missingnumbers.org/

#Google's cloud is down in some parts of the US. A HN user reports that they can't let their guests into their house, as their #Nest "smart" lock apparently requires Google's cloud infrastructure to be up.

Reason #125234 why current approach to consumer #IoT is a stupid idea and waste of money.

(The non-garbage approach to IoT essentially makes "I" expand to "Intranet" and doesn't tie physical devices to Internet services.)

I'm going to start measuring the complexity of coding tasks in coffee cups: 'This was a five-espresso algorithm.'

MERMAID BERTRAND RUSSELL: look at this math
isn't it neat
ain't it consistent
and also complete

CRAWDAD KURT GÖDEL: [lurks on periphery, frowning]

how math is presented: "this knowledge came fully formed out of someone's head at the same pace that you are reading it"

how math is done: "this person became obsessed with a problem, worked on it for anywhere between a week and their entire lifetime, and finally produced a very messy version of this knowledge which was later refined and expanded by other mathematicians"

I'm going to go ahead and ask this, so it's not an accidental subtoot:

Can anything related to Mother's Day (Father's Day too) please be CW'd? Thanks in advance lovelies.

I also google translated the entire mammal species list for Georgia and the results are AMAZING:
https://exilian.co.uk/forum/index.php?topic=5951.0

Georgian mammals apparently include:
"A slap in the forest"
"The memoir is the Prometheus"
"I'm getting upset"
"Little brown biscuits"
and "Celestine desert", among others... a good source for band names if not for taxonomic detail! :)

#Georgia #Georgian #Animals

Just found GeoCoq. I like the work they did here, very nice and in principle should be a great resource to draw on. http://geocoq.github.io/GeoCoq/

So far it seems difficult to find the llemas I need for things. They might be a bit overly general (even for a 2D Euclidean library). I'll need to see if it's something to get used to, or if I'll need to wrap it with some easier to utilize library. In either case, I'm excited someone else has translated Tarski to #Coq !

#Geometry

Photoelectric Number Sieve Machine ("Gear Machine")
Web page by D. H. Lehmer and Robert Canepa
In collections: Easily explained, Things to make and do, Integerology
This gear number sieve was constructed to solve number theory problems such as factoring and determining if a number is prime. The machine also had a photo detector and powerful amplifier...
URL: http://www.computerhistory.org/collections/catalog/X85.82
Entry: http://read.somethingorotherwhatever.com/entry/PhotoelectricNumberSieve

A topological proof that there are infinitely many prime numbers: https://jeremykun.com/2012/09/26/infinitely-many-primes-using-topology/

Some people cause happiness wherever they go. Others, whenever they go.

I only learned about graph laplacians recently (that is after having completed my masters in maths). I have to say that I missed out on something - just working out the eigenvalues of the laplacian of a complete bipartite graph feels very satisfying.

I got into coding because I wanted to create games. Doing that back in the 90’s was difficult. No internet, expensive computers, and fragmented compilers. This is not the case today. But because of shit bag companies, we end up with game dev “solutions” that are just as obtuse. We’ve replaced no internet, low level, complicated C with 2GB clicky-draggy-droppy IDEs that phone home and mine data. A Dark Room’s Easter Egg is an attempt to capture the magic of coding in its purest form.

Pretty sure my gender is not computable in polynomial time. You could say I'm NB-complete.