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.
<soundnfury> char-rnn training 70% complete...
<bofh> not bad
<soundnfury> btw should anyone want to join in this game, I'm using this implementation: https://github.com/crazydonkey200/tensorflow-char-rnn
<soundnfury> (my dataset is mine and mine alone, I went to all the trouble of scraping it from yarchive.net why should I give it to you?)
<soundnfury> training done
<soundnfury> time to sample it...
<soundnfury> "I _could_ just did an edge open SCSI than it can actually just want"
<egg> bofh: hm, how frequent are numbers that square exactly
* egg may have sent himself in an endless loop of self-nerdsniping by poking at those ulp distance calculations
<egg> bofh: though I guess that one is just that question the cat already answered about exact multiplication
<soundnfury> "help from different protocolsing programmers can be pretty math, I often the understand of the way."
<soundnfury> Ellied: it's not brilliant, I'm having to curate it pretty hard to find anything good
<Ellied> alas
<soundnfury> it has however learned to sign "Linus" on a separate line every now and then, as in the original dataset
<soundnfury> I'm still experimenting to find the best temperature setting, and some of the output is almost comprehensible
<soundnfury> "You say that I will now decided to avoid a file is to avoid that, I believe that it's since the donefent that they don't make our users than that even if you may prefer to open them as a RCU's that are a shorter of them on it have a
<soundnfury> bool' to have to say that you get the page cache over any mork."
<soundnfury> so, it _has_ learned to produce English words, which is kinda impressive, but I was hoping for more :/
<icefire> I should have kmath not cat out tweets if its just a picture
<egg> icefire: ... not cat out cat pics?
<icefire> ha
<Iskierka> make it generate ascii art of the picture
<soundnfury> and when it tries to reproduce code snippets it really doesn't do well
<Ellied> quick, make it so it only cats out the URL if it contains a cat
<soundnfury> Ellied: https://xkcd.com/1425/
<Ellied> i conflated those arguments I think
<Ellied> oh well
<soundnfury> "I want to be a good ze, but I think there's a few maintains in the same array-day"
<bofh> LOL
<bofh> 00:25 * egg may have sent himself in an endless loop of self-nerdsniping by poking at those ulp distance calculations
<bofh> accurate :P
<bofh> 00:24 <@egg> bofh: hm, how frequent are numbers that square exactly
<bofh> yeah, it's just multiplication, so use Atlas's answer to figure out which numbers would have that quality, then just like enumerate them
<bofh> there's not that many floats, I often iterate over every single float32 to test correctness of a special function
<soundnfury> wonderful words: "markerned accourage", "shutshint", "Interful"
<bofh> I feel like I'm reading the LKML already
<Ellied> shutshint looks so much like a swear word
<bofh> ^
<soundnfury> Ellied: ikr
<soundnfury> it also invented the CPU synchronisation primitive "cmprmg"
<soundnfury> "You should not be counted in generally any of the compiler system"
<soundnfury> "The thing is, it would probably have a signed forced about the fact that it's a patch that the only version of a way they *work* compiler that it would be a non-real time it will have a single problem of the code to use the GPLv2"
<soundnfury> turning down the temperature seems to produce these long run-on sentences like ^
<egg> bofh: yeah, it's harder to iterate over binary64 tho
<soundnfury> "We've had to be able to be bad, that says."
<soundnfury> "However, I'm certing to be able to say that."
<bofh> so we only care about mantissa here, so we could just do all binary64 in [1,2]
<soundnfury> egg: I feel like this should be trivial
<soundnfury> the least-significant 1 of the square is the square of the least-significant 1
<soundnfury> so to be exact your mantissa must only have 1s in the first half
<kmath> <stephentyrone> @bofh453 I continue to find it cool how old this trick is.
<egg> bofh: yeah, that's still 52 bits (and maybe you want to look at denormals too, so 53)
<bofh> 2^52 can be done in a day :P (prolly even 2^53)
<egg> bofh: but anyway, I was mostly wondering how rare it was, and it seems obviously pretty rare
<egg> bofh: if the former can be done in a day I think the latter can be done in two, but do not trust my ability to multiply by two
<bofh> Ellied: https://mobile.twitter.com/Headlessjulie/status/898705211811782656 is it bad that my mind mentally interpolated in 'diode' at the end of 'midriff-baring white tank top'?
<kmath> <Headlessjulie> The 3 genders https://t.co/gTLgQ17ke9
<Ellied> hahahaha
<egg> bofh: I may have gone slightly overboard, but it illustrates all the ways (except overflow) in which the difference of squares may fail (and why 1-e^2 done stupidly is better than x^2-y^2 done stupidly ) http://i.imgur.com/IQXsDgS.png
<Ellied> problem: string of words that almost makes sense. solution: append 'diode'
<egg> bofh: iirc diodebot is built on top of Lizzie's wpn database
e_14159- has joined #kspacademia
e_14159 has quit [Ping timeout: 383 seconds]
e_14159- is now known as e_14159
<bofh> egg: what's the approximate size of the intersection of Lizzie's and Qboid's wpn databases?
<Ellied> I guess 'append diode' works best on strings of adjectives that contain at least one adjectified verb
<Ellied> bofh: I believe Qboid's integrated the remaining Lizzie database at some point, so it can be safely assumed that Qboid wpn is a superset of Lizzie wpn
<Ellied> I added a few special entries by hand for diodebot though, that's why it often picks names of famous scientists and real (or real-ish) diode functions.
<egg> !wpn -stats
<Qboid> egg: Total weapons: 626. Total adjectives: 802. Total possible combinations: 1009885129406.
<egg> !wpn greening
* Qboid gives greening a stretchy clowder
<egg> cats!
<Ellied> hmm, it would make sense for it to put the total possible combos in scientific notation wouldn't it
<egg> hm, but it's not approximate so that feels wrong too
egg is now known as egg|zzz|egg
<egg|zzz|egg> please ping me repeatedly a bit before the upcoming launch so I wake up
<egg|zzz|egg> (Qboid will ping me, but perhaps not enough)
<egg|zzz|egg> just talk about floating point, that summons me :-p
<soundnfury> includes some examples of it attempting to produce code snippets
<soundnfury> next experiment: train a char-rnn on a corpus of Henry Spencer sci.space.* posts
<bofh> LOL
<Ellied> soundnfury: lampo
<bofh> what about Archimedes Plutonium sci.physics.* posts?
<soundnfury> bofh: I don't have a corpus of those. But supply me with a MB or more of them and I'll see what I can do ;)
<soundnfury> (I conveniently had my Linus and Henry corpii[sic] from when I was feeding them to Markov chains)
<bofh> btw, what specifically is notable about Henry Spencer's sci.space.* posts?
<bofh> all I know about him is he one wrote a regex lib
<bofh> once*
<soundnfury> bofh: in sci.space.* they had a tradition. If you successfully point out an incorrect statement by Henry Spencer, you get awarded a virtual ICHT (I Corrected Henry T-shirt).
<soundnfury> he was basically recognised as extremely knowledgeable by just about everybody
<soundnfury> this corpus btw is scraped from http://yarchive.net/space/
<bofh> Ahh. Nice.
<soundnfury> (I learned a _lot_ about Rocket Science from that site)
<Qboid> 0d 4h 0m 0s left to event #5: 「みちびき3号機」/H-IIAロケット35号機 [at 2017-08-19 05:29:00]. Say '!kountdown 5' for details
<soundnfury> utzoo!spencer did get around a bit
<soundnfury> you know he wrote an assembler in awk?
<soundnfury> henrynet trained, time to start sampling
<soundnfury> "rocket growters -- most expands that higher isn't absolute most expended to see Lynaccial Tric Toug Lockheed-Iunsain"
<soundnfury> "In fact, being needed to ask that the performance is to roughly low-tech with something more than it will fall."
<soundnfury> "perimental technology at a manned Kapaber support."
<soundnfury> "Although those doubts on the satellites were generally the 1960s... but most of yextenve, but it decivity dominatedly along visitory or grinting."
<soundnfury> "I would lunar supplie money a stretchs, low atmospheres."
<soundnfury> "The results related to get a very thin the aircraft at the second-stage the problem is used a single problem."
<soundnfury> "I would think theory."
<soundnfury> I think my corpus was just a little bit too small to really work well. But a good try!
<soundnfury> next corpus: An Inquiry Into the Nature and Causes of the Wealth of Nations
<soundnfury> it's 2.2MB, which is almost as big as my linus corpus
<bofh> Your Linus corpse is fairly tiny
<bofh> also holy fuck an assembler in awk is pretty nice
<soundnfury> bofh: s/pse/pus
* soundnfury has not killed Linus
<Qboid> soundnfury thinks bofh meant to say: Your Linus corpus is fairly tiny
<bofh> Oh. Oops. How the fuck did I make that typo.
<soundnfury> "It seems, through the sovereign can be well endeavour the most the well replace, in the wealth and taxes of the other can be forment; and there was necessary for mere, who, by alienation and stock, therefore, are much as they generally be give some ancient Greece."
<soundnfury> for once the run-on sentences actually match the source style ;)
<soundnfury> "For a time to the scarcity of the civilized shape, at leating, both this great liberty events and or others."
<soundnfury> "The fall of the gold and silver to give should becommithered with the trade, and been the country, and how necessitute and citizes, are to have been with expense, and far, which, notwithstanding the causes seems to be the unarmisty, they could propoition a greater quantity of fortunes"
<soundnfury> hmm, it doesn't seem to have managed to learn how "old money" works: '£35:18:6:8', '£ 3:170'
<soundnfury> "Great Britard"
<soundnfury> "the Shilish Capline"
<soundnfury> "the banks, to the commercial southance of the government must find the ornaments of foreign good meat"
<Qboid> 0d 3h 0m 0s left to event #5: 「みちびき3号機」/H-IIAロケット35号機 [at 2017-08-19 05:29:00]. Say '!kountdown 5' for details
<soundnfury> now for a _really_ far-out experiment. When trained on 6.7MB of MIDI files catted together, can char-rnn produce music? (Probably not, I expect I won't be able to get anything a MIDI player will accept. But who knows.)
icefire has quit [Read error: Connection reset by peer]
<bofh> probably not, but if you bolt a MIDI parser to the input and make it spit out chord/note progressions & convert *THOSE* to MIDI, that might work.
<soundnfury> bofh: that's sooooo been done though
<soundnfury> I want to see how char-rnn does on a _hard_ problem :p
<soundnfury> minimise its opportunities for ELIZA-effect
awang has quit [Read error: Connection reset by peer]
WetLemons is now known as Wetmelon
xShadowx is now known as ___
___ is now known as ____
____ is now known as _____
_____ is now known as ______
______ has quit [Quit: KVIrc 4.9.2 Aria http://www.kvirc.net/]
xShadowx has joined #kspacademia
<Qboid> 0d 2h 0m 0s left to event #5: 「みちびき3号機」/H-IIAロケット35号機 [at 2017-08-19 05:29:00]. Say '!kountdown 5' for details
Moistmelon has joined #kspacademia
Wetmelon has quit [Ping timeout: 183 seconds]
<Qboid> 0d 1h 0m 0s left to event #5: 「みちびき3号機」/H-IIAロケット35号機 [at 2017-08-19 05:29:00]. Say '!kountdown 5' for details
<Qboid> 0d 0h 30m 0s left to event #5: 「みちびき3号機」/H-IIAロケット35号機 [at 2017-08-19 05:29:00]. Say '!kountdown 5' for details
<Qboid> 0d 0h 10m 0s left to event #5: 「みちびき3号機」/H-IIAロケット35号機 [at 2017-08-19 05:29:00]. Say '!kountdown 5' for details
Moistmelon has quit [Ping timeout: 183 seconds]
<Qboid> 0d 0h 2m 30s left to event #5: 「みちびき3号機」/H-IIAロケット35号機 [at 2017-08-19 05:29:00]. Say '!kountdown 5' for details
<Qboid> 0d 0h 0m 0s left to event #5: 「みちびき3号機」/H-IIAロケット35号機 [at 2017-08-19 05:29:00]. Say '!kountdown 5' for details
Technicalfool_ has joined #kspacademia
Technicalfool has quit [Ping timeout: 204 seconds]
* egg|zzz|egg bad at waking up
<egg|zzz|egg> huh, looking back at the stream, it seems in japan they count up for a bit after H0 like they do in india
<egg|zzz|egg> also why do they show the Windows 7 chrome around the 3d model of the rocket in their stream :-p
<egg|zzz|egg> ... for some reason google translate translates みちびき to "lunch"
<kmath> YouTube - Stream, FPV, and more data - Python plays GTA p.15
Sarbian has quit [Quit: ZNC - http://znc.in]
<kmath> <spun_off> They have big dogs here https://t.co/Ep6AgoV1w7
ferram4 has quit [Ping timeout: 204 seconds]
<egg|zzz|egg> bofh: how evil would 1-e² be as an identifier :-p
<egg|zzz|egg> !wpn Norgg
* Qboid gives Norgg a demi-cannon
icefire has joined #kspacademia
Stratege has quit [Read error: Connection reset by peer]
<UmbralRaptor> eggsact amount of evil is font-dependent.
Stratege has joined #kspacademia
<egg|zzz|egg> UmbralRaptor: also, √, ✔, and ✓ are disallowed in identifiers, but ? is fine somehow Ꙩ_ꙩ
<egg|zzz|egg> !u ' '
<Qboid> U+0027 APOSTROPHE (')
<Qboid> U+2003 EM SPACE ( )
<Qboid> U+0027 APOSTROPHE (')
<soundnfury> well, it didn't _quite_ produce valid headers, because it can't guess what the lengths of sections will be
<soundnfury> but after I fixed that up, it seems its other problem is forgetting to stop a note it's started, so it just leaves drones going and then one-finger-noodles over the top
<soundnfury> it _did_, however, learn how to produce valid MIDI events, including meta-events (the title of its latest composition is "Piinae,2")
<soundnfury> holy shit it produced actual harmonic progression, for about two bars of flute duet (then it screwed up of course)
<soundnfury> http://jttlov.no-ip.org:8081/cruft/p.wav (because making a snippet of MIDI file would be rather hard)
kmath has quit [Remote host closed the connection]
kmath has joined #kspacademia
egg|phone|egg has joined #kspacademia
egg|cell|egg has joined #kspacademia
egg|phone|egg has quit [Read error: Connection reset by peer]
egg|cell|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 [Read error: Connection reset by peer]
Sarbian has joined #kspacademia
<egg|zzz|egg> !wpn UmbralRaptor
* Qboid gives UmbralRaptor a caffeinated scalar
<egg|zzz|egg> !wpn Sarbian
* Qboid gives Sarbian a histomorphism
* UmbralRaptor ingests the scalar.
<UmbralRaptor> egg: the valid identifier is tofu on my Nexus 5X.
<Sarbian> I had better ways of staring my days than my server crashing...
Sarbian has quit [Quit: ZNC - http://znc.in]
Sarbian has joined #kspacademia
<egg|zzz|egg> !wpn Fiora
* Qboid gives Fiora a Sumerian variety
icefire has quit [Read error: Connection reset by peer]
icefire has joined #kspacademia
<soundnfury> !wpn egg|zzz|egg
* Qboid gives egg|zzz|egg a double theory of mind
<egg|zzz|egg> bofh: is_pre_cesàro is now an identifier in Principia
Sarbian has quit [Quit: ZNC - http://znc.in]
Sarbian has joined #kspacademia
Technicalfool_ is now known as TechnicallySleeping
Sarbian has quit [Ping timeout: 204 seconds]
<egg|zzz|egg> !wpn -add:wpn dish
<Qboid> egg|zzz|egg: Weapon added!
<egg|zzz|egg> !wpn bofh
* Qboid gives bofh a solenoidal edge
<UmbralRaptor> !wpn egg|zzz|egg
* Qboid gives egg|zzz|egg a scandium IDE
<UmbralRaptor> Why are you zzzing at 17:07?
<egg|zzz|egg> good question
egg|zzz|egg is now known as egg
Sarbian has joined #kspacademia
<egg> oscillating Sarbian
Sarbian has quit [Read error: Connection reset by peer]
Sarbian has joined #kspacademia
icefire has quit [Ping timeout: 183 seconds]
<egg> bofh: in the same spirit, 1 - ℓ / r_ap seems distinctly awful
<egg> (which raises the question, is (ℓ - r_ap) / r_ap ever worse?)
* soundnfury gives egg a shampoo and ill-conditioner
<bofh> r_ap?
<bofh> soundnfury: LOL
icefire has joined #kspacademia
<egg> bofh: radius at apogeee
<egg> screaming at apogee :-p
<egg> bofh: was looking at all the minus signs in kepler_orbit_body.hpp, it seems I systematically did the stupidest thing
<bofh> gg
<egg> :-p
icefire has quit [Read error: Connection reset by peer]
icefire has joined #kspacademia
regex has joined #kspacademia
regex has quit [Remote host closed the connection]
Moistmelon has joined #kspacademia
NCommander has quit [Quit: Coyote finally caught me]
<kmath> <dril> my favorite feature of this site is absolutely no consequences for my opinions sucking ffucking ass and me being 100% wrong about everything
* UmbralRaptor is bitter about how many accounts I find annoying enough to block end up becoming huge celebrities. Or president.
* SnoopJeDi prefers to stick to just "is bitter" anymore
<bofh> SnoopJeDi: same
<SnoopJeDi> speaking of bitter, whoo-wee this apfelwein is strong. I think I may end up back-sweetening this batch
<egg> !wpn bofh, SnoopJeDi, and UmbralRaptor
* Qboid gives bofh, SnoopJeDi, and UmbralRaptor a Zener pen holder
egg|cell|egg has quit [Ping timeout: 183 seconds]
<UmbralRaptor> SnoopJeDi, bofh: what does that make the channel pH?
<kmath> <MajorMcDoom> Wrote a genetic algorithm to determine how phallic a 3D object is. I call it... the Dicktector. #unity3d #gamedev https://t.co/ACU20OTHRm
<egg> a condensed version of https://www.youtube.com/watch?v=ECQyFzzBHlo essentially
<kmath> YouTube - "How to write mathematics badly" by Jean Pierre Serre (noise removed)
<UmbralRaptor> Personal correspondence citations best citations.
<egg> eggsactly
ferram4 has joined #kspacademia
<egg> !wpn bofh
* Qboid gives bofh a bromine mission
egg|phone|egg has joined #kspacademia
<bofh> !wpn egg
* Qboid gives egg a Penrose summation/theory of mind hybrid
<egg> bofh: have you asked atlas about x^2-y^2 and 1-x/y?
<egg> also, https://twitter.com/chordbug/status/898697398561656832 I need cuneiform identifiers
<kmath> <chordbug> all of the cuneiform block is completely dreamlike https://t.co/kbKSmeQqF7
<egg> ??
<bofh> egg: nope not yet, I'll do that now
<egg> bofh: cc me on the tweets (or do it in replies to mine) so I get notified of the replies
<bofh> kk
<egg> (I'm pretty sure cc on a tweet is not the right term, but I'm bad at the diapsid website)
<bofh> like I just do cc: myself so
<egg> (and tbh I find it as stressful to tweet as to write a mail, so they're in the same class :-p https://xkcd.com/1873/)
* UmbralRaptor chirps at egg.
<egg> theropod!
<kmath> <ThePatanoiac> "You should be afraid," she pointed to the eclipse. "For your sun has seen something so fearsome that it must hide behind a mask of stone."
<egg> UmbralRaptor: bofh: new version, that one is correctly at the time of ecliptic conjunction (the clock at the top left ticks TT, not UT1)
<egg> (and yes, the date format is german/russian/whatever rather than ISO, but meh)
* UmbralRaptor feels like not using ISO time should invoke the wrath of something.
<bofh> TT vs UT1 is a few seconds, w/w
<bofh> w/e*
<egg> UmbralRaptor: hmm
<egg> UmbralRaptor: bofh: now with 8601 (and also a zoomed-in screenshot, maybe there's a visible discrepancy from the real thing there?) http://imgur.com/a/AR5lG
<egg> bofh: there's about 1 min 20 s I think
<UmbralRaptor> odd
<egg> UmbralRaptor: ?
<egg> UmbralRaptor: probably no visible difference with such a fuzzy shadow from that far tbh
<egg> UmbralRaptor: I think there's going to be a difference if you actually try to look at it from the ground, but I can't really be arsed to fly an aircraft to the right coordinates in RSS right now
<UmbralRaptor> Why it would be 80 seconds off.
<egg> UmbralRaptor: no, I mean there are 80ish s between TT and UT1
<egg> I have no idea how accurate this egglipse is
<egg> but it's after 65 years of integration, so I would expect some measureable discrepancy? maybe?
<bofh> Like it looks pretty spot-on?
<egg> bofh: yeah, but at this resolution you can't see even a 1 min error, can you?
<bofh> Okay, true.
<egg> !choose make a plane in RSS|numerics|reunification of the ferram4 and egg sectors|sleep
<Qboid> egg: Your options are: make a plane in RSS, numerics, reunification of the ferram4 and egg sectors, sleep. My choice: numerics
<bofh> reminds me I should finally post that question
<egg> !wpn bofh
* Qboid gives bofh an Agile hyperboloid
<kmath> YouTube - Bots and cats and PIDs and Rust and @scanlime-in-progress
<bofh> rofl "you couldn't be more stoked if you integrated on the boundary"
<egg> groan
<egg> whitequark: Ꙩ_ꙩ https://twitter.com/whitequark/status/899038408114409473 what happened?
<kmath> <whitequark> be roommates with me! pros: applied chemistry cons: be woken up with a scream "GET YER GAS MASK ON"
<egg> also do the cats rehearse too
<egg> whitequark: ah, I thought it was a new instance
<egg> whitequark: I am curious about the safety measures for the cats though
<whitequark> the cats were outside
<egg> ah, that makes sense
<whitequark> well, one on the streets, she likes that, another on the window
<whitequark> functionally the same thing
<egg> ah, you let her on the streets? I thought you tried to keep her in
<whitequark> eh she's quite well adapted there and is really unhappy being in all the time
<whitequark> esp. as the kitten has a serious case of a lack of sense of boundaries
<egg> ah, right
<whitequark> the goddamn animal wouldn't stop grabbing my food even if I hiss, slap, move him...
<whitequark> just... no reaction
<egg> Ꙩ_ꙩ
<egg> also I guess keeping котя in might be a bit of a challenge :-p
<whitequark> that is indeed true
<whitequark> (... or out)
<egg> :D
<kmath> <DataSciFact> The non-Archimedean property of data: An unlimited amount of irrelevant data does not add up to relevant data.