Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
akoboldfrying
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
11 ms
·
91.
▲
by
akoboldfrying
2mo ago
The home appliances you list all cost money; Gemini (or ChatGPT, etc.) are all available for free, even on devices you already owned before they were even invented. They could not be any cheaper. > You don't own Gemini. That distinc
92.
▲
by
akoboldfrying
2mo ago
> Electric motors empower you, and are available to almost anyone. AI is much more available to people than motors of any kind. Long-press your Android phone's power button: There's Gemini.
93.
▲
by
akoboldfrying
2mo ago
> UIs with little originality Sounds like the kind of UI I like. (Take me back to Windows XP...)
94.
▲
by
akoboldfrying
2mo ago
https://arxiv.org/abs/2503.23674 From the abstract: "When prompted to adopt a humanlike persona, GPT-4.5 was judged to be the human 73% of the time: significantly more often than interrogators selected the real hu
95.
▲
by
akoboldfrying
2mo ago
> are you fucking stupid unable to think for yourself?? I was about to write you off as ignorant and unhinged, but then you wrote this, which persuaded me that you were right all along
96.
▲
by
akoboldfrying
2mo ago
I think I cover what you're suggesting in my final paragraph? Property-based testing is the automated spec-based random test generation you describe. It's much easier to get underway than strong formal methods that try to actually
97.
▲
by
akoboldfrying
2mo ago
> The problem here is that more compute also helps testing. A useful practical way to look at formal methods is "just" as testing on steroids, rather than as competition for testing. The pros and cons are mostly the same: Depen
98.
▲
by
akoboldfrying
2mo ago
What tin possible leave incorrectly?
99.
▲
by
akoboldfrying
2mo ago
Good on you and the other four or five people who do this! ;)
100.
▲
by
akoboldfrying
2mo ago
What a neat tool, I had no idea such a thing existed!
101.
▲
by
akoboldfrying
2mo ago
When McDonalds introduced salads to their menu, purchases shot up -- but ~no one actually bought the salads. They just felt better about buying the same old unhealthy food from McDonalds when they knew that healthier options were availabl
102.
▲
by
akoboldfrying
2mo ago
I especially like #8. If you have some free time (don't we all have so much of that?) it would be really interesting to run a binary search on each model you have, to see at what size/complexity level it manages to solve the probl
103.
▲
by
akoboldfrying
2mo ago
> RISC-V is pretty unoptimisable though Is it? So there's no scope for different levels of pipelining, out-of-order execution with various numbers of execution units, branch prediction of various levels of sophistication, L1 cache o
104.
▲
by
akoboldfrying
2mo ago
A pelican on a bike accurate to a subatomic level
105.
▲
by
akoboldfrying
2mo ago
The HN article title suggests a contradiction where there isn't one. The instruction set is just the spec -- the high-level contract that the silicon must implement, with many important details like cycle counts per instruction left un
106.
▲
by
akoboldfrying
2mo ago
But who decides what comprises "wasting [my] bandwidth"? This is subjective. Is it me (the site owner in this example)? If so: Since it's my subjective decision to make, couldn't I equally legitimately decide that traffi
107.
▲
by
akoboldfrying
2mo ago
I think someone who considers a civilian's life to be starkly more valuable than the life of a person who was a civilian yesterday but, through no choice of their own , is a soldier today, should be mindful of their own humanity. It i
108.
▲
by
akoboldfrying
2mo ago
Interesting take on Google's TPUs. What I've previously heard (and still believe) is that Google's decision to only rent out, never sell, their TPUs is a deliberate and savvy strategy for bolstering GCP, which will work provi
109.
▲
by
akoboldfrying
2mo ago
> request data and receive what the other server voluntarily transmits? Taking your position to its logical conclusion implies that we shouldn't try to mitigate DDoSes either. In many cases, what the other server voluntarily transmi
110.
▲
by
akoboldfrying
2mo ago
My claim was only ever about the past. I don't know why you think it was about the present. I expect you will respond by trying to claim that Facebook is no longer convenient, and that this -- not whether it was ever convenient in the
111.
▲
by
akoboldfrying
2mo ago
I interpret your examples as further evidence (in addition to the examples I gave) that there is no sensible justification for distinguishing military from civilian casualties. Was that your intention?
112.
▲
by
akoboldfrying
2mo ago
It's more likely to happen a woman than to a man, but it's still very unlikely to happen to a woman.
113.
▲
by
akoboldfrying
2mo ago
Even LLMs from years ago could accurately mimic the style of any sufficiently famous author.
114.
▲
by
akoboldfrying
2mo ago
What if they choose to kill a person who was a civilian until they were drafted into the enemy army the day before? What if the civilian they kill has a substantial effect on the enemy's military capabilities, for example by being some
115.
▲
by
akoboldfrying
2mo ago
Unpleasant as it would be, I think it may well render us obsolete in the main. There will probably always be a handful of paid human programmers around, just as there will probably always be a handful of people paid to make buggy whips, but
116.
▲
by
akoboldfrying
2mo ago
I think the "taste" described here actually can be formulated as a measurable quantity, just one that can't be accurately measured in practice . According to James Shore's 2006 essay "Quality With a Name" [0],
117.
▲
by
akoboldfrying
2mo ago
15. Unscramble an Egg 16. Make Everyone Nice 17. Finally Impress a Girl
118.
▲
by
akoboldfrying
2mo ago
> there is no proof that just because AI found counter example for a conjecture, it can break math behind cryptography Of course there isn't, nothing like that could be formally proven. But that is neither here nor there. The import
119.
▲
by
akoboldfrying
2mo ago
> Inter prediction should allow you to copy from any block on the previous frame, effetely creating unlimited length wires in any direction. I think "going inter" just gives you a third "dimension" along which you can
120.
▲
by
akoboldfrying
2mo ago
I was wondering whether there's any way to make wires "cross", which would be needed to construct a non-planar circuit. But even if there isn't a way to do this directly, Gemini tells me that it's possible to constr
More ›