Lines and Points are Circles

A space can be compactified by adding a point at infinity. The point of this abstraction, as with abstraction in general, is not so much generalization as unification.

Visual Programming, Functions, Copilot

Visual programming languages have not taken off in the mainstream. Languages like Scratch and Logo have mostly been known as educational tools and not for “serious” programming.

infinitesimals to atiyah singer

i learned some nonstandard analysis and clifford algebra, mostly through david hestenes’s ‘geometric algebra’.

The Soviet Dream I Miss

The youth of our region is gifting you, the young ones of the 21st century, with Koryazhma that has been turned from a small village into a modern town within ten years, Severdodvinsk that we built on land that used to be swamps, and the colossal wood industry of the North: Kotlass, Solombal and Arkhangelsk factories. We know that you will have better lives than us,” the letter continues. “You will do great things in our galaxy, will make our planet great. We are a little jealous of all you who are celebrating the centenary of our Soviet motherland. But we also know that you will be a little jealous of our restless young generation. We have a clear aim, a great future ahead of us and lots of things to accomplish. We have things that we can invest out hearts, brains, energy and labour in, and this is the source of our happiness.

hyperbolica

why don’t we have video game engines that can do full riemannian geometry? would be so cool. hyperbolica should be more common. don’t you all want to see what lines could look like?

Random Thought: LC Theorem

The PACELC theorem seems awfully named to me.

I finally have an answer to "who's your favorite singer?"

Nusrat Fateh Ali Khan.

My Top Tip for Helping People Get Started Programming

Set up their shell, PATH, and dependencies. Have them use VS Code, and if there’s any tooling issues, tell them you’ll fix it. Saves months of frustration and time. Learning that stuff up front sucks.

GPT-f

My main thought about papers like this is how it affects my own future lines of inquiry. Makes me lean into “cleverness” areas more since I currently lack the compute to do this style of inquiry. I expect other researchers have run it through their own internal calculus too.

Random paper on angles

You can define angle in any Hilbert space as the arccos of the inner product over product of norms. I was wondering about doing it in Banach spaces (like \(C[0,1]\)).

An Image is Worth 16x16 Words

Transformer gives you function \(F: [X] \to [Y]\). Anything that can be totally ordered can be learned. So it’s pretty general.

Random stuff

I just made the slug for these URLs random since I’m sick of caring about them. Search is good enough to not have to care.

Lossless Data Compression with Neural Networks by Fabrice Bellard

Unknown among my community, Fabrice Bellard is someone I aspire to be a third as productive as.

Downscaling Numerical Weather Models With GANs (My CI 2019 Paper)

I saw some people on Twitter recently talking about work that’s similar to stuff I’d done last year (~April 2019). For a moment, I felt annoyance that I wasn’t cited, but then that quote about standing on each other’s shoulders and not each others’ toes came to mind, so I decided to blog about the paper since my marketing clearly wasn’t good enough.

Learning Differential Forms and Questions

After years of putting it off, I finally prepaid a tutor to force me to actually read about differential forms.

PyTorch Lightning is worth using

The one PyTorch framework that doesn’t drown me in bureaucracy, though it’s buggy as hell since features seem to be added with about 10 seconds of consideration.