Hacker Newsnew | past | comments | ask | show | jobs | submit | oasisaimlessly's commentslogin

That argument could also be used to say that the FFT's time complexity of O(n log n) should be impossible.

Instead, put up with a flavor of Scheme that looks suspiciously like Nix with some extra parentheses...

How the errors/debugging compare? From what I've read this is the main pain point with Nix where a more mature language like Guile should have a much better experience here. The article touches on this but I'd be curious of a more extensive comparison about this aspect.

Just a personal anecdote, but the errors from Guix are terrible. I had to reinstall because I couldn't figure out the scheme errors for my system config

It's generally a problem with Guile. If you get decently good with Geiser or stare at the stack traces long enough, you can figure out the problem but I shouldn't have to do either.

Emacs + Geiser can do everything from a REPL in order to debug it. Emacs and Guile integration both come for free since decades.

And which an LLM/AI model can apply the huge training set of Lisp/Scheme to help solve your problem.

Nixlang is so infuriatingly obtuse that I generally have to fire up Discord and bug the local Nix acolyte when something goes wrong. I've bounced Nixlang off of the LLM/AIs, but I have learned that if the AI doesn't give you the correct answer immediately for Nixlang then you need to stop; everything forward will be increasingly incorrect hallucinations.

I suspect LLM/AIs will hallucinate far, far less with the Scheme from Guix.


What? From what I've seen Nix configs and Guix configs look nothing alike in terms of structure. Guix uses Scheme modules whereas Nix modules are just fancy dicts merged together lazily. Which is sad because I like Lisps but I prefer the Nix way of structuring the config.

IIRC, that is actually the standard proof that there are infinitely many primes[1] or maybe this variation on it[2].

[1]: https://en.wikipedia.org/wiki/Euclid%27s_theorem#Euclid's_pr...

[2]: https://en.wikipedia.org/wiki/Euclid%27s_theorem#Proof_using...


Yes this is the standard proof of infinitely many primes but note that my prompt asked for infinitely many even primes. The point is that GPT would take the correct proof and insert "even" at sensible places to get something that looks like a proof but is totally wrong.

Of course it's much better now, but with more pressure to prove something hard the models still just insert nonsense steps.


No, not RPCs/APIs either. A satellite bus is a physical object[1], which defines the mechanical standards for mounting payload modules.

[1]: https://en.wikipedia.org/wiki/Satellite_bus


It's a uint32_t of 750 Hz "jiffies", which does overflow at ~66 days.

While that seems like a convincing explanation, 750Hz is a rather odd value to use for a timer, and more importantly the overflow would be at 66d6h43m43s instead of the reported ~66d12h.


66 days 12 hours would put it at 747.5 Hz. A different report had 66 days 10 hours 16 minutes which works out to 748 Hz.

Maybe the clock was just feeling a little sluggish? /s


Wild.

All energy inevitably changes into heat eventually, and in the steady state, power in = power out.

There is no way to get rid of heat. It has to go somewhere; otherwise, the temperature of the system will increase without bound.


For example, why couldn't you use the waste heat like a power plant? Use it to boil water, to turn turbines, to generate electricity, which gets sent and consumed elsewhere? Adding to the heat wherever the electricity is finally consumed. (Ignoring various losses along the way).


“Elsewhere” is still somewhere on the Dyson sphere.

Or if you magically beam 100% of the captured energy somewhere else, now that place gets to deal with shedding the heat from however many 1e26W+ of power were consumed. God help the poor planet you aim that ray of death at.


At 15:00, she says "quantum computers are surprisingly good at [...] quantum simulations [of electron behavior]", which would seem to contradict you.


Now anybody with root/sudo/physical access to the remote machine has full R/W access to your entire home directory.


Well, what if it's a separate directory meant exclusively for remote systems alone? And what if the remote mount is read-only, perhaps with a writable layer on top using overlayfs that can be discarded on logout?


This now looks very complex.


It's actually far less complex than what container runtimes do. I've even done parts of those, which is why I'm able to suggest it. I'm thinking about implementing it and was checking if anybody else wanted to do it or if they foresee any problems that I can't.


Are you trying to assure others or reassure yourself?


Same question can be asked to either side of this debate. We're all self-soothing apes, after all.


Just extrapolating a trend of the past few years. If you disagree, then carry on and time will tell.


Not even correct for a third party CA (unless they MITM you).


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: