Maya :3 @meithecatte

standard-issue programmer catgirl · |she/her⟩ + |it/they⟩ · irredeemably genderfucked · slut for abstraction and bit-wrangling · alleged math nerd compilercrim.es The abstract platonic realm Joined May 2017

Tweets

4K
Followers

533
Following

190
Likes

15K

Erika (rrika9 on 🦋) @rrika9

3 years ago

does anyone know a typesetting system that supports patches? one that remembers where it put all the line/page breaks and can redo specific modified pages in a way that is seamless with those around it?

0 1 1 631 1

View Details

Maya :3 @meithecatte

3 years ago

@KakyoinToGej @serialismus nie jest legalne, jedynie zdekryminalizowane. tbh nie rozumiem czemu pierwsze skojarzenie każdego to zioło... government.nl/topics/drugs/t…

0 0 4 1K 0

View Details

Maya :3 @meithecatte

3 years ago

@thingskatedid the general recommendation I've heard is "take a look at the DIVA diagnostic manual and see how much it's calling you out" (if you find yourself unable to focus on the questions that's an automatic pass /hj)

0 0 2 78 0

View Details

Maya :3 @meithecatte

3 years ago

@lethalbit b-but... what if there's null bytes on that floppy? 🥺

0 0 0 14 0

View Details

Maya :3 @meithecatte

3 years ago

@rose_bohrer @__phantomderp Wouldn't that just mean sizeof(word_t) == 1?

0 0 0 51 0

View Details

Maya :3 @meithecatte

3 years ago

@arntzenius if you call your HOF with f as argument, make f an input to the incremental computation, have an intermediate query that asks for the value of f at a specific point, invalidate the input f every time you call your HOF. this does get ugly if you have reentrancy though

0 0 0 47 0

View Details

Maya :3 @meithecatte

3 years ago

@arntzenius there is a certain isomorphism between the implementation strategies, though

0 0 0 17 0

View Details

Maya :3 @meithecatte

3 years ago

@arntzenius question is, whether you're memoizing because the HOF does expensive computations, or because you're applying it to expensive functions. but for the latter you'd just put the memoization on the first-order function, no?

1 0 1 33 0

View Details

Maya :3 @meithecatte

3 years ago

@arntzenius okay, I might have brained myself in how close the thing is, because I'm not sure they actually use this with higher-order functions anywhere, but it's basically the same idea – record the queries your HOF makes of the passed-in function, run them in the same order and compare

1 0 1 32 0

View Details

Maya :3 @meithecatte

3 years ago

@punsnparticles In Zathura, this is Ctrl+O.

0 0 0 449 0

View Details

Maya :3 @meithecatte

3 years ago

@lethalbit perhaps this could tell you something about where it's stuck github.com/tokio-rs/conso…

0 0 1 39 0

View Details

Lior Halphon 🇮🇱 @LIJI32

3 years ago

Each major Game Boy hardware component's buggiest feature: PPU: The window APU: Channel 1 frequency sweep CPU: The STOP instruction OAM: Remaining idle without corrupting itself

0 4 26 2K 0

View Details

Maya :3 @meithecatte

3 years ago

@Myriachan on the Game Boy, the term of choice is "echo RAM"

0 0 1 55 0

View Details

Maya :3 @meithecatte

3 years ago

@Yoski03 @CihanPostsThms Okay, but if you don't have a proof, there's absolutely no reason to call the value your program outputs "BB(47)".

0 0 0 16 0

View Details

Maya :3 @meithecatte

3 years ago

@Yoski03 @CihanPostsThms There is no algorithm to simply compute the value of BB(47), by construction.

0 0 0 27 0

View Details

Maya :3 @meithecatte

3 years ago

@Yoski03 @CihanPostsThms There is no deterministic process of finding the value of BB(47). You just analyze all the machines and try to prove they don't terminate or find a way to execute them faster than the naive algorithm. You can apply various techniques to discharge the easy cases, but still.