lou1306

9 ms·

151.
by lou1306 1y ago
I think they are saying that the current title ("people died ... amid scandal") muddies the water when it comes to the causal relation, arguably "people were led to suicide by baseless accusations" _might_ be a more fait
152.
by lou1306 1y ago
Weird that Infer [1] was not included in the evaluation. It supports C/C++ and its underlying reasoning framework (Separation Logic [2]) is exactly geared towards checking memory safety. [1] https://fbinfer.com/ [2] h
153.
by lou1306 1y ago
But at least you can search for "Microsoft Office" to counter the issue. Plus, they have the excuse that they have been doing this since before the Web existed, literally. What do you do with X? "X social"? Ludicrous.
154.
by lou1306 1y ago
I just meant very generally that we (humans) are still struggling to make regular programs secure, we built decades worth of infrastructures (langages, protocols, networks) where security was simply not a concern and we are still reckoning
155.
by lou1306 1y ago
Given our spectacular inability to make "regular" programs secure in the absence of all that fuzziness, I don't know if it's a good idea.
156.
by lou1306 1y ago
Personally I don't mind Wallabag's, well, barebones interface, and having recently jailbroken my Kindle I think its integration with KOReader is its real killer app. I've found the EPUB conversion works really well (modulo so
157.
by lou1306 1y ago
> Well, that's because they're really languages and not dialects! Indeed they are not strictly dialects of Italian , which followed its own evolution alongside them. I think most of them could still be explained as dialects o
158.
by lou1306 1y ago
Some crutches may absolutely be worse than no crutch at all.
159.
by lou1306 1y ago
It can never be "the same way" because the LLM cannot face any consequences (like jail time or getting their "license" stripped: they don't have one), nor will its masters.
160.
by lou1306 1y ago
Sycophancy is not the only problem (although is a big one). I would simply never put my therapy conversations up on a third-party server that a) definitely uses them for further training and b) may decide to sell them to, say, healthcare in
161.
by lou1306 1y ago
Exactly, and translating business requirements into code is so frustrating and error-prone that entire philosophies (and consulting firms) have been built around it. LLMs are no silver bullet, they are just faster to come up with _something
162.
by lou1306 1y ago
There are subtle sources of nondeterminism in concurrent floating point operations, especially on GPU. So even with a fixed seed, if an LLM encounters two tokens with very close likelihoods, it may pick one or the other across different run
163.
by lou1306 1y ago
They also ran on Symbian and Windows Phone. I know because I used both ports.
164.
by lou1306 1y ago
> but that didn't help them What do you mean that didn't help them? They were doing quite fine up to the acquisition, no?
165.
by lou1306 1y ago
> the Mean Value Theorem for integrals is a theoretical tool for proving the existence of this particular x'. It does not, however, offer any method of finding the value of x'. Therefore, it is difficult to imagine how the M
166.
by lou1306 1y ago
How good is JS interop with C/C++/BLAS? That's the basic stepping stone, I think. If you cannot make something in JavaScript that can compete with numpy there's little chance that things will change anytime soon.
167.
by lou1306 1y ago
Well played :)
168.
by lou1306 1y ago
> The logic being - if an AI without taint produces some other work, that work drew on the same information the model did, and came to the same "conclusion" - which means with a time machine, you could wipe the LLM, go back to
169.
by lou1306 1y ago
So I suppose Lightning's abysmally slow transfer speed is also a security feature? No way you can exfiltrate my photo roll at 60 MBps :)
170.
by lou1306 1y ago
One obvious consequence: the model might still produce copyright infringement because it thinks its creative ideas are novel.
171.
by lou1306 1y ago
The entire premise that "Examples of decentralized society [...] are hidden because those in decentralized societies never bothered to keep records" is bizarre, especially when applied to the Middle Ages. As soon as the barbarian
172.
by lou1306 1y ago
I am not a Dafny expert but from what I have gathered it uses a deductive procedure underneath, so it's rather geared towards sequential code. To analyse concurrent code, one needs to essentially build a sequential program that _also m
173.
by lou1306 1y ago
Haven't seen Asteroid City, but metafiction and exploration of side-plots removed from the characters are absolutely present in Tenenbaums (presented as a book with chapters) and Grand Budapest Hotel. I guess to a lesser degree. Sure
174.
by lou1306 1y ago
It really struck me that we both owned the same edition of Crying of Lot 49. Something about the democratization/massification of culture, I guess.
175.
by lou1306 1y ago
> What do you get out of this? Apparently, needlessly aggressive replies from strangers on the Internet. Let me smooth out my first comment. If your field of research is purely theoretical or can do without data you'll be fine with
176.
by lou1306 1y ago
> The existing tools for scientific thought can be divided into two main categories: interactive proof assistants and textual authoring and publishing tools (including LaTeX, as well as the Gerby software that runs the Stacks Project). T
177.
by lou1306 1y ago
I do not see much backing to the claim LLMs can "democratize" formal methods, given that their specifications likely still have to be proof-read by an actual expert. There's also the issue that plain assertion-checking will o
178.
by lou1306 1y ago
Well that is simply because Lieferando is just the subsidiary of Just Eat that operates in German-speaking countries.
179.
by lou1306 1y ago
The part where they claim their phone number is the restaurant's borders on wire fraud, plus the extortive bit pointed out by other users.
180.
by lou1306 1y ago
I briefly worked on synchronized applause (well, a toy discretised cellular automata-like model of such), and the individual agents don't even need to know the mean, or to receive continuous feedback (which is what happens with synchro

More ›