roca

34 ms·

481.
by roca 5y ago
Python's fine until you want to use a library that's not part of the standard library, then it's a nightmare. Especially if you want to distribute your code, not just run it locally. (Ditto for C and C++.)
482.
by roca 5y ago
That Quine thing probably uses almost none of the Linux kernel API. Some of the language runtimes do some interesting things, but even fancy ones like V8 are not that challenging in terms of kernel APIs. So I don't know anything about
483.
by roca 5y ago
Yes they are. The Linux API surface is huge. Reimplementing all of it in a compatible way is a colossal amount of work, work that is neverending as Linux evolves. If they can impose restrictions on applications, e.g. say to Android devs &qu
484.
by roca 5y ago
WSL1 -> WSL2 wasn't only about filesystem performance. It looks like the Fuschia people are going to relearn those lessons the hard way. Namely, that it is much less work to make a real Linux kernel work well as a virtual guest than
485.
by roca 5y ago
> Do you think it would have even been possible for one person to write Rust? No, but I don't think it would be possible for someone to implement an S-expression Rust dialect on top of CL either. > Do you really think we would be
486.
by roca 5y ago
The thing is, the sea-of-objects-where-everything-mutates-everything-else programming model is fundamentally bad . It's too hard to reason about. Programs and data need structure. There certainly are structures that do not easily fit
487.
by roca 5y ago
If you start with Common Lisp it is not "pretty easy" to write a DSL that provides the constraints of Rust. You'll need to reimplement type checking and borrow checking at least, and as others pointed out, it's a ton of
488.
by roca 5y ago
I use debuggers a lot, although I'm a special case because I also build debuggers. But I became a debugger builder because I was an unsatisfied debugger user (as Mozilla developer working on Gecko, in particular). A traditional forward
489.
by roca 5y ago
Why not both? It is possible to build a debugger that does both; Pernosco does. (Disclaimer: my baby.) https://pernos.co/about/basics https://pernos.co/about/expressions
490.
by roca 5y ago
You can have that now. That's now that the parent was hoping for.
491.
by roca 5y ago
If we ever use reversible computing it won't look anything like this Tesla stuff, that's for sure.
492.
by roca 5y ago
Performance per watt is not improving that much, nor is feature size. You'll probably never be carrying around a supercomputer with this many FLOPS.
493.
by roca 5y ago
That's interesting, and doesn't surprise me. When I wrote an n-gram full-text search for email 20 years ago, I used 4-grams to get the required selectivity. I imagine code could be worse because of more restricted syntax and alpha
494.
by roca 5y ago
Because there are trigrams crossing the boundaries between characters. E.g. given the bytes ABCXYZ, the trigrams are not just ABC and XYZ but also BCX and CXY. Then the question is, assuming ABC, XYZ, BCX and CXY are all present in a docume
495.
by roca 5y ago
> the prefix of many of your trigrams is just going to be surrogate pair bytes I'm not sure what you mean by this. Surrogate pairs are a UTF16 thing, not relevant here. > you've essentially eliminated Unicode support entirel
496.
by roca 5y ago
I think the real question is: why not use trigrams of bytes (from the UTF8 representation) instead of Unicode codepoints? Seems like that would simplify everything. If they have data showing that doesn't work as well in practice, I&#x2
497.
by roca 5y ago
That's true, but "in a way" does a lot of work there. "In a way" the Web already depends on the C++ standard library, but we aren't exposing that as a JS API.
498.
by roca 5y ago
I have no doubt that Jonas told the truth that that's the feedback he got. I was never aware of Jonas or anyone else involved at Mozilla having some kind of "anti-SQL" prejudice. WebDatabase, with or without a spec, boiled do
499.
by roca 5y ago
No.
500.
by roca 5y ago
Where do you get the copper ore in this scenario? Existing natural easy-to-access ores have been mined out already. Would it be possible to mine the detritus of our civilization to get these ores?
501.
by roca 5y ago
> all the skills and education will be gone which means you're restarting from zero. Not at all. There will be books containing most human knowledge. It would be hard work for the rebooters to reacquire those skills but much, much
502.
by roca 5y ago
Maybe there's something wrong with the Firefox install on your system. On my Linux laptop it keeps getting faster.
503.
by roca 5y ago
Quantum worked! Firefox did get a lot faster. It's just that Chrome and Safari are also getting faster. It's an endless race.
504.
by roca 5y ago
Servo is not and never will be a competitive browser engine. Gecko is that engine competing with the titans.
505.
by roca 5y ago
I don't know why Christian missionaries are slammed for creating "the first grammar resources for previously unwritten languages". Yes, missionaries have done a lot of the hard work of developing orthographies for minority la
506.
by roca 5y ago
I applaud him for giving it a go, but it's far from complete ... no use-after-free protection at all yet, for example.
507.
by roca 5y ago
It's true that there are "higher level" races that Rust can't prevent. But in-memory races are particularly important to prevent, because a) they're a common and very nasty kind of bug and b) it means unlike Go, Rus
508.
by roca 5y ago
CHERI is far more than just an "alternative implementation of C". It includes a completely different hardware platform and replacing all your hardware can hardly be considered "cheap".
509.
by roca 5y ago
Compcert is a verified compiler. It guarantees that the generated code does what the source code requires. It doesn't turn unsafe C programs into safe ones. "Fail-Safe C" is a research project that has been dead for ten years
510.
by roca 5y ago
Because safety requires that the language prevent you from doing things and libraries don't have much ability to do that. Example: C++ shared_ptr gives you reference counting which helps prevent use-after-free errors. However, shared

More ›