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

#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

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

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

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

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

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

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

I’m working from a huge Tokyo office this week

what an unfortunate day to be experiencing complex microarchitectual conditions

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

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.

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!!!!"

Me reverse engineering: Haha fuck yeah!!! Yes!! Me engineering: Well this fucking sucks. What the fuck.

Subway Incident by 0b5vr 4KB Executable Graphics Appeared in Operator Digitalfest 2026 www.pouet.net/prod.php?whi... www.shadertoy.com/view/lcV3RW

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

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

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

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

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

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

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

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)

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/🧵

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

several iterations later, I’m now studying concurrent separation logic

>Following the seminal “Smoking Adjoint” paper by Giles and Glasserman, the what now?

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.

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

“Transpiler, a meaningless word” people.csail.mit.edu/rachit/post/... thank you for speaking the truth

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

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

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?

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

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?

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

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

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

"Return of the Obra Dinn" is seven years old this week. For this not-particularly-special anniversary, here's a re-cammed and narrated timelapse of (nearly) all character creation, object modeling, scene posing, and general 3D work for Obra Dinn from 2015 to 2018: youtu.be/90vqCKEEj3s