Viewing profile — pvillano

.STL files are the most common file format for 3D printing. STL is short for stereolithography, which is usually abbreviated SLA

One fun thing is that the camera is that the projection is perspective in the vertical axis and othographic in the horizontal axis. That's why "zooming out" is done by squashing th…

I think it would be more effective to create an entire blogging platform website. You can use drop-in JavaScript bot detection and proof of work. You can also capture the timing of…

I once had the strange experience of playing such a game. It was an "instant game" on Facebook Messenger, that simulated a slot machine casino. It didn't have a cash-out, so it was…

Could a network be trained to transform physics state directly into the latent state and back? Having a direct transformation would enable some interesting experiments. How is the …

It is a faster, lower fidelity model. but it's not JUST a faster, lower fidelity model. The new model can be queried in new ways. The encoding from the RenderMan scene into the neu…

Neural proxies are a constant-time approximator for anything. There's still difficulty in finding exactly where the proxy should go, i.e. what step can be approximated without losi…

I look forward to the coming era of human-optional formally verified programming competitions. I wonder what other optimization+verification problems are out there that will make g…

I really think that a genAI picture book is like a microwave dinner. You can try to pick out a good one, but a corporation has done most of the deciding for you. Ultimately, it wil…

AlphaGo, through self-play, found new strategies to beat the best human players. But now that anyone can play against AlphaGo, humans are learning these strategies. Deepmind is say…

Fully automated testing + revision loops are super cool and def something I want to play with And PBT is so close to language level invariants/preconditions/post-conditions that I …

You don't need to check the proof. A regular proof is written to convince other mathematicians. A regular proof can skip details and contain mistakes. A formal proof cannot skip de…

Liability, and it's the hardest part.

When I write like I talk, I use a lot of commas. Replacing some of my commas with em dashies, so long as it was done judiciously, would probably make things easier to chunk.

I really look forward to the day AI-driven algorithm design + formal verification becomes the norm for performance critical computing. A programmer translates a natural-language sp…

The cover does not matter for a textbook. Most textbooks sold are bought by students because they were required for a course. Students are not choosing a textbook by cover because …

12,060 pieces

In one of the essays posted here, which was, ironically, about AI in education, a sentence, that an AI could not possibly write, that I could possibly write, because of its length …

A sudden switch to depreciation makes housing more expensive, even though prices are going down. Say you buy a house with a loan, and sell it after x years. The total cost of owner…

A cleaning station is a location where aquatic wildlife congregate to be cleaned by smaller organisms. Such stations exist in both freshwater and marine environments, and are used …

Nobody cares that a browser's navigation buttons, address bar, tabs, or window controls don't match the current website. Probably because these things are obviously outside the ext…

I found joy making sdf2stl.saej.in. It's similar to a bunch of things that already exist, but I was able to make a set of requirements that made mine technically unique. It was too…

I remade the hero GIF in HD https://www.shadertoy.com/view/sXsGDl

I'm a big fan of the fact that the following quoted sentence has 25 words before the verb. An LLM would never. I probably wouldn't. > Whatever your conception of the modern univers…