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|z|egg has quit [Ping timeout: 198 seconds]
e_14159_ has joined #kspacademia
e_14159 has quit [Ping timeout: 202 seconds]
UmbralRaptor has quit [Quit: Bye]
UmbralRaptop has joined #kspacademia
armed_troop has quit [Ping timeout: 182 seconds]
<UmbralRaptop> Eoraptor is a good name for a raptop with a Pentium dual core processor, right?
<bofh> Seems reasonable.
armed_troop has joined #kspacademia
<UmbralRaptop> This is about minimizing ΔV expenditure, right? https://twitter.com/sigfig/status/1006269865710247943
<kmath> <sigfig> i absolutely believe that firing the missiles upways is better than sideways
e_14159_ has quit [Ping timeout: 202 seconds]
e_14159 has joined #kspacademia
<kmath> <prof_nch> Not sure if other academics experience this but I often wonder if my procrastination is simply a common byproduct o… https://t.co/svNeKkcYWt
<kmath> <lysandraws> This is astonishing. Certain cicadas use an Ophiocordyceps species as a way to turn their mostly-sugar diet into ev… https://t.co/6fqymDAXBr
<UmbralRaptop> (This feels relevant to whitequark for some reason)
<kmath> <__agwa> @johnregehr @fugueish When you're done, you can learn how to start an electrical fire in "32 Electronic Power Suppl… https://t.co/n1VVCfPAn7
egg|z|egg has joined #kspacademia
<egg|zzz|egg> whitequark: thanks for joining in to the screaming into the void about Rust RFC 2457 <3
<egg|zzz|egg> !wpn whitequark
* Qboid gives whitequark a symplectic Mosaic Censorship
<egg|zzz|egg> (meanwhile in current stable Rust: https://twitter.com/eggleroy/status/1006150385067855872)
<kmath> <eggleroy> @ManishEarth Clippy-free, warning-free, rustfmt-invariant, visually indistinguishable from a program that prints 0.… https://t.co/0zZL6mZtaH
egg|z|egg has quit [Ping timeout: 202 seconds]
egg|z|egg has joined #kspacademia
<egg|zzz|egg> !wpn whitequark
* Qboid gives whitequark a directed commutator
<egg|zzz|egg> !wpn ISO/IEC JTC 1/SC 2
* Qboid gives ISO/IEC JTC 1/SC 2 a RFC 2324-compliant Mew
<egg|zzz|egg> !wpn the Unicode Technical Committee
* Qboid gives the Unicode Technical Committee a GPL'd nephroid/mount hybrid
* iximeow meows at ISO/IEC JTC 1/SC 2
* iximeow parses C
* iximeow constructs recursive structs
<iximeow> !wpn C
* Qboid gives C a resistive cyclotron
<egg|zzz|egg> !u fоо
<Qboid> U+0066 LATIN SMALL LETTER F (f)
<Qboid> U+043E CYRILLIC SMALL LETTER O (о)
<Qboid> U+043E CYRILLIC SMALL LETTER O (о)
egg|cell|egg has joined #kspacademia
egg|phone|egg has quit [Ping timeout: 194 seconds]
egg|phone|egg has joined #kspacademia
egg|cell|egg has quit [Read error: -0x1: UNKNOWN ERROR CODE (0001)]
egg|phone|egg has quit [Ping timeout: 182 seconds]
egg|phone|egg has joined #kspacademia
egg|z|egg has quit [Ping timeout: 198 seconds]
egg|phone|egg has quit [Ping timeout: 182 seconds]
egg|phone|egg has joined #kspacademia
tawny- has quit [Ping timeout: 182 seconds]
egg|cell|egg has joined #kspacademia
egg|mobile|egg has joined #kspacademia
egg|phone|egg has quit [Read error: Connection reset by peer]
egg|cell|egg has quit [Ping timeout: 182 seconds]
egg|work|egg has joined #kspacademia
egg|phone|egg has joined #kspacademia
egg|mobile|egg has quit [Ping timeout: 202 seconds]
egg|cell|egg has joined #kspacademia
egg|phone|egg has quit [Read error: Connection reset by peer]
egg|phone|egg has joined #kspacademia
egg|mobile|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 194 seconds]
egg|cell|egg has joined #kspacademia
egg|phone|egg has quit [Read error: Connection reset by peer]
egg|mobile|egg has quit [Read error: Connection reset by peer]
<egg|work|egg> !wpn -add:adj smol
<Qboid> egg|work|egg: Adjective already added!
<egg|work|egg> !wpn -add:wpn snake
<Qboid> egg|work|egg: Weapon already added!
<egg|work|egg> !wpn whitequark
* Qboid gives whitequark a gluonic waffle
<egg|work|egg> whitequark-gluon waffle
<egg|work|egg> whitequark: I would like to report a bug in the ocaml-m17n README: in the section "technical details", "UAX31 Level 1" should link to UAX31-C2 at the appropriate version of UAX31, rather than the latest which no longer has levels; in other words it should link to https://www.unicode.org/reports/tr31/tr31-19.html#C2
* egg|work|egg unsure which effective timezone whitequark is in lately
<egg|work|egg> whitequark: also "Mixed-Script Any-Case" has the same issue, and should link to https://www.unicode.org/reports/tr39/tr39-9.html#ma
<egg|work|egg> bofh: is there a recognized name for Title_Snake_Case https://github.com/rust-lang/rfcs/pull/2457#issuecomment-396573242
<Qboid> [#2457] title: Allow non-ASCII identifiers | Allow non-ASCII letters (such as accented characters, Cyrillic, Greek, Kanji, etc.) in Rust identifiers.... | https://github.com/rust-lang/rfcs/issues/2457
<bofh> egg|work|egg: not offhand?
<egg|work|egg> !wpn -add:wpn synchrotron
<Qboid> egg|work|egg: Weapon added!
<egg|work|egg> how was that not there
<bofh> I will not impulse-buy beam-steering magnets I will not impulse-buy beam-steering magnets I will not impulse-buy beam-steering magnets
<bofh> also yeah how *was* that not in there
<kmath> <bofh453> OH: "It's simple, 2^7 ≅ (3/2)^12. And that ≅ gives you nightmares. With wolves."
<kmath> <ManishEarth> I kinda feel like in teaching developers how complicated Unicode gets we've imbibed the wrong message. ⏎ ⏎ Instead of… https://t.co/yuAdE5bU01
<egg|work|egg> help my job is being mad online https://twitter.com/tef_ebooks/status/1006452065026166784
<kmath> <tef_ebooks> @ManishEarth manish it is too early to be this mad online
<bofh> LOL
<bofh> I feel like that's the job of most of us.
<kmath> <ManishEarth> Okay @eggleroy just said smol_snake_case and I'm sorry this is too much for me to handle
<bofh> accurate
APlayer has joined #kspacademia
<kmath> <sbagley> This is the face of a cat who just ate a moth… https://t.co/7kkQUs4vNH
<egg|work|egg> moth!
<egg|work|egg> whitequark: in addition to the two link-related bug reports above, I am confused by "Characters of General Categories Ll, Lm, Lo, Lt and U+005F LOW LINE are recognized as lowercase letters at the start of an identifier"; Lt is Titlecase, so shouldn't it be considered as starting the identifier with upper case?
<egg|work|egg> whitequark: in particular for the Greek ones it's uppercase with a combining subscript iota http://graphemica.com/categories/titlecase-letter
<bofh> The Greek Titlecase ones are imho the weird ones.
<egg|work|egg> bofh: well Lt is full of weird, but it's mostly greek
<bofh> It's Greek and a few Serbocroatian-only cyrillic letters.
<bofh> s/cyrillic/latin/
<Qboid> bofh meant to say: It's Greek and a few Serbocroatian-only latin letters.
awang has quit [Ping timeout: 198 seconds]
awang has joined #kspacademia
<SnoopJeDi> Ellied, this is probably something you've already come across, but I just had occasion to yank http://www.righto.com/2012/10/a-dozen-usb-chargers-in-lab-apple-is.html out of my browsing history for someone, might be interesting to you too
<bofh> SnoopJeDi: my fav bit is seeing the plot for the counterfeit apple charger http://static.righto.com/images/Chargers/lofreq007-s288.png
<bofh> and going "wow that's fucking awful"
<bofh> AND THEN READING "In order to fit the waveform in the display, I had to double the scale on the left and increase it by a factor of 5 on the right, so the yellow curve is actually much worse than it appears."
<kmath> <myrrlyn> @ManishEarth @eggleroy I want to follow him but 70 is the most cursed number so I can't
<egg|work|egg> my follower count is currently Nice
<UmbralRaptop> Yay?
<bofh> Nice.
egg|phone|egg has joined #kspacademia
egg|cell|egg has quit [Read error: Connection reset by peer]
egg|cell|egg has joined #kspacademia
egg|phone|egg has quit [Read error: Connection reset by peer]
egg|phone|egg has joined #kspacademia
egg|cell|egg has quit [Ping timeout: 202 seconds]
awang has quit [Ping timeout: 182 seconds]
awang has joined #kspacademia
APlayer has quit [Ping timeout: 182 seconds]
<awang> "Indeterminism in Physics, Classical Chaos and Bohmian Mechanics. Are Real Numbers Really Real?"
<SnoopJeDi> "Most physicists straightforwardly supplement classical theory with real numbers to which they attribute physical existence"
<SnoopJeDi> uh
<SnoopJeDi> what is classical theory *without* a continuum...?
<SnoopJeDi> oh no
<awang> ?
<SnoopJeDi> orange website
<SnoopJeDi> I try to read it infrequently
<awang> Ah
<awang> Any better suggestions?
<SnoopJeDi> in general, or for this paper in particular?
<SnoopJeDi> I mean, HN is an interesting aggregator and it isn't going away, so by all means, HN away if you can stand it. I prefer to consume it from a degree or two removed, without the comments :P
<awang> Both?
<awang> I'm always looking for more insightful sites
<SnoopJeDi> most of my aggregation comes from Twitter, I just pay more attention to curating it nowadays (namely *un*following people if their stuff isn't gelling for me)
<bofh> oh gods orange website, ℵ₁ and quantum theory.
<awang> Ah
<bofh> I CAN SEE NO WAY THIS WON'T END VERY COMICALLY/STUPIDLY.
* UmbralRaptop hugs a random friend who runs a ttrss server.
<awang> No more orange website for kspacademia then
<awang> And apparently I need a Twitter
<SnoopJeDi> eh
<bofh> Okay these comments are better than the starting paper I'm actually kind of impressed.
egg|phone|egg has quit [Read error: Connection reset by peer]
<SnoopJeDi> don't let us sour you on it if you like it awang
egg|phone|egg has joined #kspacademia
<SnoopJeDi> and yea those comments are better than I'd expected, although still quite a lot of "I have no claim to this subject matter, BUT..."
<awang> It's more that I'll avoid posting the comments section here, I guess
<SnoopJeDi> HN seems to tend towards extreme opinions, there doesn't seem to be a lot of room for vague
<SnoopJeDi> which, tbf, is a mental pathology of STEM moreso than a problem with HN itself.
<awang> It's nice for the occasional compiler thing that I'll file away and never read again
<SnoopJeDi> It's basically Reddit for Redditors who are more Reddit than Reddit.
<bofh> Like there's cluelessness but at least it's being corrected pretty quickly and, like, the comments seem to be at most one cuil away from reality.
<bofh> (for reference, the dakami "electricity is just really high-frquency sound" is like 4 cuils away from reality)
<SnoopJeDi> TIL Cuil
<SnoopJeDi> !wpn -add:wpn cuil
<Qboid> SnoopJeDi: Weapon added!
<awang> What's a dakami?
<awang> Google isn't helping
egg|z|egg has joined #kspacademia
<UmbralRaptop> Someone on the diapsid website.
<SnoopJeDi> LOL
<bofh> Dan Kaminsky
<SnoopJeDi> I like Diapsid Website
<awang> Diapsid website as in something about dinosaurs?
* awang is slightly lost
<SnoopJeDi> twitter
<SnoopJeDi> birds are dinos
<bofh> https://twitter.com/dakami/status/1006043709576658944 was commenting on this thread.
<kmath> <✔dakami> The speed of sound in copper is 4600 m/s. ⏎ ⏎ The speed of electricity in copper is 285,103 m/s. ⏎ ⏎ So obviously electri… https://t.co/zm0tbJidfa
<UmbralRaptop> Also to contrast with the synapsid website (mastodon)
<egg|zzz|egg> <bofh> Okay these comments are better than the starting paper I'm actually kind of impressed. <<< gods what does that say about the paper
<bofh> Actually after reading it more carefully I see *some* of the author's points.
<SnoopJeDi> huh, the uptime on this VPS is apparently also Nice.
<bofh> But like honestly his main point of almost all real numbers being in some sense not "physically relevant" because they hold an "infinite quantity of information"... I *think* he's misunderstood how von Neumann entropy works and also a simpler physical argument here is that the rationals are dense and you can take closures as needed (IMHO).
<bofh> I also see what he's doing, he's in effect trying to meaningfully discretize classical phase space (& getting a nondeterministic dynamical system as a result, *as I'd expect*).
<bofh> I vehemently disagree with him that it's "more natural to accept non-determinism with potentialities as a real mode of existence" for classical physics. And disagree with him that Bohmian Mechanics *quite* works the way he thinks it does, but I need to reread my Quantum Foundations text first before being certain.
<awang> SnoopJeDi: Ah, makes sense
<bofh> I was a bit unfair on the paper at first tho.
<awang> UmbralRaptop: Wait, mastodon?
<bofh> egg|zzz|egg: https://en.wikipedia.org/wiki/Nicolas_Gisin he's at U. Geneva, clearly we should pester him next time I visit Geneva :P
<egg|zzz|egg> hah
<mlbaker> *loud bang; Norman J. Wildberger appears in a puff of black smoke*
<bofh> "Norman J. Wildberger; people also search for: Apollonius of Perga, Georg Cantor, David Hilbert" lmao
APlayer has joined #kspacademia
<SnoopJeDi> yea it doesn't look entirely crazy, just mostly crazy?
UmbralRaptor has joined #kspacademia
UmbralRaptop has quit [Ping timeout: 202 seconds]
UmbralRaptor has quit [Ping timeout: 202 seconds]
UmbralRaptop has joined #kspacademia
UmbralRaptop has quit [Ping timeout: 202 seconds]
UmbralRaptop has joined #kspacademia
<egg|zzz|egg> !wpn bofh
* Qboid gives bofh a lugubrious wing
<egg|zzz|egg> !wpn whitequark
* Qboid gives whitequark a Александров LART
<kmath> <sjalexander> @gsbrotherton @mckellogs I'm thinking Klein Brownie but what's a couple of dimensions between friends
<UmbralRaptop> awang: mastodon.social
APlayer has quit [Ping timeout: 182 seconds]
APlayer has joined #kspacademia
<UmbralRaptop> bofh: help, I can't get the phrase "Utumno Mining and Manufacturing" out of my head.
<bofh> UmbralRaptop: thanks, that's going right next to Ungoliant Web Services :P
<e_14159> What about Godot Deliveries?
<bofh> ...in the slightly surreal situation where I had to clarify that I almost drank a glasses screw and not a small-signal N-channel MOSFET
BPlayer has joined #kspacademia
APlayer has quit [Ping timeout: 182 seconds]
tawny has joined #kspacademia
<SnoopJeDi> My advisor's take on MiniBooNE can be summarized as: "convince me there isn't a factor of 1.5 in the π0 channel, which would fully account for the excesses"
<bofh> UmbralRaptop: "Made with ♥ by Mírdain in Eregion. © 1200- Annatar."
<egg|zzz|egg> !wpn UmbralRaptop
* Qboid gives UmbralRaptop a SOX-compliant combinator
BPlayer is now known as APlayer
<awang> UmbralRaptop: I see
<awang> Also, anyone here use F# before?
<bofh> SnoopJeDi: I mean they're *right*, honestly.
<SnoopJeDi> yea it's a good take
<SnoopJeDi> particularly since the paper kinda bounces between "this confirms LSND" and "LSND + this paper = sterile neutrinos"
<SnoopJeDi> the room seemed largely in agreement that combining MiniBooNE/LSND and reactor experiments could be a good way to shore up the suspicious parts of the analyses though, since the statistics/systematics are so wildly different in each
<SnoopJeDi> (as far as how to *do* that...?)
<SilverFox> have a meme
UmbralRaptop has quit [Ping timeout: 202 seconds]
<SnoopJeDi> oh lord, I did not realize how much fun Markov chains are. Been goofing off with training some using my IRC logs as a corpus.
<SnoopJeDi> from a model trained on 100 randomly sampled days of me in one channel: "speaking of ASCII art, did you see the pun I mentioned how I'm using a zip disk in college soon but I am sufficiently hairy that I am reading #matplotlib on Twitter...this is my quote"
APlayer has quit [Ping timeout: 182 seconds]
awang has quit [Ping timeout: 198 seconds]
awang has joined #kspacademia
<bofh> egg|zzz|egg: so clearly I should start finding as many different vendors of Mozartkugeln as possible.
<egg|zzz|egg> hahaha
<bofh> to compare tastes and find the optimal one
<egg|zzz|egg> !u &
<Qboid> U+FF06 FULLWIDTH AMPERSAND (&)
<bofh> "I have written code under the constraint of "this instruction sequence needs to be close to a scaled multiple of pi when interpreted as float32"" -- https://twitter.com/rygorous/status/1006663401672593408
<kmath> <rygorous> @stephentyrone @science_dot @johnregehr I have written code under the constraint of "this instruction sequence need… https://t.co/obm3p9KEvp
<egg|zzz|egg> um
<egg|zzz|egg> wta
<egg|zzz|egg> wat
<egg|zzz|egg> bofh: is this a geological era https://twitter.com/bofh453/status/1006666398595207168
<kmath> <bofh453> @rygorous @stephentyrone @science_dot @johnregehr Demoscene?
UmbralRaptop has joined #kspacademia
<egg|zzz|egg> iximeow: sweng?
UmbralRaptor has joined #kspacademia
UmbralRaptop has quit [Quit: Bye]
<kmath> <steveklabnik> "Should Rust support non-ascii identifiers?” - the greatest thread in the history of RFCs, locked by a moderator af… https://t.co/c2i6VEXF3y
<iximeow> software engineer
<egg|zzz|egg> i was thinking about tweeting that earlier :-p
<kmath> <jeff_foust> Exploration: $5.3B ⏎ Science: $6.4B (incl. $1.9B for Earth sci and $2.2B for planetary sci) ⏎ Aeronautics: $725M ⏎ Educat… https://t.co/SGS6D5sVvI
<kmath> <jeff_foust> Also: ⏎ WFIRST gets $352M ⏎ Funding for the four NASA Earth science missions slated for cancellation in the request, pl… https://t.co/xHDqagNiLZ
e_14159_ has joined #kspacademia
e_14159 has quit [Ping timeout: 202 seconds]