If you ever consider using cohttp, just don't. There is no stable version, and there never will be. At least, that's what they should put in their package description, right on top, in *BOLD CAPITAL LETTERS*, blinking and red.
After ten years of having to put up with problems building it, I'm giving up now. Like, 95% of my difficulties of getting a fresh build environment (say, to get new security fixes) go back to it or one of its dependencies not not building. If not more.
Its developers must be complete morons, and the same holds for some of its dependencies' (I'm looking at you, mirage-project).
I'll spend my time writing my own webserver component instead. /me starts to rip out all code that uses it.
The following ultra-short intro to (co)homology is a reaction to this recent article which appeared on quantamagazine here:
Thanks to John Wehrle for sharing, and to Andreas Geisler for making me think about it:
Theoretical sciences and hypothesis building are branches of applied mathematics. So it's the other way around!
Much of the humanities is mostly information collecting, similar to astronomy, but with some modelling.
Philosophy is literature: a form of art when being written, and belonging to information archaeology thereafter. In which modeling is mostly used to make catalogs.
It seems you are moving, @isaackuo so... welcome back? You may want to follow this account instead of my mastodon.cloud one, which I have kind of abandoned. If you are in for some maths, you might want to consider following @RefurioAnachro as well.
For you others reading this, Isaac is an artist, and has recently picked up posting digital drawings again. I like his sketches of ideas drawn with a quick but experienced hand. Follow Isaac!
3/4 of the stars in our galaxy are red dwarfs. Lower-mass red dwarfs can stay on the main sequence for trillions of years. We can barely detect distant red dwarfs because they're so dim, but dimness is relative; even the dimmest red dwarfs have a power output of ten trillion gigawatts.
If you were building a Dyson sphere, a red dwarf would make a much better central object than a G-class star. For one thing, it wouldn't wreck all your hard work after only a few billion years.
Just got to your RC3 talk "Mindfuck Vol 4", @blinry! You got to talk at RC3! Nice! Glad to hear there are other musical keyboards than the classic claviature. Thanks!
The UN's senior expert on free expression, @davidakaye, warns the EU that the copyright censorship provisions of #Article13 violate international law. https://twitter.com/edri/status/1007302647714648064 source: https://twitter.com/eff/status/1007408612132569088
"The WordPress Malware that Eats Other Malware" https://www.wordfence.com/blog/2018/06/babayaga-wordpress-malware
Following up on the #github fiasco, maybe on top of only using #FOSS software, and federating as much as possible along #selfhosting, what we really need is agent-centric naming and #identity system (also to allow for nomadic identity for #Mastodon and the fediverse).
I wonder if we could use something similar to IPNS (in the #IPFS project)? https://github.com/ipfs/specs/tree/master/architecture
Or maybe simply https://www.opennic.org
Escher and Coxeter - a Mathematical Conversation - Professor Sarah Hart - Gresham College - 53 minutes talk
What gives. Here's all their math stuff:
Customer: It's beeping!
Me: It's the UPS, the battery has died, you need a new one.
Customer: Will our fileserver run without?
Me: Yes, but...
Customer: The fileserver is gone!
Me: Auw, now you need a new server as well!
Me: Here's a kitten in a cardboard box. I've transplanted the heartdisk. Don't expect any further help from me!
Here's where I have been hanging out lately:
It's a cool free and open course on #categoryTheory by John Baez! You can still join and partake in the fun discussions!
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!