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.
<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>
<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 :-)
<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