HNHacker News
TopNewBestAskShowJobs

quantadev

150 karma · joined July 25, 2024

submissionscomments
quantadev··on New dating for White Sands footprints confirms controversial theory
Yes, I know the splaying is normal for non-shoe wearing folks and not what I'm talking about.
quantadev··on The Art of Lisp and Writing (2003)
Doing ASM ~ "RPN reasoning".
quantadev··on New dating for White Sands footprints confirms controversial theory
I'm not talking about splay bro. Length. Size matters. bwahaha.
quantadev··on New dating for White Sands footprints confirms controversial theory
Women's feet have grown 30% since 1960. Look it up. Doesn't mean the trend will continue, it just means evolution can indeed happen very rapidly under certain circumstances, and for primates to keep long toes for a very long time even after coming down from the trees makes some sense. Probably much more efficient to run thru mud, etc.
quantadev··on New dating for White Sands footprints confirms controversial theory
Sure it is. Especially when talking about relative sizes of existing anatomy rather than completely new anatomy.

For example: Women's feet have gotten considerably larger over the past several decades. For example, in the 1960s, the average size was around a 6.5, in the 1970s it was 7.5, and today it's often cited as between 8.5 and 9. That's a whopping 30% (according to Gemini) increase in them whoppers, in my lifetime alone.

I think it's well know also that when there's a certain type of environmental condition that puts different stressors on something evolution can happen only in a few generations. Look it up. There's countless examples of rapid evolution that's well known to happen.

quantadev··on New dating for White Sands footprints confirms controversial theory
Look at the feet of a monkey. They're basically long fingers. That's what I'm getting at.
quantadev··on New dating for White Sands footprints confirms controversial theory
You can tell those feet had toes that were much longer and stronger than modern toes are. Makes sense since these creatures were closer back to when we were like monkeys climbing thru trees.
quantadev··on The Art of Lisp and Writing (2003)
AI is already superior to humans for 99% of coding tasks. It can do a day's worth of coding in seconds, and write code better than even the best humans. Thousands of times better. Thousands of times faster.

In the past several weeks I've accomplished what would've taken me several YEARS to do, pre-AI.

quantadev··on The Art of Lisp and Writing (2003)
That's why we have interpreters and compilers: So we can make code easier to read. FORTRAN was originally invented as a way to let humans think in terms of parenthetical groupings for math and functions, specifically to _avoid_ reasoning in an RPN way.
quantadev··on The Art of Lisp and Writing (2003)
Yeah, the Japanese incorrectly put verbs at the end of the sentence! Just like Yoda does. Asian he must be. Incorrect they all are.

But seriously, yeah computers are naturally 'Stack Machines' [almost] always, where they need the arguments pushed onto a stack before the 'verb' is executed.

quantadev··on Show HN: Unregistry – “docker push” directly to servers without a registry
I'll do that. Thank you.
quantadev··on Show HN: Unregistry – “docker push” directly to servers without a registry
Yeah, I definitely didn't understand that! Thanks for explaining. I've bookmarked this thread, because there's several commands that look more powerful and clean than what I'm currently doing which is to "docker save" to TAR, copy the TAR up to prod and then "docker load".
quantadev··on What methylene blue can (and can’t) do for the brain
True, the main country who has proven itself to be untrustworthy and doing it's best to covertly poison America and the West in general is...you guessed it... China.
quantadev··on Is gravity just entropy rising? Long-shot idea gets another look
Thanks for the link. I'm not even saying GR isn't emergent from something else. All I'm saying is that it contains the sum total of what is currently the proven mathematics governing gravity.

I myself have many 'unproven' things about Physics, that I believe, with a high degree of probability (near certainty). Dig thru my past posts for lots of them. For example, I believe Minkowski Space is indeed itself emergent. I think our entire universe exists on the "surface" of a 3D Event Horizon (manifold). I don't believe in the Big Bang, because our reality 'formed' not from a singularity (exploding out), but like a Black Hole (falling in). So I'm open to lots of ideas, but just pointing out the what we currently know as General Relativity, isn't even that complex, and is just about a shape (curvature/tensor) at every point in spacetime. It's all we've "proven".

