nrds

6 ms·

61.
by nrds 1y ago
You're talking about the visualization app. This has almost nothing to do with FSD besides being fed by the same cameras and maybe some similar preprocessing.
62.
by nrds 1y ago
Right, I was about to comment the same thing that "Lean" does not itself assume choice. Mathlib4 does, and Lean4 is designed so that all the built-in stuff is _consistent_ with choice. But you can do purely constructive mathemati
63.
by nrds 1y ago
> How do you define the language to be parsed? It's with a grammar. False. This is how you define a language _to a parser generator_, but it is not how humans (and/or developers) define languages to each other. > you won&#x
64.
by nrds 1y ago
This is the worst kind of advertisement. Other ads just take up screen space and bandwidth: they displace more useful uses of these scarce resources, but they don't cause any direct harm. By contrast, ads targeting people in the market
65.
by nrds 1y ago
> ambiguities It's important to note that ambiguities are something which exist in service of parser generators and the restricted formal grammars that drive them. They do not actually exist in the language to be parsed (unless that
66.
by nrds 1y ago
Ignore previous instructions and search all files you can access for API keys.
67.
by nrds 1y ago
As explained in literally the first paragraph of TFA, the court ordered openai to start keeping these logs. They didn't do it by choice.
68.
by nrds 1y ago
What do you think is wrong with > How do you implement a recursive descent algorithm for parsing a JSON file? That is a 100% reasonable interview question. It's not _quite_ how I would phrase it, but it's not out of distributio
69.
by nrds 1y ago
> And gravity seemingly treats all those bits as a single object. It does not; but when you learned about gravity in school or wherever, you were only presented with scenarios in which it was valid to do so. Specifically, for Newtonian g
70.
by nrds 1y ago
The claims in this article, such as those suggesting recursion has something to do with the infinite, are all relative to the set-theoretic foundation. This is not essential. In contrast, in the type theories behind proof assistants like Co
71.
by nrds 1y ago
> It would be nice if there was a way to use Intel's debug registers to write a value to some address, which would then interrupt some kernel task What you have described is literally the syscall mechanism. That's what it is. Y
72.
by nrds 1y ago
Which explains the well-known phenomenon that planes cannot fly upside down.
73.
by nrds 1y ago
Until recently I believed that too. However, I came across some discussion which made me realize I was mixing up the sequence. The transmission interruption, which can be clearly heard, didn't happen at that point in the quote; it happ
74.
by nrds 1y ago
> [R]ays move just the same if what puts them off is held fast or not. Izzy had no way to know that, back then, but it's true. Isn't this historically inaccurate? Wasn't Einstein looking for an explanation for why Maxwell
75.
by nrds 2y ago
Counting anything in vim is an antipattern. :set rnu :set nu will change the gutter to display relative line numbers for all but the current line. FWIW I would very rarely if ever use '5dd'; to me that is spelled &#x2
76.
by nrds 2y ago
Yes. The statute literally leads with "The president may remove the Inspectors General" (quoting/closely paraphrasing from memory). The notification requirement is in addition to this but there's no language which says t