zzless

16 ms·

31.
by zzless 4y ago
Not to doubt your story but being a flight instructor myself, I cannot imagine intentionally turning off power to airplane radios at an airport with a control tower (this is also illegal). As far as the pure mechanics of landing go, one doe
32.
by zzless 4y ago
I respect your stance (although I disagree strongly) but you might consider something other than Sile, as Chapter 6 of Sile's manual is called 'SILE Macros and Commands'. Also from reading about D, his strongest objection to
33.
by zzless 4y ago
I have really enjoyed reading this! My 'suite' is TeX+Emacs+C (although I write occasional code in Python, Perl, JavaScript, and a few others, a first love is a first love... ) but Kedit and BASIC sound fine to me:)
34.
by zzless 4y ago
I especially enjoy the quotes at the end of every chapter. The one on grouping is sublime! How DEK found them all is beyond me.
35.
by zzless 4y ago
This description of TeX's process (originally by Knuth himself) is quite tongue in cheek but I fail to see why this makes TeX's programming paradigm 'awful'. Think of it this way: both C and C++ (even Rust has macros, wh
36.
by zzless 4y ago
I am not sure what you mean by context-free languages because literally none of the modern languages have context-free grammars. This includes HTML and XML although I would not call them programming languages per se. C++ grammar is undecida
37.
by zzless 4y ago
I am not going to argue about the tastes here but please consider the fact that TeX is a typesetting language. Ignoring whitespace altogether would make .tex files unreadable (as a comment below states). I am again puzzled by complaints abo
38.
by zzless 4y ago
My experience with TeX is a complete opposite. I feel like I can do pretty much anything in plain TeX, with a very good feel of what it is doing in its 'guts'. I wrote parsers in compilers in pure TeX (the latter was admittedly a
39.
by zzless 4y ago
Doesn't your example support his/her position though? Dump the stock now, wait till the price drops, buy at a reduced price ... profit! I know, timing the market and all that, but this seems like a sensible move now.
40.
by zzless 4y ago
Well put. Grade inflation is one of those emerging behaviors that is reinforced by the system as a whole as opposed to individual players. I think one major problem is we equate education with 'college education' which is probably
41.
by zzless 4y ago
The problem is such behavior is very heavily disincentivized. I am not sure what the main factor at Harvard is but at public schools the funding of the university depends most heavily on retention. At our university, we are penalized (both
42.
by zzless 5y ago
ICAO is the certifying authority, FAA and EASA (and hundreds of other national certification bodies) have agreements that allow for the certification results done on the national level to be accepted by ICAO. I totally agree about the signi
43.
by zzless 5y ago
Technically, `hopping back on' you would still be violating the law because the Basic Med allows you to self-certify but the rules are the same. On the other hand you can pay for SI once and then switch to Basic Med (since the rules ar
44.
by zzless 5y ago
Technically speaking, the engines you are referring to are turbine (not jet). There are two types of turbine engines: turbojets and turboprops. The first ones produce a significant portion of the thrust via jet exhaust (even though high byp
45.
by zzless 5y ago
True. This is why I advise all of my students who want to be casual fliers only (i.e. not flying for hire) to switch to Basic Med. No need to seek out an AME (any family doctor can do it) and the appointment is only every four years (instea
46.
by zzless 5y ago
Thank you for the links but just to clarify: I have to send each student a random individual password (so that they can login to set up their test taking software). The password is currently generated by a script that then proceeds to email
47.
by zzless 5y ago
As I mention in my post, this is the setting our admins chose so I do not blame MS for this (they support both, I know). Another setting they chose is to delete emails over six months of age and there is nothing I can do about it either. Th
48.
by zzless 5y ago
I would agree that setting up a robust personal email system is difficult and may be exceedingly so for an organization of any significant size but I am not sure I would attribute that to the quality of services from large providers. Our or
49.
by zzless 5y ago
Indeed. I truly hope that PineNote takes off: https://www.pine64.org/pinenote/
50.
by zzless 5y ago
I would second this. Framework seems to be intent on creating a laptop that is easy to repair and upgrade. It has some unique features, too, like extension cards. Depending on what one needs it is possible to have, say, 4 USB-A ports or 4 H
51.
by zzless 6y ago
Indeed, I was going to say exactly this but I am glad I found your comment instead. The first question in the interview is about the reason good typesetting was important to Knuth and the .pdf sort of answers it. It is an excellent read but
52.
by zzless 6y ago
The author does not say 'conflict', he uses 'contrast' instead which is perfectly justified. Your subtly offensive (a)-(g) list seems to imply that the reasons for this contrast are rooted solely in the emotions of those
53.
by zzless 6y ago
To make some counterpoints: - On any device as long as it runs a browser - You can write TeX documents as a single file with ease - Phones are not designed for reading, so dynamic layout or not, it will still be inferior to finely typeset d
54.
by zzless 6y ago
I would like to second this great advice. A somewhat shorter piece of reading is 'Mathematical typography' by Knuth (published in the Bulletin of the AMS but I believe is freely available online). This article outlines the (enormo
55.
by zzless 6y ago
I respect your courage but I have to disagree with your assessment of CSS vs real typography. Layout capabilities of CSS are orders of magnitude less extensive compared to those of TeX. For example it is nearly impossible to say, put a box
56.
by zzless 6y ago
Indeed, one look at the comments would unveil a whole lot of shortcomings to their methodology. One of which was an entirely opaque way in which they defined 'errors in typesetting'.
57.
by zzless 6y ago
I would also point out that most of his troubles stem from the somewhat amateurish approach to using LaTeX. Overfull boxes can be handled by relaxing the typographic requirements. If one desires the typesetting quality of MS Word and quicke
58.
by zzless 6y ago
True, the first order logic is unique in that it satisfies compactness and L-S. Extending the language to second order language (although this is not quite standard terminology) is a whole new ball of wax since the concept of a model change
59.
by zzless 6y ago
> it seems to me that the thing to do is to extend your language until it can. This depends on what you mean by define. If you mean a unique model than this is impossible. The reason is compactness theorem (every theory in which every fi
60.
by zzless 6y ago
I should have said that one cannot prove this in ZFC (of course there may be models of ZFC in which this is true) since that would meant one can prove Con ZFC in ZFC. Mostowski's theorems however are provable in ZFC and are enough for

More ›