dataangel

7 ms·

61.
by dataangel 3y ago
I doubt it with a copy-and-patch JIT, not the way they work now. I'm a serious mypy/python-static-types user and as is they currently wouldn't allow you to do much optimization wise. - All integers are still big integers - Us
62.
by dataangel 3y ago
> keep counters of how often each block of code runs ... and then any block of code running more than a few thousand times run through a far more complex yet slower optimizing jit. That's just all JITs. Sometimes its counters for go
63.
by dataangel 3y ago
> the hype currently is for typed or gradually typed languages So Python with mypy
64.
by dataangel 3y ago
> (this feature was cool in the 90s, but dreaded since at least 2010) LOL this is a dead giveaway you haven't been around long. There have been people kvetching about the whitespace since the beginning. Haskell went on to be the nex
65.
by dataangel 3y ago
Doesn't change parent's point, clearly proves it's possible
66.
by dataangel 3y ago
The founder's academic work is literally on using games to get people to generate training data for AIs. I watched his lecture on this in ~2007.
67.
by dataangel 3y ago
Is there any copyright issue with the community editing and republishing as described in the README?
68.
by dataangel 3y ago
Assuming I did proofs in highschool algebra and geometry courses, is there any tutorial that would make lean4 accessible? I think computer assisted theorem proving could be great educationally, but this post would be complete gobligook to m
69.
by dataangel 3y ago
TL;DR - Julia nice for prototyping - but zero speed up from using GPU - sometimes faster sometimes slower on CPU - no plans to use at the moment
70.
by dataangel 3y ago
Unless you care about packages from lang package managers like pip...
71.
by dataangel 3y ago
Slows down your gut motility, can't wait for the epidemic of new SIBO/IBS cases.
72.
by dataangel 3y ago
I find this research to be both ethical and necessary, and I think kernel devs decrying it as wasting their time are missing the point. They demonstrated the whole "with enough eyes all bugs are shallow" security model doesn'
73.
by dataangel 3y ago
It's very sus but $1M isn't a huge profit by trading standards. If they knew what was coming why didn't they bet more?
74.
by dataangel 3y ago
globs don't even prevent you from special casing one file to have different flags
75.
by dataangel 3y ago
Globbing is how you avoid pointless busy work. If there's a file in the directory that shouldn't be built, it shouldn't be there.
76.
by dataangel 3y ago
> glibc could introduce arbitrary delays, but it generally doesn't. Yeah it does, that's why gamedevs and hfts don't use any malloc in the fast path, glibc or otherwise.
77.
by dataangel 3y ago
For the uninitiated what are wild about D lambdas? I'm familiar with C++ lambdas and Python lambdas.
78.
by dataangel 3y ago
ccache pretty aggressively scans for things like __DATE__ and has direct understanding of compiler flags so instances of bad caching are pretty rare, I think I've only had it happen twice in years of use and once was a GCC bug. Also si
79.
by dataangel 3y ago
Does it still have the issue where it can't be shared between users on different hosts unless they all store their source code at the same path?
80.
by dataangel 3y ago
It's actually the protobuf design mistake that most adversely affects decoding performance. The original creator who went on to make Cap'N Proto makes the excellent point that it's better to leave the extra bytes and then jus
81.
by dataangel 3y ago
Came here to say this. 100% is too good to be true and it's almost certainly the AI has figured out a signal leak from the camera, image format, room, etc.
82.
by dataangel 3y ago
Presumably there are open source apps you can install on top of AOSP that let you message and dial though?
83.
by dataangel 3y ago
That stuff is going to get smacked down by the federal SC hard
84.
by dataangel 3y ago
> Not so, unsafe code still has restrictions in Rust due to pointer provenance. That's separate from what I'm referring to. In C++ a float* and an int* can never alias. In Rust f32* and u32* are allowed to. Meaning in a situati
85.
by dataangel 3y ago
> If you want to be pedantic -- in theory C++ can never be the fastest systems language possible because of the language's rules about aliasing. True but the only practical competitor is Rust, and they gain some alias information (m
86.
by dataangel 3y ago
You can do that in any C program today
87.
by dataangel 3y ago
It's not used by any of the major ones, so in practice lots of apps will be broken. I like musl, and I link it for my own stuff but I only have to make sure my stuff works. if I had to make sure everyone's existing stuff worked gl
88.
by dataangel 3y ago
That is really how I meant it. Using Linux for almost 20 years I've found the most important part of having a working system is being on the beaten path. Distros that do too much exotic stuff spend all their time fruitlessly trying to
89.
by dataangel 3y ago
yes exactly what I meant
90.
by dataangel 3y ago
So they're basically saying "our system will be better because more things will just work" but then they decided to use nonstandard libc and coreutils so actually getting existing Linux scripts and software to work in this di

More ›