Is Boeing or Airbus Better (from an avionics point of view)
- “Launched in 1984, the A320 was a clean-sheet design that incorporated digital fly-by-wire control systems. It was revolutionary at the time, with side-sticks replacing traditional yokes and extensive use of glass displays instead of mechanical dials and gauges on the flight deck. With the A320, Airbus transformed how pilots interact and fly the airplane. Fly-by-wire meant that pilots sent their inputs to a computer that would then move the control surfaces.
- “The twin-engine Boeing 737 goes back over 50 years, with a first flight in 1967. It was a descendant of two early Boeing planes, the four-engine 707 and the 727 tri-jet. The 737’s cabin and flight deck width are still the same size as the original 707 that first went into service in the 1950s.
- “Over 10,000 737s have been delivered to airlines. The aircraft has been stretched and upgraded over the years, the latest being the 737 MAX series with the latest CFM International turbofans and distinctive winglets. They are so different that the first 737, the 100 model, was 94 ft long and had a maximum takeoff weight of 110,000 lbs — but the latest, the MAX 10, stretches to 144 ft and can weigh up to 194,000 lbs.
- “On the Airbus, you don’t know what the other pilot is doing in terms of control inputs whereas on a Boeing, I’ve got instant feedback on how hard my copilot is working, or how little he’s working on the situation. That’s always troubled me on an Airbus. I’ve looked over and my copilot is just mangling the side-stick — left, right, forward, back — like it’s a video game or something, and I’ve said ‘Whoa, slow down and take it easy!’”
- “There’s a lot that Airbus does right. If the airline came to me and said, ‘You can only fly either the 737 or the Airbus for the rest of your career,’ I’d go with the Airbus.”
How did Michelson calculate the speed of light to within 0.001% in 1927? (video)
A 360626 kg bridge crane test weight
A (wonderful) video of people looking through a telescope for the first time
DeepMind AI Resource List
biVector.net Geometric Algebra for CGI, Vision and Engineering
“In the Beginning was the Command Line” (Neal Stephenson)
Intuitive Guide to Maxwell’s Equations
All About Modelica
Tesla using 3d printing to update designs (in HVAC system) without stopping manufacturing and completely retooling
- part of a very interesting Tesla teardown series
- “This website is intended to be a source of knowledge for learning about and understanding antennas. The goal is to present a comprehensive tutorial on antennas.”
5 Minutes That Will Make You Love Mozart
Rebuilding Tally Ho
- “Right now, I’m on a mission to rebuild a 109-year old English sailing yacht called Tally Ho. Designed by Albert Strange in 1909, she is a well-known and important historic vessel – but after many adventures she was left in a remote port in Oregon to rot for decades, despite some valiant attempts to rescue her. I bought her and moved her to the Olympic Peninsular earlier this year, and am now starting to rebuild her from the keel up. Eventually I hope to sail her back to the UK.
- 77-part (and counting)
On Behalf Of Environmentalists, I Apologize For The Climate Scare
- Very thought-provoking, a lot of assertions I want to check here
- This I can agree with: “The ideology behind environmental alarmism—Malthusianism—has been repeatedly debunked for 200 years and yet is more powerful than ever.”
- Really enjoyable video lecture series on moral philosophy
Gwern on GPT-3. Some compositions are shockingly good (the Paul Graham imitation, for example)
Scott Sumner on Joseph Conrad
Publicly available note collections
Algebraic models of simple type theories: a polynomial approach
We develop algebraic models of simple type theories, laying out a framework that extends universal algebra to incorporate both algebraic sorting and variable binding. Examples of simple type theories include the unityped and simply-typed λ-calculi, the computational λ-calculus, and predicate logic.
- Simple type theories are given models in presheaf categories, with structure specified by algebras of polynomial endofunctors that correspond to natural deduction rules. Initial models, which we construct, abstractly describe the syntax of simple type theories. Taking substitution structure into consideration, we further provide sound and complete semantics in structured cartesian multicategories. This development generalises Lambek’s correspondence between the simply-typed λ-calculus and cartesian-closed categories, to arbitrary simple type theories.
“By having every smart teenager in mid 2010s read it, HPMOR might’ve destroyed trillions worth of value just by this single line”
Clever Homotopy Equivalences
Uranium disposal cells of America. Fascinating article / photos.
- Well done Tufte-style visualization of brands found at Goodwill