quantadev··on Show HN: Unregistry – “docker push” directly to servers without a registry
Seems like it makes more sense to build on the build machine, and then just copy images out to PROD servers. Having source code on PROD servers is generally considered bad practice.
quantadev··on The Art of Lisp and Writing (2003)
Yeah, RPN is essentially what you'd get as output if you compiled LISP using a compiler. Claiming RPN is as easy to deal with as LISP would be utterly absurd, and no one genuinely believes that.
quantadev··on Show HN: Unregistry – “docker push” directly to servers without a registry
I always just use "docker save" to generate a TAR file, then copy the TAR file to the server, and then run "docker load" (on the server) to install the TAR file on the target machine.
quantadev··on Is gravity just entropy rising? Long-shot idea gets another look
Shape of space simply means the "Metric Tensor", and saying it's the sum total of what General Relativity is describing isn't some "bold" or "weird" framing (your words); it's both complete and correct.
quantadev··on The Art of Lisp and Writing (2003)
The evidence is that I sit back and watch Claude write code all day long every day.
quantadev··on The Art of Lisp and Writing (2003)
The parenthesis in LISP make it dramatically easier to deal with than RPN; and I don't believe for a millisecond that you objectively disagree with that fact.
quantadev··on The Art of Lisp and Writing (2003)
There's definitely still a subculture of people who look for things AI can't do yet, and try to parlay that into evidence AI can't do much at all; just like there's Flat Earthers who're similarly dedicated to a cause.
quantadev··on LLMs pose an interesting problem for DSL designers
0.0001% of investors did NFTs. 99.999% of devs do LLMs.
quantadev··on The Art of Lisp and Writing (2003)
Yeah, I did't think you ever genuinely believed RPN is easier than LISP.
quantadev··on LLMs pose an interesting problem for DSL designers
If someone's not using LLMs yet in 2025 to write code they're basically Amish.

They're riding a horse in the age of automobiles, just because they think they're more comfortable on horseback, while they've never been in a car even once.

quantadev··on Programming Language Design in the Era of LLMs: A Return to Mediocrity?
Since DSLs are necessarily niche, you're never going to have much training data in that language to feed into LLM training. Sure this problem can be overcome, but you're just creating more work than the time saved by having humans code in DSLs.
quantadev··on LLMs pose an interesting problem for DSL designers
> DSLs look like noise

Exactly right. Now that we're in the era of LLMs and Coding Agents it's never been more clear that DSLs should be avoided; because LLMs cannot reason about them as well as popular languages, and that's just a fact. You don't need to dig any further, to think about pros and cons, imo.

The fewer languages there are in the world (as a general rule) the better off everyone is. We do need a low level language like C++ to exist and a high level one like TypeScript, but we don't _need_ multiple of each. The fact that there are already multiple of each is a challenge to be dealt with, and not a goal what we reached on purpose.

quantadev··on The Art of Lisp and Writing (2003)
Because no coder in 2025 still says LLMs can't code.
quantadev··on The Art of Lisp and Writing (2003)
> RPN is every bit as easy [as LISP]

Riddle me this then: When editing code full of parentheticals, why do devs find it helpful that IDEs can find and highlight the matching opening/closing parenthesis automatically? I mean, based on your logic, parenthesis just don't make things any easier, right? I'll leave the topic of "indentation" completely off the table too, because a single riddle is enough.

quantadev··on Is gravity just entropy rising? Long-shot idea gets another look
Yes, by "the shape of spacetime" that refers to every specific location in spacetime having a specific shape associated to it. It you want to expand your view out across a range of space and/or time, yes you can see waves, but those waves are still nothing but just waves of variations in "the shape of spacetime". Because we haven't proven the existence of a graviton yet.
quantadev··on Is gravity just entropy rising? Long-shot idea gets another look
You can disprove my statement by naming something gravity does other than add a shape to spacetime, if you want. Saying "I think you're probably wrong, but I just can't say why" is not an argument.
← PreviousPage 3 of 30Next →