Viewing profile — tiu

I was active in mathematical contests during high school but beyond that the patience to sit through a problem and the classic "tricks" have elapsed beyond me. Even doable problems…

Alternatively beside which-key, hydras exist which are very nice for certain contexts (dired in the particular case for me) and provide a nice shortcut interface whenever activated…

For the mathematically inclined, EWD717 and EWD765 have two really cool problems. A while back someone posed EWD765 for an alternate solution, I don't recall if any other solution …

Thanks! Bloomberg also does use OCaml by the way, although probably not to the extent of Jane Street.

The comments are wildly fragmented in this thread. I agree with @torginus, the article has less and less of anything useful to people that want to get into compilers. Anyways, the …

I am whole off the vim (&friends) trend but my 2c- The helix situation is still miles better for up and running asap compared to dancing with files/lua on lazyvim. Just having to r…

Yes I am talking about the help text in echo area. In newer versions apparently they only show a single line by truncating the eldoc-doc-buffer content(not super sure on this but t…

Slightly off topic here but do you (or anyone) happen to know how to get old Eglot behaviour back of showing entire types and parameter information instead of only the first line? …

No affiliations, just found it cool. Release video: https://www.youtube.com/watch?v=jm_0nRQEn_o

Why Plan 9 seems to be 'much' more popular/discussed and not Inferno? [0]: https://en.wikipedia.org/wiki/Inferno_(operating_system)

How far are the problem sets doable for non Harvard people? I want to do the psets as well as maybe extend the OS with some ideas but the license is not there as well? @ekzhang

Why not bloomberg instead lol

Godement in his analysis exposition briefly talks about this, it was all hand drawn.

Off topic but without going RTFM, is there a guide that goes through setting up emacs 'with the modern way'? I have done it before but in a mish-mash way where I want something tha…

Can https://www.underhanded-c.org/ also please come back!

I am probably misunderstanding your requirements but if you are looking for something like regex101 then https://omrelli.ug/nearley-playground/ and https://bnfparser.firebaseapp.co…

I was playing around with Fortran (modern-ish) recently was pretty impressed with the entire ecosystem. `fpm` is really really nice to work, pretty decent LSP server (fortls) as we…

See https://wiki.alopex.li/SurveyOfSystemLanguages2024 and the related discussion https://lobste.rs/s/c3dbkh Serious total MSLs that have a defined memory model to allow "low level…

Yes, thank you. That is the Douglas Thain book I meant. (compilerbook.org seems to work for me, only broken thing would be the semicolon).

I wrote 'multiple codegen architectures' instead of 'multiple architectures for codegen'. As far as I have done in the toy compilers and seen the things in actual production ready …

Regarding the language design part, many universities I know of offer a {Advanced} Programming Languages class later on after a Compilers 101 class and that is where many of the to…

I just got over writing 2 (well 2.5) toy compilers and I think a lot of the material in the compiler-teaching space lack some subtle developmental aspects. I wish there was a cours…