pvillano

4 ms·

31.
by pvillano 3mo ago
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 latent state different when everything else stays the same,
32.
by pvillano 4mo ago
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 neural proxy allows for differentiable relighting. Once yo
33.
by pvillano 4mo ago
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 losing fidelity in the output. Apparently, you also need to
34.
by pvillano 4mo ago
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 good LLM feedback loops. Maybe something with query planners.
35.
by pvillano 4mo ago
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 will not be as wholesome as something homemade, or as good as s
36.
by pvillano 4mo ago
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 saying people are learning from the algorithms AlphaEvolve is g
37.
by pvillano 4mo ago
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 dream of
38.
by pvillano 4mo ago
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 details or contain mistakes. A lean proof is a sequence
39.
by pvillano 4mo ago
Liability, and it's the hardest part.
40.
by pvillano 4mo ago
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.
41.
by pvillano 4mo ago
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 spec into a machine-readable spec, feeds it to an AI-assisted
42.
by pvillano 5mo ago
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 they're not choosing a textbook at all. Professors cho
43.
by pvillano 5mo ago
12,060 pieces
44.
by pvillano 5mo ago
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 and unusual structure, before finally reaching the verb, wen
45.
by pvillano 5mo ago
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 ownership is interest paid to the bank + buy price - sell price.
46.
Cleaning Station(en.wikipedia.org)
7 points by pvillano 5mo ago|1 comments
47.
by pvillano 5mo ago
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 by animals including fish, sea turtles and hippopotamuses.
48.
by pvillano 5mo ago
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 extents of the web page. However, scrollbars, context
49.
by pvillano 5mo ago
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 complex for me to create when I started, so I learned
50.
by pvillano 5mo ago
I remade the hero GIF in HD https://www.shadertoy.com/view/sXsGDl
51.
by pvillano 5mo ago
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 university, whether grand or grim, understanding the c
52.
by pvillano 5mo ago
I made sdf2stl.saej.in You can use it design 3D objects with mathematics and bring them into the real world with 3D printing. You can use it to create 3D models that are impossible to create with CAD, CSG, sculpting, or mesh-based tools. Yo
53.
by pvillano 5mo ago
Thanks for letting me read that again. I once wrote about inherent, irreducible complexity and how we try to deal with it. The draft has sections on how complexity can be hidden, spread out, localized, passed off, or recreated from scratch.
54.
by pvillano 5mo ago
I would rather do more work myself to make an API as fool proof as possible, than hope everyone else is perfect, and lose data when they're not.
55.
by pvillano 6mo ago
What effect does docker compose have on database resilience?
56.
by pvillano 6mo ago
If you're in this comment section, consider play-testing your website. Find someone who has never used it and watch them explore it for the first time, while they think out loud, without giving them any help. My personal website had li
57.
by pvillano 6mo ago
I think this comment section would be a good place to ask for help with a related problem. I want to design a "smooth" closed path that fits in a square, as long as I can make it. It needs to smooth in such a way that a constant v
58.
by pvillano 7mo ago
https://www.instagram.com/inaturalistshitpost/
59.
by pvillano 7mo ago
Jia Tan
60.
by pvillano 7mo ago
How much information is there in knowing the length of someone's password? If we know the password's length, it saves us from guessing any shorter passwords. For example, for a numeric password, knowing the length is 4 saves us fr

More ›