boomanaiden154

6 ms·

31.
by boomanaiden154 3y ago
Definitely more. There are lots of things that might be more optimal in terms of raw complexity but end up having abysmal performance due to things like cache locality. Anything with pointer chasing usually kills performance.
32.
by boomanaiden154 3y ago
There’s already been quite a bit of work done on replacing compiler heuristics with ML models. Google has productionized it with MLGO and there have been quite a few papers/experiments on the topic.
33.
by boomanaiden154 3y ago
It doesn't seem like the linked Github issue really backs up the claim that malware was getting shipped in the official image? The OP kept claiming that (even titling it `[Confirmed]`), but only one other person was able to corroborate
34.
by boomanaiden154 3y ago
You can use it to (mostly) validate small snippets are the same. See Alive2 for the application of Z3/formalization of programs as SMT for that [1]. As far as I'm aware there are some problems scaling up to arbitrarily sized progr
35.
by boomanaiden154 3y ago
If you're using Clang/LLVM you can also enable ML inlining[1] (assuming you build from source) which can save up to around 7% if all goes well. There are also talks of work on just brute forcing the inlining for size problem for e
36.
by boomanaiden154 4y ago
I participated in Google Summer of Code last year and had an amazing experience. I was able to work on an awesome project (ML for replacing heuristics in LLVM), met a ton of amazing people that I otherwise wouldn't have come across, a
37.
by boomanaiden154 4y ago
These can definitely be fun to go through. Recently there was a code dump to `ld64` that contained references to Apple's upcoming RealityOS. [1] Kind of surprising that they haven't taken it down. It is pretty cool to see these ea
38.
by boomanaiden154 4y ago
Toolchain wise, at least some of their stuff has been upstreamed into LLVM. I'm not sure if the vector extensions mentioned here have been upstreamed however. [0] https://discourse.llvm.org/t/rfc-add-a-new-backend-
39.
by boomanaiden154 4y ago
Google Meets has some other bells and whistles that I don't think Zoom has comparable features for though, particularly companion mode. Being able to join a Google Meet on one device (like a phone) and join on another device for screen
40.
by boomanaiden154 4y ago
There were some breaking changes within Python 3.10, mostly esoteric features that didn't seem to be used that much. Lots of deprecation warnings though and some C API changes that did break at least one package I used. When I worked o
41.
by boomanaiden154 4y ago
Location: California (about 1.5-2 hours from most of the Bay Area) Remote: Yes Willing to relocate: Yes Technologies: LLVM, C, C++, Python, Tensorflow, Compilers Résumé/CV: https://drive.google.com/file&#x2F
42.
by boomanaiden154 4y ago
> To feed a growing population, we need to double global food production by 2050, but we can't double agricultural acres. We need more food (or more high-quality calories and nutrients) per acre. That's where technology comes i
43.
by boomanaiden154 4y ago
It depends upon what you're defining efficiency as. In terms of yield per acre, there are estimates that yield per acre can increase by a lot more [1]. I haven't seen anything more efficient energy or cost wise (outside of a coupl
44.
by boomanaiden154 4y ago
It can be, but if you're using PGO, the performance gains from JIT are a lot less significant and you lose the compilation overhead at runtime that you have with JIT.
45.
by boomanaiden154 4y ago
Also available, at least if your hardware is aarch64. We've had some issues getting Chromium working on some of the other arm versions Alpine supports. https://pkgs.alpinelinux.org/package/edge/testing/aa
46.
by boomanaiden154 4y ago
VSCode (and Electron) has been working for a while on Alpine Linux. https://pkgs.alpinelinux.org/package/edge/testing/x86_64/cod...