« At one extreme was a camp that wanted to put a badge on their existing imperative programming language and call it QVT. At the other extreme was a camp that believed one could specify first order logic constraints and always efficiently find an optimal solution (something that would lead to the known laws of mathematics being rewritten). »
« Other than their nationality, the various French proposals shared nothing in common, so their collective stance kept changing depending on who was representing the group at any given point in time. This was highly amusing, but indicative of an ineffective standardisation process. »
« The standardisation community universally agreed that UML 2 would need rigorous underpinnings. However, no-one knew exactly what "rigorous" should mean, or how one should go about achieving it. Gradually, a small group of academics, who did have an idea of what rigorous could mean and how one could go about it, became involved in standardisation. »
@clayote yeah i mean i hope it does good things for them and gets them to think about things in new ways and so forth, i just don't really want to read it myself lol
people think you can Prove a Theory with Facts and References and fans that's not how fiction works
@coriander this was copy-pasted
seeking advice on coming out in an academic environment, boosts ok
@binoclard@octodon.social yes, it is worth the risk; it is much easier in academia if your name (and email!) match what you actually go by because that stuff gets cemented in people's contact infos and can be hard to change
(if your email does not match your name you might want to consider filing a support ticket to have it changed before a bunch of people start using it professionally)
my guess is your professors will be chill about it but if they aren't it's better to find that out sooner rather than later
formality/professionalism can be a help not a hindrance here because it reduces the appropriateness of invasive personal questions. if someone is bothering you just be like “excuse me but my gender identity is not why we are here”. don't be a jerk about it, but be unyielding
a question for tech people, web hosting, boost ok
- a large hosting provider will have data centres around the world, so i'm not sure what “jurisdiction of hosting” actually means—it may be more complicated than where the server and data physically sits. if you care about price, DDoS protection, uptime, etc, a large provider like Linode is probably your best bet—but does a Linode server in Frankfurt Germany count as “hosted in Europe”? in some senses maybe yes, but Linode is still an American company.
- i'm not sure there is such a thing as a good domain registrar; DNS registration is in essence kind of a grift. every registrar wants you to buy names you don't need and will try to sell you things which aren't useful (like blockchain names) because that's how they make their money. if there IS a good one i haven't met it (and don't trust it will stay good); personally i would shoot for “easy to use and won't screw me over” here and not expect to find anything better than that
- regarding the last two points, these are a tooling problem not a hosting problem, imo. IF YOU CAN (a) find a cheap server you can ssh into, and (b) set up a Makefile to run your static site generator and then call rsync—updating your site becomes as easy as typing `make sync`. the question is whether you have the comfort level to build and maintain that tooling. in this case i think “too much tech” is the wrong way to think about it—good tech makes your life easier, not harder—and it's the solutions for people who don't have much comfort with tech which are always both limiting and a hassle to work in (because they don't let you automate and optimize for the workflow which is best for you)
as far as price is concerned, i have an extremely small and boring linux server on Linode and it costs $5 USD/mo plus tax and requires negligible effort on my end. i think this is an appropriate ballpark price; it might be possible to go cheaper (but not much) and i would be wary of anything significantly more expensive
Administrator / Public Relations for GlitchCat. Not actually glitchy, nor a cat. I wrote the rules for this instance.
“Constitutionally incapable of not going hard” — @aescling
“Fedi Cassandra” – @Satsuma
I HAVE EXPERIENCE IN THINGS. YOU CAN JUST @ ME.
I work for a library but I post about Zelda fanfiction.