someplaceguy

9 ms·

61.
by someplaceguy 3y ago
Clang has a similar tool, the Clang Static Analyzer: https://clang-analyzer.llvm.org/
62.
by someplaceguy 3y ago
No problem, all of you are welcome! Very enjoyable article.
63.
by someplaceguy 3y ago
> What is this syntax? I know s/a/b/ for sed substitution but not such a thing starting with c It's the syntax for sed substitution for someone who mistypes, is dyslexic or does not have an excellent memory.
64.
by someplaceguy 3y ago
> Isn't 17:27:09 +0300 == 22:27:09 +0800, making the commits just about one hour apart? Yes, and even worse: > Even more damning, on 6 Oct 2022, we see the following: one commit at 21:53:09 +0300 followed by another at 17:00:38 +
65.
by someplaceguy 3y ago
> if you're using password auth, and you are tricked into connecting to a malicious server, that server now has your plaintext password and can impersonate you to other servers. Why would the password be sent in plaintext instead of
66.
by someplaceguy 3y ago
Hmm... possibly a literal survivorship bias at work here? :)
67.
by someplaceguy 3y ago
> Would seeing the empty sky above you be a good thing for passengers? I would imagine seeing the ground above you to be much worse for passengers...
68.
by someplaceguy 3y ago
> It's been said that a sufficiently detailed spec already has a name: a program. You could create a spec that would specify exactly what a program does, but generally speaking that would have no useful purpose. For every program th
69.
by someplaceguy 3y ago
> your specifications can and usually does have bugs One cool thing about formal verification is that you can not only prove things about your code, but you can prove things about the specification itself (with some approaches, at least)
70.
by someplaceguy 3y ago
> Has there been a widely accepted currency (true currency) that hasn't had military might behind it? Yes, even today, for example, Costa Rica has no military yet they have their own currency. Its Central Bank manipulates its value
71.
by someplaceguy 3y ago
> money is like a legal contract recording how much abstract value you have given to "society" and how much access you have to resources Finally, someone who understands money. As opposed to the typical "but my military!&q
72.
by someplaceguy 3y ago
> But your brain is disconnected from your body during dreams, to keep you from flailing around Tell that to sleepwalkers!
73.
by someplaceguy 3y ago
> I wonder if eventually once this is more thoroughly researched there could be a way to induce constant cleaning instead of having to do it while unconscious at night? Hopefully without having to induce those brainwaves, otherwise you m
74.
by someplaceguy 3y ago
> do I really need a fight-or-flight response to trigger in the middle of a meeting? No I do not. I see some signs that you've never been in a drug deal gone awry... > Why do we keep promoting tall people??? They have a better (o
75.
by someplaceguy 3y ago
> It isn't designed to know things. It doesn't know what exactly it knows, where it could check before answering. It generates an output, which isn't even the same thing every time. If an entity can predict the correct ans
76.
by someplaceguy 3y ago
> The answer you give for the statement "What is $x" is going to be highly dependent on who is answering the question. I assume you meant asking rather than answering ? > An LLM doesn't have the other human motivatio
77.
by someplaceguy 3y ago
> Sure, and you can train LLMs to produce answers like that more often, but then users will say your model is lazy and doesn't even try, whereas if you train it to be more likely to produce something that looks like a solution more
78.
by someplaceguy 3y ago
> their function is to produce text output which forms a plausible seeming response to the question posed Answering "I don't know" or "I can't answer that" is a perfectly plausible response to a difficult lo
79.
by someplaceguy 3y ago
> because P != NP therefore LLMs will hallucinate answers to NP-complete problems. I haven't read the paper, but that sounds like it would only be true if the definition of "hallucinating" is giving a wrong answer, but tha
80.
by someplaceguy 3y ago
Also, from what I can see, he didn't use two spaces after a period.
81.
by someplaceguy 3y ago
The bitcoin whitepaper was written in OpenOffice and it also has double spaces after periods, which doesn't fit your theory.
82.
by someplaceguy 3y ago
> Len Sassaman It's not him, no double spaces in his writings.
83.
by someplaceguy 3y ago
Which is great when databases leak. Absolutely brilliant.
84.
by someplaceguy 3y ago
Well, then I disagree.
85.
by someplaceguy 3y ago
And when that happens, humans will no longer need jobs. The problem is the transition into that new world.
86.
by someplaceguy 3y ago
Someone should send the developers this audio recording I have of Jeff Bezos saying that he changed his mind and wants the model to be released as open-source.
87.
by someplaceguy 3y ago
That's why my alarm company's call center number is on my contact list. I even configured it to bypass "do not disturb" mode. Although unsolicited calls are not a problem here, fortunately.
88.
by someplaceguy 3y ago
> At the end of the day its security theater. Having a video of the crime won’t prevent it or even lead to solving it most of the time. I know of at least 2 countries where police will be immediately dispatched to a robbery in progress i
89.
by someplaceguy 3y ago
> Plus as you point out you don't get as much regenerative breaking Regenerative breaking is not a benefit compared to steady driving, it's a waste of energy due to the second law of thermodynamics. It's only a benefit whe
90.
by someplaceguy 3y ago
Yup, as someone (who I don't remember) famously said: "if you want to kill the most animals, be a vegan". Edit: source (45 seconds): https://www.youtube.com/watch?v=fvFixaZdvCg

More ›