pvillano

4 ms·

1.
by pvillano 11d ago
Ironically, pixel art today is the affordable default for indie games.
2.
by pvillano 12d ago
I posted nine days ago in another thread: As much as I hate it, I don't think we'll ever get a proof of the four color theorem that isn't enumerating cases. When you have an integral or the sum of an infinite series that come
3.
by pvillano 12d ago
"a whole nother" is one of my favorite linguistic quirks.
4.
by pvillano 12d ago
Indeed, the most important function of a designer, tailor, decorator etc. is filling the weaknesses in the client's request with actually good taste.
5.
by pvillano 19d ago
If you were scraping only Google with all the IPs you can get, then this change really slows you down. If you're trying to fight scrapers on a small site, delay links can only flatten bursts. If bots can only scrape at human speed per
6.
by pvillano 21d ago
I forgot that the purpose of your site is comparing the number of mults. A more compatible idea is to rearrange the nodes so that any repeated squaring is always in a single row at the top. The graph would have the same nodes and connectivi
7.
by pvillano 21d ago
As much as I hate it, I don't think we'll ever get a proof of the four color theorem that isn't enumerating cases. When you have an integral or the sum of an infinite series that comes out to pi, you know there must be some s
8.
by pvillano 21d ago
It better not have 100s of individually checked configurations Edit: damn it. I was just thinking last night about the four color theorem in the context of the recent Navier-Stokes drama, and Tao's Mastodon post on the uselessness of i
9.
by pvillano 21d ago
Yes, but a 10x larger model is only marginally better, and 10x cheaper training runs is only useful if you can find a use for 10x as many.
10.
by pvillano 21d ago
Sunlight no longer reaches the earth's surface but at least we know P vs NP
11.
by pvillano 21d ago
Imagine yourself the CEO of a big AI company. It takes about a month to develop and train a model, so you release a new model every month. A startup says they can 10x your efficiency. What does that get you? You can't release a new mod
12.
by pvillano 21d ago
A lot of people are betting their money on infinite growth forever of AI performance, compute usage, user base, subscription price. I think cost will decrease forever.
13.
by pvillano 21d ago
There are also solar water heaters that are a bunch of black pipes on a roof. Napkin math based on Amazon/Home Depot prices You can get a 80"x90"x95% = 2kW output solar heater for $2000 or eight 45"x70"x25% = 1.8kW
14.
by pvillano 22d ago
This is super cool. I learned a lot playing with the demo. I only knew Horner and Estrin, but I think I've gotten a grasp on most of them. One small change I'd recommend is for the graph visualization, have a separate source node
15.
by pvillano 23d ago
Human-readable means multiple humans can read and understand it in full. A human-readable proof is more worth more than one that is not, because mathematicians can read the proof and extract value in the form of reusable techniques, additio
16.
by pvillano 23d ago
The way to tame a profit-maximizer is to make the most profitable choice the one that creates the most societal good. I would like to see the Clay Institute give zero recognition for formalizations without human-readable proofs. That would
17.
by pvillano 23d ago
Deforestation might be a better metaphor than mining. Logging is renewable if for each tree you chop down you plant several more. AI companies are operating "in a non-renewable fashion" by chopping down trees without planing seeds
18.
by pvillano 24d ago
That SSL report with four different automatic 'F's is an amazing punchline
19.
by pvillano 24d ago
That was fun. I should have kept track of how soon I solved it.
20.
by pvillano 28d ago
120 sided dice roll for a long time and don't have much room for printing
21.
by pvillano 1mo ago
LLMs are inherently unverifiable and untrustworthy. The training data may be incorrect, malicious, censored, or modified to serve the parent company. The model itself is a black box. Safe input is impossible: there is no way to escape natur
22.
by pvillano 1mo ago
One time in college I bypassed client-side validation to order a burrito in a slightly earlier pickup window. More recently, I unhid html elements for features that were "disabled" on an ISP provided router. You can query an LLM f
23.
by pvillano 1mo ago
I think cheating on a question should give zero points for the whole test.
24.
by pvillano 1mo ago
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 the image horizontally. Imagine taking a pictur
25.
by pvillano 2mo ago
Is it compatible with the AMD mountain bike?
26.
by pvillano 2mo ago
I would try using structured outputs recursively. ``` Request 1: "brown coffee table: " + {Root Schema} => "Furniture" Request 2: "brown coffee table: Furniture / " + {Furniture Schema} => "Livi
27.
by pvillano 2mo ago
.STL files are the most common file format for 3D printing. STL is short for stereolithography, which is usually abbreviated SLA
28.
by pvillano 2mo ago
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 the image horizontally. Through a regular camer
29.
by pvillano 2mo ago
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 every keystroke, and build a model of not just human-like t
30.
by pvillano 3mo ago
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 really just a game. It had an auto-play, so

More ›