Erika's Avatar

Erika

@rrika9.bsky.social

GPU compiler dev, reverse engineer, mostly in Glasgow

514 Followers  |  208 Following  |  348 Posts  |  Joined: 16.04.2023
Posts Following

Posts by Erika (@rrika9.bsky.social)

Post image

I'm having Claude port a 4000-line rocq proof I wrote from nat to Z. it seems competent

06.03.2026 04:49 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

#badprogrammingadvice every python method you don't need can implicitly function as a bool, as functions are truthy and self.method = False shadows the method

04.03.2026 17:29 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image Post image

UNESCO listed Golestan Palace (which predates the princeling and his grandfather's pretense to the throne) before and after US/Israeli liberation efforts

02.03.2026 19:42 β€” πŸ‘ 51    πŸ” 24    πŸ’¬ 1    πŸ“Œ 8
Post image

ASN: AS36352
Location: Buffalo, US
Added: 2026-02-20T00:32

#shodansafari #infosec

21.02.2026 05:00 β€” πŸ‘ 564    πŸ” 192    πŸ’¬ 2    πŸ“Œ 6

my hope was that I could skip writing my own renderer for rich-text tweets but it turns out nitter doesn't actually implement those. still a good exercise

19.02.2026 07:41 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image

I've been playing with the idea of using nitter as a frontend for my local twitter archive. instead of my own API I have to implement twitter's graphql one for this to work. first time I've touched nim code ever

19.02.2026 07:39 β€” πŸ‘ 5    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

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

28.10.2025 02:16 β€” πŸ‘ 0    πŸ” 1    πŸ’¬ 1    πŸ“Œ 0
Preview
Nanite Tessellation Nanite Tessellation, aka Nanite Dynamic Tessellation, aka Nanite Dynamic Displacement was the next major feature I worked on after Nanite it...

I'm finally writing up how Nanite Tessellation works. The first few blogs posts are up. More will be coming.
graphicrants.blogspot.com/2026/02/nani...

02.02.2026 02:40 β€” πŸ‘ 160    πŸ” 51    πŸ’¬ 1    πŸ“Œ 1

was epstein uniquely responsible for evil or is he just the one obscenely wealthy person whose emails we're getting to read

01.02.2026 04:06 β€” πŸ‘ 3739    πŸ” 1096    πŸ’¬ 32    πŸ“Œ 22

I’m working from a huge Tokyo office this week

30.01.2026 04:43 β€” πŸ‘ 11    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

what an unfortunate day to be experiencing complex microarchitectual conditions

24.01.2026 12:59 β€” πŸ‘ 6    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
example gaboronoi

example gaboronoi

Assuming uniform weights and frequencies, and random colors and anisotropy directions, this is what an example gaboronoi diagram would look like.

04.01.2026 01:32 β€” πŸ‘ 8    πŸ” 2    πŸ’¬ 0    πŸ“Œ 0
Post image Post image

Learned of a nasty DX9 gotcha I was previously unaware of: when using the Shader Model 2.0, the fog is still applied by the fixed-function pipeline, but with Shader Model 3.0, it's not! This "broke" rendering when I downgraded a few shaders from 3.0 to 2.0 for compatibility.

21.01.2026 12:40 β€” πŸ‘ 23    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0

like i guess the strat would be to use these guys as human shields basically--blockade taiwan, put up the great fishing boat barrier, dare anyone to run it--and then if you do fire on the fishing boats, "that's an unprovoked attack on civilians how dare you!!!!"

18.01.2026 18:51 β€” πŸ‘ 98    πŸ” 6    πŸ’¬ 4    πŸ“Œ 0

Me reverse engineering: Haha fuck yeah!!! Yes!!

Me engineering: Well this fucking sucks. What the fuck.

03.12.2024 18:59 β€” πŸ‘ 481    πŸ” 98    πŸ’¬ 4    πŸ“Œ 4
A 3DCG rendered image of a dark subway corridor

A 3DCG rendered image of a dark subway corridor

Subway Incident by 0b5vr
4KB Executable Graphics
Appeared in Operator Digitalfest 2026

www.pouet.net/prod.php?whi...
www.shadertoy.com/view/lcV3RW

17.01.2026 09:34 β€” πŸ‘ 37    πŸ” 14    πŸ’¬ 2    πŸ“Œ 1

doesn’t every approximation times a high enough integer eventually drift into a different quadrant?

09.01.2026 17:20 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

2020s: AI "System Prompts" are lengthy, carefully constructed sets of expert rules about a particular domain, created by "prompt engineers".

1980s: AI "Expert Systems" were lengthy, carefully constructed sets of expert rules about a particular domain, created by "knowledge engineers".

01.01.2026 20:59 β€” πŸ‘ 147    πŸ” 30    πŸ’¬ 9    πŸ“Œ 3
A teaser figure showing the process of metamers rendered differentially (MRD). Target scene parameters are used to render a target scene. A new scene is initialized from some starting point, and renders are created from this scene. The loss between the initial and target scenes is measured. MRD allows the gradients wrt the loss to be propagated to the scene parameters (e.g. lighting, geometry or material) for gradient-based optimization.

A teaser figure showing the process of metamers rendered differentially (MRD). Target scene parameters are used to render a target scene. A new scene is initialized from some starting point, and renders are created from this scene. The loss between the initial and target scenes is measured. MRD allows the gradients wrt the loss to be propagated to the scene parameters (e.g. lighting, geometry or material) for gradient-based optimization.

Legit super excited about this work coming out. My amazing doctoral student @ben.graphics has been working on an idea to use physically based differentiable rendering (PBDR) to probe visual understanding. Here, we generate physically-grounded metamers for vision models. 1/4

arxiv.org/abs/2512.12307

17.12.2025 21:17 β€” πŸ‘ 53    πŸ” 15    πŸ’¬ 4    πŸ“Œ 3

(the discover feed has this)

31.12.2025 09:56 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Screenshot of a dungeon room from Eldritch 2 in the game's level editor.

Screenshot of a dungeon room from Eldritch 2 in the game's level editor.

For today's Eldritch 2 devlog, I wrote a bit about my in-game level editor and the process of building dungeon rooms. Including drawing navmesh by hand, for reasons!

www.dphrygian.com/wordpress/?p...

19.12.2025 21:30 β€” πŸ‘ 28    πŸ” 7    πŸ’¬ 0    πŸ“Œ 0
Preview
GitHub - ritsuro/PrincessMaker2xPC9801 Contribute to ritsuro/PrincessMaker2xPC9801 development by creating an account on GitHub.

what do you mean "the near-complete source code to Princess Maker 1 and 2 was quietly uploaded to GitHub a few months ago and nobody noticed"

github.com/ritsuro/Prin...
github.com/ritsuro/Prin...

20.12.2025 21:28 β€” πŸ‘ 534    πŸ” 272    πŸ’¬ 4    πŸ“Œ 5
Uncharted 4 - Rock Physics
YouTube video by HermosaBeachJoe Uncharted 4 - Rock Physics

www.youtube.com/watch?v=qkbB...

20.12.2025 16:10 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
The Cost Of a Closure in C I had a vague idea that closures could have a variety of performance implications; I did not believe that so many of the chosen and potential designs for C and C++ extensions ones, however, were so…

As it turns out? Not all closures have the same design.

It means they all don't perform the same under various usages, either! A quick dive into the performance differences of Closures in C, using an old Donald Knuth program.

The Cost of a Closure in C | The Pasture | thephd.dev/the-cost-of-...

11.12.2025 14:55 β€” πŸ‘ 27    πŸ” 5    πŸ’¬ 2    πŸ“Œ 0

I thought this was about the emotional toll of leaving C behind…

11.12.2025 15:53 β€” πŸ‘ 6    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Portals must bend gravity, actually
YouTube video by optozorax Portals must bend gravity, actually

the latest video on portal gravitational potentials is _much_ more interesting www.youtube.com/watch?v=DydI...

11.12.2025 08:12 β€” πŸ‘ 22    πŸ” 1    πŸ’¬ 1    πŸ“Œ 0

Free my memory? But some of those allocations were real classics. I can't just discard them like that.

24.11.2025 12:55 β€” πŸ‘ 5    πŸ” 1    πŸ’¬ 1    πŸ“Œ 0

a few years ago I was profiling performance on a 64(?) core machine that was far below expected and traced it back to pages being zeroed on demand. I’m not sure what I did after though

30.11.2025 02:28 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Video thumbnail
29.11.2025 14:28 β€” πŸ‘ 776    πŸ” 138    πŸ’¬ 8    πŸ“Œ 1

Everyone is laughing at you in the group chat man. They're saying you don't even formally verify your code

24.11.2025 06:36 β€” πŸ‘ 49    πŸ” 1    πŸ’¬ 1    πŸ“Œ 0