patrec

8 ms·

31.
by patrec 3y ago
So what is the most interesting part of your story?
32.
by patrec 3y ago
From their post-mortem: https://blog.bambulab.com/cloud-temporary-outage-investigati... > The result was that the print job was successfully completed on the printer, but our cloud service believed it had not been done.
33.
by patrec 3y ago
Look at the gyrations the Rust compiler team has been going through for years to be able to actually use LLVM's noalias (which is a very desirable optimization in Rust where the borrow checker statically guarantees absence of aliasin
34.
by patrec 3y ago
Except that it doesn't work and is basically WONTFIX since no C or C++ programmer ever uses it. This is only very slightly exaggerated.
35.
by patrec 3y ago
How do you create anything with RabbitMQ that a) has performance characteristics under load you can reason about and b) can handle individual node or networking failures without data loss? Kafka is overkill in most scenarios and you should
36.
by patrec 3y ago
Sorry, yes.
37.
by patrec 3y ago
Several languages have what I think you are asking for. Have a look at Scala's extractors or F#'s active views.
38.
by patrec 3y ago
> For natural monopolies, public management seems to work best. What makes you think so? If the government can't incentivize a private company with a natural monopoly so that it provides an effective service, why would it inherently
39.
by patrec 3y ago
Tangentially, it's Ernő Rubik (double acute accent), not Ernö Rubik (umlaut). The doubly acute accented ő is basically a long ö.
40.
by patrec 3y ago
Firstly, thanks for posting these reminiscences! > His great accomplishments were having a multi-decade vision of how to build an AI and actually keeping the vision alive for so long. You have to be charismatic and convincing to do that.
41.
by patrec 3y ago
> I agree with Wolfram that encoding heuristics was an experiment that had to be done. Negative results are super important. I'm so, so glad Lenat (and crews) tried so hard. The problem is that Doug Lenat trying very hard is only us
42.
by patrec 3y ago
> Most graduates of Computer Science programs can, perhaps with some trouble, implement a half decent C compiler in a weekend or two. Where "most" of course means < 0.1%.
43.
by patrec 3y ago
The only language I can think off that does the right thing is Eiffel ( https://bertrandmeyer.com/2010/02/06/reflexivity-and-other-p... )
44.
by patrec 3y ago
And as can be seen from the weak provided rationale, the IEEE-754 spec rather sucks. Javascript would probably have been a better language had it diverged from it.
45.
by patrec 3y ago
Qalculate has a plain text repl (qalc), as well. And, as far as I know, all the other things you mention. Speedcrunch might be awesome for all I know (never tried it), but your comment does not really shed any light on why one would pick it
46.
by patrec 3y ago
Ah, sorry, I meant the correct an incorrect usages for "occlude" and "albedo".
47.
by patrec 3y ago
How are they used and how should they be used?
48.
by patrec 3y ago
I think you are missing a zero.
49.
by patrec 3y ago
No, you specifically claimed that "tarsnap makes a lot of sense" in certain situations. I think that's incorrect and that there are basically no situations where tarsnap makes sense as a primary or even secondary backup solut
50.
by patrec 3y ago
> Tarsnap makes a lot of sense when you benefit from the encryption and (especially) de-duplication features that it offers. Can you provide more detail why you think so? I don't believe there is any use case in which tarsnap makes
51.
by patrec 3y ago
Completely ignoring costs, can you name a single use case for which tarsnap would be better than Borg or restic on rsync.net?
52.
by patrec 3y ago
Everything about tarsnap is absurd. It's basically the world's most absurd backup service (insanely expensive, poor UX, bus factor of ~1, restoring moderate amounts of data appears to take days (!)[1]), brought about by an absurdl
53.
by patrec 3y ago
> Just because someone is proposing something for a small slice of society, doesn’t mean they intend to propose something similar for all of society Yup, a "small slice of society" that's just proverbially eating the world
54.
by patrec 3y ago
Sounds like an excellent idea that will work really well because it's incredibly well aligned with how humans actually function. I really wonder why no one else has thought of communism before.
55.
by patrec 3y ago
He's not saying that. What he is saying is that are simple, non-production quality implementation in Scala is much more amenable to experimentation than a sophisticated, production-quality implementation in C++ that weighs in at 300x t
56.
by patrec 3y ago
That's not entirely correct. Rust on Linux will dynamically link glibc and libgcc by default. And you can't reliably create a fully statically linked executable on some operating systems like macOS et al.
57.
by patrec 3y ago
Thank you!
58.
by patrec 3y ago
You say innovations, I say counterproductive bullshit. The idea to write a "secure" operating system on the basis of a) C, the single worst and most actively anti-secure language in the history of computing b) unix with its ambien
59.
by patrec 3y ago
BTW, what are some favorite examples of yours for matrix analysis derived intuition about the world?
60.
by patrec 3y ago
Fortran programmers can!

More ›