Twisol

17 ms·

61.
by Twisol 2y ago
I think the "singularity at the beginning of time" being referenced here is the one postulated before / at the instant of the Big Bang.
62.
by Twisol 2y ago
I had this thought too. My best guess is that it's down to the length of the urethra. Have you ever lifted liquid out of a glass using a straw, by capping the upper end of the straw with a finger? That liquid wants to fall, but that ca
63.
by Twisol 2y ago
Except for the gross factor? The author seems pretty clear that, yes, you can: > For those of you asking, what are my options for diving in a dry suit? Well… you can just hold it (again, if you have a bladder of steel), nappies/diap
64.
by Twisol 2y ago
Just to corroborate as a native English speaker, yes, in my experience the "the" would only be left off in quite informal registers or in haste.
65.
by Twisol 2y ago
(As an ex-JPLer,) you would be very surprised how many internal tools this decade have been web-stack. Flight systems are one thing, but you need plenty of ground systems to support the effective use of assets in flight, and there's
66.
by Twisol 2y ago
> There are generators for other critical servers, and in particular the DSN operations have been moved temporarily to another location so they could continue. That's really good to hear. The DSN is a really, really important asse
67.
by Twisol 2y ago
Well, most of the actual sensors are in space ;) but yes, telemetry collected via the DSN gets routed through JPL first. Also, in addition to the SSD website linked upthread, the NAIF site [0] (where the SPICE library and kernels can be dow
68.
by Twisol 2y ago
The Horizons website at that domain [0] (which was on HN recently) seems to be down for me as well. FWIW, that's not "the" JPL website though, that's just one of many JPL-hosted websites. [0] https://ssd.jpl.n
69.
by Twisol 2y ago
As an ex-JPLer, it would not have surprised me for this to be the case even in the early 2010s.
70.
by Twisol 2y ago
If I'm not mistaken, that's Ludwig! A friend of mine is a big fan; I was surprised to see him in this game("").
71.
by Twisol 2y ago
I agree with you on basically all points. But to play devil's advocate, I've often found myself doing something like structured editing when intentionally, carefully refactoring existing code. In those instances, it really matte
72.
by Twisol 2y ago
I love that the primary interface to Horizons is still via Telnet ^_^ I hope they keep that interface forever.
73.
by Twisol 2y ago
> I suppose you could reduce it further by saying that you want the proof of "A or B". Assuming both true, it suffices to either get a proof for A or for B Yes, absolutely :) I thought about this framing too, but figured the on
74.
by Twisol 2y ago
Thanks for taking a stab at it! I think I understand the angle you're attempting to take. May I offer a relatively contrived counterexample to poke at this a little more deeply? Suppose I have a proposition that says, roughly, "if
75.
by Twisol 2y ago
It really is! I got very, very lucky for the area I'm in, believe me. I'm not moving out until I'm out of the area for good.
76.
by Twisol 2y ago
The path example is extremely fertile ground for this kind of discussion! It is definitely true that both paths encode the information that one's house is connected to the local store. But is that all they encode? Homotopy theory is
77.
by Twisol 2y ago
That's a fair response; thanks for taking the time. I was primarily reacting to this part of your message... > I'd argue that two correct proofs are always the same. ...with emphasis on the "always". To my eyes, a pro
78.
by Twisol 2y ago
You can do that, yes. My argument is that you don't have to do that -- you can prove asymptotics or stability after the fact, having previously only given an algorithm as a proof of sortability. Putting these properties in the specific
79.
by Twisol 2y ago
> An algorithm is not a proof. That is an opinion that many do not share. FWIW, I framed my response as an opinion; you gave yours as a blanket statement. It is not wrong to treat algorithms as valid proofs. In a dependent type theory, p
80.
by Twisol 2y ago
I disagree with this on two points. First, oftentimes the interest in proving long-standing, difficult mathematical problems is because we hope a proof will demonstrate new tools for tackling similar problems. In that sense, the exact con
81.
by Twisol 2y ago
My studio apartment in California is $1500/month. At the same price, I would be in a 3-room Tokyo flat yesterday!
82.
by Twisol 2y ago
I, uh, cannot in good conscience call Java's annotation processing APIs "clean" or "clear"; the way they interact with the multi-round processing model, and in particular make it extremely hard to build well-behaved
83.
by Twisol 2y ago
Thanks for the correction! TIL :)
84.
by Twisol 2y ago
Different languages handle this in different ways, but the most common seems to be adding access controls to the class itself, rather than just its members. For instance, Java lets you say "public class" for a class visible outsid
85.
by Twisol 2y ago
I had the extreme pleasure of seeing Bruce Waggoner of the Voyager team give a keynote at !!Con just last month. The recording landed on YouTube just a couple days ago, so this is great timing: https://www.youtube.com/watc
86.
by Twisol 2y ago
I don't really know -- I'm a user, not an analyst. But the two things that drew me in were: 1. There's no global firehose that your posts automatically get dropped into. I'm a generally shy person, and one of my particul
87.
by Twisol 2y ago
> I don't really understand why anyone would use an "alternative" microblogging platform > just go to the cesspool of Cohost didn't feel like a cesspool to me. That's a pretty darn strong differentiator. There
88.
by Twisol 2y ago
Ah, that totally makes sense! No worries :)
89.
by Twisol 2y ago
> It's like saying "I though canine were dangerous?" (yes for big cats, no so much for your average French bulldog). Big cats are not canines :(
90.
by Twisol 2y ago
> You're the second person to link the exact same paper I did in my first response. Yes; it sounds like you're suggesting they should be defining these concepts themselves instead of saying somebody else did them. But that wo

More ›