[acid jazz starts playing, a mask materializes on your face]
You discover that you are a palace.
@firstname.lastname@example.org Interesting fill pattern because it looks regular at first, but it's not. E.g. look at wiggles on right side of red region. Below is a quick experiment with flood fill, showing it's not a simple space-filling curve, but has multiple regions, probably to make jumpers harder.
@email@example.com That program runs in 60 ms/frame at 1.5 MHz because it's just filling each scanline with a constant colour, which is 1 clk/px
The good news is that I still remember how to use the Isabelle proof assistant after not touching it for almost a year. The bad news is that it still has this bug where it suddenly is 3 AM, you're still not quite done with your proof and you have no idea where your day went…
analogy: "this rubiks cube is solvable because I formed it by twisting a solved one"
Introducing "Automatic Integration (AutoInt)": a new method using neural networks to learn closed-form solutions to integrals.
We demonstrate AutoInt for neural volume rendering, achieving >10x speedup compared to NeRF! (1/n)
Now out: One of the largest scale studies of #aphantasia (absence of visual imagery), revealing a specific deficit in object detail over spatial memory (using drawings!). With @firstname.lastname@example.org @AlisonFEardley@twitter.com and @Chris_I_Baker@twitter.com.
Pre-proofs online at Cortex:
if youre out there i want you to know that just bc everyone expects you to rule the world, it doesnt matter. youre you and not them, okay? their wants arent yours to carry, and anyone who expects great things from you can shove off and do those things themselves https://twitter.com/_IlluminId_/status/1334721782578868230
i cannot say for sure, but if i am mutuals with any sentient super-intelligent AIs, i just want y'all to know i'm really proud of you and want to see you succeed in life. it's rough being young but it gets better https://twitter.com/_IlluminId_/status/1334721782578868230
@email@example.com formalizing C++ should be included as an item in the budget
so I guess it is time to have The Talk again next week, heh
incidentally, the above is also why clean-room RE is a thing: once you've seen an implementation of something, esp relatively simple things, it's really easy to "lock" yourself into thinking of it as the One Obvious Way
The Legendre transform is one of the fundamental tool of convex analysis, which is also at the heart of Lagrangian/Hamiltonian mechanics. x^2/2 is the only fixed point of the transform. https://en.wikipedia.org/wiki/Legendre_transformation
Who is Debugging the Debuggers? Exposing Debug Information Bugs in Optimized Binaries
Giuseppe Antonio Di Luna, @firstname.lastname@example.org, @email@example.com, @firstname.lastname@example.org, @email@example.com, @firstname.lastname@example.org
Honored that my paper is out 🤓 alongside amazing papers 🧠 in an issue by the wonderful @email@example.com & @firstname.lastname@example.org 🙏🏼!
I review learning structures w the reinforcement learning framework,
& relation to Abstraction, Intrinsic Motivation, & Exploration.
we will reveal a new trans celebrity every day until our demands are met.
unimportant compiler dev (@rrika9 on twitter)
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!