I need to rave about #Python.
One of my colleagues has deep knowledge about #GreenhouseGas calculations but doesn't write code, in any language. She was giving me instructions on how to perform a calculation, which I kept getting wrong. Frustrated, I just show her my Python code. She instantly recognises the error and tells me how to fix the code. This is the first time I show her Python.
Can *your* programming language do this?
Mathematicians, I have a confession...
I've never actually performed a diagram chase.
But I've followed several chases, and I think... isn't there a better way? Sometimes I marvel that chases work at all, but it seems to me that they do because the definitions are all just set up in the right way. The real work was in the definitions, not in the chases.
So aren't there "deeper", more insightful proofs than the canonical diagram chases?
with all this hubhub about git in the news, I'm glad folks are looking at gitlab as an option.
however, it might be a good time to remind folks of alternate systems that learn from some of the mistakes of git: #pijul (https://pijul.org/) and #fossil (https://fossil-scm.org) the latter which is created by the brilliant author of SQLite.
hands down the best thing about GDPR is that it shows us that there are still places on this planet where humans can tell Our Machine Overlords to do something and they still have to listen
"how convenient that all this data can be interpreted in a way that confirms my existing biases!" - every human ever
Mount St Helens never peeked out from its cloud today, but it was still an impressive sight.
🤔 The circuitry inside a Casio watch isn't too complex, maybe I could measure it and manufacture a replacement with more features.
Oops somebody already did it! Way better than I would have!
The "Pluto" watch, which re-purposes the case and LCD from a Casio F91-W, includes a compass, infrared programming, RTTTL ringtone (musical) alarms, generates RFC 6238 one-time passwords, open source, and runs for a year on a standard watch battery! Wow!! 😮
more cybrepnuk than Pebble imho
LB PSA: if you have to use slack for work, I've found https://github.com/wee-slack/wee-slack to be a life-saver
I mean, obviously I'd prefer to connect from within Emacs if I could get that working, but this is way better than webkit.
An old master asked on the newsgroup: What is the best question a newbie can ask about Emacs?
The newbie answered: What is Emacs?
periodic reminder that the only reason CSV exists is that someone didn't read the ASCII spec
So Puerto Rico isn't... a country? But ISO 3166-1 has codes for lots of regions that aren't independent countries.
You know what, I have no idea what a country is anymore.
someone found an ancient screenshot of one of my repositories on 2007-era GitHub; really takes me back. I especially love the super-tacky OS X shiny <select> element.
Well, well, well.
Trying to educate myself on #Afromexicans, I have recently learned about the Dance of the Devils, a uniquely Afromexican tradition for #DayOfTheDead.
Man, it would have been sooooo cool if this had made it into #Coco but nobody would have known what it was, including most Mexicans.
