UmbralRaptor 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> … one of the other grad students just compared me to nomal O_o | <ferram4> I shall beat my problems to death with an engineer.
<UmbralRaptor> i5 with a 4 digit number is probably good?
<UmbralRaptor> Apparently the work mac is an i5-5250U @ 1.6 GHz?
<soundnfury> * has Core i5
<soundnfury> * uses it to emulate Z80
<soundnfury> ^_^
<UmbralRaptor> Is the Z80 a TI-8x?
<soundnfury> nope, Sinclair Spectrum
<soundnfury> also pegboard, my project to design a SMP Z80 system and write a modern kernel for it :/
<soundnfury> (currently stalled, I got a bit Knuthed and started writing a language and compiler so I wouldn't have to write the entire kernel in asm)
e_14159- has joined #kspacademia
e_14159 has quit [Ping timeout: 383 seconds]
e_14159- is now known as e_14159
* UmbralRaptor goes for the subtlest twitter icon update.
<UmbralRaptor> (from g-band monochrome to gri colored)
icefire has quit [Read error: Connection reset by peer]
ferram4 has quit [Ping timeout: 200 seconds]
<e_14159> "I was not alone, for foolhardiness was not then mixed with the ham slices."
<e_14159> o_O
<egg|zzz|egg> "the unnamable powder served with the flour and red pepper"
<egg|zzz|egg> [...]
<egg|zzz|egg> All was in vain; the death that had come had left no trace save the steamed red peppers and chicken broth.
<egg|zzz|egg> Sometimes, in the throes of a nightmare when unseen powers whirl one over the roofs of strange dead cities toward the grinning chasm of Nis, it is a relief and even a delight to make the soup.
<e_14159> I like the chicken ones; sounds like HP Lovecraft for poultry.
<egg|zzz|egg> sounds like something for #kspd&d
<egg|zzz|egg> Ellied: ^
<egg|zzz|egg> !wpn e_14159
* Qboid gives e_14159 a Schmidt-Cassegrain immersion
* egg|zzz|egg misread this as "unnamed whitequark" https://twitter.com/whitequark/status/865743756947050498
<kmath> <whitequark> @IrisKalmia @atax1a plot twist: *that* one is how an unnamed whitehat is tackling a global problem from her refrigerator hideout
* Technicalfool gives Qboid a ph-balanced egg|zzz|egg
<egg|zzz|egg> !wpn Technicalfool
* Qboid gives Technicalfool a compass
icefire has joined #kspacademia
ferram4 has joined #kspacademia
<egg|zzz|egg> !wpn ferram4
* Qboid gives ferram4 a normal transistor
* egg|zzz|egg pokes Ellied with a stick
<egg|zzz|egg> !wpn
* Qboid gives egg|zzz|egg a peeled prime
icefire has quit [Read error: Connection reset by peer]
<bofh> yea, but in x87 asm
<bofh> you need a fldp and a fstp at the top & bottom to load x from xmm0 & save it back to xmm0 on x86_64.
<egg|zzz|egg> YORP?
<Qboid> egg|zzz|egg: [YORP] => Ярковский–O'Keefe–Радзиевский–Paddack
<egg|zzz|egg> !wpn bofh
* Qboid gives bofh a peeled javelin
<soundnfury> !wpn egg|zzz|egg
* Qboid gives egg|zzz|egg a four-coloured equivalence
pizzaoverhead has joined #kspacademia
<egg|zzz|egg> !wpn pizzaoverhead
* Qboid gives pizzaoverhead a lambda scalar
<pizzaoverhead> egg|zzz|egg! :D
<pizzaoverhead> \o/
<soundnfury> pizzaoverhead: wait, how can you take a factorial of an observable? What does that even mean?
<pizzaoverhead> How is everyone? Anything exciting been happening lately?
<egg|zzz|egg> https://twitter.com/whitequark/status/839585508053299200 << whitequark: has this changed? I don't see the pile of shufps anymore
<kmath> <whitequark> @johnregehr https://t.co/bJ0fhICXVc what in the ever loving hell clang is doing here
<egg|zzz|egg> pizzaoverhead: we have lunar releases now
<egg|zzz|egg> also I have a job
<pizzaoverhead> Congrats! :D
<egg|zzz|egg> !wpn pizzaoverhead
* Qboid gives pizzaoverhead a cesium e_14159-like instability
<pizzaoverhead> Lunar releases?
<soundnfury> mmmm, reheated leftover pizza ^_^
icefire has joined #kspacademia
<kmath> <sandwiches_cat> o hai i fixed ur circuit thingy #catsofengineering https://t.co/WFsdn7pyQM
<egg|zzz|egg> !Wpn Ellied
* Qboid gives Ellied a hafnium gravitational variable
<pizzaoverhead> Regular releases? Fancy!
<egg|zzz|egg> pizzaoverhead: it can mean boring releases sometimes https://github.com/mockingbirdnest/Principia/wiki/Change-Log#catalan
<egg|zzz|egg> "we couldn't reproduce it at the time" phl's way of saying "we couldn't be arsed"
<Ellied> !wpn egg
* Qboid gives egg a jellied rotor
<Ellied> !wpn egg|zzz|egg
* Qboid gives egg|zzz|egg a spectral feather
<egg|zzz|egg> !wpn Ellied
* Qboid gives Ellied a salted ☢
<Ellied> molten salt! \o/
<Ellied> probably ThF₄
<egg|zzz|egg> Ellied: iirc you were considering doing C++/principia stuff a while ago?
<Ellied> Not with my current level of IRL business I wasn't. :P
<egg|zzz|egg> :D
<Ellied> it sounds fascinating but I think I'm going to be increasingly busy x-raying semiconductor materials to see how they twitch when you blast them with lasers
<egg|zzz|egg> [but I need to find moar people whom to eggsplain numerical analysis!]
<egg|zzz|egg> (is that sentence grammatically sound? English confuses me sometimes)
<egg|zzz|egg> !wpn Ellied
* Qboid gives Ellied a doomed purpose
<egg|zzz|egg> !wpn -add:adj ellied
<Qboid> egg|zzz|egg: Adjective added!
<Ellied> a doomed purpose? like...... american democracy?
<Ellied> close enough. I would've said "I need to find more people to whom I can explain numerical analysis" not counting humorous respellings.
<egg|zzz|egg> yeah that sounds more natural
<egg|zzz|egg> (but then you need that "can" which makes me sad, so verbose)
<egg|zzz|egg> Ellied: though in that case I probably specifically mean eggsplain, in the sense of https://twitter.com/eggleroy/status/838756704401641473
<kmath> <eggleroy> <Majiir> I really am imagining egg just drowning in a sea of papers https://t.co/P2iqkDT7CN
<Ellied> truth be told I would probably say "I need to find more people to explain numerical analysis to" which high school english teachers (and my dear sister) will tell you is wrong because of the dangling preposition, but my stance is that dangling prepositions are fine as long as the sentence makes sense.
<egg|zzz|egg> yeah, I was also thinking about that one
<egg|zzz|egg> also, fun thing about not being a native english speaker and knowing a bit of german: I'm *really* irked when a whom is replaced by a who, and very often entirely confused too (as in spending minutes trying to make sense of the sentence)
<Ellied> "I need to find more people to which to explain numerical analysis" is probably the most concise way of restructuring to avoid that, if you like.
<Ellied> or to whom I guess, but in my particular set of regional and social conventions, 'to which' sounds clearer.
<egg|zzz|egg> Ellied: did diodebot break again?
<egg|zzz|egg> breakdown diodebot
<whitequark> Ellied: could hvae!
<egg|zzz|egg> whitequark: ?
<whitequark> clang output something
<whitequark> from backlog
<egg|zzz|egg> ah, you meant egg rather than Ellied then I gather?
<whitequark> *stare* oh
<kmath> <ObservatoryCats> Snooze monster. https://t.co/ps4X5zJyhF
* whitequark is reading about keratinocytes while... uhm
<Ellied> egg|zzz|egg: yeah, it broke. dunno why. I'll have it log its output this time.
<whitequark> does it count as "drunk" if you're modulating your GABA_A receptors using something other than EtOH
<egg|zzz|egg> whitequark: TIL the word „Лапки“ for those quotes, which is very cute
<egg|zzz|egg> whitequark: why are you eating lanthanum
<whitequark> egg|zzz|egg: what
<egg|zzz|egg> (or is the what re. typography?)
<egg|zzz|egg> (if so, it's mostly because I've been interested in quotation marks lately in relation to my job)
<whitequark> okay well you could modulate your CB1 receptors using a FAAH antagonist but that doesn't mean it is a good idea
<whitequark> i was basically looking for something, *anything*, that would work for my anxiety
<whitequark> and then i go look at phenibut and voila, the therapeutic index is like 150
<whitequark> turns out three grams of it (that's about 12 pills) get you functionally drunk but without any of the toxic effects
<egg|zzz|egg> !u “„“”
<Qboid> U+201C LEFT DOUBLE QUOTATION MARK (“)
<Qboid> U+201E DOUBLE LOW-9 QUOTATION MARK („)
<Qboid> U+201C LEFT DOUBLE QUOTATION MARK (“)
<Qboid> U+201D RIGHT DOUBLE QUOTATION MARK (”)
<egg|zzz|egg> \o/ quotation marks \o/
<Ellied> whitequark: I was dumb and had alcohol again. Some brewery guy was handing out beer samples and I was like "okay, I'll taste a sip" and it turns out a) beer tastes horrrible, and b) the threshold for noticeable effects of alcohol on my system is lower than one sip of beer.
<whitequark> Ellied: alcohol is dummmmmmb
<Ellied> I guess 'learning the hard way' is significantly harder for a physicist than a normal person. You keep feeling like you have to collect additional data to be sure.
<whitequark> seriously of all the psychoactive drugs ( i mean that in the wide sense, including ssris and whatnot) i tried alcohol is the worst
<whitequark> and thats taking into account that i had adverse reactions to som
<whitequark> it might be about as bad as venlafaxine
<Ellied> what's venlafaxine?
<whitequark> very shitty SNRI
<whitequark> in me, it induces extremely severe anxiety, strong nausea, and very strong gastrointestinal disturbance. and that's with a half life of 12 hours or something like that
<Ellied> ouuuch
<whitequark> imagine a garden hose except like, from both ends. The Venlafaxine Experience™
<Ellied> ick
<whitequark> and that was from ONE CAPSULE. it wouldn't even start working until I took three daily
<whitequark> like. jeez. fuck SSRIs. fuck SNRIs so hard. bupropion is *maybe* fine. reversible selective MAO-A inhibitors and TCAs are like, moderately awful
<whitequark> at this point i'm convinced the people regulating antidepressants in RU have a deep-seated hatred of anything human
<whitequark> they did not renew the licenses of any antidepressant that doesn't fall either into category A (basically useless compared to placebo) or category B (almost useless compared to placebo AND has horrifying side effects)
<Ellied> I might need to see if I can get on something better than escitalopram. It works in that I no longer feel sharply horrible all the time, but it sure doesn't make me any less tired, which is probably my main problem.
<whitequark> notwithstanding that both categories A and B can give you permanent or at least long-lasting brain damage
<Ellied> :/
<whitequark> well if you feel tired then it sounds like an SNRI would be somewhere in the right direction
<whitequark> i think they still prescribe bupropion in the US, ask your psych about that? it's commonly prescribed precisely for this reason
<whitequark> you aren't getting MAOIs or TCAs for sure
<Ellied> It's like I never finish waking up. I never get rid of that deep-seated heavy fog of sleepiness when I wake up in the morning and it follows me around anywhere.
<Ellied> s/any/every/
<Qboid> Ellied meant to say: It's like I never finish waking up. I never get rid of that deep-seated heavy fog of sleepiness when I wake up in the morning and it follows me around everywhere.
<whitequark> (oh, have I mentioned that venlafaxine has a withdrawal syndrome that, according to an ex heroin addict, is worse than heroin withdrawal?)
<Ellied> jesus
<whitequark> (like do you design a drug this shitty on purpose or do you just hate everything alive?)
<Ellied> okay, I get it; if my doc tries to prescribe venlafaxine, I'll jun away screaming and find a new doc
<Ellied> run
<Ellied> god I need to find my glasses
<whitequark> anyway, brain fog seems smack in the middle of the set of things i expect from an ssri. i mean, you're lucky, this is basically the best case outcome
<Ellied> well I mean the prevalence and popularity of alcohol suggests that a large fraction of the population enjoys chemically punishing themselves, so maybe someone really into that went "I can do worse than this!" and invented venlafaxine.
<whitequark> you don't get brain zaps, you haven't lost the ability to experience joy completely
<whitequark> lol
<Ellied> brain zaps?
<whitequark> ever hit your elbow?
<Ellied> I get what might be described as brain zaps whenever I withdraw from escitalopram
<whitequark> imagine this happening completely at random for [months; rest of your live)
<Ellied> sort of like a combination of vertigo and having reality freeze for an instant and then jump forward
<Ellied> usually in moments of physical exertion which is just great if I'm running or something and need to concentrate on not tripping
<whitequark> that's not what people usually mean by "brain zap" but it also sounds like an ssri withdrawal symptom alright
<Ellied> alright
<whitequark> don't do shitty drugs kids
<whitequark> maybe try to get atomoxetine from your doc if that's possible
<whitequark> it's a mild stimulant and also has clinically relevant NMDA action
<whitequark> or i mean honestly just buy some ketamine. 0.25-1.00mg/kg, your head spins for half a hour and you aren't depressed for the next several weeks, depending on how shitty your life was in the first place
<whitequark> it's like magic
<Iskierka> ketamine miiiight be a little experience-dependent
<whitequark> of course it's not going to be used for treating people despite being at *least* the single best thing you can do to someone in the middle of a suicidal bout right now (or unable to go to therapy, dunno) cuz you can't patent it, but you can seek rent on increasingly shitty SSRIs
<whitequark> Iskierka: for treating depression you are aiming to *not* get any of the dissociative effects, and in fact at 0.25-0.5mg/kg it's milder than a sleepless night in terms of cognitive impairment
<whitequark> well I suppose "treating" is a bold word, it's a palliative at best, but it's a damn good palliative if you look at the cost/benefit ratio
<Iskierka> hm. didn't know what mild levels are or that it had appreciable effects at such a low dose
<whitequark> i'm saying you will literally experience a little dizziness, comparable to staying awake a bit too long
<Ellied> I don't think I'm quite ready to turn to the black market yet. I have a lot to lose if I get caught dabbling in illicit substances around here.
<egg|zzz|egg> !WPN Ellied, Iskierka, and whitequark
* Qboid gives Ellied, Iskierka, and whitequark a defective thagomizer
<whitequark> the effects are remarkable. it's essentially a reset button. flush all that useless rumination and self-hate down the drain, get distracted with something more productive
<Ellied> hm, that does sound nice
<whitequark> now if you've had depressive thought patterns for your entire life and are literally unable to think in any other way, it will not help you for long
<whitequark> a few days to a week. I mean, it's not like anything prevents you from redosing except for cost, it lacks any appreciable toxicity at those tiny amounts
<whitequark> but it's not a solution
<whitequark> if you didn't and you know how to get out of that hole? then it might well just solve the whole thing for you
<Ellied> I don't think I'm there. This sort of started in middle school or so, and I still *can* get excited about things. with my current chemistry, I feel like I'm mostly normal except that I feel like I'm on benadryl all the time.
<whitequark> well if you go off SSRIs are you going to want to get back on them again soon?
<Ellied> if I go off of esc for any length of time, I start getting really sensitive to social anxiety and associated worthlessness feelings, but that could be more withdrawal than anything else at this point
<Ellied> honestly I can't tell.
<whitequark> ahhhhh so
<whitequark> depression is comorbid with anxiety disorder.
<whitequark> in my case i came to the conclusion that i will go nowhere with my depression until i do anything at all to ease the anxiety
<whitequark> ketamine is, regretfully, not an anxiolytic at all, except for those half hour or so and even then it's barely perceptible
<whitequark> soooooo you *could* dose yourself with this shitty i-cant-believe-its-not-sedative for the rest of your live, or you could try treating anxiety...
<whitequark> heads up, if you do have social anxiety and stuff, anything with an NRI, sympathomimetic, stimulant effect is likely to make it worse
<whitequark> so you'll get rid of the fog on bupropion, maybe, but back with the anxiety.
<whitequark> or maybe you'll get lucky and it will work for you.
<whitequark> it's like a lottery but you pay much more and then get punished instead of drawing a blank, isn't it wonderful
<Ellied> I can't tell if I have anxiety, honestly. I used the word 'social anxiety' because it sort of describes kind of how I feel when I have problems with social interaction and can't tell if my friends actually want to be around me or not. Otoh, I've never had a panic attack before, and don't really get anxious about anything besides social stuff.
<Ellied> even when I should be, sometimes, like when I have a big project due and can't focus.
<whitequark> well "social anxiety" is a thing. i can't diagnose you with it, not being your psych, but it exists.
<Ellied> I know, on both counts. Just saying, I have no idea.
<whitequark> talk to your psych.
<whitequark> maybe it won't be a complete waste of time! yay!
<Ellied> yeah, that goes without saying at this point
<whitequark> can you tell i'm slightly bitter
<Ellied> yes
<soundnfury> Ellied: sounds not dissimilar to me (are you on the AS at all?) and I found SSRIs pretty shitty (both metaphorically and literally)
<soundnfury> Ellied: my advice, for what it's worth, is to go for behavioural coping mechanisms, rather than chemical interventions - your brain chemistry is probably fine, it's your neurology that cannot into social.
<soundnfury> but I don't have much data and I'm not a doctor (not even a fake doctor^W^Wpsychiatrist), so take that with a heap of salt.
<whitequark> ^ i think the same and my worst enemy won't call me some afraid of pills
<whitequark> medicalization of depression and anxiety is more often unhelpful than not
<egg|zzz|egg> !wpn whitequark
* Qboid gives whitequark a nominal principle
<egg|zzz|egg> !wpn soundnfury
* Qboid gives soundnfury a platinum spectral sequence point with a torch attachment
<egg|zzz|egg> !wpn Ellied
* Qboid gives Ellied a Yarkovsky cardinal
<Iskierka> !wpn -add:wpn psychiatrist
<Qboid> Iskierka: Weapon added!
<UmbralRaptor> !wpn -add:wpn pharmacy
<Qboid> UmbralRaptor: Weapon added!
<UmbralRaptor> !wpn -add:wpn pharmacology
<Qboid> UmbralRaptor: Weapon added!
<soundnfury> !wpn -add:adj oncological
<Qboid> soundnfury: Adjective added!
<soundnfury> !wpn egg|zzz|egg
* Qboid gives egg|zzz|egg a graviton long quaternion
<UmbralRaptor> !wpn -add:adj pharmacological
<Qboid> UmbralRaptor: Adjective added!
<soundnfury> umm, graviton isn't an adjective…
<soundnfury> !wpn -add:adj gastrointestinal
<Qboid> soundnfury: Adjective added!
<soundnfury> !wpn -add:adj gregarious
<Qboid> soundnfury: Adjective added!
<soundnfury> !wpn -add:wpn jellyfish
<Qboid> soundnfury: Weapon added!
* UmbralRaptor gives soundnfury a graviton beam emitter
<UmbralRaptor> !wpn
* Qboid gives UmbralRaptor a sodium printer
<soundnfury> (something something james mickens)
<soundnfury> !wpn UmbralRaptor
* Qboid gives UmbralRaptor a reader-writer cobolt boat
<UmbralRaptor> James Mickens columns were fun.
<soundnfury> yeah
<soundnfury> a couple weeks ago I needed to explain Byzantine fault tolerance to a cow-orker, so I showed him the diagrams in The Saddest Moment
<soundnfury> I VERIFY THAT QBOID SAYS THAT UMBRALRAPTOR IS FAULTY
<UmbralRaptor> ⁉
<UmbralRaptor> ‼
<soundnfury> I VERIFY MY VERIFICATION OF UMBRALRAPTOR'S CLAIM THAT ‽
<UmbralRaptor> I see no reason to dispute this claim.
<soundnfury> I win again!
<soundnfury> !wpn UmbralRaptor
* Qboid gives UmbralRaptor a vector
<UmbralRaptor> !wpn soundnfury
* Qboid gives soundnfury a panzer cathode ray tube with an elephant attachment
<soundnfury> Convenient.
<soundnfury> Apart from the elephant, I guess.
* egg|zzz|egg pets the elephant
* soundnfury pets the egg
<egg|zzz|egg> ⁉‼‽
<egg|zzz|egg> !u⁉‼‽
<egg|zzz|egg> !u ⁉‼‽
<Qboid> U+2049 EXCLAMATION QUESTION MARK (⁉)
<Qboid> U+203C DOUBLE EXCLAMATION MARK (‼)
<Qboid> U+203D INTERROBANG (‽)
<soundnfury> !u ⸘
<Qboid> U+2E18 INVERTED INTERROBANG (⸘)
<soundnfury> also known as "gnaborretni", because of course.
<soundnfury> apparently the Unicode Consortium is advertising deodorant for ſtabbers now
<soundnfury> !u ⸷
<Qboid> U+2E37 DAGGER WITH RIGHT GUARD (⸷)
<egg|zzz|egg> clearly we should just call ‽ the interro-exclamative mark, that way ⸘ would be the exclamo-interrogative mark
<soundnfury> "What happened to the Mark of Interro-Exclamation?" "He's over there." "SPLITTER!"
<egg|zzz|egg> !wpn UmbralRaptor
* Qboid gives UmbralRaptor a stabby hull
<soundnfury> !wpn egg|zzz|egg
* Qboid gives egg|zzz|egg a Zener McBoatFace/category hybrid
<UmbralRaptor> stabbing! \o/
<soundnfury> \o/ indeed
* soundnfury gives UmbralRaptor some ytterbium flying mammals.
* UmbralRaptor invades a small Swedish town.
<egg|zzz|egg> UmbralRaptor: should I play some academic fortress
<egg|zzz|egg> !wpn Ellied
* Qboid gives Ellied a winter snek
<Ellied> snek
<UmbralRaptor> Snek!
<UmbralRaptor> egg|zzz|egg: yeah, but bear in mind that i'm having bird problems
<egg|zzz|egg> UmbralRaptor: ow, poor birb
<egg|zzz|egg> UmbralRaptor: what's happening to it?
<UmbralRaptor> Unsure. Could be fan or HDD related.
<kmath> <McNutcase> When you walk in on the cat teaching herself to read. https://t.co/cw5NSmbdLe
<egg|zzz|egg> \o/ literate cat
<Ellied> yeah but does she know LATEX
<Ellied> er, LaTeX whatever
<soundnfury> cat litter-acy -_-
<UmbralRaptor> \LaTeX
<soundnfury> \TeX^{master}_{race}
<egg|zzz|egg> uh, either you're not in mathmode and that will fail, or you are and it will look horrible
<Iskierka> idea: latex-supporting IRC client
<UmbralRaptor> #kspacademia is usually in math mode, so…
<egg|zzz|egg> I think that came up already in this channel
<egg|zzz|egg> UmbralRaptor: nah, I care about good typography in text too
<egg|zzz|egg> what with my job
* UmbralRaptor was aiming for a pun.
* egg|zzz|egg puns a type
<kmath> <lumenphosphor> LaTeX tip: when typesetting equations, try the command \mathbf{...}, which makes math your boyfriend
<soundnfury> (char *)magic_missile
<egg|zzz|egg> !wpn UmbralRaptor
* Qboid gives UmbralRaptor an iron transformer which strongly resembles a submersion
<soundnfury> I hope that iron's laminated, or you're gonna get some serious eddy currents.
<UmbralRaptor> !wpn <egg|notzzz|egg>
* Qboid gives <egg|notzzz|egg> a projected blurglecruncheon
<egg|zzz|egg> Ellied: whitequark: bofh: Iskierka: will probably build Catalan tomorrow btw (mostly bugfixes, no new user-facing features)
<egg|zzz|egg> to be released on the new moon as usual, which is the 25th iirc
egg|zzz|egg is now known as egg|df|egg
<soundnfury> Filesystem 1K-blocks Used Available Use% Mounted on
<soundnfury> (wrong kind of df? ;)
<UmbralRaptor> It menaces with spikes of octets?
<soundnfury> nah, octets are network
<egg|df|egg> soundnfury: why do you not have alias df=dwarffortress
<soundnfury> it is adorned with hanging cylinders
<soundnfury> and menaces with sectors
<soundnfury> there is an image of a head
<egg|df|egg> the version after Catalan will be Cauchy
<egg|df|egg> there will be some minor (compatible) save changes, which means some compatibility code that recognizes a pre-cauchy save
<egg|df|egg> and apparently pre-cauchy is a thing
<egg|df|egg> !g pre-cauchy
<Qboid> egg|df|egg: https://arxiv.org/abs/1605.02212 [Strong $ I $ AND $ I^* $-statistically pre-Cauchy double sequences ...] (88300 results found, took 0.56s)
<soundnfury> egg|df|egg: I have no expectations of what will be in that version.
<Iskierka> how many levels of old save recognition are there?
<soundnfury> heh. I break harris save-compat about every three versions. But I guess mods have to be a bit more disciplined than that
<soundnfury> (also I don't think anyone but me plays harris anyway)
<egg|df|egg> Iskierka: we broke compatibility in Cardano https://github.com/mockingbirdnest/Principia/wiki/Change-Log#cardano
<egg|df|egg> before that we were save-compatible from the beginning
<egg|df|egg> and we expect to retain compatibility going forward, Cardano was weird in many ways
<egg|df|egg> !wpn whitequark
* Qboid gives whitequark a greening induction which strongly resembles a 2N2222
<bofh> LOL
<egg|df|egg> bofh: ?
<bofh> oh, just the "strongly resembles a 2N2222" was amusing.
<bofh> reminded of when I'd use 2N3904s as small-signal diodes b/c I had so many of them and no 1N4184s
<egg|df|egg> UmbralRaptor: two chemists, a mathematician, an astronomer, a sage, a goblin sage, a naturalist, and a general-porpoise scholar are discussing the height of the tides, the moon, and the sun
<bofh> egg|df|egg: that being said, PM poke
<soundnfury> egg|df|egg: ... walk into a bar.
<egg|df|egg> uh
<egg|df|egg> SOP, not +SOP :-p
<UmbralRaptor> I assume that they are in a bar,
* UmbralRaptor tests the behavior of Kelsysh with all HDDs unplugged.
<UmbralRaptor> Okay, PSU and fans are ok
* egg|df|egg pets UmbralRaptor's birb
<UmbralRaptor> Let's try the linux (IDE) drive
<UmbralRaptor> Broken?
<UmbralRaptor> clicking, can't get proper boot menu
<UmbralRaptor> Ironically, this is probably one of the less bad failures. I want to say that there was nothing critical on it.
<UmbralRaptor> Besides, it's something like 16 years old.
<egg|df|egg> O_o
<UmbralRaptor> 20 gig. >_>;;
<UmbralRaptor> But this suggests that the 250 GiB (RIP, Silbervogel) and 2 TiB drives are fine.
<egg|df|egg> ... 20 GiB??
* egg|df|egg has forgotten how to count this low
<egg|df|egg> correction, I have never had this small a HDD
<egg|df|egg> the first HDD I've had on a computer that was mine (as opposed as the "family" computer) was 70 GiB iirc
<egg|df|egg> I think that machine was installed pretty much 16 years ago incidentally
<Iskierka> first bought "for me" though not technically mine was probably 100-200 range, don't remember. first mine would probably be this one and pretty sure it was a 512 still lying around somewhere
* egg|df|egg expands the quarters of Ancientbird
<egg|df|egg> student housing fortress
<Iskierka> granted that's half as old
<egg|df|egg> ... the students have better housing than the general population
<Iskierka> this sounds like a good arrangement
<egg|df|egg> Iskierka: yeah, I meant "for me" by mine there too
<egg|df|egg> Iskierka: specifically, the students have housing, the general population tends to be a bit short on that
<Iskierka> I think the for-me computer might still be downstairs. I *do* recall exploding its PSU though, so checking disk may be difficult
<egg|df|egg> the infantry has dedicated housing too, and I'm starting to expand general housing, but I have a bit of a backlog
<Iskierka> I know my EeePC from maybe 10 years ago was 160 GB. I know this because I found it and took the disk out and found it's bork
<soundnfury> egg|df|egg: does starwatch of oxen have a tower?
<soundnfury> all the best university libraries have a tower
<UmbralRaptor> First totally for me was 20 gig. Then 60.(+40 later). Then 250. Then 2048. Then things get silly
<UmbralRaptor> soundnfury: but is it designed by John Romero, Tom Hall, or Sandy Peterson?
<egg|df|egg> soundnfury: it's largely underground, but it does have a short stubby archery tower
* Ellied still doesn't understand floating points
<soundnfury> UmbralRaptor: apparently, Giles Gilbert Scott. I don't know who that is. But I don't know who those people you mentioned are, either.
* egg|df|egg is pinged
<soundnfury> egg|df|egg: definitely needs an imposing tower. With housing in.
* egg|df|egg gets all eggscited at the potential opportunity to eggsplain floating point to greening
<Ellied> 100000000000000000000000000000000000000000000. % 1000000. is 865984.0 ????
<UmbralRaptor> Ellied: Have you performed a sacrifice to the Dark Lord Kahan?
<Ellied> No, do I need to?
<egg|df|egg> probably
<UmbralRaptor> p = 1.5
<UmbralRaptor> Oh, hey. I can still boot into XP.
<soundnfury> Ellied: that sounds entirely reasonable.
<UmbralRaptor> (ethernet is unplugged. relax.)
<Iskierka> UmbralRaptor, but https://xkcd.com/350/
<UmbralRaptor> I don't WannaCry, so…
<Ellied> the blue dots are from my laptop, the red from my RPi. (they overlap exactly).
<Iskierka> Little Witch Academia appears to be set in modern times where people know that hogwarts exists and (some of them) do stage shows
<Ellied> I just did 10^3 to 10^300 % 1000, and those are the results.
<Iskierka> are you sure this % is modulo?
<Ellied> yes.
<Ellied> it's python.
<Ellied> as you can see, it produces the expected 0 up until about 10^20 or so.
<UmbralRaptor> ran out of precision, but I wonder how it's implementing modulo?
<Ellied> yeah, dunno
<Ellied> I note that Octave does not do the same, at least not with the same threshold. that same expression I mentioned first returns 0.
<egg|df|egg> UmbralRaptor:
<egg|df|egg> Ellied:
<egg|df|egg> > bits 100000000000000000000000000000000000000000000
<Soozee> [1,0,0,0,1,1,1,1,0,1,1,1,1,1,1,0,0,0,1,1,0,0,1,0,1,1,0,0,1,1,1,0,0,1,1,1,1,0...
<Iskierka> my brain cannot process how modulo is actually supposed to work at the moment
<egg|df|egg> > take 53 (bits 100000000000000000000000000000000000000000000)
<Soozee> [1,0,0,0,1,1,1,1,0,1,1,1,1,1,1,0,0,0,1,1,0,0,1,0,1,1,0,0,1,1,1,0,0,1,1,1,1,0...
<egg|df|egg> soozee why do you truncate >_>
<Iskierka> or actually it just caught up and random errors make sense because of the minimum precision
<Iskierka> 10^20 would be about where it cannot accurately represent the 0 so for the data structure it has, having a large non-zero value is correct
<Iskierka> because you're not actually using 10^20, but 10^20 +- floating errors. Really you just found a way to measure the floating point error
<soundnfury> !wpn -add:adj truncated
<Qboid> soundnfury: Adjective added!
<Iskierka> if it weren't python I'd say compare with double (or big doubles if available) to see the error point move up
<egg|df|egg> > printbits (bits 100000000000000000000000000000000000000000000)
<Soozee> "100011110111111000110010110011100111101111101010010111000110111111100100100...
<egg|df|egg> > printbits (take 53 (bits 100000000000000000000000000000000000000000000))
<Soozee> "10001111011111100011001011001110011110111110101001011"
<egg|df|egg> UmbralRaptor: Ellied: ^
<egg|df|egg> 100000000000000000000000000000000000000000000 is not a value of IEEE 754 binary64
<Ellied> ahhh
<egg|df|egg> 10001111011111100011001011001110011110111110101001011 * 2**whatever is
<egg|df|egg> and that's a bit off
<Iskierka> it'll probably work for this case if you from decimal import Decimal and use decimal values
<Iskierka> since the exponent matches your modulo
<Iskierka> but not with float. Float will require it to be power-of-2 to continue working
<egg|df|egg> Ellied: well it'll get rounded the other in this case I think, but you get the idea
<Ellied> aha, when I try powers of 2, I get zero error.
<Ellied> at least up to 2^300
<Ellied> neat
<Iskierka> yep, the modulo is accurately returning the float error value
<Ellied> and if I use 1000 instead of 1024 as the second argument of modulo, I get a periodic result
<egg|df|egg> ;rpn 2 53 ^ 1 +
<kmath> egg|df|egg: 9.007199254740992e+15
<Ellied> ...which should be completely unsurprising since *normally* modulo is periodic with increasing numbers. I'm sleepy
<egg|df|egg> Ellied: starting with this one, you can't represent all positive integers in binary64 ^
<egg|df|egg> Ellied: side note: if you have a 32-bit integer, you can represent it as a binary64 floating-point number, always