Erika
@rrika9.bsky.social
GPU compiler dev, reverse engineer, mostly in Glasgow
Pinned
Erika
@rrika9.bsky.social
· Nov 10
as you may have seen on Twitter, I'm researching the Deus Ex: Human Revolution engine. I started around 2014 but the first progress I showed publicly was these two screenshots of DXHR maps loaded into blender in 2020
Reposted by Erika
Everyone is laughing at you in the group chat man. They're saying you don't even formally verify your code
November 24, 2025 at 6:36 AM
Everyone is laughing at you in the group chat man. They're saying you don't even formally verify your code
I've previously shown this cube2 → quake map converter but the same code-base also had readers/writers for Source engine map files and Neon Struct levels, as well as associated material formats.
(images are: test map in tesseract (cube2), same in hammer, neon struct intro level in cube2)
(images are: test map in tesseract (cube2), same in hammer, neon struct intro level in cube2)
November 27, 2025 at 4:49 PM
I've previously shown this cube2 → quake map converter but the same code-base also had readers/writers for Source engine map files and Neon Struct levels, as well as associated material formats.
(images are: test map in tesseract (cube2), same in hammer, neon struct intro level in cube2)
(images are: test map in tesseract (cube2), same in hammer, neon struct intro level in cube2)
Reposted by Erika
We're excited to announce that Bluesky PBC included us in a round of grants to help foster the ATmosphere! Their generous grant will support infrastructure costs for Bridgy Fed and Bounce.
We're so lucky to be included among so many phenomenal builders 🙏🏼
Here are a few we're excited about:
1/🧵
We're so lucky to be included among so many phenomenal builders 🙏🏼
Here are a few we're excited about:
1/🧵
November 26, 2025 at 5:59 PM
We're excited to announce that Bluesky PBC included us in a round of grants to help foster the ATmosphere! Their generous grant will support infrastructure costs for Bridgy Fed and Bounce.
We're so lucky to be included among so many phenomenal builders 🙏🏼
Here are a few we're excited about:
1/🧵
We're so lucky to be included among so many phenomenal builders 🙏🏼
Here are a few we're excited about:
1/🧵
for code that’s grown over time with many if-s for various scenarios I think would be a good idea to have a workflow where the special cases can be stripped out automatically and the resulting file checked into version control alongside
November 26, 2025 at 7:01 PM
for code that’s grown over time with many if-s for various scenarios I think would be a good idea to have a workflow where the special cases can be stripped out automatically and the resulting file checked into version control alongside
💭 video codec that does "film grain synthesis" for GIF dither artifacts, so they can faithfully reconstructed.
it would have to figure out the dither matrix/error diffusion matrix, and then hallucinate some gradients that quantize to the original image
it would have to figure out the dither matrix/error diffusion matrix, and then hallucinate some gradients that quantize to the original image
November 23, 2025 at 4:02 AM
💭 video codec that does "film grain synthesis" for GIF dither artifacts, so they can faithfully reconstructed.
it would have to figure out the dither matrix/error diffusion matrix, and then hallucinate some gradients that quantize to the original image
it would have to figure out the dither matrix/error diffusion matrix, and then hallucinate some gradients that quantize to the original image
several iterations later, I’m now studying concurrent separation logic
found a legit use-case for petri nets at my job. now I'm evaluating what it'd take to write a model checker
November 20, 2025 at 7:03 PM
several iterations later, I’m now studying concurrent separation logic
Reposted by Erika
>Following the seminal “Smoking Adjoint” paper by Giles and Glasserman,
the what now?
the what now?
May 30, 2025 at 4:43 PM
>Following the seminal “Smoking Adjoint” paper by Giles and Glasserman,
the what now?
the what now?
Reposted by Erika
I had a friend who burned out from FB years ago when she was asking around for help with an undocumented GPU behavior and the developers at Nvidia referred her to herself. I heard she makes dresses now after divesting her shares.
November 16, 2025 at 3:58 PM
I had a friend who burned out from FB years ago when she was asking around for help with an undocumented GPU behavior and the developers at Nvidia referred her to herself. I heard she makes dresses now after divesting her shares.
Reposted by Erika
Doctor says, 'Dont worry, parser design is simple. Great programmer Kate Compton has written the parser you seek’
November 16, 2025 at 2:44 PM
Doctor says, 'Dont worry, parser design is simple. Great programmer Kate Compton has written the parser you seek’
💭 WYSIWYG in the other direction: what you grab is what you manipulate
November 15, 2025 at 7:45 AM
💭 WYSIWYG in the other direction: what you grab is what you manipulate
Reposted by Erika
Reposted by Erika
“Transpiler, a meaningless word”
people.csail.mit.edu/rachit/post/...
thank you for speaking the truth
people.csail.mit.edu/rachit/post/...
thank you for speaking the truth
Transpiler, a meaningless word | Rachit Nigam
people.csail.mit.edu
November 13, 2025 at 6:46 PM
“Transpiler, a meaningless word”
people.csail.mit.edu/rachit/post/...
thank you for speaking the truth
people.csail.mit.edu/rachit/post/...
thank you for speaking the truth
Reposted by Erika
I didn't participate, but us golfers wondered why Google organized this. did they want a corpus of highly golfed Python? the task was to write 400 golfed functions to solve ARC-AGI grid transform problems. here's the top team's solutions: github.com/Seek64/NeurI...
github.com
November 12, 2025 at 8:33 PM
I didn't participate, but us golfers wondered why Google organized this. did they want a corpus of highly golfed Python? the task was to write 400 golfed functions to solve ARC-AGI grid transform problems. here's the top team's solutions: github.com/Seek64/NeurI...
Reposted by Erika
just learned python typing invented a new kind of voldemort type, one which when named doesn't actually name it
`float` and `int` are two distinct types
but if you write `x: float` that actually means `x: float | int`. but if you write `x: float | int` that means `x: float | int | int`...
`float` and `int` are two distinct types
but if you write `x: float` that actually means `x: float | int`. but if you write `x: float | int` that means `x: float | int | int`...
November 11, 2025 at 1:58 PM
just learned python typing invented a new kind of voldemort type, one which when named doesn't actually name it
`float` and `int` are two distinct types
but if you write `x: float` that actually means `x: float | int`. but if you write `x: float | int` that means `x: float | int | int`...
`float` and `int` are two distinct types
but if you write `x: float` that actually means `x: float | int`. but if you write `x: float | int` that means `x: float | int | int`...
Reposted by Erika
1/3
While reverse engineering loads of games, you start to see patterns. A big mistakes many devs made in the last 20yrs is decoding Bink videos as BT601 instead of BT709
Likely due to Bink docs not being updated from early 2000s
Mafia III has ~40m of videos, which one looks right to you?
While reverse engineering loads of games, you start to see patterns. A big mistakes many devs made in the last 20yrs is decoding Bink videos as BT601 instead of BT709
Likely due to Bink docs not being updated from early 2000s
Mafia III has ~40m of videos, which one looks right to you?
November 2, 2025 at 5:10 AM
1/3
While reverse engineering loads of games, you start to see patterns. A big mistakes many devs made in the last 20yrs is decoding Bink videos as BT601 instead of BT709
Likely due to Bink docs not being updated from early 2000s
Mafia III has ~40m of videos, which one looks right to you?
While reverse engineering loads of games, you start to see patterns. A big mistakes many devs made in the last 20yrs is decoding Bink videos as BT601 instead of BT709
Likely due to Bink docs not being updated from early 2000s
Mafia III has ~40m of videos, which one looks right to you?
the AI in browsers we get: shortcut for copy-paste into claude
the AI in browsers we deserve: operates a manga reader automatically and saves images in best quality
the AI in browsers we deserve: operates a manga reader automatically and saves images in best quality
November 6, 2025 at 8:49 PM
the AI in browsers we get: shortcut for copy-paste into claude
the AI in browsers we deserve: operates a manga reader automatically and saves images in best quality
the AI in browsers we deserve: operates a manga reader automatically and saves images in best quality
Reposted by Erika
what distance, on average, does a ray have to travel from a point (x,y) inside a [-1 to 1] unit cube, in order to exit?
October 29, 2025 at 6:48 PM
what distance, on average, does a ray have to travel from a point (x,y) inside a [-1 to 1] unit cube, in order to exit?
Reposted by Erika
Removing obfuscation in Java Edition https://www.minecraft.net/en-us/article/removing-obfuscation-in-java-edition
October 29, 2025 at 3:42 PM
Removing obfuscation in Java Edition https://www.minecraft.net/en-us/article/removing-obfuscation-in-java-edition
Thoughts on bsky moderation (the delegation system itself):
Say A harasses B.
Minimum leverage is to deny them access to B.
Maximum leverage is to deny them access to everyone else
The current system is former where B takes action to self-protect and A picks a new victim. 1/6
Say A harasses B.
Minimum leverage is to deny them access to B.
Maximum leverage is to deny them access to everyone else
The current system is former where B takes action to self-protect and A picks a new victim. 1/6
October 28, 2025 at 5:41 PM
Thoughts on bsky moderation (the delegation system itself):
Say A harasses B.
Minimum leverage is to deny them access to B.
Maximum leverage is to deny them access to everyone else
The current system is former where B takes action to self-protect and A picks a new victim. 1/6
Say A harasses B.
Minimum leverage is to deny them access to B.
Maximum leverage is to deny them access to everyone else
The current system is former where B takes action to self-protect and A picks a new victim. 1/6
Reposted by Erika
if you want something fun to happen, run `c++filt _ZN8iloveyouIS_S_S_S_S_EIS0_S0_S0_S0_S0_EIS1_S1_S1_S1_S1_EIS2_S2_S2_S2_S2_EIS3_S3_S3_S3_S3_EIS4_S4_S4_S4_S4_EIS5_S5_S5_S5_S5_EIS6_S6_S6_S6_S6_EIS7_S7_S7_S7_S7_EIS8_S8_S8_S8_S8_EIS9_S9_S9_S9_S9_EE`
October 28, 2025 at 1:33 AM
if you want something fun to happen, run `c++filt _ZN8iloveyouIS_S_S_S_S_EIS0_S0_S0_S0_S0_EIS1_S1_S1_S1_S1_EIS2_S2_S2_S2_S2_EIS3_S3_S3_S3_S3_EIS4_S4_S4_S4_S4_EIS5_S5_S5_S5_S5_EIS6_S6_S6_S6_S6_EIS7_S7_S7_S7_S7_EIS8_S8_S8_S8_S8_EIS9_S9_S9_S9_S9_EE`
strange thing I just realized: when all phi arguments in a loop header are defined outside of the loop and loop conditions are not influenced by side effects, then the number of iterations is at most the number of header predecessors
October 28, 2025 at 2:16 AM
strange thing I just realized: when all phi arguments in a loop header are defined outside of the loop and loop conditions are not influenced by side effects, then the number of iterations is at most the number of header predecessors
Reposted by Erika
strongest mind in the history of compiler development howeve,r it is so fragile as to shatter at the lightest touch of a css layout issue
October 26, 2025 at 2:33 PM
strongest mind in the history of compiler development howeve,r it is so fragile as to shatter at the lightest touch of a css layout issue
