Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
zzless
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
14 ms
·
61.
▲
by
zzless
6y ago
You are correct, I should have omitted the * from the language.
62.
▲
by
zzless
6y ago
You are correct, one would have to exclude the multiplication for that.
63.
▲
by
zzless
6y ago
I have also found that students have a much easier time with forcing after learning about ultraproducts (and Los theorem) and boolean valued forcing (even though technically, the modern version using partially ordered sets of 'conditio
64.
▲
by
zzless
6y ago
I am looking forward to the next part but he has already said something that will be a a problem later on: he said that according to L-S theorem there are countable sets that are models of set theory (ZFC to be precise). This is not really
65.
▲
by
zzless
6y ago
In fact, he did not miss anything. Using the language he started with (variables range over 'numbers', and the relations are <, >, +, and *), the reals and the rationals indeed have the same properties (elementary theory as
66.
▲
by
zzless
6y ago
While theoretically true, the numbers do not lie. The angular momentum of the prop alone and the applicable geometric (dis)advantage are just not enough to significantly affect a typical taildragger. Not to mention that while (both) mains a
67.
▲
by
zzless
6y ago
This is a nice set of lectures. I looked through the notes on aerodynamics and they are better than most sources, however I do have an issue with two items there. When talking about the minimal drag every book (for pilots that is) mentions
68.
▲
by
zzless
6y ago
'Flying upside down' is certainly valuable (I offer spin training to all my students who want it, since it does not require a parachute) but it would not be very helpful in the case of weather related disorientation. JFK accident
69.
▲
by
zzless
6y ago
Wow. I thought you were joking but UL-39 really does look like an amazing concept. Jet propulsion with a piston engine! And an LSA at that! Incredible. Thanks for the reference.
70.
▲
by
zzless
6y ago
In your 1) you mentioned cargo, so just to clarify, you can fly cargo for somebody, i.e. not in your own airplane. In general, flying and operating your airplane for any kind of compensation is what the FAA calls 'holding out' and
71.
▲
by
zzless
6y ago
Indeed. I add the CFR 14 (the FAR portion of the FAR/AIM) to the mix. A fun game to play is 'is this a reg or a recommendation from AIM'. Most students think that standard left turns in the pattern are a recommendation but th
72.
▲
by
zzless
7y ago
I spent two weeks in Bialystok in the 1990's learning Mizar from Andrzej. He was a fascinating person (unfortunately he passed away two years ago). He was trained as a topologist (under K. Borsuk, a well-known Polish mathematician) and
73.
▲
by
zzless
7y ago
Glad someone mentioned FlightGear. It is a pretty nice simulator, with pretty accurate flight models, although not too friendly to setup. Once you do though ... . I used to do IFR practice in FlightGear, first for my IFR rating, then for th
74.
▲
by
zzless
7y ago
I have written a lot of style files (in plain TeX, I am actually a quite passive LaTeX user) for things like handouts and tests I use in my teaching, including my side job as a flight instructor. Some specialized typesetting tasks, like mul
75.
▲
by
zzless
7y ago
I have the exact opposite experience with LaTeX. Looking at a few example documents and trying them out will get nearly anyone started on writing LaTeX documents. For very sophisticated effects (tables, complicated graphics that interacts w
76.
▲
by
zzless
7y ago
This is an excellent point. The helicopter exhaust is probably deposited in its entirety on the cherry trees and in the field. I guess the Jetranger dried fields look almost 'organic' in comparison:) Hopefully, the FAA and the oil
77.
▲
by
zzless
7y ago
Of course I do have a CFI, CFII, and MEI and they help. To pay off the $1000's spent on training, though, instruction is not enough, the only way is to fly in some inhospitable places: think Alaska, South America. One of my friends wen
78.
▲
by
zzless
7y ago
Of course, but I do meet a lot of the ones that didn't. Those guys have a lot of perseverance, although many of them, just like me started in fixed wing.
79.
▲
by
zzless
7y ago
Fantastic description of a helicopter flying job. The standby experience is no different from any other commercial (unscheduled) flying job but I am sure the competition is more intense. It has always been a mystery to me how helicopter pil
80.
▲
by
zzless
7y ago
What about 'The Art of Electronics', by P.Horowitz and W.Hill? Not only it goes through many real circuits and systems, it has questions like: 'What is wrong with this circuit?' at the end of every chapter. It is a bit l
81.
▲
by
zzless
7y ago
I would wholeheartedly second 'The Art of Electronics'---it is a perfect book to start with. I would add 'The art of designing analog chips' by Camenzind (the inventor of the 555 timer) and 'Multistage Transistor Ci
82.
▲
by
zzless
7y ago
It is absolutely puzzling to me why anybody would prefer this 'jet' to a nice (used maybe) turboprop like a KingAir or an Aerocommander (heck, even an MU2). They are (almost) just as fast (or slow), carry more load and do not requ
83.
▲
by
zzless
7y ago
It depends very much on the circumstances. In most slow GA airplanes (and yes, the Vision jet is a slow plane), one can perceive both the airspeed and the angle of attack by the control feel ("mushy" vs "firm"). Many old
84.
▲
by
zzless
8y ago
This also assumes that the software must constantly evolve and `pull ahead'. In reality, a lot of the software in use usually evolves to a point of being useful and does not need anything but routine incremental adjustments (I did not
85.
▲
by
zzless
8y ago
As the comment below points out the author did not create Racket. However there is an author (Donald Knuth or DEK as he is known) who did just that: create a new language (two of them: TeX and METAFONT) for typesetting and making fonts, cre
86.
▲
by
zzless
8y ago
I am curious as to what his view would be on, say, the positive solution to the 3n+1 problem (i.e. every 3n+1/2 sequence eventually becomes a cycle). Some of these sequences may be profoundly long, so long that in his view, they may no
87.
▲
by
zzless
8y ago
He is obviously a well trained mathematician so reading his pieces (of which there are many) is akin to watching a tsunami come to shore---you cannot look away yet you know that this is a tragedy unfolding. This said, his complaints about s
88.
▲
by
zzless
8y ago
He would often add: "So do not rush to be the reason for the next one ...".
89.
▲
by
zzless
8y ago
Flying freight and surveys. C206 at first, then the usual progression to Navajo, Metro ...
90.
▲
by
zzless
8y ago
Not really. At major airlines there are special programs that help with this (even with DUI's surprisingly) mainly because pilot unions make it part of the contract. For a corporate pilot, there is rarely any recourse. one other thing
More ›