Readit News logoReadit News
ketralnis commented on Homomorphically Encrypting CRDTs   jakelazaroff.com/words/ho... · Posted by u/jakelazaroff
ProofHouse · 2 months ago
Can I double click on ‘plausible’ ?
ketralnis · 2 months ago
Sure but it will just select the word in your browser
ketralnis commented on I've largely replaced Google with ChatGPT for looking things up   twitter.com/paulg/status/... · Posted by u/nomilk
jasonthorsness · 4 months ago
I did this today and Grok led me to make an embarrassingly wrong comment (Grok stated "Rust and Java, like C/C++ mentioned by Sebastian Aaltonen, leave argument evaluation order unspecified" - I now know this is wrong and both are strict left-to-right). ChatGPT gets it correct. But I think we're still in the "check the references" stage.
ketralnis · 4 months ago
If the only thing it did was give me references that's already a leg up
ketralnis commented on Evidence suggesting Quasar Alpha is OpenAI's new model   blog.kilocode.ai/p/quasar... · Posted by u/heymax054
tersers · 5 months ago
[flagged]
ketralnis · 5 months ago
Shrug, programmers always have weird names for things https://www.youtube.com/watch?v=y8OnoxKotPQ
ketralnis commented on Show HN: Duolingo-style exercises but with real-world content like the news   app.fluentsubs.com/exerci... · Posted by u/ph4evers
hoseyor · 5 months ago
You didn’t even read the most basic settings that clearly say “click and drag interface” or something similar. But I still agree, tapping/clicking should work in sequential order eventually (it’s not as easy to implement).

Re, looping; there are controls to turn it off. You aren’t paying attention one bit. If you’re going to say things, at least be diligent in the things you are going to address.

ketralnis · 5 months ago
I also don't read all of the terms and conditions, and I feel free to get mad at unreasonable items that I discovered while using the product. Fight me.
ketralnis commented on I tried making artificial sunlight at home   victorpoughon.fr/i-tried-... · Posted by u/fouronnes3
drewolbrich · 5 months ago
My issue with this setup is that it doesn't emit as many neutrinos as the Sun.
ketralnis · 5 months ago
Have you considered taking neutrino supplements?

The nice thing about them is that they're flavour changing

ketralnis commented on Peano's Axioms   principlesofcryptography.... · Posted by u/ulugh
Koshkin · 5 months ago
Sure, one can, but does it help with anything? Just curious.
ketralnis · 5 months ago
It's up to you if you think it's "better" but it's answering the question of whether Peano axioms are the only fundamental structure
ketralnis commented on Google change is breaking some digital photo frames   theverge.com/news/623306/... · Posted by u/tomsonj
ketralnis · 6 months ago
This is exactly why even as a programmer I don't own pretty much any tech crap at all. No cloud connected home automation, photo frames, voice assistant, smart lock, wifi washing machine, nothing. The whole industry is just too brittle and unreliable and your money will evaporate the moment some product manager doesn't want to schedule a bug fix and kills the product instead because it's easier than meeting the promises that you already made. I minimise the number of computers and phones and whatever else to what I'm willing to spend a bunch of time updating and maintaining.
ketralnis commented on America desperately needs more air traffic controllers   cnn.com/2025/02/04/busine... · Posted by u/mooreds
cj · 7 months ago
Sometimes having humans in the loop is a feature, not a bug.
ketralnis · 7 months ago
In that case the pilot would still be able to override controls
ketralnis commented on America desperately needs more air traffic controllers   cnn.com/2025/02/04/busine... · Posted by u/mooreds
ApolloFortyNine · 7 months ago
We have planes moving hundreds of miles an hour being managed exclusively by audio channels.

Does this not blow anyone else's minds? This seems like a clear case of 'because we've always done it that way'. There's no way if a system was being developed today they'd say to hell with screens, lets just give them instructions over audio and assume they'll follow them to a T if acknowledged.

ketralnis · 7 months ago
That there is a computer at ATC that a human looks at, reads what it says with their eyes, speaks those instructions over the radio in a specific protocol, another human listens to it (and confirms within that protocol), and inputs those control signals into the airplane.

Computer -> human -> radio(spoken protocol) -> human -> plane.

There aren't a lot of practical reasons it can't just be

Computer -> radio(digital protocol) -> plane

(There are nonzero reasons, such as the presence of weird situations, VFR aircraft, etc., but it's not a lot.)

Deleted Comment

u/ketralnis

KarmaCake day4270September 4, 2007
About
David King

[ my public key: https://keybase.io/ketralnis; my proof: https://keybase.io/ketralnis/sigs/-b8hg9xv4sLOgAEnBoAfmQjftzv790I-mM2YelSrYfI ]

View Original