eholk

5 ms·

1.
by eholk 6mo ago
I used the Nano pass framework for my language when I was in grad school and loved it. I forget the exact count but I think we had 40 or 50 passes. Generally each pass either did some analysis that would be consumed by a later pass or it re
2.
by eholk 7mo ago
I took it as meaning "perspectives of people in the Rust Project about AI."
3.
by eholk 11mo ago
You know, that's exactly how I learned to program. I started up QBasic knowing nothing other than that it seemed like a thing for programming computers and programming seemed like a cool thing to do. I typed in random words, and eventu
4.
by eholk 1y ago
When we were teenagers, one of my friends lit a guitar pick on fire. It was a lot more exciting than we expected! We thought it'd just shrivel up and melt, but instead it was like the pick was made of solid rocket fuel.
5.
by eholk 1y ago
Bjarne Stroustrup is 74, so he probably counts as a senior too at this point, although surely more technically literate than the stereotypes. Still, I'm in my early 40s and I find myself baffled when I help my mom with her iPhone. I&#x
6.
by eholk 1y ago
For what it's worth, I've read both Bostrom's Superintelligence and AI 2027. Reading Superintelligence was interesting and for me really drove home how hard setting aligned goals for an AI is, but the timelines seemed far eno
7.
by eholk 2y ago
This was back when Internet Explorer was at version 7. Some Mozilla folks told me they used to get questions like "when are you going to upgrade to Internet 7 like Microsoft?" If I remember right, after Firefox 4 they skipped a fe
8.
by eholk 2y ago
If you're using Windows, in my experience Thunderbird is essentially unusable until you add a Windows Defender exclusion for your Thunderbird profile.
9.
by eholk 6y ago
Would that mean Indiana goes back to the way they were before they started doing Daylight Savings Time?
10.
by eholk 6y ago
Firefox adopted rapid version numbers basically because the rest of the browsers did. For years Firefox was on 3.something, and they'd get questions from people saying things like "Microsoft is already on Internet 7, when are you
11.
by eholk 6y ago
The names are still there internally. Android 10 was Quince Start, and Android 11 is Red Velvet Cake. https://www.xda-developers.com/android-11-red-velvet-cake/
12.
by eholk 6y ago
I'd be really interested to see a comparison of the relative risks between skin cancer and vitamin D deficiency. A lot of what I've read lately suggests we're discovering a lot of benefits of vitamin D that were previously un
13.
by eholk 6y ago
I think originally Roman numerals didn't have shorthands like IV instead of IIII. In that case, to add Roman numerals, you just write the letters all together, sort them, and combine smaller digits into larger digits as necessary.
14.
by eholk 6y ago
Typically the way systems do this is by translating small sections of straightline code, and patching the exits as they are translated. So you start by saying translate the block at address 0x1234. That code may go until a jump to address 0
15.
by eholk 6y ago
I see it as a way of focusing the discussion. The numbers we could plug into it are mostly all wild guesses, but the exercise of plugging in different numbers can still be instructive. For example, we now know there are a huge number of pla
16.
by eholk 6y ago
> ...some Google employee has already refactored the code around the bug. Then you have to be fast enough to get your updated patch applied before someone else has reorganized the code again... For what it's worth, this is how it wo
17.
Off by Two(nickdesaulniers.github.io)
1 points by eholk 6y ago|0 comments
18.
by eholk 7y ago
> - IRs need to be intuitive to the people who work on the compiler. Sea of nodes is more challenging to think about than SSA over CFG. I worked on V8 for awhile, which uses a sea of nodes representation. This point really resonates with
19.
by eholk 9y ago
Sorry I didn't set this up initially, but here's a super barebones playground: https://google.github.io/schism/playground.html Keep in mind there's barely any error checking, so it may or may not work fo
20.
by eholk 9y ago
I hadn't seen those before. Thanks for the link, they look pretty interesting!
21.
by eholk 9y ago
I haven't documented the choice of R6RS anywhere, so here is as good of place as any. The main reason was familiarity. R6RS is the Scheme I know best. I learned on R5RS and moved on the R6 when it was the new hotness. I vaguely was awa
22.
by eholk 13y ago
Responding to pjmlp, a cool project I saw recently that's related to the ones you mentioned is Unikernels [1]. They noticed that a challenge faced by a lot of those projects is hardware support--each OS has to ship with a huge set of d
23.
by eholk 13y ago
To be fair, Rust probably would have needed this for some other reason in the future. I see this more as making Rust a more complete language.
24.
by eholk 13y ago
I've done most of my development on a Mac, but I keep finding many bugs in Apple's OpenCL implementation. Intel's seems to follow the standard most closely, which is useful for keeping me honest.
25.
by eholk 13y ago
It's basically defunctionalization. It's hard to get access to function pointers on the GPU to do "real" higher order functions.
26.
by eholk 13y ago
It's not, although I don't think it should be too hard to port. I haven't done it yet because I don't have ready access to a Windows machine with an OpenCL-capable GPU.
27.
by eholk 13y ago
Lately I've been more focused on getting the features running and less on performance, so I haven't completely explored the impact of using these structures. I'd be interested to hear more about what you're doing. Do you
28.
by eholk 13y ago
I really should update the user guide, since the language has changed a lot in the last year. I have an earlier post that discusses a couple of the optimizations that Harlan does: http://blog.theincredibleholk.org/blog/
29.
by eholk 13y ago
We did start out with a miniKanren type inferencer and region inferencer, but I replaced it a couple months back with a unified type and region inferencer. Region inference is definitely an interesting challenge for miniKanren, since a lot
30.
by eholk 14y ago
The experiment has several variants of each program. In some cases the names make sense, and in other cases they are just random words. One of the goals is to measure how much choosing good names matters.

More ›