Show newer

« 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). »

Show thread

« 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. »

Show thread

« 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. »

it's very depressing for it to not feel at all like fall but still get dark at 7PM

Show thread

it looks like this year the weather has decided to just give us late summer weather with shorter day lengths instead of giving us fall and i'm not here for it

@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

Show thread

my problem is i'm actually a lore and worldbuilding and folklore nerd but that doesn't have good representation on AO3 and the places where it does have good representation i wouldn't touch with a 10-foot pole

« “Want a quick blowjob sexy?” Link smiled and nodded. » zelda is a great fandom because your generic teenage smutfic author’s inept ability to describe how people engage with sex happens to also be how Link canonically engages with everything

titled “Zelda smut” but it's about Link

apparently for October this instance is doing pokémon

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 

@zoec

- 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

garfield without garfield but it's duolingo without the owl

Show older
📟🐱 GlitchCat

A small, community‐oriented Mastodon‐compatible Fediverse (GlitchSoc) instance managed as a joint venture between the cat and KIBI families.