codeflo

18 ms·

331.
by codeflo 3y ago
I don't get why it has to be a keyword. It can be a function with return type bottom. In Rust it's a macro, but not for type checking. The reason is only that it can take an optional format string, and arguments, and functions can
332.
by codeflo 3y ago
Not if the backdoor is inserted into fopen/mmap calls in such a way that when any executable opens the binary for reading, it sees a version without the backdoor.
333.
by codeflo 3y ago
I'm a fan of Ousterhout's writing; "A philosophy of software design" clarified a lot of my thinking around complexity. I find the "Grug Brain" stuff pretentious and dishonest. "Me not smart. Me like simple
334.
by codeflo 3y ago
I agree about the messaging, but in terms of actual security: What about your service provider’s “Bob”?
335.
by codeflo 3y ago
I know that smarter people than me have discussed this to death, but IMO, you simply can't make statistical arguments like that. Let's say you have an input x and a step function f such that the sequence x, f(x), f(f(x)), ... cont
336.
by codeflo 3y ago
> nearly all languages lack a way to solve this The only thing I’ve seen that goes in this direction is Knuth’s literate programming. I’ve tried it. In its current form it’s still clumsy, lacks tool support and IMO doesn’t fully solve th
337.
by codeflo 3y ago
This used to work back in the old days, but more and more sites decides to ignore this a few years ago. The reasoning is that the percentage of users with misconfigured browsers (who don't know how to fix this and also don't know
338.
by codeflo 3y ago
Regardless of the duplication, I don’t see how yet another random internet poster not understanding LLM hallucinations is news. You’ll probably find dozens of instances of this kind of post every single hour. (But 100 HN commenters in the o
339.
by codeflo 3y ago
> Marx’s claim is that there are functional relations between technology and social structure, so that you can’t just combine them any old way. Marx was, in this regard, certainly right, hence the sociological naiveté that lies at the he
340.
by codeflo 3y ago
> OS threads have a large pre-allocated stack, which increases per-thread memory overhead. It should be noted that AFAIK on all modern operating systems, only one page of the stack is actually allocated on thread creation, and the rest i
341.
by codeflo 3y ago
> Personally, I think Haskell is approximately stuck in a local maximum, which can only be escaped by embracing dependent types To give a counter point, there seem to be lots of small wins that aren't taken, possibly in part becaus
342.
by codeflo 3y ago
Many of these address "paper cuts". Individually, they aren't huge issues. But lots of small annoyances can easily add up and make a language not fun to use, and especially punishing for beginners. That's why some langua
343.
by codeflo 3y ago
Yeah, listing {AND, NOT} was a mistake — you’re right, you do need a constant. My problem with p 🡑 ¬p ≡ 1 is simply that you need some (arbitrary) value p from somewhere. It’s not 1, it’s a unary function that returns 1. That just bothers …
344.
by codeflo 3y ago
It's a matter of definitions, but it always bothered me that functional completeness is defined so that it only requires the ability to produce any non-nullary function, not any function including nullary ones. That is, the set { NAN
345.
by codeflo 3y ago
That's more of a diary than an article -- jargony, disorganized, running in circles, very hard to follow. But the information might be important regardless. There's a strong implication that NIST with help of the NSA intentionally
346.
by codeflo 3y ago
That Wikipedia section is uncharacteristically bad. It doesn’t even define or explain the notation, it’s just some examples and a long quote. I’m sure that there was more to it than that.
347.
by codeflo 3y ago
Perhaps “As a large language model, I’m unable to…”?
348.
by codeflo 3y ago
The ethics discussion in the neighboring threads aside, this approach has some nasty surprises, and I think it's borderline deceptive that they aren't mentioned more prominently. It's not that rare that my REPL sessions e.g.
349.
by codeflo 3y ago
I noticed how prominently Apple advertised their recycled plastic watch bands and whatnot at their last announcement. That's great and all, but the thing that rubbed me the wrong way is that some of those products were made to look r
350.
by codeflo 3y ago
Just take a look at the official Rust logo: a rusty metal gearwheel. I think they moved away from the “fungus” meaning of the name years ago.
351.
by codeflo 3y ago
Somehow I doubt it. If that were the case, we'd see a lot more effort to make the iPads true productivity devices, and a lot less effort to modernize Mac hardware.
352.
by codeflo 3y ago
Yeah, block scoping is one of those "weird CS ideas" that I'm sure at some point early in Python's design was deemed too complicated for the intended audience, but is also quite a natural way to prevent some human errors
353.
by codeflo 3y ago
> It is still that type of model “That type of model” are called transformers, not “like an LLM but small”. The fact that you didn’t know that doesn’t make it wrong.
354.
by codeflo 3y ago
> It's a small, fairly dumb LLM. I have no idea whether you really don’t know what “LLM” stands for or are just trolling. Not calling it an LLM actually is more honest marketing precisely because it’s small, and “transformer-based
355.
by codeflo 3y ago
And interesting test. I didn’t see a mention of the temperature setting used. Temperature controls the probability to pick a token that isn’t the top prediction, which leads to more creative/less robotic results. For actual input predi
356.
by codeflo 3y ago
Harder than getting it out of a lightning port? Because that's not too easy either.
357.
by codeflo 3y ago
They all have the same coach that tells them it looks energetic. They also all have the same script writer, and they all *emphasize* *words* in the *same* *powerful* *exciting* *way*. I'm old enough to remember that Apple presentations
358.
by codeflo 3y ago
I think mindset plays a role as well. Back in the day, there was a restraint on adding features, at least when they would make the logic more complicated for only a tiny or imagined benefit. Part of that was memory/storage limitations.
359.
by codeflo 3y ago
I'm responding to a comment that claims all lifetime issues are solved by RAII. My argument was that for efficient code, you need to pass references or pointers, which means you do need to care about lifetimes. And your argument is tha
360.
by codeflo 3y ago
You have two choices. Either you write code with good performance, which means that functions do take references and pointers sometimes, in which case you do have all of the usual lifetime issues. This is the proper way to use C++, and it&#

More ›