mei

mei@donotsta.re

:neocat_floof: feline-adjacent genderfluid entity :neocat_hug_ice_3: normal about trains :neocat_laptop_owo: abstract computermancy enjoyer dm me trade secrets of your choice before following :3 (or don't, i'm not a cop. but wouldn't it be funny?) not beating the allegations of being a big fucking math nerd "you're a cognitohazard 🧡" ~ <a class="u-url mention" data-user="9vt5wOxsTh9xqbKUCm" href="https://mastodon.social/@whitequark" rel="ugc">@whitequark@mastodon.social</a> "little plushie full of gender" ~ <a class="u-url mention" data-user="APOUyI4tnVDswUOTB2" href="https://mk.absturztau.be/@iro_miya" rel="ugc">@iro_miya@mk.absturztau.b

Posts

Post #4167959
so I've been writing some amaranth
Post #3858258
memory leaks are kind of like precum if you think about it like, a good christian program wouldn't leak memory. and yet many do some can't stop themselves from indulging, and end up thrashing i bet that feels good for the computer and the oom killer? that must be the equivalent of an orgasm ergo you shouldn't complain about software leaking memory – that's slutshaming, and it's not okay
Post #3843817
okay, so sometimes nvim just hangs for me, which I assume has something to do with the Coq integration I'm using. how would I go about figuring out what's going on, so that I could fix the issue? there ought to be some kind of debugging tool that'd make light work out of this kind of issue, right?
Post #3803892
@cstheory@mathstodon.xyz I’m sure there’s merit to this but it’s really funny to see a paper improving the constant at the 7th significant figure RE: https://mathstodon.xyz/@cstheory/116917218477353457
Post #3334349
pro tip: simply do not be in complex microarchitectural conditions
Post #3091013
it&#39;s a shame noone tried to coin a true translation of the term &quot;clopen set&quot; into Polish. I propose &quot;zbiór domkwarty&quot;
Post #3091012
there&#39;s a certain genre of movies that, I believe, are best classified as the cinematic equivalent of an area denial weapon, and i think that&#39;s beautiful. see e.g. https://www.imdb.com/title/tt0124819/
Post #3091011
okay so methylphenidate helps a lot with doing what i actually want to be doing... unless of course that thing is going to sleep. which means i don&#39;t have a good method of going to sleep at a reasonable hour. which means that a class that starts at 12 is the earliest i can show up at semi-reliably (and even then it has to be a class i really want to attend) please send help, it is 7am and i haven&#39;t managed to go to sleep yet. there&#39;s no classes for the rest of the week...
Post #3024991
honestly the amount of deadlines we&#39;re having at uni and the effort required to keep up would probably give me an anxiety disorder if i didn&#39;t already have one... but hey, I&#39;m having fun :3
Post #3024990
current status: /dev/sda is keyboard
Post #3024989
@mwk: &quot;if anyone asks, I did not say you&#39;re supposed to do it like that&quot; I turn around, and see her using a medical needle, attached to a syringe and everything, to measure the voltage on a DC jack. I guess the actual multimeter probes were far too thick to fit into the connector :neocat_solder_googly:
Post #2906641
applying transdermal estradiol on your balls because it reportedly absorbs better is surely one of the weirdest ways of experiencing the &quot;alcohol makes you feel warm&quot; thing
Post #2631255
am i missing something or is a deutschlandticket the cheapest way of going from frankfurt(oder) to magdeburg, and then back a week later? feels like it shouldn&#39;t be worth it to buy a monthly ticket for literally two direct trains total, and yet... #bahnbubble #duckduckfedi :boost_ok:
Post #2549697
Lesbian-Flavored Markdown
Post #2493674
TA who insists on never using any English loan words be like: sesbijska analiza leksykograficzna
Post #2493673
what do you think, would slopbox be considered liable for the damages if someone, in fact, trusts their AI chat as they suggest?
Post #2215901
there should be a podcast where each episode they find an unsuspecting victim invite a guest, and explain some fun piece of mathematics or computer science that is new to them kinda like Language Transfer i guess, but for infodumps instead of language learning
Post #2196041
current status: Rust&#39;s new implementation of formatting internals non-deterministically prints garbage on specifically ATmega2560 due to what we&#39;ve tracked down to be an LLVM bug (see also: https://xkcd.com/2083/)
Post #1890402
OH: I want this CellRef obliterated like a twink
Post #1890399
there ought to be some kind of zachtronics-like game centered around trains. like, puzzles that involve automating dispatching on various track layouts which vary in complexity, for example... idk
Post #1834617
elect me as Unicode consortium president! I will: mandate sitelen pona support in modern operating systemsimplement xkcd’s non-breaking snake proposalassign codepoints to the neocats, with ZWJ sequences for the hugging variants to allow for combinatorial variationintroduce full configurability of the number of eyes in your cyryllic multiocular Oremove the redundancy between the flags of Poland and Indonesia, factoring it out into a universal “rotate by 180 degrees” codepoint that will definitel...
Post #1832036
there are, predominantly, three types of software: - software written by people who do not take pride in their work, due to which the software is full of bugs - software written by people who do take pride in their work, and have thusly burnt out, due to which the software is full of unfinished and/or missing features - software written by people who are paid big money by investors, due to which the software is full of dark patterns and antifeatures the art of using a computer involves learning...
Post #1816559
okay quick question. is it okay if i just leave the motivation section of my paper at &quot;look im autistic about constructive mathematics, plz no bulli&quot;?
Post #1816035
OH: consider the language of machines which do not accept themselves. and to be clear, this is not an example in psychology, but in computability theory
Post #1816033
tired: Seattle polycule inspired: rustc polycule RE: https://donotsta.re/objects/af83f88d-406c-424b-be25-fb5659ac1784
Post #1796767
which is worst?
Post #1720274
OH: ladies, gentlemen, and the classically-excluded middle
Post #1658150
putting this on my reading list: https://yangzhixuan.github.io/NbE.html Normalisation by evaluation is known to be more efficient in practice than substitution-based normalisers. Glueing proofs nicely explains why normalisation by evaluation is correct, but I find that they don’t tell us much about why normalisation by evaluation is fast. In this article, I will try to shed some light on the latter question by showing how we can spot the sources of inefficiency in a naive substitution-based nor...
Post #1658148
thinking about that time in high school biology when we were covering the endocrine system. upon learning about sex hormones and their effect on puberty, i basically invented the concept of transgender HRT from first principles. and i asked the teacher &quot;hey hypothetically, what would happen if someone did that&quot;. and she was like &quot;eh, it probably wouldn&#39;t work and have horrible side effects&quot; that was... very cis of me. yes, definitely. any curious pers...
Post #1025882
me: &quot;do you wanna do crater triage together?&quot; them: &quot;this is... the most romantic least romantic thing I&#39;ve ever heard. gimme a moment, I need to stabilize a feature first&quot;