gbacon

11 ms·

91.
by gbacon 1y ago
Long live Doug McIlroy!
92.
by gbacon 1y ago
Aaronson’s argument shows by contradiction that a computable upper bound D(N) that grows more rapidly than BB(N) cannot exist because otherwise we’d be able to use it to solve the halting problem.
93.
by gbacon 1y ago
Way worse than just very difficult: - “Avoid the Collatz Conjecture at All Costs!” (Math Kook) https://www.youtube.com/watch?v=TxBRcwkRjmc - “Experienced mathematicians warn up-and-comers to stay away from the Collatz conje
94.
by gbacon 1y ago
TikZ is definitely nice. For generating vector versions of your matplotlib plots, use FigureCanvasPgf. https://matplotlib.org/stable/api/backend_pgf_api.html#matpl... In Jupyter, that looks like !sudo apt-ge
95.
by gbacon 1y ago
Why we care about Busy Beaver numbers, from “Who Can Name the Bigger Number?” by Scott Aaronson: Now, suppose we knew the Nth Busy Beaver number, which we’ll call BB(N). Then we could decide whether any Turing machine with N rules halts on
96.
by gbacon 1y ago
Using QuickCheck for the first time seemed like magic.
97.
by gbacon 1y ago
See also his Turing Award lecture “Reflections on Trusting Trust.” https://www.cs.cmu.edu/~rdriley/487/papers/Thompson_1984_Ref...
98.
by gbacon 1y ago
The article even makes reference to the use-or-lose approach to managing a departmental budget: And history shows that it happened partly because the department paying for it “had extra money, and if they didn’t spend it, they’d lose it th
99.
by gbacon 1y ago
The caption under the picture of ken and dmr both standing that attributes to the latter “their motivation was to build a system ‘around which a fellowship could form’” calls to mind quotes from The Lord of the Rings in comments at the to
100.
by gbacon 1y ago
See also Atomic Habits by James Clear: https://jamesclear.com/atomic-habits In Franklin’s autobiography, he names 13 virtues and describes his “fake it until you make it” approach, as boz characterizes it. My intention b
101.
by gbacon 1y ago
Casually flinging vague accusations of fascism or of having sympathies with a particular historical socialist workers party contribute zero to the sides understanding one another. Words have meanings. Which specific people are forwarding wh
102.
by gbacon 1y ago
Lots of topics that we discuss on HN require careful thought and other difficult efforts but somehow do not extinguish our curiosity. Going back to the ancient Romans, an ounce of gold has always been able to purchase a suit of clothes. As
103.
by gbacon 1y ago
Your starting point of 1914 is strangely specific. Why did you choose it?
104.
by gbacon 1y ago
You’d think some filmmaker would have run with the dystopian theme. The accuracy of the book’s predictions is impressive, even the location of the North American Space Defense Command. The biggest miss was people using wired telephones ever
105.
by gbacon 1y ago
This seems like a broad overgeneralization unless you believe zero fat in grad schools is available for trimming.
106.
by gbacon 1y ago
This is insightful. Which programs will the new tech make profitable (be it cash, psychic/emotional, or some other form) to write? The Keynesian bogeyman of the deflationary spiral ignores intertemporal effects. Cell phones and laptops
107.
by gbacon 1y ago
The role of the entrepreneur is predicting future states of the market and deploying present capital accordingly. Beck is advocating a game-theory optimal strategy. Judgment is a skill improved through reps. Sturgeon’s law (ninety percent o
108.
by gbacon 1y ago
This was my first time working with perl and I have to say, it’s quite well suited to this kind of task. Nice to see Perl get positive press. Fun project, Bogdan! https://github.com/BogdanTheGeek/semihost-ip/blob
109.
by gbacon 1y ago
“This time will be different!” announce the proponents. Watch now, class, as the economic calculation problem works out as predicted in yet another instance. https://en.wikipedia.org/wiki/Economic_calculation_problem
110.
by gbacon 1y ago
See tinylisp-extras.c for TCO. https://github.com/Robert-van-Engelen/tinylisp/blob/2d0fb35b...
111.
by gbacon 1y ago
You may be able to. Pilots with useful vision in only one eye may obtain medical certification upon demonstrating the ability to compensate for the loss of binocular vision and to perform airman duties without compromising aviation safety.
112.
by gbacon 1y ago
It’s there as a relief valve. LAX has some of the busiest airspace in the world. ATC grants services to VFR traffic on a workload permitting basis. When ATC is too busy separating IFR traffic, which is their higher priority, it allows pilot
113.
by gbacon 1y ago
While we’re trading anecdotes, I’m a CFI and have never encountered or even heard of a student being able to land an airplane decently (which I’m using in a relaxed sense, not strictly checkride-ready) based solely on sim experience. Maybe
114.
by gbacon 1y ago
Although filing a VFR flight plan is an excellent idea so that someone is looking for you in case you don’t show up at your destination, it is optional. ATC receives IFR flight plans only; VFR flight plans go to Search and Rescue.
115.
by gbacon 1y ago
What’ll it take to get you back in the air?
116.
by gbacon 1y ago
No need to anxious. Your CFI is there to keep you safe and prevent anything wildly dangerous while you’re teaching yourself to fly. Look outside, and learn what correct looks like. References on the ground are already giving you gobs of inf
117.
by gbacon 1y ago
It didn’t roll off the factory floor in 1958 with a moving map GPS. A common retrofit is a Garmin 430 that has a 2D bird’s eye view of airspace lateral boundaries. ForeFlight runs on iPhones and iPads; other electronic flight bag software r
118.
by gbacon 1y ago
I have zero experience with simracing, so I don’t know. I would guess the urgency of other vehicles being around, needing to see the course, and a lack of interesting instruments inside would tend to keep a simracer’s eyes outside and away
119.
by gbacon 1y ago
Yes, VFR pilots need to look outside a huge majority of the time. The rule of thumb is look out the window 90% of the time and peek at your instruments the remaining 10 percent. New primary students and especially simmers have a tendency to
120.
by gbacon 1y ago
The article said the airplane is based at KAJO, which is barely within the lateral boundary of Ontario International’s Class C shelf. To legally avoid a requirement to talk to ATC going north, he would have to stay below 2,700 MSL and remai

More ›