Attention, shitty pun ahead, reader discretion advised. Show more
What du you call a wizard specializing in sleep magic?
#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.)
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 also google translated the entire mammal species list for Georgia and the results are AMAZING:
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! :)
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 !
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...
A topological proof that there are infinitely many prime numbers: https://jeremykun.com/2012/09/26/infinitely-many-primes-using-topology/
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.
Math Student (BSc + MSc)¹. Sews, codes and draws.
 I'ts complicated
A Mastodon instance for maths people. The kind of people who make \(\pi z^2 \times a\) jokes.
\) for inline LaTeX, and
\] for display mode.