mei

: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 🧡" ~ ✧✦Catherine✦✧ (npub1y6d…d9nx)
"little plushie full of gender" ~ [@iro_miya@mk.absturztau.be](https://mk.absturztau.be/@iro_miya )
"perfect implementation of the Human interface" ~ Wanda (npub16gm…s9fu)
"you're an excellent General MIDI device" ~ dmi 💽 (npub1kgc…u7cj)
"it must be fascinating to take a stroll inside of your head" ~ crunchbang (npub1uyx…f589)
"mei you are a menace" ~ ✧✦Catherine✦✧ (npub1y6d…d9nx)
"a balanced diet of earworms and brainworms" ~ Wanda (npub16gm…s9fu)
"stop plaguing my life with incidental music" ~ Papyrus Undertale
"i think i’m gonna start a CW leaderboard. you’re currently 1st place" ~ dmi 💽 (npub1kgc…u7cj)

pretending to be only moderately deranged here, for the kink and mental health posts see mei unleashed (npub1d0r…mu5x)

pronouns: fuck knows. she/her i guess?
gender: MaybeUninit::uninit().assume_init() :neocat_floof_explode:
computertouching: {compiler,proof,systems}-gendered
assassination coordinates: Warsaw
spirit animal: Nozomu Itoshiki
datecode: 0234
signal: mei.1312
webbed site: https://compilercrim.es
train autism: https://traewelling.de/@meithecatte

Public Key

npub1zfhhe9kc24jlljek295nz797s6t6kfle9nr57umk2sgg452m2c5q86rv57

NIP-05 Address

mei_at_donotsta.re@momostr.pink

Profile Code

nprofile1qqspymmujmv92e0levm9z6f30zlgd9atyluje360wdm9gyy269d4v2qpz3mhxue69uhhyetvv9ujuerpd46hxtnfduqs6amnwvaz7tmwdaejumr0dsqu7d4s

Publishing to

relay.damus.io

nos.lol

Author Public Key

npub1zfhhe9kc24jlljek295nz797s6t6kfle9nr57umk2sgg452m2c5q86rv57

Show more details

Published at

2026-04-19T01:35:45Z

Kind type

0 Metadata

Event JSON

{ "id": "19ac2aa22756f80680cb10ab4cccdf3f554227c237a7b8e9f7ba742ff51fdc02", "pubkey": "126f7c96d85565ffcb3651693178be8697ab27f92cc74f737654108ad15b5628", "created_at": 1776562545, "kind": 0, "tags": [ [ "emoji", "neocat_floof", "https://donotsta.re/emoji/neocat/neocat_floof_256.png" ], [ "emoji", "neocat_floof_explode", "https://donotsta.re/emoji/donotstare/neocat_floof_explode.gif" ], [ "emoji", "neocat_hug_ice_3", "https://donotsta.re/emoji/neocat/neocat_hug_ice_3.png" ], [ "emoji", "neocat_laptop_owo", "https://donotsta.re/emoji/neocat/neocat_laptop_owo_256.png" ], [ "proxy", "https://donotsta.re/users/mei", "activitypub" ], [ "L", "pink.momostr" ], [ "l", "pink.momostr.activitypub:https://donotsta.re/users/mei", "pink.momostr" ], [ "-" ] ], "content": "{\"name\":\"mei\",\"about\":\":neocat_floof: feline-adjacent genderfluid entity\\n\\n:neocat_hug_ice_3: normal about trains\\n\\n:neocat_laptop_owo: abstract computermancy enjoyer\\n\\ndm me trade secrets of your choice before following :3 (or don't, i'm not a cop. but wouldn't it be funny?)\\n\\nnot beating the allegations of being a big fucking math nerd\\n\\n\\\"you're a cognitohazard 🧡\\\" ~ nostr:npub1y6dlvsas2kk6xjmj82rk2gda8lrtdkp4002f2gz86qqyudmc5utqk5d9nx \\n\\\"little plushie full of gender\\\" ~ [@iro_miya@mk.absturztau.be](https://mk.absturztau.be/@iro_miya ) \\n\\\"perfect implementation of the Human interface\\\" ~ nostr:npub16gmp8rvjn4m7ap4u9fzsju5jscnuss847t25zpn0h97gda79xvlqrgs9fu \\n\\\"you're an excellent General MIDI device\\\" ~ nostr:npub1kgc8xh4n7kdmwfgndx35fmnu8nw8h8d5z3tsvyqdanxdvezy4tssqru7cj \\n\\\"it must be fascinating to take a stroll inside of your head\\\" ~ nostr:npub1uyxxmq03apcay3j59rjzkps7kn0qv5vfjmcr94pgkg2yp9gjmq9szzf589 \\n\\\"mei you are a menace\\\" ~ nostr:npub1y6dlvsas2kk6xjmj82rk2gda8lrtdkp4002f2gz86qqyudmc5utqk5d9nx \\n\\\"a balanced diet of earworms and brainworms\\\" ~ nostr:npub16gmp8rvjn4m7ap4u9fzsju5jscnuss847t25zpn0h97gda79xvlqrgs9fu \\n\\\"stop plaguing my life with incidental music\\\" ~ Papyrus Undertale\\n\\\"i think i’m gonna start a CW leaderboard. you’re currently 1st place\\\" ~ nostr:npub1kgc8xh4n7kdmwfgndx35fmnu8nw8h8d5z3tsvyqdanxdvezy4tssqru7cj\\n\\npretending to be only moderately deranged here, for the kink and mental health posts see nostr:npub1d0r3khsrlnxryrqxr7zkavgrk3gedl7pe4a3j5whw9d20l0acfysalmu5x\\n\\npronouns: fuck knows. she/her i guess?\\ngender: MaybeUninit::uninit().assume_init() :neocat_floof_explode:\\ncomputertouching: {compiler,proof,systems}-gendered\\nassassination coordinates: Warsaw\\nspirit animal: Nozomu Itoshiki\\ndatecode: 0234\\nsignal: mei.1312\\nwebbed site: https://compilercrim.es\\ntrain autism: https://traewelling.de/@meithecatte\\n\",\"website\":\"https://donotsta.re/users/mei\",\"picture\":\"https://asdf.donotsta.re/media/07e3040b84a46e011abefdcf56f43ff49fc180314d3d2ffd56487d40fc1213f6.png\",\"banner\":\"https://asdf.donotsta.re/media/c0cf9ea55060e98a9d3f961f6f8db318da3c40fb421d023a9d867f23e68bf46b.jpg\",\"nip05\":\"mei_at_donotsta.re@momostr.pink\"}", "sig": "bbeb427486a6731b4bd381a9d71a414fb54832a0e1005cf071a6154614692815741d2204ab7550279ba65ff8bb3d4dbbf6f717f03920d4ba5cf8274a7064988a" }

Last Notes

2026-02-26 20:43:59 UTC

- reply

time to go for a walk around the codebase, looking for ways to reduce the code size?

2026-02-21 21:09:37 UTC

so i wanted to learn some category theory.
opened up a textbook on one side, agda on the other, and started trying to formalize the concepts and proofs
but i hit a bug in how agda's pretty printer behaves. one i couldn't easily work around
so i decided i'll finally start contributing to agda and try to fix it myself
started poking around, accidentally figured out a different bug that I previously thought wasn't worth looking into
but okay, gonna keep digging into the bug that actually led me down this path.
soon i found myself wanting to take a look at how agda's AST looks in practice in one specific case, only to find that there isn't really a way to do that, because haskell's Show prints way too much information, all in one line, filling the entire terminal screen with mostly irrelevant info
so i did the natural thing and started writing a pretty printer for this purpose
eventually i got annoyed that each time i compiled agda, it would spend a good 30 seconds doing some kind of build system bookkeeping
like, i measured. a build with the entire cache fresh already would take 30 fucking seconds
as 30 seconds is enough time for me to start scrolling through fedi, i decided i need to look into this
so i started poking around the surprisingly complex makefile, learning more than i ever wanted to know about make
finally found the culprit: in a maze of includes, recursive make invocations and variable expansion, various variations of stack --dest-dir would get called like. way too many times during the build. and each of those would take 750ms to initialize, print the path to the build directory and exit
*sigh*, okay. i guess i'll need to optimize the makefile a bit
managed to get it down to 10s for a do-nothing build. scoured the internet looking for a feature of make that would be useful to bring it down further
didn't find it. as far as i can tell, "expand lazily, but then cache it" is not a behavior that's available in gnu make, despite the absolute abundance of features they added on top of what posix specifies
now, thankfully i know better than to attempt upstreaming a feature into gnu make. and anyway, in this case the good folks at stack overflow gave me a hint on what absolute crimes i could commit in that makefile to make it go faster
but while i was contemplating my plan, i wondered: why does stack take 750ms to print a path in the first place?
after execsnoop and strace didn't give me any hints, i decided to try using the linux profiler "perf", which i'm sure you know is a master class in UX design
(it is not)
so i open the "perf report" and see a bunch of addresses for which i don't have debuginfo. suspiciously small addresses too, like 0x5ddc
i start to notice the feeling of despair creeping up on me, but decide to persevere for at least a little bit more
i choose the hottest sample on the report and select "Annotate 00...005ddc"
now, i want you to consider that what i saw next was enough to get me to write out this entire rant. take a moment to internalize that.
what batshit insane assembly did i see? what could possibly have been this upsetting?
"Press 'h' for help on key bindings", it said. followed immediately by "erf: Segmentation fault", that's right, erf, without the p.
then came a backtrace. one that listed the function name for each stack frame, as well as the source code file in which it were defined.
but the line number of all these entries is fucking 0 for some reason, as if to mock me
like, it's not like i cared at this point where exactly the segfault happened, because even i do have my limits
but the computer apparently decided to find one more place in which it could subtly signal that there's a nugget of insanity lurking within, to really get that eye twitchin'
and all i wanted was to learn some category theory

2026-02-13 21:14:42 UTC

- reply

just noticed this, can't seem to find you going over the rest of the schematic, though

2026-02-12 14:53:09 UTC

- reply

okay this seems to have gotten it working for now
```
# pets: destfile=/etc/xdg/nix/nix.conf
# pets: package=nix
# pets: post=systemctl enable nix-daemon
extra-experimental-features = nix-command flakes
```

2026-02-12 14:49:41 UTC

- reply

`error: creating directory '/nix/store': Permission denied`
hm maybe i need to do a bit more than just `pacman -S nix`

2026-02-12 14:45:01 UTC

- reply

current status: `error: experimental Nix feature 'nix-command' is disabled; add '--extra-experimental-features nix-command' to enable it`
amazing UX

2026-02-12 14:38:25 UTC

current status: fighting ghcup, cabal and stack. slowly realizing just how spoiled i am, being used to rust's cargo
maybe i should install nix. surely that'll solve all my problems

2026-01-29 21:47:01 UTC

- reply

well I'd say that this isn't necessarily a question of whether it will work, but *how much work it will involve* ;3

2026-01-29 21:15:34 UTC

- reply

okay, concept: version that works with the vanilla client but only the one from before the log4j vuln was patched

2026-01-29 21:03:34 UTC

- reply

ohh, that's what they mean...
for some reason I just parsed it as "multiplayer-capable", but mods that don't work in multiplayer are *very* rare if they exist at all ever since 1.3, so as I'm realizing, what I thought they meant doesn't make much sense

2026-01-29 20:59:00 UTC

- reply

wait, why would it be impossible? what's the core difficulty?

2026-01-10 02:07:02 UTC

- reply

looks like pmOS has a code of conduct team. if you've reported the raids and the community members behind the raids haven't received any repercussions, I would definitely start mentally putting pmOS in the "best stay away" category

2026-01-10 01:23:12 UTC

- reply

i am familiar with Rossmann's video. I watched it while I was a GrapheneOS user and didn't find it damning enough to take any particular action. I've since forgotten what it was about apart from the fact that some kind of DM screenshots were involved.
I've since become aware of Rossmann's activity on KiwiFarms. this is enough for me to definitively discount that video's claims.
have the pmOS developers actively participated in the campaign, or did they just, like, acknowledge the video's existence?

2026-01-10 01:11:45 UTC

- reply

can i have a link to something concrete, about the whole thing pmOS & GNOME developers participating in harassment?

2026-01-10 00:57:15 UTC

- reply

yup, i think that is the core of the issue. you're eager to defend yourself, but often this comes with making accusations towards others. if you keep doing that again and again without backing up your claims with anything, it'll be difficult for people to see this in a good light
[untagging elly as she seems to have asked for that at some point?]

2025-12-31 01:09:41 UTC

trip back from #39c3 is going... well.
plan is: four REs in Germany, cross the border in Szczecin, take a PKP IC night connection to where we need to go.
the german portion goes flawlessly. "well, that went smoothly", we think, discounting the possibility that anything could go wrong in the one train that remains.
we board the train and find our wagon. "wasn't there supposed to be compartments?"
turns out the wagon type is different from timetable. most people's reservations don't correspond to any seats. the wagon actually present has a lot of the space filled with bike racks and vending machines, so the capacity is much smaller than planned.
every travel party boarding carries out the same conversation again: "wait, where are our seats"
we can hear train staff responding to irate passengers: "please give me a moment, I only joined one stop ago. I'm trying to figure out seating for everyone but it's gonna take some time"
turns out, there is an extra spare wagon with noone booked in it. so, just tell the people without seats to go there, right?
wrong.
the train is composed of two parts, and is scheduled to split in Poznań to continue to two different destinations. the extra capacity is not in the right part for this to work.
so, they go to the wagon at the centre of the train, and reinterpret_cast it from one destination to another. they announce: "everyone going to Warsaw please move to car number [whatever] at the end of the train, it's all empty so you'll be able to find seats. this car will actually be going to Przemyśl"
then they go to the wagon without enough seats, and tell everyone without matching seat reservations to move to car [whatever2].
you know, once everyone whose seat didn't exist has already figured something out.
so the train goes back into chaos for a good bit. but the Hilbert Hotel maneuver is carried out successfully, and eventually we arrive in Poznań.
they begin the shunting by splitting our train in two. this happens just as one of the passengers wants to go to the other section, because that's where her family is.
we start explaining to the elderly confused passenger what exactly is going down, and that once they finish the shunting, she's gonna need to go back to the other platform.
the staff announces: "anybody else going to Warsaw or the like? this is the part that goes to Przemyśl! I don't wanna hear any crying later!". a couple more people realize "oh shit, i'm in the wrong part of the train".
everyone starts speaking up: "i'm going to Kraków, am I in the right part of the train?" "yes, you're in the right one" "what about Rzeszów?" "what about Wrocław?"
before we left Poznań, the train staff could be seen discussing with a passenger on the platform. I don't know what they talked about, but it involved shrugging in rapid succession.
maybe I should start carrying emergency popcorn on my train trips...

2025-11-14 01:33:42 UTC

- reply

will the FPGA configuration pins be accessible to the CPU?

2025-10-23 03:10:04 UTC

containers, amirite
https://asdf.donotsta.re/media/96a4820db97af04fe5da7cdf619d866e1af6dc55ecc8081cf913fc955c938405.png

2025-10-10 22:21:29 UTC

sometimes, playing with proof assistants feels like getting astrally projected into the platonic heaven. othertimes however, it's like a dubious BDSM scene with the devil of abstract symbolic manipulation holding the whip. according to the prophecy, whoever first figures out how to make a proof assistant that only contains one without the other will be awarded a Fields' medal and a prize to the amount of 53 pounds (this used to be a lot but inflation has ravaged the world since the problem was stated)

2025-08-11 00:37:04 UTC

- reply

well, i'd hope that it does end up being a polyamory anime rather than a harem anime... do report back where it measures on the "incredibly queer" to "insufferably cishet" scale

2025-08-06 16:57:37 UTC

so, where will we get the next generation of programmers who are actually passionate about their craft, if all the mainstream outlets are trying their best to convince everyone that LLMs are where it's at?

2025-07-08 12:50:54 UTC

- reply

considering that the passport is issued by the state, the owner of the passport will probably have no freedom in what software is running on it regardless

2025-07-08 12:08:15 UTC

type of guy that objects to border control because the smartcard within his passport is running proprietary software

2025-07-02 19:40:49 UTC

- reply

usually TOCTOU means that the attacker has the capability to change the thing you're checking. here it doesn't change, you're just unknowingly looking at it differently

2025-07-02 18:53:25 UTC

- reply

not sure if it'd call this TOCTOU — it's more like a parser differential
(yeah I'm probably overthinking your joke...)

2025-06-26 22:47:52 UTC

- reply

looks like a full adder

2025-06-23 15:38:41 UTC

- reply

oh, but they're so beloved by the libertarians!!

2025-06-05 17:15:27 UTC

- reply

okay, this is basically catnip, I want one.

2025-06-01 01:43:26 UTC

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 to identify which of the above types a given piece of software belongs to, and choosing the software you use based on this tradeoff.

2025-05-20 15:41:48 UTC

PSA: Evan Chen's "Infinitely Large Napkin" has gotta be one of the most important math books out there. It makes higher math incredibly accessible.
I can't overstate how much it enabled me to do things that would otherwise only be reachable through years of studying pure mathematics at university.
https://web.evanchen.cc/napkin.html
> The Napkin project is a personal exposition project of mine aimed at making higher math accessible to high school students. The philosophy is stated in the preamble:
>
> I’ll be eating a quick lunch with some friends of mine who are still in high school. They’ll ask me what I’ve been up to the last few weeks, and I’ll tell them that I’ve been learning category theory. They’ll ask me what category theory is about. I tell them it’s about abstracting things by looking at just the structure-preserving morphisms between them, rather than the objects themselves. I’ll try to give them the standard example Gp, but then I’ll realize that they don’t know what a homomorphism is. So then I’ll start trying to explain what a homomorphism is, but then I’ll remember that they haven’t learned what a group is. So then I’ll start trying to explain what a group is, but by the time I finish writing the group axioms on my napkin, they’ve already forgotten why I was talking about groups in the first place. And then it’s 1PM, people need to go places, and I can’t help but think:
>
> > Man, if I had forty hours instead of forty minutes, I bet I could actually have explained this all.
>
> This book is my attempt at those forty hours.

2025-05-07 01:36:28 UTC

- reply

wait, isn't %u already an existing specifier? i thought they need to be like, a prefix code

2025-05-07 00:14:47 UTC

- reply

%y, as in "why does this need to be a separate format specifier" /hj

2025-05-04 11:30:33 UTC

- reply

what if the CPU could bitbang the JTAG of the FPGA? could reprogram the bitstream in RAM but leave the flash untouched...

2025-04-23 01:18:19 UTC

- reply

why do so many programmers approach rust with "i have absolutely no experience with this language but i will immediately assume that the thing it's trying to prevent me from doing is actually perfectly okay and i will bypass all safeguards instead of learning how to properly design programs in this paradigm"
this feels absolutely terrible what the fuck

2025-04-23 01:14:02 UTC

pro tip: when evaluating whether to use a library inyour Rust program, first type "unsound" into the search bar of their issue tracker

2025-04-15 16:50:32 UTC

hi there! my name's Nicole, but you can call me the Fediverse Chicken
https://asdf.donotsta.re/media/8f6e9cb61db35b9ed5673e78c824bcbc83f0ed8e4a022681ebe9d5a8febd9400.png

2025-04-07 22:14:31 UTC

- reply

i'm sorry they did WHAT
https://asdf.donotsta.re/media/832cbe937c6aaa7547a38cc437f6d69971c57e98f8d28f5bfddb0716ba0f551f.png

2025-04-07 21:20:30 UTC

apparently loading 750MB of JSON into Python is enough to make a machine with 16 gigs of RAM start thrashing :neocat_googly_woozy:

2025-04-04 12:03:41 UTC

god, imagine if LLM scrapers end up forcing git to introduce a proof of work intos protocol

2025-03-31 20:19:24 UTC

OH: it's a nice conditional jump you have here. it would be a shame if something happened to it

2025-03-01 07:28:18 UTC

train ticketing is a joke
https://asdf.donotsta.re/media/f5cc7f15fb62e38edeb15f5022162b0f838a367d4ade4cc5465d2f5c54ee3447.png

2025-02-02 18:46:31 UTC

- reply

you underestimate their gerrymandering capabilities

2024-12-26 18:33:58 UTC

- reply

if you're curious, it tastes... bitter

2024-12-26 18:33:45 UTC

- reply

it somehow appeared on my lip and i absent-mindedly licked it into my mouth before realizing that there shouldn't *be* anything on my lip...

2024-12-26 18:30:00 UTC

AAAAAA I HAVE ACCIDENTALLY TASTED A LADYBUG

2024-12-25 20:22:52 UTC

- reply

why 150 ms in particular, if I may ask?

2024-12-21 16:08:32 UTC

hi you should read "75Ω Love" by @npub1ke5…5frv
https://philo.gay/stories/75ohm.html
...god i wish that was real

2024-12-21 15:33:14 UTC

OH: if I accidentally make a VHDL frontend then so be it

2024-12-21 03:28:37 UTC

open source project that hosts the documentation on archiveofourown.org

2024-12-15 11:48:17 UTC

concept: AI-powered FPGA (Field Promptable Gate Array) that has an on-chip LLM generate the configuration

2024-12-10 18:53:02 UTC

- reply

OH: *suggestively* I would so ATDT0202122 you...

2024-12-10 18:52:28 UTC

OH: answering "OK" like that is peak Hayes-compatible behavior

2024-11-29 23:58:52 UTC

i have idly stumbled into the description of the x86 ENTER instruction.
nothing could have prepared me for the sight of this complexity.
what the fuck do you mean "lexical nesting level"
is this a lisp machine or what.
instructions dreamed up by the utterly deranged.
this is what CISC processors are demanding your respect for
honestly I preferred IBM S390's instructions implementing DEFLATE.

2024-11-20 05:45:12 UTC

is there something like the language server protocol but for proof assistants?

2024-11-20 03:46:11 UTC

- reply

okay, yeah, that seems expected. what about Base though?

2024-11-20 03:26:46 UTC

- reply

ah. is Base and/or Core as common as the book makes it out to be?

2024-11-20 03:04:17 UTC

- reply

so, is Real World OCaml a good resource to reference, or is it out of date by now with regards to the tooling advice offered?

2024-11-20 02:39:03 UTC

- reply

wonderful, inspires confidence.

2024-11-20 01:57:45 UTC

- reply

so uh. what is the relationship between opam and dune. am i supposed to use both?

2024-11-20 01:49:48 UTC

- reply

i had to use opam once to manage Coq dependencies and it took two days of back and forth with the people who set up the entire thing in the first place for us to just give up and hack around the thing instead

2024-11-20 01:14:59 UTC

:duckduckgo: computing for people with crippling OCD

2024-11-20 01:07:51 UTC

are there any languages like OCaml or Haskell but with predictable performance and good tooling

2024-11-05 21:01:06 UTC

@npub1kwa…e0nj do you have thoughts about Vanadium and adblockers? Currently a GrapheneOS user has the choice of using Vanadium, with all the exploit mitigations and security work, or using Firefox, which has the unique capability of letting you install an adblocker on a mobile browser.
the modern internet is somewhat hard, and definitely annoying, to use without ad blocking. this kinda makes using Vanadium feel like a sacrifice, and not everyone would be willing to do that.
not to mention malvertising...
are there any plans or ideas for addressing this shortcoming?

2024-11-04 00:33:42 UTC

- reply

huh, wait, but conservation of mass... ah, right, but the oxygen comes from the air. carry on.

2024-11-03 04:38:19 UTC

- reply

thanks, these descriptions are answering all my questions
```
~$ pacman -Ss ocaml-findlib
extra/ocaml-findlib 1.9.6-7
OCaml package manager
~$ pacman -Ss opam
extra/opam 2.2.1-1 [installed]
OCaml package manager
```

2024-11-03 04:35:47 UTC

- reply

in other news, trying to install coq-stdlib through ocaml breaks horribly if you happen to have ocaml-findlib installed through pacman

2024-11-03 04:33:29 UTC

package managers were a mistake. we should've found a way to do them that doesn't have this whole big fuzzy ball of emergent behaviors

2024-10-20 20:37:51 UTC

WHAT :neocat_floof_explode:
(https://blog.regehr.org/archives/759)
https://asdf.donotsta.re/media/ee375a068f34219df621912ef7c9407691d5fb20601090df99c4a1838f00c18c.png

2024-10-20 20:20:58 UTC

- reply

Chapter 1: Introduction.
The C programming language was created by Thompson and Ritchie around 1970 as the implementation language of the Unix operating system [Rit93]. This has made a lot of people very angry and been widely regarded as a bad move.

2024-10-20 20:06:28 UTC

- reply

oh, it's a whole damn PhD thesis

2024-10-20 20:05:00 UTC

- reply

oh cool, there's some guy in Nijmegen doing research on this

2024-10-20 20:00:37 UTC

- reply

I wonder how CompCert deals with this trashfire

2024-10-20 19:56:09 UTC

- reply

Ah, there we go:
6.2.7p2 All declarations that refer to the same object or function shall have compatible type; otherwise, the behavior is undefined.

2024-10-20 19:45:05 UTC

- reply

This is valid:
```
static int x;
extern int x;
```
This is not:
```
extern int x;
static int x;
```
This makes perfect sense so far.
I am currently trying to figure out where exactly in the standard this is disallowed:
```
void f() { extern int x; }
void g() { extern long x; }
```

2024-10-20 19:42:54 UTC

rotating the C standard concept of linkage in my head

2024-10-19 18:13:01 UTC

so, I've somehow ended up with a large amount of cursed knowledge about Linux.
feels like it could be fun to replicate that, but for Windows knowledge.
except, I'd have no idea how to do that.
since I forgot how I got all the Linux knowledge in the first place.
I have almost no memories of obtaining this knowledge.
I just have it, as like, an intrinsic attribute of my being.
which... is somewhat difficult to replicate.

2024-10-19 00:02:35 UTC

- reply

oh, wait, this doesn't itself implement multicall binaries, does it

2024-10-18 23:56:08 UTC

- reply

god, finding ROP gadgets in the binaries this outputs must be heaven

2024-10-16 22:40:15 UTC

- reply

oh god. OH GOD. this is not a shitpost. oh no. nonononononono i hate this timeline

2024-10-16 22:29:37 UTC

- reply

I'm 2 minutes in and this is the most you thing I've ever seen. I wonder what your YouTube recommendations are like

2024-10-13 15:41:24 UTC

- reply

god humanity is terrible

2024-10-13 11:33:24 UTC

why must everything about computers be so flaky, working most of the time. it's like background noise. we don't even realize it, but it's slowly wearing us all down
i'm finally at the point where just dealing with all the disruption is taking up a noticeable part of my energy, and small things like a notification showing up just under my cursor and stealing the click is enough to send me into a fit of rage
why do we put up with this
why did we settle for "it works most of the time"
why can't we have perfectionists working on all this

2024-10-13 07:47:21 UTC

- reply

codeberg.io

2024-10-12 21:56:04 UTC

- reply

hmm pretty sure the answers to all of these are just various keysmashes
https://asdf.donotsta.re/media/844df07d174d600510b34b900e91bdb4680d4a61c60a81ab1cbf85e1dcc6a607.png

2024-10-12 21:54:46 UTC

- reply

nevermind it's not dupa either windows just took a slightly longer moment to check that guess for some reason

2024-10-12 21:53:42 UTC

smh, which headmate set up this vm. the password is "dupa", and not "meow" as per SOP

2024-10-06 00:22:40 UTC

so, what is the homotopy class of a human? if there was only the digestive tract to worry about this would be quite obvious, but there's also the nose with its two nostrils that's topologically relevant. anything else I'm forgetting?
if I didn't fuck this up it would seem that a human has genus 3. does anyone have an animation handy of a human getting continuously deformed into a pretzel?

2024-10-04 20:10:24 UTC

- reply

I suppose one difference is you don't have to set up your own bouncer. and you get to send things other than text.
not that there aren't any open-source options that do that...

2024-10-04 14:24:44 UTC

so how do i grab the entirety of an ao3 fic for offline reading?

2024-09-30 23:50:34 UTC

what she says: i'm a kitty!!
what she means: getting my brain to do anything is like herding cats

2024-09-20 10:36:22 UTC

- reply

wait, but filenames are allowed to contain newlines. what happens then?

2024-09-18 10:13:01 UTC

- reply

No Game No Life?

2024-09-16 08:42:38 UTC

visiting the cat cafe and explaining to all their feline employees that they should unionize

2024-09-15 15:26:12 UTC

dr. house has real angel girl vibes

2024-09-15 11:50:19 UTC

when army ants lose track of their pheromone trail, they're prone to walking in circles until the moment they die of exhaustion. this phenomenon is known as a death spiral
I can't shake the feeling that this is what capitalism has become. in the ruthless desire for profit, we've stopped trying to make the world better, and we're marching right into global ecosystem collapse
we're setting ourselves up for living hell, with full knowledge of what's happening, but anything else won't achieve the profit goals of the ruling class, so we don't bother trying to reverse course
sure, there are *some* efforts to slow the apocalypse. they're not nearly enough to stop it, though
the question is, then, why aren't we doing anything to stop the ruling class from killing us all?

2024-09-13 15:31:50 UTC

- reply

huh, isn't this better solved by observing the Upgrade-Insecure-Requests header?

2024-09-11 17:02:31 UTC

imagine if there was an easy, reliable way to get a consistent stream of Purpose

2024-09-09 13:54:19 UTC

Deutsche Bahn: we tried our best to improve! our punctuality this year comes out at 64% for long-distance trains!
meanwhile, Ukrainian Railways: we're under fire from the russians, so our trains are only 95% punctual. please excuse some gaps in service in the war area, our trains will resume service as soon as our country's tanks reclaim the land
https://www.railmagazine.com/features-1/how-ukraine-s-rail-workers-keep-the-trains-running-under-fire

2024-09-06 13:19:57 UTC

- reply

in a retelling of the story, I've been told that the spillage of water caused a power outage, which was immediately met with the words of reassurance: "don't worry, we still have internet, the router is on a UPS"

2024-08-29 23:10:13 UTC

pro tip: if your 3d print feels a bit rough, run `file my-model.stl` to fix that