tiu

8 ms·

1.
Ask HN: What works to learn mathematical problem solving?
2 points by tiu 10mo ago|0 comments
2.
by tiu 10mo ago
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. Demo at [0]. [0]: https://www.youtube.com/
3.
by tiu 10mo ago
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 was found. That was my introduction to these. [717]: h
4.
by tiu 10mo ago
Thanks! Bloomberg also does use OCaml by the way, although probably not to the extent of Jane Street.
5.
by tiu 10mo ago
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 "Who .. hires compiler engineer?" section is fair
6.
by tiu 11mo ago
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 refer to docs to install a plugin, writing sane re
7.
by tiu 11mo ago
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 they do truncate to 1 line). eldoc-echo-area-use-multiline-p
8.
by tiu 11mo ago
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? It has been bugging me whole week and I cannot seem to find
9.
(Cubyz)Voxel Sandbox Game written in Zig released.(github.com)
2 points by tiu 11mo ago|2 comments
10.
by tiu 11mo ago
No affiliations, just found it cool. Release video: https://www.youtube.com/watch?v=jm_0nRQEn_o
11.
by tiu 1y ago
Why Plan 9 seems to be 'much' more popular/discussed and not Inferno? [0]: https://en.wikipedia.org/wiki/Inferno_(operating_system)
12.
by tiu 1y ago
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
13.
by tiu 1y ago
Why not bloomberg instead lol
14.
by tiu 1y ago
Godement in his analysis exposition briefly talks about this, it was all hand drawn.
15.
by tiu 1y ago
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 that tells how to go from configuring comp-speed, elp
16.
by tiu 1y ago
Can https://www.underhanded-c.org/ also please come back!
17.
by tiu 1y ago
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.com/ although not sure
18.
by tiu 1y ago
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 well as good enough documentation. I am not sure however I lik
19.
by tiu 1y ago
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" operation
20.
by tiu 1y ago
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).
21.
by tiu 1y ago
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 compilers, the codegen is still very muc
22.
by tiu 1y ago
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 topics like EBNF, Grammar Design along with different construc
23.
by tiu 1y ago
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 course designed somewhere which talked about more ingrained issue
24.
by tiu 1y ago
I am hazy on the details but my instructor briefly told us that the 1979 edition had better problems and had topics for the advanced undergraduate. The major thing for us as students was that the 1979 was much shorter to use and concise to
25.
by tiu 1y ago
This is especially true if you consider all the "variations" - the second updated edition (global edition) which should rightfully be a third edition as it has two additional chapters and the two volume precursor texts: The Theory
26.
by tiu 1y ago
+1. To elaborate on this, the original Introduction to Automata Theory, Languages, and Computation, by John Hoffcroft and Jefferey Ullman (The one with the black cover is the 1979 edition). My instructor, even in 2024, made us use that one
27.
by tiu 2y ago
https://github.com/tntaooa/tnt/ Closest I know to an actual book in that style in modern LaTeX. The current edition (main.pdf of that repo) however replaced all the old styling by the looks of it, luckily the anti
28.
by tiu 2y ago
Would also like to mention (tab-rs)[0] which has a much more unconventional take on multiplexing. It is sad that it has not been maintained in a while (written in rust) as I much prefer the low cognitive load approach it presents (just fuzz
29.
by tiu 2y ago
Agree with all but autocomplete should either be a hidden feature or disabled by default since I think it takes away from the immersion as well forces you to recall. Maybe enabled on a NG+?
30.
by tiu 2y ago
You are probably thinking about Programming from the Ground Up by Jonathan Bartlett. There are many others in the same style though. He also has a newer book if I recall right. https://www.amazon.com/Programming-Ground-Up-J

More ›