egg|nomz|egg changed the topic of #kspacademia to: https://gist.github.com/pdn4kd/164b9b85435d87afbec0c3a7e69d3e6d | Dogs are cats. Spiders are cat interferometers. | Космизм сегодня! | Document well, for tomorrow you may get mauled by a ネコバス. | <UmbralRaptor> egg|nomz|egg: generally if your eyes are dewing over, that's not the weather. | <ferram4> I shall beat my problems to death with an engineer.
e_14159_ has joined #kspacademia
e_14159 has quit [Ping timeout: 202 seconds]
<UmbralRaptop> !u 🦕
<Qboid> U+1F995 SAUROPOD (🦕)
<bofh> holy shit a D&D/fantasy literature/power metal podcast does an episode on Tolkien lore & the Silmarillion... and invites special guest Hansi Kürsch, main composer & somgwriter for Blind Guardian, on it.
<bofh> this is, like, a podcast ep maximally designed to appeal to me.
Ellied has quit [Quit: SIGNAL LOST]
Ellied has joined #kspacademia
Ellied is now known as Guest79042
Guest79042 has quit [Client Quit]
Ellied has joined #kspacademia
Ellied has quit [Client Quit]
Ellied has joined #kspacademia
<kmath> <thomas_violence> Q: What do you call a dog suspended in gravitational equilibrium between two large bodies? ⏎ A: A Lagrange pointer. Thanks.
<kmath> <specfunctswiki> 1/gamma(z) is entire https://t.co/1zGIzci3Mu
<UmbralRaptop> Also, does thus mean that a function can be extra?
egg|z|egg has joined #kspacademia
<egg|zzz|egg> bofh: LPDOG
UmbralRaptop has quit [Quit: Bye]
UmbralRaptop has joined #kspacademia
<UmbralRaptop> So, today I have a strange urge to throw a bunch of tea into the nearest body of water…
egg|cell|egg has joined #kspacademia
egg|phone|egg has quit [Read error: -0x1: UNKNOWN ERROR CODE (0001)]
<egg|zzz|egg> UmbralRaptop: https://what-if.xkcd.com/79/
<UmbralRaptop> egg|zzz|egg: well, yes.
egg|z|egg has quit [Ping timeout: 198 seconds]
* UmbralRaptop pokes TRAPPIST-1 with Demory and Grimm.
<UmbralRaptop> There may be an 8th planet?
egg|z|egg has joined #kspacademia
UmbralRaptor has joined #kspacademia
UmbralRaptop has quit [Ping timeout: 202 seconds]
egg|z|egg has quit [Ping timeout: 198 seconds]
egg|phone|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 202 seconds]
egg|cell|egg has joined #kspacademia
egg|phone|egg has quit [Read error: Connection reset by peer]
egg|phone|egg has joined #kspacademia
egg|mobile|egg has joined #kspacademia
egg|phone|egg has quit [Read error: Connection reset by peer]
egg|cell|egg has quit [Ping timeout: 202 seconds]
UmbralRaptor has quit [Ping timeout: 198 seconds]
UmbralRaptop has joined #kspacademia
UmbralRaptop has quit [Client Quit]
UmbralRaptop has joined #kspacademia
<egg|work|egg> UmbralRaptop: WAT
<egg|work|egg> UmbralRaptop: link?
UmbralRaptop has quit [Client Quit]
UmbralRaptop has joined #kspacademia
<UmbralRaptop> egg|zzz|egg: maybe, not published. might see a transit listed. =\
<egg|work|egg> UmbralRaptop: that would have to be very far away? or out of plane?
<UmbralRaptop> distant and smol.
<UmbralRaptop> mars sized
<egg|work|egg> how distant?
<UmbralRaptop> Unclear, 30-50 days? Far enough an smol enough for a limited effect on TTVs.
<egg|work|egg> but if it's 30-50 d, we sould already have seen transits in the existing observations?
<egg|work|egg> s/sould/should/
<Qboid> egg|work|egg meant to say: but if it's 30-50 d, we should already have seen transits in the existing observations?
UmbralRaptor has joined #kspacademia
UmbralRaptop has quit [Read error: Connection reset by peer]
UmbralRaptor has quit [Remote host closed the connection]
UmbralRaptop has joined #kspacademia
<egg|work|egg> !seen thomas
<Qboid> egg|work|egg: I haven't seen the user thomas yet.
<egg|work|egg> blarg
<egg|work|egg> !seen whitequark
<Qboid> egg|work|egg: I haven't seen the user whitequark yet.
<egg|work|egg> iximeow: have you met Ada representation clauses
egg|phone|egg has joined #kspacademia
egg|mobile|egg has quit [Ping timeout: 202 seconds]
egg|cell|egg has joined #kspacademia
egg|phone|egg has quit [Read error: -0x1: UNKNOWN ERROR CODE (0001)]
<UmbralRaptop> It's easier to measure oxygen fraction in hot jupiters than actual Jupiter. o_O
<UmbralRaptop> water in general
APlayer has joined #kspacademia
<UmbralRaptop> "doomed hot Jupiter"
<UmbralRaptop> eg: WASP-18b
egg|phone|egg has joined #kspacademia
egg|cell|egg has quit [Read error: Connection reset by peer]
egg|phone|egg has quit [Read error: -0x1: UNKNOWN ERROR CODE (0001)]
egg|cell|egg has joined #kspacademia
<egg|work|egg> !wpn bofh
* Qboid gives bofh a [REDACTED] singularity
UmbralRaptor has joined #kspacademia
UmbralRaptop has quit [Read error: Connection reset by peer]
UmbralRaptor has quit [Client Quit]
UmbralRaptop has joined #kspacademia
UmbralRaptor has joined #kspacademia
UmbralRaptor has quit [Client Quit]
UmbralRaptop has quit [Ping timeout: 194 seconds]
UmbralRaptor has joined #kspacademia
UmbralRaptor has quit [Ping timeout: 198 seconds]
egg|phone|egg has joined #kspacademia
egg|cell|egg has quit [Read error: Connection reset by peer]
<bofh> !wpn egg|work|egg
* Qboid gives egg|work|egg a pyro flatfish/lagoon hybrid
<bofh> !u ⭢
<Qboid> U+2B62 RIGHTWARDS TRIANGLE-HEADED ARROW (⭢)
<bofh> what the hell
<egg|work|egg> "It would be incorrect to arbitrarily replace U+279D triangle-headed rightwards arrow with any other right arrow dingbat or with any of the generic arrows from the Arrows block (U+2190..U+21FF)."
<egg|work|egg> bofh: hmm, "Print-on-Demand (POD) for purchase available in September" I should buy the core spec in print when it's out
<egg|work|egg> my desk needs more strange reference books
<APlayer> Who needs printed media nowadays?
* egg|work|egg likes paper
<APlayer> The only reason why I buy books is because I enjoy the feeling and weight of something solid in my hands. Kind of "feel the weight of all of that knowledge"
<egg|work|egg> also easier to navigate through
<bofh> I mean having a printed copy of the unicode spec sounds useful.
<APlayer> Not if the electronic media is well made
<bofh> Ehh, even with well-made electronic media I still prefer print if it's a book I'm going to be reading often
<APlayer> Sure, some websites are horrible to navigate, but if the interface is made well, you can't compare. I frequently miss something like Ctrl-F in print
<egg|work|egg> ctrl+f is useful, yes, but quickly flipping between pages or looking at pages of several printed things at the same time gets messy electronically
<egg|work|egg> esp. on a smol screen, and I'm not in front of giant screens all the time
<APlayer> Use two small screens, then :P
<egg|work|egg> ...
<APlayer> Well, more seriously, if the electronic media is a web page, I prefer to open two tabs which can be flipped easily
<kmath> <Bodegacats_> https://t.co/Ca8IpvB9XK
<APlayer> The main issue I have with electronic media is its volatility. Sure, you can loose a book, but to loose a file is much more likely
<APlayer> Not as in "can't find the file", but as in "the data was lost"
UmbralRaptop has joined #kspacademia
UmbralRaptop has quit [Ping timeout: 182 seconds]
<egg|work|egg> !wpn bofh
* Qboid gives bofh a gooey sextant-like motor
<egg|work|egg> !wpn whitequark
* Qboid gives whitequark a tornado lindy with a saw attachment
UmbralRaptop has joined #kspacademia
egg|cell|egg has joined #kspacademia
egg|mobile|egg has joined #kspacademia
egg|phone|egg has quit [Ping timeout: 182 seconds]
egg|cell|egg has quit [Read error: Connection reset by peer]
egg|mobile|egg has quit [Read error: Connection reset by peer]
egg|phone|egg has joined #kspacademia
egg|cell|egg has joined #kspacademia
egg|phone|egg has quit [Ping timeout: 202 seconds]
egg|phone|egg has joined #kspacademia
egg|cell|egg has quit [Read error: Connection reset by peer]
egg|z|egg has joined #kspacademia
<egg|zzz|egg> !meow bofh
* Qboid meows at bofh
<egg|zzz|egg> !meow whitequark
* Qboid meows at whitequark
<egg|zzz|egg> !wpn UmbralRaptop
* Qboid gives UmbralRaptop a bear-loading 蛋
<UmbralRaptop> !u 蛋
<Qboid> U+86CB CJK IDEOGRAPH-86CB (蛋)
<bofh> !meow egg|zzz|egg
* Qboid meows at egg|zzz|egg
<UmbralRaptop> Oh, an egg.
<UmbralRaptop> !wpn bofh and egg|zzz|egg
* Qboid gives bofh and egg|zzz|egg a patented pancake
<egg|zzz|egg> UmbralRaptop: yes, it pings me
<UmbralRaptop> hah
<bofh> rofl
<iximeow> !meow egg
* Qboid meows at egg
* egg|zzz|egg pokes iximeow with representation clauses
<iximeow> yeah! i looked at that, i've never really looked at ada much before
BPlayer has joined #kspacademia
APlayer has quit [Ping timeout: 182 seconds]
BPlayer is now known as APlayer
egg|z|egg has quit [Ping timeout: 202 seconds]
egg|z|egg has joined #kspacademia
<egg|zzz|egg> !meow iximeow
* Qboid meows at iximeow
egg|phone|egg has quit [Ping timeout: 198 seconds]
<APlayer> !meow egg|zzz|egg
* Qboid meows at egg|zzz|egg
<iximeow> !pet egg|zzz|egg
* Qboid pets egg|zzz|egg
pthag has joined #kspacademia
<egg|zzz|egg> UmbralRaptop: ?
<UmbralRaptop> fancy conference dinner
UmbralRaptop has quit [Quit: Bye]
<egg|zzz|egg> did the dinner just eat umbralraptor's connection
<APlayer> Houston, the Raptop has landed
<egg|zzz|egg> bofh: the Thomas logs keep 500ing and I can't seem to reach Thomas :-/
<egg|zzz|egg> meanwhile in #principia: <lamont> Pontryagin hates me
<egg|zzz|egg> !wpn
* Qboid gives egg|zzz|egg a vanadium linker
<bofh> egg|zzz|egg: I am very curious what the context of lamont's quote is.
<egg|zzz|egg> bofh: but you can't see it because no Thomas logs >_<
<egg|zzz|egg> I wonder whether whitequark could log some espernet channels
<bofh> <lamont> yeah, at some point Lyapunov has his way with your careful trajectory planning
<bofh> rofl
APlayer has quit [Ping timeout: 182 seconds]
<kmath> <volatile_void> Cannelle était dehors !
UmbralRaptop has joined #kspacademia
<kmath> <moocowpong1> I love how mathematicians are like ⏎ ⏎ "okay, imagine infinity. now imagine an infinite hierarchy of infinities. now… https://t.co/Xcn1YGuuuR
<egg|zzz|egg> iximeow: the representation clauses even have bit order :-)
<egg|zzz|egg> UmbralRaptop: how was the food
<bofh> egg|zzz|egg: that's an unusually nicely defined bit order spec compared to literally any other language I can think of.
<bofh> (iirc Fortran 95 & older don't even have any sort of bitfield-like structure, and even CHARACTER is kind of... annoying to work with).
<bofh> (go old enough and you're dealing with the joy that is Hollerith Strings b/c once upon a time the lang didn't have the notion of a string (or even a byte-wide variable type, I think it started at word-sized in F66)).
<egg|zzz|egg> bofh: yes 4HFIZZ best fizzbuss
<egg|zzz|egg> s/uss/uzz/
<Qboid> egg|zzz|egg meant to say: bofh: yes 4HFIZZ best fizzbuzz
<egg|zzz|egg> bofh: ada is *really good* at being completely unspecified for low-level details in general (e.g. there's no passing by reference or value, it's erroneous to alias arguments and the compiler does what it feels like) while allowing you complete specification when needed
<egg|zzz|egg> e.g. instead of having int_fast42_t and the like, you just declare an integer type with the range you want, and the compiler will pick whatever it feels like
<bofh> "int_fast42_t" the sad part is I can easily see that happening in a future C++ spec.
<UmbralRaptop> egg|zzz|egg: overly fancy, but mostly tasty.
<UmbralRaptop> The fish was painfully fishy.
<egg|zzz|egg> UmbralRaptop: what is this overly fancy you speak of,
<egg|zzz|egg> bofh: whereas in ada you would just write type Bofh is range -69 .. 420'000'000'000; or something
<egg|zzz|egg> s/'/_/
<Qboid> egg|zzz|egg meant to say: bofh: whereas in ada you would just write type Bofh is range -69 .. 420_000'000'000; or something
<egg|zzz|egg> s/'/_/g
<Qboid> egg|zzz|egg meant to say: bofh: whereas in ada you would just write type Bofh is range -69 .. 420_000_000_000; or something
<egg|zzz|egg> (it's been too long since I've written any Ada :-/)
<bofh> okay, so something sensible. and the compiler enforces it appropriately?
<UmbralRaptop> egg|zzz|egg: I guess overly fancy food isn't a thing in en-FR?
<egg|zzz|egg> bofh: range checks are specified, so yeah; there's some fuzziness about the base type, which means that intermediate expressions might not overflow (but some properties of the base type are guaranteed)
<egg|zzz|egg> but it's always correct or exception
<UmbralRaptop> More seriously, the 'soups' were served in glorified shot glasses.
<egg|zzz|egg> UmbralRaptop: ow, fishy fish?
<UmbralRaptop> egg|zzz|egg: flavor-wise. Also served with fancy greens (arugula?), lemon, and bits of caviar.
<egg|zzz|egg> UmbralRaptop: well, the soup at the beginning is clearly some kind of amuse gueule so I wouldn't expect a giant plate of it
<UmbralRaptop> The 2nd main course was duck w/ various vegetables and a lacey cheese presented more to look nifty than taste good.
<egg|zzz|egg> wait how did a guinea fowl turn into a duck
<UmbralRaptop> Or maybe I'm misunderstanding. It tasted like off brand chicken.
<egg|zzz|egg> well it's a guinea fowl, it's neither a chicken nor a duck
<bofh> "offbrand chicken" is accurate for guinea fowl iirc
<egg|zzz|egg> bofh: hey it's not bad (I prefer geese but I much prefer guinea fowl to chicken)
<egg|zzz|egg> bofh: UmbralRaptop: amusing experiment: search "guinea fowl" on google images, then "pintade"
<UmbralRaptop> They look like off brand cassowaries.
<egg|zzz|egg> bofh: re. integers, there is a base type, which is largely unspecified but is symmetric about 0 except maybe for one value and contains the range (so bofh'base might be -420_000_000_001 .. 420_000_000_000 or it might be -2 ** 128 .. 2 ** 128 or whatever); intermediate operations happen in the base type, so you only get a constraint_error if you overflow *that*. when assigning back to a subtype you get the range
<egg|zzz|egg> check on the range you specified for that subtype
<bofh> UmbralRaptop: EXTREMELY ACCURATE
<egg|zzz|egg> UmbralRaptop: haha
<bofh> egg|zzz|egg: rofl at the pintade search
<egg|zzz|egg> bofh: I mean some of them *still* look like offbrand cassowaries, other have transcended that look :-p
<egg|zzz|egg> UmbralRaptop: oh also the burnt cream is from cambridge, right
<egg|zzz|egg> UmbralRaptop: so how is the authentic burnt cream
<UmbralRaptop> Reasonably tasty.
<bofh> egg|zzz|egg: okay, true, I guess it depends on what species of cassowary is involved.
<UmbralRaptop> and yes, this was in a hall put of Harry Potter. But the portraits included Henry VIII and Isaac Newton.
pthag has quit [Remote host closed the connection]
<UmbralRaptop> s/put/out/
<Qboid> UmbralRaptop meant to say: and yes, this was in a hall out of Harry Potter. But the portraits included Henry VIII and Isaac Newton.
<egg|zzz|egg> UmbralRaptop: sounds fun
<egg|zzz|egg> UmbralRaptop: how do I get invited to an eggsoplanet conference
<egg|zzz|egg> bofh: sadly looking up casoar does not bring up anything in an edible state
<bofh> UmbralRaptop: this sounds more posh than either of my Geneva conferences, amusingly.
<UmbralRaptop> cassowaries are vegetarian velociraptors. You don't so much eat them as avoid their wrath.
<UmbralRaptop> bofh: ¯\_(ツ)_/¯
<UmbralRaptop> Incidentally, there are a fair number of Swiss. More from $u^b$ than ETHZ though.
<UmbralRaptop> (The Z stands for Zwicky, right?)
<bofh> rofl. I thought it was for Zürich?
<egg|zzz|egg> yeah it is zurich, much like EPFL is lausanne
<egg|zzz|egg> (in fact they're translations of each other, the french say EPFZ sometimes)
<bofh> OH. Yeah that makes sense >_<
<UmbralRaptop> Yeah, it's Zurich. I type many silly things.
<egg|zzz|egg> UmbralRaptop: dunno, maybe the velociraptors are tasty?
<UmbralRaptop> Maybe.
<UmbralRaptop> Also, the Canada geese in England have way more chill than they do in the US.
<egg|zzz|egg> !pet the geese
* Qboid pets the geese
<bofh> UmbralRaptop: huh. That's such a weird thought, the Canada geese here in the USA are downright chill compared to the ones in, well, Canada, where they are downright aggressive jerks.
<egg|zzz|egg> bofh: maybe the further away from canada they are, the calmer they get?
<egg|zzz|egg> bofh: maybe that's why they're called canada geese, short for geese angry at canada
<bofh> hm, this would explain a lot.