← Feed

Posts

• View post

  PoV: @bgpwtf@social.hackerspace.pl staff doing their best to work around a failed uplink RE: https://social.hackerspace.pl/@bgpwtf/117219960036186171

• View post

  so I've been writing some amaranth

• View post

  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

• View post

  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?

• View post

  @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

• View post

  pro tip: simply do not be in complex microarchitectural conditions

• View post

  it's a shame noone tried to coin a true translation of the term "clopen set" into Polish. I propose "zbiór domkwarty"

• View post

  there'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's beautiful. see e.g. https://www.imdb.com/title/tt0124819/

• View post

  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'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't managed to go to sleep yet. there's no classes for the rest of the week...

• View post

  honestly the amount of deadlines we're having at uni and the effort required to keep up would probably give me an anxiety disorder if i didn't already have one... but hey, I'm having fun :3

• View post

  current status: /dev/sda is keyboard

• View post

  @mwk: "if anyone asks, I did not say you're supposed to do it like that" 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:

• View post

  applying transdermal estradiol on your balls because it reportedly absorbs better is surely one of the weirdest ways of experiencing the "alcohol makes you feel warm" thing

• View post

  @cocoaphony@mastodon.social is this anything? https://github.com/tokio-rs/console

• View post

  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't be worth it to buy a monthly ticket for literally two direct trains total, and yet... #bahnbubble #duckduckfedi :boost_ok:

• View post

  Lesbian-Flavored Markdown

• View post

  TA who insists on never using any English loan words be like: sesbijska analiza leksykograficzna

• View post

  what do you think, would slopbox be considered liable for the damages if someone, in fact, trusts their AI chat as they suggest?

• View post

  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

• View post

  current status: Rust's new implementation of formatting internals non-deterministically prints garbage on specifically ATmega2560 due to what we've tracked down to be an LLVM bug (see also: https://xkcd.com/2083/)

• View post

  OH: I want this CellRef obliterated like a twink

• View post

  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

• View post

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

• View post

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

• View post

  okay quick question. is it okay if i just leave the motivation section of my paper at "look im autistic about constructive mathematics, plz no bulli"?

• View post

  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

• View post

  tired: Seattle polycule inspired: rustc polycule RE: https://donotsta.re/objects/af83f88d-406c-424b-be25-fb5659ac1784

• View post

  which is worst?

• View post

  OH: ladies, gentlemen, and the classically-excluded middle

• View post

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