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.
<egg> !wpn bofh
* Qboid gives bofh a Laurent invariant
<bofh> They indeed do.
<bofh> erm. sorry, scrolled back up.
<bofh> Laurent series *are* nice tho.
<soundnfury> !wpn egg
* Qboid gives egg a yttrium nuclear blaster
<kmath> <willkirkby> proposal: U+1FA01 PLAYABLE COPY OF DOOM @FakeUnicode
<Ellied> pffff
<SnoopJeDi> LOL
egg is now known as egg|zzz|egg
<egg|zzz|egg> Fiora: I'm confused, why do you need all these glyphs of calcification since you're spinning the thing over them https://twitter.com/FioraAeterna/status/940025854754635777
<kmath> <FioraAeterna> https://t.co/lJkDE8sP9O
pizzaoverhead has joined #kspacademia
<egg|zzz|egg> !wpn pizzaoverhead
* Qboid gives pizzaoverhead an optically thick fountain pen
pizzaoverhead_ has quit [Ping timeout: 200 seconds]
<SnoopJeDi> hmm, optically thick for which λ though?
<egg|zzz|egg> depends on the ink
<kmath> <queer_queenie> This image is great https://t.co/Sl18ncM5co
<SnoopJeDi> egg|zzz|egg, what ink? ;P
<egg|phone|egg> !Wpn котя и whitequark
* Qboid gives котя и whitequark a memoised magnetic ice cream
icefire has quit [Read error: -0x1: UNKNOWN ERROR CODE (0001)]
<Fiora> egg|zzz|egg: it looks cool
* UmbralRaptor pokes ? in the lack of emoji presentation.
<rqou> whee, i'm the best student
<rqou> finally started studying for my final
<rqou> fortunately i have only one final
<kmath> <bofh453> lolsob. https://t.co/Sd7oz91MXN
<egg|phone|egg> Fiora: good point
<rqou> egg|phone|egg: plz 2 halp with studying? :P
<rqou> egg|phone|egg: but more seriously, if you have time, an explanation of what is intuitively happening in these notes would be helpful: http://inst.eecs.berkeley.edu/~ee221a/fa17/lectures/lecture_notes_11.pdf
<rqou> (otherwise i'll just hope it's not on the exam :P :P )
<rqou> i understand how to _use_ LQR control, but i have no clue how any of the proofs work
egg|cell|egg has joined #kspacademia
egg|phone|egg has quit [Ping timeout: 383 seconds]
egg|phone|egg has joined #kspacademia
egg|cell|egg has quit [Read error: Connection reset by peer]
egg|phone|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: 186 seconds]
<egg|work|egg> !u ?
<Qboid> U+1F946 RIFLE (?)
<egg|work|egg> meow
<egg|work|egg> !wpn whitequark
* Qboid gives whitequark a defective circle with a rake attachment
<soundnfury> or as the neural net calls it, U+1F946 TURTLE
<whitequark> lol
UmbralRaptor is now known as NomalRaptor
<NomalRaptor> !u ?
<Qboid> U+1F422 TURTLE (?)
APlayer has joined #kspacademia
<NomalRaptor> !wpn APlayer
* Qboid gives APlayer an isothermic perfluorocarbon
<APlayer> !wpn TangentialRaptor
* Qboid gives TangentialRaptor a combustion cannon
<APlayer> I wonder what a combustion cannon does
egg|laptop|egg has joined #kspacademia
<egg|laptop|egg> !wpn whitequark
* Qboid gives whitequark a photon particle missile/halberd hybrid
<egg|laptop|egg> !wpn котя
* Qboid gives котя a phosphorus snek/ネコバス hybrid
<egg|laptop|egg> a catbus for cats?
<NomalRaptor> 32cat bus
<whitequark> APlayer: sounds like just a regular cannon
<soundnfury> ram accelerator maybe?
Technicalfool has quit [Ping timeout: 207 seconds]
<egg|laptop|egg> why are you accelerating rams
<egg|laptop|egg> whitequark: do you have any котяpics?
<APlayer> egg: Well, would you rather want me to accelerate sheep?
<APlayer> !u
<Qboid> U+0002 (␂)
<APlayer> What kind of thing is that?
<soundnfury> APlayer: Start of Transmission teletypewriter control code
<APlayer> Uh, why does it paste that in HexChat with Ctrl-B?
Technicalfool has joined #kspacademia
<NomalRaptor> ?+ZWJ+? = hydraulic ram?
<kmath> YouTube - Now that is a name I haven't heard in a long time
<SnoopJeDi> APlayer, 0x02 is also used as the bold character for IRC clients, although I don't know if this is actually formally standardized anywhere?
<NomalRaptor> Apparently ASCII control character for start of text?
<egg|laptop|egg> !u ␂
<Qboid> U+2402 SYMBOL FOR START OF TEXT (␂)
<APlayer> Weird
<SnoopJeDi> I wonder what client first had bold/colors...it couldn't have been mIRC, right?
<bofh> might've been, actually.
<egg|laptop|egg> !u U+2404
<Qboid> U+2404 SYMBOL FOR END OF TRANSMISSION (␄)
<egg|laptop|egg> soundnfury: there is no start of transmission, only Zuu␄
<kmath> <FakeUnicode> There are no codepoints for SINISTER FOREBODING and EXISTENTIAL DREAD, as those are implied at the start and end of every Unicode string.
<bofh> egg|laptop|egg: ^
<SnoopJeDi> LOL
<egg|laptop|egg> bofh: I mean, icu::UnicodeString is pretty good at inducing those, yes
<e_14159> egg|laptop|egg: Yes, because C++ :P
<egg|laptop|egg> bofh: also smpdtfmt.h is very https://twitter.com/whitequark/status/808861005790855168
<kmath> <whitequark> *kicks down the door of an ISO/IEC JTC1/SC22/WG14 meeting, panting* did someone order a bucket of vowels https://t.co/qEBnkxmhPe
<soundnfury> SnoopJeDi: uhhh, there's a bit of a story there. Early on, terminal control codes were used, but people soon realised that was a Bad Idea™ (interoperability, also security given programmable 'smart terminals').
<SnoopJeDi> Bad Idea to even render them as such, you mean?
<soundnfury> yup
<soundnfury> So, at around about the same time, Unix IRC clients (like ircii(?)) and mIRC each developed their own, incompatible, sets of formatting codes.
<soundnfury> the developers of the Unix clients tried to talk to Khaled (mIRC developer) and get some kind of a standard together, but Khaled basically ignored them
<SnoopJeDi> that sounds about right based on what I've heard about the guy
<soundnfury> today, mIRC's system is the _de facto_ standard, which is a real shame because it has bugs (try colouring a number. Especially if you use comma as thousands separator)
<soundnfury> so yeah, fsck mIRC and the socket it rode in on :(
<SnoopJeDi> huh, I was assuming I was missing something in my google searches, but that's net history for you I suppose
<SnoopJeDi> The terminal system I used to administrate used DEL as a delimiter for Special Client Magick™
<SnoopJeDi> My biggest accomplishment at that job might have been reverse engineering how that worked and shoe-horning it into a customized PuTTY so that the salespeople could interact with the database and have their favorite features, without paying some crazy per-seat license fee
<rqou> hmm, is this mIRC control code system the "0x03 for color" system?
<SnoopJeDi> that's the one
<rqou> hmm, i have my own parser for that that might not be bug-for-bug compatible :P
APlayer has quit [Ping timeout: 383 seconds]
<egg|laptop|egg> !wpn
* Qboid gives egg|laptop|egg a pagan telescope
<egg|laptop|egg> !wpn bofh
* Qboid gives bofh a Helmholtz һοmοɡاурһ
<egg|laptop|egg> !u ا
<Qboid> U+0627 ARABIC LETTER ALEF (ا)
<egg|laptop|egg> ...
<NomalRaptor> Clearly not an l with Android fonts.
<rqou> egg|laptop|egg: hey can you real quick try and intuitively explain what is happening here? http://inst.eecs.berkeley.edu/~ee221a/fa17/lectures/lecture_notes_11.pdf
<rqou> i understand it's "this is why LQR works" but other than that i have no clue what's actually going on
<soundnfury> !wpn egg|laptop|egg
* Qboid gives egg|laptop|egg an inflammable polyhedron
<NomalRaptor> inflammable like sand, or like hydrogen?
<soundnfury> I think this polyhedron will burn with more than just CTF.
<soundnfury> (inflammable means 'susceptible to inflammation', not 'negation-of flammable', because fscking English)
<SnoopJeDi> I think that's what NomalRaptor was getting at inasmuch as sand and hydrogen occupy opposite ends of the flammability spectrum?
<NomalRaptor> English: the only language with more UB than C++?
<NomalRaptor> SnoopJeDi, soundnfury: yeah
<Ellied> hydrogen won't save you this time!
<soundnfury> Ellied: xD
egg|phone|egg has joined #kspacademia
egg|cell|egg has quit [Read error: Connection reset by peer]
egg|phone|egg has quit [Read error: Connection reset by peer]
egg|phone|egg has joined #kspacademia
egg|laptop|egg has quit [Ping timeout: 180 seconds]
<Ellied> wow, 12 terminal tabs open. That might be a personal local maximum.
<rqou> oh i exceed that all the t ime
* Ellied finally gave into temptation and is attempting to construct a crazy one-time setup script for Raspbian
<SnoopJeDi> Ellied, if I had the funds, I would love to sponsor several classrooms worth of Pis for my alma mater, for exactly the reason that it helps expand one's horizons
<SnoopJeDi> (high school alma mater, not university)
<rqou> meh, i don't find Pi's particularly impressive
<SnoopJeDi> I'm sure people said the same about the TRS-80
<Ellied> I would have had a very different starting-out experience in the linux world if not for my first Pi
egg|cell|egg has joined #kspacademia
<SnoopJeDi> And I'd put folding money down they said it about the Altair 8800
<Ellied> it's not that they're particularly impressive machines necessarily (although I'm still at that stage where *all* electronics are wildly impressive to me), it's that they're really really accessible
<SnoopJeDi> yea, the goal was never to blow anyone's socks off, it was to make a cheap computer you could use in a classroom and then *give* to the student, for keeping.
<SnoopJeDi> "It's dangerous to go alone! Take this."
<rqou> yeah, Pi's are probably more accessible than a lot of the other random SBCs
<SnoopJeDi> oh yea it's not even close if you compare against what was on the market when RPi came on the scene
egg|phone|egg has quit [Ping timeout: 186 seconds]
<Ellied> My favorite thing about them is how in a classroom setting they've become a "here, do literally whatever you want to this" thing, which is very new for computers in academia
<rqou> the other day my housemate and I were discussing exactly this, and we compared how well the websites for various microcontroller/SBC things were "optimized for conversions"
<SnoopJeDi> Gumstix was the closest comparable thing, and that is not exactly a brand associated with accessibility.
<rqou> Pi is still one of the best
<SnoopJeDi> OLPC was similar, but much much more expensive
<rqou> ironically Arduino seems to have made their website much less "optimized for conversions"
<rqou> but maybe they don't care anymore now that they're "established"
<SnoopJeDi> But then, OLPC was targeting a very different market
<bofh> Gumstix wasn't bad, honestly.
<SnoopJeDi> Oh not at all, Gumstix is a legend
<Ellied> no more "now, be EXTRA CAREFUL that you don't make a SINGLE misstep, because these machines are VERY expensive!!" and now suddenly classes of the kind that can involve RPis are so much more fun and low-pressure
<rqou> i don't find the way Pi's are currently presented as being particularly "horizon-expanding" though
<rqou> i feel like it's now "oh yeah, it's just like your normal computer but slower"
<Ellied> before RPis, my uni had a few Dell towers that probably cost about $1000 on their own, with special bespoke PCI cards from National Instruments installed that probably cost that again which allowed you to interface with a special breadboard.
<rqou> oh, we have those too
<SnoopJeDi> rqou, "just like your normal computer" is a statement made from a place of tremendous access to resources, though.
<SnoopJeDi> I went to school with a lot of people who didn't have a computer at home
<SnoopJeDi> and we lived in a pretty affluent place!
<SnoopJeDi> I mean I guess you can make the argument that you don't need a computer at all to expand someone's horizons about computer science
<SnoopJeDi> All you need is a loaf of bread and a jar of peanut butter
<Ellied> now, in electronics class, everyone gets their *own* complete computer-and-GPIO system that costs a fraction of the price of a textbook and has tons of freely-available documentation and software for it
<SnoopJeDi> But that's a bit less showy than "here's your own computer, let's learn stuff"
<SnoopJeDi> With lots of modulation by the maker/hacker community's tendencies towards autodidacticism: the stuff you look into when you jump off from RPi teaches you how to teach yourself more effectively!
<Ellied> even here, where my classmates are all pretty affluent, everyone just has a macbook and is very used to the idea that doing anything risky with your computer's insides is to be avoided at all costs
<SnoopJeDi> It's basically a hotfix for shitty public education that patches a bug it wasn't trying to patch
<SnoopJeDi> which is rather apropos
<rqou> meanwhile one of my "extra computers" currently looks like https://twitter.com/rqou_/status/938899025243209729
<kmath> <rqou_> Hmm, what might I be experimenting with here? https://t.co/xcZc7i8W7F
<rqou> so i suppose i'm not particularly representative
<SnoopJeDi> yea, it's hard to appreciate how much you change someone's life when you've lived with "oh right Linux I get that" for years
<Ellied> yeah, that's the sort of thing I would never have gained the confidence to approach without starting out on a Raspberry Pi
<SnoopJeDi> file under: "algorithms," everything is an "app"
<Ellied> or if not never, then not during my undergrad education
APlayer has joined #kspacademia
<SnoopJeDi> it's been really fun/inspirational to play spectator to that process, Ellied
<Ellied> :D
<SnoopJeDi> I know I say that fairly regularly, but it's cuz I mean it :D
<rqou> yeah, people have to keep reminding me that my experiences are highly not representative of the average
<SnoopJeDi> Always https://xkcd.com/1053/
<rqou> hey, does anybody here have an example of a linear-time-varying system that is asymptotically stable but not exponentially stable?
<rqou> no? i guess it's not just the professor who couldn't come up with one on the spot :P
<NomalRaptor> [screaming is finite, as this ultimately kills everyone] https://twitter.com/mhoye/status/940266341092782080
<kmath> <mhoye> Adversarial learning for data structures and fundamental arithmetic is going to be good fun times. Remember that fr… https://t.co/yBuGhs5y9n
egg|phone|egg has joined #kspacademia
<SnoopJeDi> Huh, now I wonder if that bit in TNG was inspired by http://www.infinityplus.co.uk/stories/blit.htm
egg|cell|egg has quit [Ping timeout: 383 seconds]
<egg|zzz|egg> !wpn NomalRaptor
* Qboid gives NomalRaptor a classmethod
<egg|zzz|egg> !wpn whitequark
* Qboid gives whitequark a toasted light-emitting mandelbrofl
<egg|zzz|egg> !wpn rqou
* Qboid gives rqou a Cassegrain precessing memory which vaguely resembles a wave
<egg|zzz|egg> !wpn Ellied
* Qboid gives Ellied a just-in-time pike
<rqou> !wpn egg|zzz|egg
* Qboid gives egg|zzz|egg a liquid transistor
<rqou> i hate finals
<rqou> FML
<NomalRaptor> F "my life" or "machine learning"?
<rqou> lol how about both :P
<rqou> i had a failed ML experiment from a few days ago
<rqou> anyways, my final is in 50 minutes, so that will be fun
<SnoopJeDi> godspeed!
<rqou> i think i'm going to put down the studying and relax for a bit
<rqou> my intuition seems fine but i'm not super familiar with the proofs
<rqou> apparently i hate myself so much i signed up for the followup course next semester
<APlayer> Hate is an important change in a world such as ours, where there is too much love and joy
<rqou> why do i keep signing up for controls courses when i just end up poking embedded firmware all the time? :P
<SnoopJeDi> No shame should be associated with due diligence on one's blind spots.
* SnoopJeDi furiously scrambles to construct a world-view that moralizes his shoddy/distractible work ethic
<rqou> heh i'm pretty distractable too
regex has joined #kspacademia
<NomalRaptor> same
<rqou> ok, time to head to campus
<rqou> hashtag finals week?
<NomalRaptor> Something like that
<rqou> wow, campus is dead silent
<rqou> it's kinda depressing
<rqou> (still not as bad as the time i had the absolute latest exam slot: Friday 7-10pm)
regex has quit [Remote host closed the connection]
<APlayer> rqou: Our thoughts are with you
<Ellied> It's the middle of break for me, but there are still people here for research and stuff
<Ellied> sometimes
<Ellied> no one comes here on the weekends though, I was definitely the only one in the building yesterday
<APlayer> Well, apparently someone does come there on the weekends, and you are an example of such behaviour :P
<egg|zzz|egg> !wa time since 1993-12-11
<Qboid> egg|zzz|egg: Saturday, December 11, 1993 to current time: 24 years 20 hours 42 minutes 21 seconds
<APlayer> What happened on that date?
<egg|zzz|egg> egg
<APlayer> It's your birthday?
<egg|zzz|egg> eggsactly
<APlayer> In that case, happy eggday! I wish you the best of luck life offers, lots of egg cake and many friends with whom you may pursue your interests!
<soundnfury> congratulations on having eggsisted for 24 years \o/
<Ellied> happy integer number of laps around the sun day, egg!
<egg|zzz|egg> !wa (time since 1993-12-11) / (365.256363004 days)
<Qboid> egg|zzz|egg: (hours from | 1993 to current time - 12 - 11)/(365.256363004 days): 24.94
<egg|zzz|egg> um
<APlayer> "Happy integer number of laps around the sunday" - Ellied, 2017 :P
<NomalRaptor> egg.ttl--
<APlayer> eggsperience += 60 * 60 * 24 * 365 more like
<pizzaoverhead> egg|zzz|egg: Merry Eggmas
<e_14159> egg|zzz|egg: Although wouldn't egg have happened nine months previously?
<APlayer> That would have been a different egg
<e_14159> Good point.
<e_14159> Anyway, happy 0x18th birthday.
<APlayer> More like 1.1 * 1010^100 - th birthday
<SnoopJeDi> oh frabjous egg++ day
<egg|zzz|egg> !seen awang
<Qboid> egg|zzz|egg: Value cannot be null.
icefire has joined #kspacademia
<SnoopJeDi> Qboid, so you say but here we are my robotic friend
<soundnfury> APlayer: s/1010/10
<Qboid> soundnfury thinks APlayer meant to say: More like 1.1 * 10^100 - th birthday
<APlayer> Indeed
<APlayer> Thanks
<kmath> <NoelFB> The cat sat on my computer and opened ~100 instances of visual studio, and my computer crashed. Which isn't so bad.… https://t.co/d3AnrYoSxV
<APlayer> Safe mode is a thing
<egg|zzz|egg> meow
<SnoopJeDi> i-situal studio
<egg|zzz|egg> !wpn bofh
* Qboid gives bofh a theoretical white transformer
<egg|zzz|egg> NomalRaptor: https://i.imgur.com/g0k3gPx.gif
APlayer has quit [Ping timeout: 383 seconds]
<kmath> <ObservatoryCats> Comets are like cats: they have tails and do exactly as they please.
<bofh> egg|zzz|egg: happy birthday and stuff
<egg|zzz|egg> Iskierka: cat
<Iskierka> maru
<Iskierka> if he doesn't fits, he still sits anyway
<egg|zzz|egg> https://twitter.com/FioraAeterna/status/940339025482735616 or use multiprecision as adequate
<kmath> <FioraAeterna> d̵͇̏ͭ͒ͮ͑̏͑oͤ̉͏̫̰͎̱͕n̗̮̟͇'̟̲͓̙̙̻̞ͫt͔̊̊ͧ ̩̮̦̥͠s͇͓̖̓̌t̠̬̻̤͍̊ͦ̽̏ͩͪ̔ŏ̺ͤ̂̌̑̓̎r̮̣̥̟̣̘ͭ͐́͡e̵̞̞̒ͬͅ ̛̖͚̻̣̝̘̰ͭ͆̿̂̓ͨ̋aͮ͗͊͛҉̳̤͚… https://t.co/ySME0zdxoK
<egg|zzz|egg> Fiora: also, U͓̜̜͔D̬͍͝a̱̥͡t͔̣̩̪͎̥̀ͅe̢͙
<egg|zzz|egg> double-double is generally good for time for astronomical porpoises
<egg|zzz|egg> IIRC that's what SOFA etc. use?
<egg|zzz|egg> SOFA?
<Qboid> egg|zzz|egg: [SOFA] => Standards Of Fundamental Astronomy
<egg|zzz|egg> a binary32 otoh...
<egg|zzz|egg> !wpn Fiora
* Qboid gives Fiora an ellied capybara/GIF hybrid
<egg|zzz|egg> (storing as a pair of doubles kind of comes naturally when you wind up accumulating time with compensated summation of course)
<rqou> storing things as float is great, it leads to anazing "features" in Minecraft
<egg|zzz|egg> I seem to be unable to retweet https://twitter.com/stephentyrone/status/940232304663908352 "Failed to Retweet. Please try again later." >_<
<kmath> <stephentyrone> Tangential: Great news, everyone. Now that we have LaTeX->PDF->well-rendered-HTML-aaS, we have an authentic LaTeX e… https://t.co/OuCsplFHk9
<rqou> troll idea from my housemate: the universe isn't a simulation because it doesn't appear to be accidentally anisotropic unlike many of the simulators we've written
<egg|zzz|egg> !wpn Iskierka
* Qboid gives Iskierka an irrotational magnetohydrodynamic interregnum/dynamo hybrid
<egg|zzz|egg> !wpn rqou
* Qboid gives rqou a Ляпунов ram
<rqou> !wpn egg|zzz|egg
* Qboid gives egg|zzz|egg a cyclic bicyclops
<rqou> wait, i just realized that's "Lyapunov" in not-Cyrillic
<rqou> as in, the stuff that I didn't understand (but wasn't on the exam :P )
<Fiora> egg|zzz|egg: i said "float"
<Fiora> even just regular double is *gross* but at least is far less likely to cause havoc
<egg|zzz|egg> Fiora: yeah, I tend to read "float" as "floating-point number" (what with having learned languages where double is long float first)
<egg|zzz|egg> Fiora: also, thanks for contributing to eating my time with opus magnum :-)
<egg|zzz|egg> Fiora: hm, since it's about alchemy, is it eligible for alchemical cosplay,