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 π 0I'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 π 0UNESCO 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
ASN: AS36352
Location: Buffalo, US
Added: 2026-02-20T00:32
#shodansafari #infosec
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 π 0I'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 π 0strange 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
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
01.02.2026 04:06 β π 3739 π 1096 π¬ 32 π 22Iβm working from a huge Tokyo office this week
30.01.2026 04:43 β π 11 π 0 π¬ 0 π 0what an unfortunate day to be experiencing complex microarchitectual conditions
24.01.2026 12:59 β π 6 π 0 π¬ 0 π 0example 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 π 0Learned 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 π 0like 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.
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
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".
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
(the discover feed has this)
31.12.2025 09:56 β π 0 π 0 π¬ 1 π 0Screenshot 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...
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-...
I thought this was about the emotional toll of leaving C behindβ¦
11.12.2025 15:53 β π 6 π 0 π¬ 1 π 0the latest video on portal gravitational potentials is _much_ more interesting www.youtube.com/watch?v=DydI...
11.12.2025 08:12 β π 22 π 1 π¬ 1 π 0Free 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 π 0a 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 π 0Everyone 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