Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
Groxx
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
20 ms
·
481.
▲
by
Groxx
7mo ago
Doesn't seem like those should be mutually exclusive, though the habits involved are quite opposing and I can definitely believe they're uncommon . E.g. GC doesn't need to be precise. You could reserve CPU budget for GC, and
482.
▲
by
Groxx
7mo ago
Ha! I've been thinking of this exact thing, and was curious how natural-looking the end result would be / how much you could compress the tokens by choosing less and less likely ones until it became obvious gibberish. I'm ki
483.
▲
by
Groxx
7mo ago
Is there a difference there for a Pixel? I thought those bootloaders have always been unlockable (after carrier unlocking, which should be possible after the contract is paid off).
484.
▲
by
Groxx
7mo ago
Third party libraries have been avoiding those json footguns (and significantly improving performance) for well over a decade before stdlib got it. Same with logging. And it's looking like it will be over two decades for an even slig
485.
▲
by
Groxx
7mo ago
Largely, yes. But also everyone sane avoids the built-in http client in any production setting because it has rather severe footguns and complicated (and limited) ability to control it. It can't be fixed in-place due to its API design.
486.
▲
by
Groxx
7mo ago
"Batteries included" means "ossification is guaranteed", yah. "stdlib is where code goes to die" is a fairly common phrase for a reason. There's clearly merit to both sides, but personally I think a major
487.
▲
by
Groxx
7mo ago
"Low-profile split mechanical" is I think my ideal too. Though I really like cupped keywells, the Advantage2 definitely convinced me that it's more comfortable than flat.
488.
▲
by
Groxx
7mo ago
tbh when typing both together, I just shift my hand and press with my index and middle fingers. otherwise it's my pinky.
489.
▲
by
Groxx
7mo ago
I definitely prefer shorter travel keys too - full size MX feels like an unnecessary workout. Though personally the mechanical ones with a bit more distance than scissor is where I think my sweet spot lies. And Mac's butterfly keyboar
490.
▲
by
Groxx
7mo ago
What version do you see? 47.0.1 doesn't have that for me: https://news.ycombinator.com/item?id=47557033
491.
▲
by
Groxx
7mo ago
The permissions snippet they show also doesn't include location, and you can't request location at runtime at all without declaring it there. I'd verify all this stuff for myself, but Play won't install it in my phone so
492.
▲
by
Groxx
7mo ago
Depends on the language. Doing that is a huge pain in Go (until fairly recently, and it's still quite abnormal or closure-heavy), so the vast majority of code there does manual index-pairing instead of e.g. a zip iterator when going th
493.
▲
by
Groxx
7mo ago
I partly agree, and partly don't. When ijk really is unambiguous and the order is common (say you're implementing a well-known algorithm) I totally agree, the convention aids understanding. But nesting order often doesn't co
494.
▲
by
Groxx
7mo ago
and god help you if those loops are pairing People and Products. though now that I write that out... it would be really nice if you could optionally type iteration vars so they couldn't be used on other collections / as plain inte
495.
▲
by
Groxx
7mo ago
And how do you prove that the proof of correctness is not just a proof that 1=1? LLMs "cheating" on things is rather common.
496.
▲
by
Groxx
7mo ago
And how do you know if it has proven the property you want, instead of something that's just complicated looking but evaluates to true?
497.
▲
by
Groxx
7mo ago
gesundheit
498.
▲
by
Groxx
7mo ago
Significantly more discussion here: https://news.ycombinator.com/item?id=47442690
499.
▲
by
Groxx
7mo ago
particularly if you'd already read approximately all written material in existence about those languages. many humans are capable of learning a language from the documentation.
500.
▲
by
Groxx
7mo ago
401k and home ownership count as "wealthy" in many circles. It's not "I can do whatever I want any time" wealth, but it does still mean "this is not an option for people who likely need it the most" whi
501.
▲
by
Groxx
7mo ago
You've got to pick some time value (if you choose this route at all), and if the goal is to prevent urgency-coercion it needs to be at least multiple hours. An extremely-common-for-humans one seems rather obvious compared to, like, 18
502.
▲
by
Groxx
7mo ago
From my read, it's explicitly a one-time thing. Presumably that means that even if you pick the "allow for 7 days" option, you can re-enable it after that without a delay (maybe with a reboot?).
503.
▲
by
Groxx
7mo ago
You can likely get away with it by being very strict and only doing it for a handful of "safe" things, e.g. `cat` has no way (that I know of) to do arbitrary code execution by feeding it a filename. So if you allow exclusively sin
504.
▲
by
Groxx
7mo ago
That would be this: > you can emulate a Turing-complete computer in a Turing-complete language If you've created semantics that allow for incomplete reads/writes, you allow incomplete reads/writes. The semantics don'
505.
▲
by
Groxx
7mo ago
> Any shell commands were executed without triggering human approval as long as: > (1) the unsafe commands were within a process substitution <() expression > (2) the full command started with a ‘safe’ command (details below)
506.
▲
by
Groxx
7mo ago
The top seven blocked domains on Kagi are all Pinterest: https://kagi.com/stats?stat=insights Failing to block Pinterest and then also having no room for anything else is almost completely useless.
507.
▲
by
Groxx
7mo ago
"green threads" is generally how I see these systems identify as "non-colored but with async-like performance" fwiw. or "fibers". otherwise it's "async" or "coroutines".
508.
▲
by
Groxx
7mo ago
Only up to five of them, which is almost completely useless.
509.
▲
by
Groxx
7mo ago
A data race implies getting results that are not allowed by the single-threaded semantics of the API - corruption, basically. It sounds like that's not possible because the API is strictly single threaded, and any data you receive is
510.
▲
by
Groxx
7mo ago
Because these are instructions for users for making tool-assisted changes to their source code, not a behavior that exists at runtime (or even compile time). A new syntax wouldn't make sense for it. For other things, like `/&#x
More ›