mgsouth

31 ms·

301.
by mgsouth 7y ago
Here's a simulation, by Kevin R. Grazier at JPL, which claims that large outer planets, rather than shielding inner planets from debris, help life-bearing conditions by kicking ice-bearing comets inward. Blurb on phys.org: https:&#x2F
302.
by mgsouth 7y ago
[Disclaimer: not an aeronautical enginner or pilot.] Unfortunately, no. Stalling is a function of the wing's _angle_ relative to the flow of air, not of speed. If the angle is too sharp the air can't follow the curve of the wing.
303.
by mgsouth 7y ago
Delayed edit: Yes, apparently tidally-locked planets can have a surprisingly large magnetic field. Evidently the major reason for planetary fields is convection, not rotation. ([0] cites [1]) However, I believe there are also homopolar [2]
304.
by mgsouth 7y ago
A tidally locked core would rotate once every 1.3 days, would it not? [edit: Never mind. I think. Apparently it's rotation of two layers of core relative to each other that generates the field. However... since the plant is so close to
305.
by mgsouth 7y ago
It was a couple of years ago, but the Go gRPC library had pretty broken flow control. gRPC depends upon both ends having an accurate picture of in-flight data volumes, both per-stream and per-transport (muxed connection). It's a rather
306.
by mgsouth 7y ago
Oregon State University "Intro to Permaculture" https://open.oregonstate.edu/courses/permaculture/
307.
by mgsouth 8y ago
Quote of the day: "The foglets' bodies would be made of aluminum oxide rather than combustible diamond to avoid creating a fuel air explosive."
308.
by mgsouth 8y ago
> ...anyway, this is quite a convoluted proof. Agreed :) > Theorem: Given a rectangle R with non-zero side-lengths ... And this is the key problem with the "proof" I laid out. My theorem does not specify non-zero dimensio
309.
by mgsouth 8y ago
I'm not aware of a formal definition of rectangle which excludes zero height. Sounds like an intuitive leap :)
310.
by mgsouth 8y ago
That's part of it. The core difficulties here are the definition of "inverse" and knowing when it's applicable to use the transformations. The former is difficult to pin down in a totally formal yet useful form. The latt
311.
by mgsouth 8y ago
I think the point is that it usually isn't given formally. In practice it's just too tedious to formally specify proofs using some kind of rigorous set-theoretic language. It's like building a web app with a Turing machine.
312.
by mgsouth 8y ago
Q: If I have a rectangle "a" wide and "b" high, how do I find the width "c" of another rectangle which has the same area but is "d" high? A: I'll be pedantic and take it in baby steps: Given:
313.
by mgsouth 8y ago
ExtremeTech wasn't impressed. "An audit two years ago found that Tizen [the OS in Samsung's Smart TVs] had an absolutely terrible security implementation." "As to whether this agreement is doing anything to protect
314.
by mgsouth 8y ago
I'll upvote any article that contains the term "electron hydrodynamics". More seriously, it's the viscosity of electron flow which is fascinating. "In previous work, our group found that electron flow in graphene ca
315.
by mgsouth 8y ago
[2018], Forbes article rehash of CNN report at https://www.cnn.com/2018/02/11/health/aetna-california-inves...
316.
by mgsouth 8y ago
...annnnd this is probably a good example of the frustration that comes from solving familiar problems in a new paradigm, before the lightbulb clicks on. Disclaimers: I'm only lightly familiar with Rust, and linked-lists are perfectly
317.
by mgsouth 8y ago
I stopped using TM. It had (maybe still does) the really nasty habit of corrupting the virtual backup volume when my laptop's connection to the server was interrupted. You know, like closing the lid and taking it in to work. The TM vol
318.
by mgsouth 8y ago
So you're saying that overly pedantic writing causes clarity to suffer?
319.
by mgsouth 8y ago
tldr: CrateDB implemented hashed joins, where both tables are too big to fit into memory, by reading left table in chunks and scanning entire right table for each chunk. Part one at https://crate.io/a/lab-notes-how-we-m
320.
Why Typical Home Solar Doesn't Work with the Grid Down(syonyk.blogspot.com)
2 points by mgsouth 8y ago|0 comments
321.
by mgsouth 8y ago
Prime series are palindromic. Given the set of primes (2, 3, 5, ..., p[m]), there is a repeating pattern of length r = 2 * 3 * ... * p[m], where nr +/- [ p[m+1], p[m+2], ... p[m+q] ] (p[m+q] < r/2) are relatively prime to t
322.
by mgsouth 8y ago
It's simpler than that. All primes greater than 2 are equal to 2n + 1 for some n. And since each side of a spiral is 2 longer than the adjacent one, you get a slanted line. You'd have just a blob of bunches of line, except that th
323.
by mgsouth 9y ago
That is so disturbing :) Hmm. Maybe there's an emerging market for robot funerary services.
324.
by mgsouth 9y ago
The Great Wikipedia[0] says "power must not be interrupted for more than 4-5 hours, since the pots have to be repaired at significant cost if the liquid metal solidifies." [0] https://en.wikipedia.org/wiki/Alu
325.
by mgsouth 9y ago
A really incredible achievement. The team created an entire clockless (no central timing) RISC CPU; there's some fascinating implementation details. They created an assembler to convert machine language into ROM macro cells, a C-like h
326.
by mgsouth 9y ago
https://en.wikipedia.org/wiki/Cherenkov_radiation The particles are still moving slower than Relativity's limit, the speed of light in a vacuum.
327.
by mgsouth 9y ago
I think it's more the incoming ICMP that is troublesome, particularly redirect, and to a lesser extent destination unreachable (DOS).
328.
by mgsouth 11y ago
Message could be written on a background of a slightly different frequency. Multispectral light would't differentiate. Similar to a color-blindness test.
329.
by mgsouth 12y ago
It's up on github (name changed to Mezzano because of the conflict with the CMS project): https://github.com/froggey/Mezzano IRC log discussing building: http://log.irc.tymoon.eu/freenode/lisp
330.
by mgsouth 13y ago
And hence the productivity self-selection bias... I'd guess that, for you, Clojure _wouldn't_ have the same kind of efficiency that some others see. Lisp, in general, appeals to people who think "A is really the same thing as

More ›