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.
<bofh> !meow UmbralRaptop
* Qboid meows at UmbralRaptop
egg|z|egg has quit [Ping timeout: 198 seconds]
<UmbralRaptop> !pet bofh
* Qboid pets bofh
<bofh> ^_^
* UmbralRaptop feels extremely called out https://twitter.com/mcclure111/status/1007741917361295361
<kmath> <mcclure111> Antisolipsism where you are certain the universe exists but are uncertain about yourself
<bofh> relatable tbh
<egg|phone|egg> !meow bofh
* Qboid meows at bofh
* bofh meows at Qboid
<bofh> UmbralRaptop: https://abstrusegoose.com/7
<UmbralRaptop> Kitten oscillations
<bofh> UmbralRaptop: is there a MOND-type theory that gives you the CMB yet?
<UmbralRaptop> AFAIK, no.
<UmbralRaptop> My limited understanding is that MOND-types completely fail, and something like TeVeS can only hit isolated bits of the power spectrum.
<awang> Wasn't there some galaxy found a few weeks back that basically broke MOND?
<awang> Something about a galaxy missing most of its dark matter?
<UmbralRaptop> The result was overhyped. ie: the error bars on the mass mean that the galaxy could have a normal amount of dark matter.
<awang> Ah
<awang> Of course it can't be as exciting as hoped :(
<UmbralRaptop> I forget the rest of the details, but they were dealing with small number statistics, and some reanalyses suggested even larger error bars.
<awang> Hm
<awang> That's unfortunate
<awang> Feel like we're on the cusp of something exciting, but it's just taking too long to get to :(
* UmbralRaptop pokes WFIRST with a schedule.
<UmbralRaptop> In all seriousness, part of why I switched from galaxies to exoplanets is that I feel like I can get/have a better handle on how to explore the latter.
<awang> What do you mean by that?
<awang> Better/more data points?
<UmbralRaptop> Not really, though that may eventually be true.
<UmbralRaptop> More that I can more easily make sense of planets than galaxies.
<awang> I see
<bofh> huh, Fomalhaut is only ~25.11ly away?
<UmbralRaptop> Apparently. Hence the brightness?
<bofh> Huh, Vega/α-Lyrae is also only about 25ly away.
<bofh> I always assumed it was just high-magnitude hence the brightness.
* UmbralRaptop keeps on thinking that Vega is 32.6 ly away for some reason. <_<
<bofh> what actually *is* 32.6ly away?
<UmbralRaptop> An ideal magnitude 0 star.
<bofh> Ahh.
<bofh> also ROFL at "is dry-clean only" on that flowchart you linked.
<bofh> wait, why would an ideal mag0 star be specifically 32.6ly away?
<awang> 10 parsecs?
<UmbralRaptop> 10 parsecs
<awang> Ah, apparent magnitude from 10 parsecs
<awang> TIL
<bofh> Ahh.
<awang> Er, absolute magnitude = apparent magnitude at 10 parsecs
<bofh> I am not an astro person so I keep forgetting parsecs exist as a measure.
<bofh> (I *am* an RF person so working in light-days and light-years is very natural)
<kmath> <johnregehr> I read this letter like 3 times today, the way the university handled this is so incredibly awful.… https://t.co/noboHbRm2t
<UmbralRaptop> AAAAAAA
<bofh> like this person needs to be *arrested*, not tenured. FUCK.
<tawny> y i k e s
egg|phone|egg has quit [Ping timeout: 198 seconds]
egg|phone|egg has joined #kspacademia
awang has quit [Ping timeout: 198 seconds]
egg|z|egg has joined #kspacademia
<egg|zzz|egg> !wpn -add:adj Coq
<Qboid> egg|zzz|egg: Adjective added!
<egg|zzz|egg> !wpn -add:wpn rooster
<Qboid> egg|zzz|egg: Weapon added!
<egg|zzz|egg> !wpn whitequark
* Qboid gives whitequark an Abelian explosion
* egg|zzz|egg pets whitequark
APlayer has joined #kspacademia
<egg|zzz|egg> !wpn whitequark
* Qboid gives whitequark a Vulcan cyclone
<egg|zzz|egg> !wpn bofh
* Qboid gives bofh a fancy bootstrap
<egg|zzz|egg> !wpn UmbralRaptop
* Qboid gives UmbralRaptop a dysprosium holy check
egg|z|egg has quit [Ping timeout: 194 seconds]
egg|z|egg has joined #kspacademia
tawny has quit [Ping timeout: 194 seconds]
<kmath> <stephentyrone> @johnregehr 15 weird tricks that you won’t believe about one weird trick that you’ll never guess what happens next… https://t.co/FJ2WJNHHsI
<APlayer> Yes
egg|z|egg has quit [Ping timeout: 202 seconds]
egg|phone|egg has quit [Remote host closed the connection]
<kmath> <jumpythehat> @shahlock @AnalysisFact You now understand every single thing about irrational numbers but it's all wasted because… https://t.co/7tnG4uXfRV
egg|z|egg has joined #kspacademia
Iskierka has quit [Ping timeout: 198 seconds]
Iskierka has joined #kspacademia
<bofh> UmbralRaptop: oh wow one of the names on that dark matter flowchart is Barbara Ryden; I used her Cosmology book for a class once.
* UmbralRaptop same.
<kmath> <EricMamajek> I’m going to take a wild guess that I never see the book ‘Handbook of Exoplanets’ anywhere ever (but see chapters p… https://t.co/nkiGSt0Ck7
egg|z|egg has quit [Ping timeout: 194 seconds]
<egg|zzz|egg> meow
<APlayer> !pet egg
* Qboid pets egg
<bofh> thank heavens, my Sandisk Clip+ isn't dead, just undead.
<SnoopJeDi> oh?
<egg|zzz|egg> whitequark: has котя eaten a theorem prover
<UmbralRaptop> More importantly, have you taught котя how to use a theorem prover?
<egg|zzz|egg> the theorem prover is a bird
<egg|zzz|egg> so clearly the theorem prover is edible
<UmbralRaptop> uh
<egg|zzz|egg> UmbralRaptop: https://fr.wiktionary.org/wiki/coq#Fran%C3%A7ais
<UmbralRaptop> oh
<bofh> SnoopJeDi: battery *severely* discharged. I unplugged it from USB b/c I was finally going to take it apart again to hatecharge it and possibly JTAG it and it powered on and immediately went "BATTERY EMPTY RECHARGE SHUTTING DOWN!!!". which sounds bad but is an improvement over the state it was in a few days ago, which is "paperweight".
<bofh> (also I did it again but reconnected it quickly and now it's actually on and appearing as a mass storage device for the first time in 2 weeks and drawing more current so hopefully full charge will be faster)
<bofh> Severely relieved right now, I hate opening snap-and-glue cases.
<SnoopJeDi> ...I had no idea the Clip series (or any of em) had JTAG ports, wow
<bofh> SnoopJeDi: some *really* finicky soldering onto pads required, I think exactly one person got it to work.
<bofh> rockbox wiki I think has the details
<SnoopJeDi> yea I ended up there with a google
<SnoopJeDi> Good ol' Sansa, full of surprises
<bofh> !u 𝔯𝔢𝔭𝔲𝔱𝔞𝔱𝔦𝔬𝔫
<Qboid> bofh: Too many characters! (Maximum: 10)
<bofh> !u 𝔯𝔢𝔭𝔲𝔱𝔞𝔱𝔦𝔬
<Qboid> U+1D52F MATHEMATICAL FRAKTUR SMALL R (𝔯)
<Qboid> U+1D522 MATHEMATICAL FRAKTUR SMALL E (𝔢)
<Qboid> U+1D52D MATHEMATICAL FRAKTUR SMALL P (𝔭)
<Qboid> U+1D532 MATHEMATICAL FRAKTUR SMALL U (𝔲)
<Qboid> U+1D531 MATHEMATICAL FRAKTUR SMALL T (𝔱)
<Qboid> U+1D51E MATHEMATICAL FRAKTUR SMALL A (𝔞)
<Qboid> U+1D531 MATHEMATICAL FRAKTUR SMALL T (𝔱)
<Qboid> U+1D526 MATHEMATICAL FRAKTUR SMALL I (𝔦)
<Qboid> U+1D52C MATHEMATICAL FRAKTUR SMALL O (𝔬)
<bofh> gonna guess the last one's an N :P
<SnoopJeDi> bofh, I used a Clip+ for a music-on-hold kludge at my old employer (weird obsolete system they kept on life support)
<bofh> Nice.
<bofh> They're great players, I bought one specifically b/c of the output-stage DAC quality and the fact that rockbox is fully and extensively supported.
<bofh> THD% is amazingly low for a consumer device
<SnoopJeDi> AFAIK it's still there playing some CC-BY-SA clips
<SnoopJeDi> over a *really* bad impedance mismatch, heh.
<bofh> It'll happily tolerate that no problem.
<SnoopJeDi> I never used a Clip personally, but I still have my e250
<SnoopJeDi> oh yea it tolerated it, it just sounds like crap :P
<SnoopJeDi> I really love the hot-swappable microSD
<bofh> Ahh Sansa e250. Nice.
<bofh> 16:00:34 <@SnoopJeDi> oh yea it tolerated it, it just sounds like crap :P
<bofh> most won't really have audible volumes in that state, heh.
<SnoopJeDi> yeeeep
<SnoopJeDi> it was frankly a lot worse than silence
egg|z|egg has joined #kspacademia
<bofh> I mean in all honesty I find *most* music-on-hold to be inferior to silence.
<bofh> also I like how in the context of my Clip+, "dead", "mostly dead" & "undead" all have precise meanings that make sense.
<mlbaker> bofh_: i like how he's essentially a meme at this point :P
<bofh> (dead -> paperweight, mostly dead -> the above, where it powers on for a few seconds after being unplugged from USB before dying again, undead -> that, but I plugged it back into USB before it booted so it's powered on as USB mass storage but likely still discharged enough to the point of instant power off if I unplug it)
<mlbaker> and it's totally self-inflicted, too. if it weren't for his crazy youtube presence probably no one would even know him
<bofh> yeah prolly
<bofh> he's like a Zeilberger that went full crackpot imho
<mlbaker> he's about as close as a professional mathematician can get to being an actual crackpot.
<bofh> I mean I feel like Penrose is getting there as a physics equivalent, which makes me sad.
<bofh> (still can't get over him coauthoring a "quantum consciousness" book with DEEPAK CHOPRA of all people).
<mlbaker> you know, i'm having quite a hard time finding any information that would confirm he actually had anything to do with these books o_O
<mlbaker> i mean the book lists him as an 'editor'
<SnoopJeDi> being attached at all to that ninny is disreputable enough
<mlbaker> "...attracting a "who's who" of plenary speakers including keynote speaker Penrose, Chopra and 24 others"
<bofh> thing is, I know some of those other speakers and like
<mlbaker> *cringe*
<bofh> they're competent neuroscientists doing interesting research in this field???
<SnoopJeDi> IQ2US did a debate recently that had Chopra arguing against the motion ("The more we evolve, the less we need God")
<bofh> also I'm pretty sure the only way to 'edit' that manuscript is to chuck it in the bin
<SnoopJeDi> it was one of those ones where I don't know which side of the debate I dislike more.
<bofh> SnoopJeDi: agreed, literally everything about that sounds indufferable
<bofh> insufferable*
<SnoopJeDi> indufferable (n.) - loops that cannot be unrolled
<bofh> LOL
egg|z|egg has quit [Ping timeout: 182 seconds]
egg|z|egg has joined #kspacademia
Ellied has joined #kspacademia
<bofh> ugh I think *another* region of this stick of RAM became an RNG.
<iximeow> [real estate voice] its free RNG!
<bofh> so apparently you *can* use /dev/mem to read from a region of physical memory you've masked off from the kernel (assuming CONFIG_SAVE_DEVMEM=n)
<bofh> part of me is legit tempted to instead make a kernel module that accepts a region of physical memory, does periodic reads from it, debiases it, then hashes it, then adds it to the urandom entropy pool.
<iximeow> ...
<bofh> iximeow: this is the standard technique for adding h/w entropy to the entropy pool: read, debias, feed into PRF, feed output of PRF into urandom.
<iximeow> it is, but "my bad RAM is actually RNG now" is... something :P
<SnoopJeDi> bofh, doesn't that create new threat surface area?
<egg|zzz|egg> !wpn Ellied
* Qboid gives Ellied a barbarian interrobang
<SnoopJeDi> iximeow, PRNG :P
<bofh> SnoopJeDi: in theory b/c you're just *adding* entropy to the pool (which is a CSPRNG, generally something like Yarrow or AES256 in CTR-DRBG mode), it doesn't.
<bofh> Since as long as you have *some* entropy in the initial seed, the output of this is secure for at least 2^96 bytes read.
<bofh> (easiest way to intuit this: we can pull that much *unpredictable* data from a block cipher running in CTR mode given a small initial amount of entropy for the same reason we can *encrypt* that much data securely with a block cipher in CTR mode given an equivalent-length key)
<bofh> (additional entropy is mostly for prediction resistance if the initial seed or the internal state is leaked somehow)
<SnoopJeDi> as long as it's mixed in it's not useful for attacks?
<bofh> In *theory* according to the cryptographic literature, as long as it's sufficiently unpredictable and unbiased, yes. That being said I am not a cryptographer so *PLEASE* do not take this as truth or use this in any production system.
egg|z|egg has quit [Ping timeout: 198 seconds]
<SnoopJeDi> lol
<SnoopJeDi> relatable
egg|z|egg has joined #kspacademia
<egg|zzz|egg> !meow коте
* Qboid meows at коте
<bofh> !meow egg|zzz|egg
* Qboid meows at egg|zzz|egg
<egg|zzz|egg> !pet котю
* Qboid pets котю
egg|z|egg has quit [Ping timeout: 198 seconds]
egg|z|egg has joined #kspacademia
egg|z|egg has quit [Ping timeout: 202 seconds]
tawny has joined #kspacademia
egg|z|egg has joined #kspacademia
<egg|zzz|egg> !meow bofh
* Qboid meows at bofh
<egg|zzz|egg> !wpn whitequark
* Qboid gives whitequark a verbose cult
<egg|zzz|egg> !wpn rqou
* Qboid gives rqou a just-in-time Ising endomorphism
<SnoopJeDi> Would a terse cult be functional programming?
egg|z|egg has quit [Ping timeout: 202 seconds]
egg|phone|egg has joined #kspacademia
xShadowx has joined #kspacademia
xShadowx|2 has joined #kspacademia
xShadowx has quit [Ping timeout: 198 seconds]
xShadowx has joined #kspacademia
xShadowx|2 has quit [Ping timeout: 202 seconds]
xShadowx|2 has joined #kspacademia
xShadowx has quit [Ping timeout: 202 seconds]
xShadowx has joined #kspacademia
xShadowx|2 has quit [Ping timeout: 194 seconds]
xShadowx has quit [Ping timeout: 182 seconds]