00:03:45 -!- nisstyre has quit (Quit: WeeChat 0.4.3).
00:08:12 <HackEgo> [wiki] [[Language list]] M http://esolangs.org/w/index.php?diff=39311&oldid=39309 * Zerk * (+9) /* A */ added [[Ax]]
00:08:16 <HackEgo> [wiki] [[Nock]] M http://esolangs.org/w/index.php?diff=39312&oldid=39289 * Zerk * (+22) Added [[Ax]]
00:08:23 <HackEgo> [wiki] [[Ax]] N http://esolangs.org/w/index.php?oldid=39313 * Zerk * (+3792) Created page with "Ax is a [[Nock]] derivative by [https://github.com/mnemnion mnemnion] aimed for nondeterminism, a more asthetic operator order, and sane big O. =Specification= This text speci..."
00:08:52 -!- xpte has joined.
00:13:32 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: relcome: not found
00:13:49 <boily> @tell elliott AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAURGH!
00:14:01 -!- Guest46968 has changed nick to ellioyy.
00:14:03 -!- ellioyy has changed nick to elliott.
00:14:07 -!- elliott has quit (Quit: Reconnecting).
00:14:17 -!- elliott_ has joined.
00:14:22 -!- elliott_ has changed nick to elliott.
00:14:26 <HackEgo> [wiki] [[Smartboxes]] M http://esolangs.org/w/index.php?diff=39314&oldid=39297 * Zerk * (+24) Increased wiki dual-linkedness, i.e. blatantly promoting my own nearly identical version.
00:14:54 <boily> elliott: there you are, you infamous scallywag!
00:18:32 <HackEgo> [wiki] [[Boxy]] M http://esolangs.org/w/index.php?diff=39315&oldid=39310 * Zerk * (-14) /* Nock Interpeter */ recursion fix
00:24:40 <boily> hi. how are you doing by this fine evening?
00:25:01 -!- metasepia has joined.
00:47:06 <HackEgo> [wiki] [[Boxy]] http://esolangs.org/w/index.php?diff=39316&oldid=39315 * Zerk * (+101) Added string representation.
00:51:55 -!- contrapumpkin has changed nick to copumpkin.
01:01:06 -!- boily has quit (Quit: CHICKEN CHAPTER 14).
01:01:09 -!- metasepia has quit (Remote host closed the connection).
01:04:38 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…).
01:16:58 -!- oerjan has quit (Quit: leaving).
01:29:27 -!- adu has quit (Quit: adu).
02:05:15 <HackEgo> lumcoin iiichcoin ostcndoncoin constinycoin graniccoin eichcoin befucoin ever2coin excelumbftancoin quyrecoin iptifcoin filecoin snorisccoin singecoin quycoin systepcoin broacoin scribildcoin uddencoin c-loncoin
02:06:21 <HackEgo> cat: $(which coins): No such file or directory
02:06:43 <HackEgo> words ${1---eng-1M --esolangs 20} | sed -re 's/( |$)/coin\1/g'
02:14:30 -!- tromp has joined.
02:15:47 <Sgeo> I wish Kickstarter could let you donate to stretch goals and refund if stretch goal not met
02:15:59 <Sgeo> Well, that may be a bad idea, but that's what I want to do with this one Kickstarter
02:16:21 <Sgeo> https://www.kickstarter.com/projects/1554093685/erfworld-print-book-2-and-draw-book-3
02:27:50 -!- nisstyre has joined.
03:08:05 * kmc gets very confused by a file that turns out to have a space at the start of its name
03:16:49 -!- Sorella has quit (Quit: It is tiem!).
03:34:08 <Jafet> Hmm, ls and zsh seem to be unsurprised by strange filenames
03:35:22 <Jafet> touch $'a\nb\tc'; cat a<tab>$'\n'b$'\t'c
03:38:38 -!- zzo38 has joined.
03:39:03 <zzo38> Write message about Spanish Oteric channel in Spanish, so that Spanish people can understand.
03:39:19 <zzo38> (Otherwise, only English people will try to understand)
03:50:40 -!- not^v has quit (Read error: Connection reset by peer).
03:51:08 -!- not^v has joined.
03:59:29 <Sgeo> http://www.reddit.com/r/wesnoth/comments/1cnir2/growing_wesnoth_with_bitcoin_would_this_idea_be/c9ii3c3
03:59:41 <Sgeo> Bitcoin people are starting to scare me
04:00:32 <Sgeo> On the other hand, I now have a lot of respect for the Wesnoth devs
04:01:08 <kmc> they're only just now starting to scare you?
04:04:34 -!- adu has joined.
04:33:41 -!- tromp_ has quit (Ping timeout: 240 seconds).
04:33:54 -!- tromp_ has joined.
04:35:37 -!- copumpkin has joined.
04:35:39 -!- copumpkin has quit (Client Quit).
04:36:04 -!- copumpkin has joined.
04:47:49 -!- Vorpal has quit (Quit: ZNC - http://znc.sourceforge.net).
05:30:33 <shachaf> elliott: I've changed my mind on Dinosaur Comics, by the way.
05:36:27 -!- not^v has quit (Quit: http://i.imgur.com/DrFFzea.png).
05:43:14 -!- MindlessDrone has joined.
05:56:43 <HackEgo> [wiki] [[Boxy]] http://esolangs.org/w/index.php?diff=39317&oldid=39316 * Zerk * (+259) Fixed decrement-is-expensive logic /* Sugar */ conjunctions
06:07:46 -!- nisstyre has quit (Quit: WeeChat 0.4.3).
06:09:29 <HackEgo> [wiki] [[Brainfuck implementations]] http://esolangs.org/w/index.php?diff=39318&oldid=39216 * 88.217.159.238 * (+99) Add shellfuck - a Brainfuck interpreter written in shell script.
06:20:03 -!- AnotherTest has joined.
06:22:35 -!- Slereah_ has joined.
06:34:20 -!- password2 has joined.
06:48:58 -!- MoALTz_ has quit (Quit: bbl).
07:02:23 -!- Slereah_ has quit (Ping timeout: 245 seconds).
07:03:17 -!- Slereah_ has joined.
07:12:15 -!- Slereah_ has quit (Ping timeout: 250 seconds).
07:15:04 -!- augur has quit (Ping timeout: 258 seconds).
07:21:33 <HackEgo> [wiki] [[Boxy]] M http://esolangs.org/w/index.php?diff=39319&oldid=39317 * Zerk * (+138) Added section /* Unification */
07:30:50 -!- augur has joined.
07:35:41 -!- augur has quit (Ping timeout: 240 seconds).
07:45:28 -!- augur has joined.
07:50:43 -!- augur has quit (Ping timeout: 258 seconds).
07:52:16 -!- augur has joined.
07:53:49 -!- MindlessDrone has quit (Ping timeout: 252 seconds).
07:57:56 <b_jonas> Jafet: ls in gnu coreutils has at least three quoting modes: don't quote anything, replace with question marks, quote with octal backslash escapes
07:58:02 -!- augur has quit (Ping timeout: 276 seconds).
07:59:41 -!- augur has joined.
08:00:50 -!- Tritonio has joined.
08:03:19 -!- adu has quit (Quit: adu).
08:07:50 -!- MindlessDrone has joined.
08:29:20 <HackEgo> [wiki] [[Boxy]] http://esolangs.org/w/index.php?diff=39320&oldid=39319 * Zerk * (+336) Defined what assignment actually is. Which upon recollection was more useful that what I'd been writing in, resulting in considerable refactoring.
08:33:28 -!- conehead has quit (Quit: Computer has gone to sleep).
08:39:03 -!- augur has quit (Remote host closed the connection).
08:41:22 -!- Patashu has joined.
08:42:07 -!- Patashu has quit (Client Quit).
08:48:34 -!- augur has joined.
08:57:41 -!- password2 has quit (Ping timeout: 240 seconds).
09:17:52 -!- Frooxius has quit (Read error: Connection reset by peer).
09:45:34 -!- vravn has quit (Ping timeout: 240 seconds).
09:46:55 -!- nortti has quit (Ping timeout: 240 seconds).
09:47:11 -!- nortti has joined.
09:48:32 -!- vravn has joined.
10:19:01 -!- boily has joined.
10:45:02 -!- nucular has joined.
10:45:02 -!- nucular has quit (Changing host).
10:45:02 -!- nucular has joined.
10:45:40 -!- oerjan has joined.
11:04:46 -!- yorick has joined.
11:06:30 -!- boily has quit (Quit: Poulet!).
11:23:59 <fizzie> "New CSC service available - Pouta cloud / Uusi CSC Pouta-pilvipalvelu käytettävissä" so punny
11:24:22 <fizzie> ("Pouta" is Finnish for non-rainy weather, and "poutapilvi" is a non-rainy cloud. (There might be a more exact definition.))
11:31:22 -!- xpte has quit (Quit: Connection closed for inactivity).
12:16:02 -!- Sgeo has quit (Read error: Connection reset by peer).
12:38:36 <fizzie> Fun fact: the DOM interface to HTML5 audio/video stuff has a canPlayType(mimeType) function; it returns the empty string, the string "maybe" or the string "probably". I guess it's good not to be overly confident.
12:39:45 <fizzie> It's supposed to return "probably" if "the user agent is confident that the type represents a media resource that it can render", the empty string if it's "a type that the user agent knows it cannot render", and "maybe" otherwise.
12:42:44 <fizzie> (I haven't yet mananged to coax anything more than a "maybe" out of Chrome.)
12:49:16 <Taneb> poutapilvi is a good word
12:50:17 <b_jonas> fizzie: well sure, most of these media containers can contain any codec in their insides
12:51:46 <fizzie> Yes, and I haven't gotten even a "maybe" out of the more niche one-format-only MIME types.
12:53:06 <fizzie> Though I'd assume something like WebM strictly speaking has a fixed list of allowed codecs? (Maybe it's still "maybe" for future changes, though.)
12:53:31 <fizzie> Ah -- "Generally, a user agent should never return "probably" for a type that allows the codecs parameter if that parameter is not present."
12:54:11 <fizzie> Right, 'audio/webm;codecs="vorbis"' -> "probably".
12:54:16 <fizzie> Well, that all makes sense.
12:55:08 <fizzie> Still, a protocol of lesser moral integrity would have spec'd "yes" as the response for "confident -- it can render".
12:58:57 <b_jonas> fizzie: there are so many broken video files around us that even if you know the codec you can't be sure about anything
12:59:18 <b_jonas> also buggy decoder software
12:59:49 <b_jonas> haven't you ever see broken jpegs, pngs and avis?
13:00:13 <int-e> the specification is ridiculous though
13:01:00 <int-e> (What were they thinking? 'No, we can't use "no" for "no", because then if() would think it's true.'?!)
13:02:43 <fizzie> b_jonas: Arguing from that point of view, you couldn't answer "probably" either, since you can never be sure.
13:03:13 <int-e> the best thing is that if you are sure, you have to answer "" or "probably".
13:04:37 <fizzie> Haven't you heard the campaign slogan? "'' means no!"
13:06:19 -!- nooodl has joined.
13:06:25 <b_jonas> int-e: should return "do'neh'lini" and "a'la'ih" for no and yes
13:07:23 <b_jonas> int-e: and then people will write checks like ("do’neh’lini" == value) in their code and wonder why it fails
13:09:49 <int-e> different quotes. fun.
13:43:34 -!- hern has joined.
13:45:56 -!- hern has quit (Client Quit).
14:14:55 -!- Frooxius has joined.
14:52:35 -!- oerjan has quit (Quit: leaving).
15:12:19 -!- conehead has joined.
15:16:25 -!- Sellyme has quit (Excess Flood).
15:18:24 -!- Sellyme has joined.
15:33:37 -!- Tritonio has quit (Ping timeout: 250 seconds).
16:04:17 -!- zzo38 has quit (Remote host closed the connection).
16:05:11 -!- ^v has joined.
16:08:04 <HackEgo> [wiki] [[Special:Log/newusers]] create * Ctrl-shift-esc * New user account
16:26:15 <HackEgo> [wiki] [[Keya]] N http://esolangs.org/w/index.php?oldid=39321 * Ctrl-shift-esc * (+1528) Keya is a Brainfuck influenced language
16:28:10 -!- nisstyre has joined.
16:28:12 <HackEgo> [wiki] [[Language list]] http://esolangs.org/w/index.php?diff=39322&oldid=39311 * Ctrl-shift-esc * (+11)
16:34:53 -!- zzo38 has joined.
16:46:12 -!- zzo38 has quit (Remote host closed the connection).
16:47:31 -!- xpte has joined.
17:03:28 -!- Phantom_Hoover has joined.
17:19:53 -!- augur has quit (Ping timeout: 245 seconds).
17:30:14 -!- nisstyre has quit (Quit: WeeChat 0.4.3).
17:30:24 -!- password2 has joined.
17:31:34 -!- password2 has quit (Max SendQ exceeded).
17:32:33 -!- password2 has joined.
17:33:13 -!- password2 has quit (Max SendQ exceeded).
17:46:03 -!- Slereah_ has joined.
17:51:35 -!- augur has joined.
17:54:28 -!- MindlessDrone has quit (Ping timeout: 245 seconds).
17:55:06 -!- augur has quit (Read error: Connection reset by peer).
18:11:10 -!- MindlessDrone has joined.
18:11:13 -!- Sprocklem has joined.
18:25:48 -!- Sprocklem has quit (Quit: leaving).
18:33:16 <myname> "brainfuck influenced" sounds euphemistic
18:36:18 <fizzie> I was wondering if it's the 2D-grid-in-place-of-tape brainfuck that was discussed here on channel a while ago, or some other 2D-grid-in-place-of-tape brainfuck.
18:41:57 -!- MoALTz has joined.
18:43:21 -!- MindlessDrone has quit (Quit: MindlessDrone).
18:44:24 <Slereah_> Is there an infinite dimensional brainfuck
18:48:06 <fizzie> There's an arbitrary-dimensional one, at least.
18:50:04 <fizzie> Dimensifuck claims to be infinite-dimensional.
18:50:45 <fizzie> Its wiki article also links to two sprunge.us pastes that have since passed away.
18:50:48 <Slereah_> I was gonna ask about a 0-dimensional one, but that's just a push down automaton
18:51:57 <Slereah_> Like maybe you add Fourier modes or something
18:52:00 <fizzie> That sounds vaguely familiar, but I may be just thinking of the debacle that was continuous chess.
18:52:47 <int-e> fizzie: aww. I was hoping it'd change <> to go forward/backward in the dimension specified by the current cell, which does not obviously preserve Turing-completeness.
18:53:14 <Slereah_> I wonder if a continuous brainfuck would be equivalent to an Oracle machine
18:53:24 <fizzie> Aww, I was hoping Wayback machine archived sprunge.us pastes.
18:54:31 <Slereah_> Continuous Turing machines are equivalent to oracles
18:54:33 -!- password2 has joined.
18:56:46 -!- password2 has quit (Max SendQ exceeded).
19:17:13 -!- sebbu has quit (Ping timeout: 252 seconds).
19:17:33 -!- password2 has joined.
19:29:17 -!- password2 has quit (Ping timeout: 240 seconds).
19:31:16 <fizzie> olsner: Oh, 9983361024 bytes (10 GB) copied, 64370.4 s, 155 kB/s
19:32:39 <int-e> and it's speeding up, too.
19:32:48 <int-e> (it's now faster than my internet connection ;-) )
19:34:42 <fizzie> That was actually the last part, the other six gigs finished earlier.
19:35:13 <olsner> is myndzi a bot or a human btw?
19:35:56 <fizzie> A human with a script has been my understanding.
19:36:32 <int-e> so a bot that lost its human?
19:36:59 <olsner> or a human that lost its human?
19:37:40 <int-e> <prefix?>celebrate
19:38:16 <fungot> \o| c.c \o/ ಠ_ಠ \m/ \m/ \o_ c.c _o/ \m/ \m/ ಠ_ಠ \o/ c.c |o/
19:38:16 <myndzi> | c.c.c | ¯|¯⌠ `\o/´ | c.c.c | `\o/´ ¯|¯⌠ | c.c.c |
19:38:16 <myndzi> >\ c.c |\ /| | | |\ c.c /| | /| | |\ c.c /'\
19:51:19 <olsner> hmm, Steins;Gate is an anime involving SERN [sic] running some time travel conspiracy, and something called a "Reading Steiner" that lets you remember other timelines
19:51:22 -!- sebbu has joined.
19:51:57 <olsner> oh, and it's currently the all-time best anime (according to animenewsnetwork)
19:52:01 -!- sebbu has quit (Changing host).
19:52:01 -!- sebbu has joined.
19:52:13 <fizzie> The "Sonseil Européen pour la Recherche Nucléaire"?
19:53:17 <olsner> or perhaps the sonseiru oiropeen pure ra etc
19:53:42 <Bike> currently the all time <-- help
19:54:28 <fizzie> It's not like one thing would always be the best all-time something.
19:55:11 <olsner> currently the all-time-up-until-now, I guess
19:56:39 <olsner> I would've been fine with this if it was obviously a parody though (and I haven't watched it or anything)
19:57:45 <Bike> cern stands for "Organisation Européenne pour la Recherche Nucléaire " so i think we can cut the animes some slack
20:00:38 <Bike> hm cern hasn't amde antiwater yet. disappointing
20:02:06 <olsner> Bike: the semicolon in the name though
20:02:39 <Bike> the same people made "ChäoS;HEAd"
20:04:44 <olsner> the spinoff Chäos;Head Love Chu Chu! would be a great name for an esolang though
20:08:32 <fizzie> And I thought the .hack folk were bad when it came to punctuation.
20:10:25 <fizzie> (I've only watched .hack//SIGN out of it.)
20:23:12 -!- augur has joined.
20:32:22 -!- ^v has quit (Read error: Connection reset by peer).
20:32:45 -!- ^v has joined.
20:39:14 <kmc> TIL that the train providing high speed service between Helsinki and St Petersburg is built to 1522 mm gauge, which is the average of finnish (1524 mm) and russian (1520 mm) gauge
20:39:23 <kmc> so that it runs equally well (equally poorly?) on both networks
20:40:04 <Bike> that's a pretty small gauge difference
20:40:42 <kmc> yeah, low speed trains of either gauge work fine on either gauge
20:41:38 <Bike> http://skreened.com/dumbstuff/funny-meme unrelated
20:41:42 <Slereah_> Man I saw gauge and I thought it was ##physics
20:42:38 <Bike> gauge in a physics context just makes me think of a tao post i half remember
20:44:08 <Slereah_> Gauge can get pretty weird in GR
20:48:50 <fizzie> I think I passively knew that fact.
20:52:10 -!- oerjan has joined.
21:04:53 -!- nooodl has quit (Remote host closed the connection).
21:05:10 <HackEgo> [wiki] [[NRSRSSOMN]] N http://esolangs.org/w/index.php?oldid=39323 * EzoLang * (+2366) Created page with "'''NRSRSSOMN''' (Nameless Random String-Rewriting Systems Scribbled On Math Notebook) are a collection of [[:Category:String-rewriting paradigm|string-rewriting systems]] crea..."
21:05:19 -!- nooodl has joined.
21:05:35 <HackEgo> [wiki] [[User:EzoLang]] http://esolangs.org/w/index.php?diff=39324&oldid=32157 * EzoLang * (+15)
21:07:16 <Slereah_> it's gonna be a language where data is zoo animals
21:07:25 <Slereah_> And it is in cage data structures
21:08:32 <nortti> oh wow, I somehow though that 12yo-me would've known better with nicks. though that it was at least 10yo-me
21:10:04 <Slereah_> 14 years old me didn't foresee that using your real name online would turn out bad in the future
21:10:50 <Bike> what's bad about it for you
21:11:08 <Slereah_> 'cause now people can casually google you
21:11:12 -!- nucular has quit (Quit: Switching to phone).
21:11:55 <Bike> https://www.google.com/search?q=fizzie+freenode more a function of uniqueness, i would think
21:12:16 <Slereah_> I think that guy said it best :
21:12:22 <Slereah_> age 11: worry about internet people finding me in real life, now: worry about people in real life finding me on the internet
21:12:23 <Bike> "bike freenode" gets you a lot of articles about lilo dying, apparently
21:18:06 <oerjan> ok so i googled Ørjan Johansen just now...
21:18:45 <oerjan> the first page gives no relevant _text_ hits.
21:18:49 <fizzie> You need to go like to the seventh result of "fizzie freenode" to get a page with my real name on it.
21:18:50 -!- tertu has joined.
21:18:57 <fizzie> (At least as sorted for me.)
21:19:00 <oerjan> but there's a picture of me, which i had no idea was on the internet.
21:19:15 <oerjan> it's _not_ the one i've shown you before.
21:19:39 <fizzie> "Ørjan Johansen, leder for Miljøpartiet De Grønne (MDG) i Time --" I didn't know you were in politics.
21:19:55 <oerjan> my esolang page is on the second page of hits, though.
21:20:32 <oerjan> although coincidentally i _did_ vote for that party last election.
21:20:57 <oerjan> which was, given the election rules, afaict a wasted vote
21:21:32 <fizzie> I also didn't know you were in the field of "psychedelics, MDMA, drug policy, public health and evidence-based medicine".
21:21:36 <oerjan> (they got no representative from my county, and not enough total votes to get extra ones.)
21:21:50 <Bike> fizzie: kmc is well known to be infectious
21:23:17 <oerjan> my stackoverflow page is on page 4
21:23:50 <fizzie> My real name is terribly Googleable, since I believe it's unique. :/
21:25:52 <oerjan> oh the picture is one the university got on the press release from when i got the doctorate.
21:25:57 <fizzie> At least the image search for it has just two instances of my face, and then a whole lot of people, some of whom I know and some entirely unfamiliar.
21:28:07 <oerjan> http://www.ntnu.no/doktorgrader/dr.scient/09.98/johansen.html fwiw
21:28:34 <fizzie> That's strangely normal.
21:28:53 <fizzie> I don't know what I was expecting, but I was expecting something surprising.
21:29:17 <Bike> well, he's wearing makeup to hide the scar
21:29:19 <kmc> you expected a surprise and you were surprised
21:29:28 <oerjan> i'm not sure if they took that picture themselves, or if it's from that one passport photo i was particularly satisfied with once
21:30:14 <fizzie> I just cropped my face out of our professional-photographer-taken research group photo when I needed an up-to-date face for a thing.
21:30:21 * oerjan vaguely remembers that shirt
21:33:08 <oerjan> can't find any others, that might be the only one reachable through the web
21:37:13 <fizzie> Speaking of trains, they recently introduced two-floor restaurant carriages in the (two-floor) Intercity trains in Finland.
21:38:05 <fizzie> (Though the upstairs is just more or less regular seating.)
21:40:14 <fizzie> They claim it's a unique concept, but it might be just something they say.
21:40:18 -!- augur has quit (Ping timeout: 245 seconds).
21:40:39 <fizzie> http://www.vr.fi/en/index/palvelut/tietoja_junista/intercity/duettoplus.html in any case.
21:41:01 <oerjan> fizzie: do they have amusing accidents while bringing food up/down the stairs
21:41:24 <fizzie> oerjan: I would certainly assume so.
21:41:35 <oerjan> Phantom_Hoover: i am not a train hth
21:42:44 <oerjan> you brits and your weird spelling of skeptical
21:43:43 <lexande> fizzie: i am surprised they have many lines lone enough to justify that, it's only two hours to tampere right? i guess if you're going to oulu or something
21:43:54 <oerjan> fizzie: no i think that means american in cockney hth
21:44:11 <fizzie> lexande: They have introduced them, in fact, on the line from Helsinki to Oulu.
21:44:25 <fizzie> And it is indeed two hours to Tampere.
21:45:14 <lexande> anyway amtrak has double-deck "cafe/lounge" cars on its western routes with the cafe downstairs and tables with seating both downstairs and upstairs, IIRC
21:46:27 <fizzie> I was going to say it's something like six-seven-eight hours to Lieksa, except (a) they no longer have a single service going the whole way, and (b) it only takes four and a half hours to Joensuu nowadays. This truly is the future.
21:46:37 <lexande> i have never taken a train in finland :( ... well i took the helsinki metro a couple times
21:46:42 <fizzie> (We used to go Helsinki-Lieksa-Helsinki at least twice a year.)
21:47:11 <fizzie> Also ridiculous: the vr.fi netshop is closed from 22:30 to 06:00, because... I don't know, the servers need to sleep too?
21:47:30 <fizzie> (You can only look up schedules, not buy tickets.)
21:48:09 <fizzie> I guess they want someone to be looking after it at all times, but it's not like other companies generally seem to have trouble keeping their web-shops open.
21:49:06 <lexande> megabus used to not let you use the site at all between 03:00 and 05:00 or something
21:49:07 <fizzie> Besides, I'm reasonably sure the ticket vending machines are open 24/7.
21:49:07 <oerjan> <Bike> hm cern hasn't amde antiwater yet. disappointing <-- i have a hunch anti-oxygen might prove tricky?
21:49:11 <lexande> dunno if that's still the case
21:49:39 <fizzie> They made some anti-molecules already. (Anti-H_2, maybe?)
21:50:36 <Bike> "Antideuterium,[21][22] antihelium-3 (3He)[23][24] and antihelium-4 (4He) nuclei[25] have been produced so far"
21:50:41 <Bike> (in addition to antihydrogen)
21:51:15 <fizzie> I guess I misremembered some of those news, then.
21:51:23 <Bike> it's cool how we've made antihydrogen but still don't know how it's subjected to gravity
21:51:36 <Bike> fizzie: clearly you mistook 2H and H2
21:52:14 <oerjan> ok so they've at least managed helium
21:52:35 <oerjan> i wonder if they've managed to make normal oxygen "from scratch"
21:53:05 -!- lexande has quit (Quit: Lost terminal).
21:53:22 <Bike> Can you even do that without triple alpha?
21:53:28 <Bike> from fusion of hydrogen, i assume
21:53:35 <oerjan> starting with hydrogen yeah
21:53:46 <Phantom_Hoover> yeah in that case i doubt it, it's an awful lot of fusion to be doing
21:54:27 <Bike> i'm pretty sure triple alpha can't be done in any laboratory we're going to have in the next thousand years
21:54:59 <fizzie> Except in the big one we inherited.
21:55:43 <fizzie> (The "runaway laboratory experiment" theory of solar system foundation.)
21:55:53 -!- AnotherTest has quit (Ping timeout: 276 seconds).
21:55:54 -!- lexande has joined.
21:56:22 <Bike> http://en.wikipedia.org/wiki/Alpha_process right, you need carbon to get the "metals", and for carbon you need triple alpha
21:56:24 <oerjan> Bike: i dunno, we don't have to do it continuously...
21:56:50 <oerjan> maybe some kind of "shoot things at a point" setup...
21:57:23 <oerjan> well a collider, but with less power and more incoming paths
21:57:38 <oerjan> enough to get a few atoms
21:58:09 <oerjan> 3 beams of alpha particles crossing
21:58:36 <Bike> can things actually be coordinated to get a termolecular interaction? i mean you're talking a 10^-17 second window
21:59:46 <oerjan> how does the sun manage it
22:00:12 <oerjan> we can't beat it on pressure, but maybe on precision?
22:00:13 -!- augur has joined.
22:00:46 <oerjan> Taneb: did you read DMM's latest sunday annotation
22:00:53 <Taneb> oerjan, I am afraid I didn't
22:01:00 <fizzie> oerjan: Breaking news: solar fusion mathematically proven to be impossible, Sun shuts down.
22:02:23 <oerjan> fizzie: i vaguely recall there was a scifi story where the plot was that the alien's ftl system didn't make sense, and when the humans showed them the experiments to prove relativity their starship broke down...
22:02:26 <fizzie> (Like what happened with all the... what was the thing that was supposedly unable to fly?)
22:02:36 <Bike> well the fact it is possible was pretty surprising
22:02:57 <Bike> since it relies not just on the three-molecule thing but also on some energy resonance business i don't know shit about
22:03:04 <Bike> god fuck that bumblebee thing
22:03:07 <oerjan> the bumblebees are secretly using invisible stilts
22:03:21 <Bike> fluids behave differently at different scales breaking news
22:03:46 <Phantom_Hoover> the people making the claim generally don't understand things in that depth anyway
22:03:50 <oerjan> Bike: let's not go ballistic over dead unicorn tropes.
22:04:07 <Bike> yeah i know, it's just super irritating. insect flight is cool!!
22:04:43 <Bike> oerjan: and nah dude i've seen actual people say science says bumblebees can't fly, not that they know shit about anything ofc
22:05:13 <Phantom_Hoover> i like those tiny wasps that just have like a strut with lots of tiny filaments coming off
22:05:25 <Taneb> oerjan, now I have read it and maintain my opinion that science is scary
22:05:41 <Taneb> But hey, one synonym of scary is awesome
22:06:32 <oerjan> Taneb: also just in case you're entirely out of the loop, DMM started a new comic, which he actually draws.
22:06:40 <Taneb> Yeah, I think you linked me that
22:06:43 <Taneb> Every wednesday, right?
22:06:59 <Phantom_Hoover> have you noticed how the real numbers are kind of crazy but going full constructivist is even crazier
22:07:01 <Taneb> I'll try to keep up with it
22:07:08 <Taneb> Phantom_Hoover, everything is scary
22:07:23 <Bike> Phantom_Hoover: i have a few pdfs named things like 'more-finitist-crap' i can look at when i need a laff
22:07:32 <oerjan> he said crazy not scary * swats Taneb -----###
22:07:59 <Taneb> oerjan, things can be scary AND crazy
22:08:17 <oerjan> Bike: well the unicorn part is that any scientist ever claimed it, i guess.
22:08:42 <Taneb> Oh man, I think I remember the finitists
22:09:14 <olsner> what's scary about the real numbers? integers are scarier
22:09:40 <Bike> http://www.businessinsider.com/i-was-assaulted-for-wearing-google-glass-2014-4 most cyberpunk thing i've seen all day
22:09:42 <tertu> why does finitism even exist
22:09:59 <Bike> because exponentiation isn't total maaaaan
22:10:09 <Taneb> tertu, because things are scary and when some people see scary things they get afraid and try to rationalize to what they understand
22:10:51 <tertu> why not just accept it? you don't have to think of it as real, just think of it as a formalism that makes things easier to do or something.
22:10:58 <Taneb> Accepting is hard to do
22:12:06 -!- boily has joined.
22:12:21 -!- metasepia has joined.
22:12:22 <metasepia> CYUL 142207Z 27010G16KT 12SM -SHRA BKN075 OVC120 OVC220 20/12 A2951 RMK AC6AC2CS1 CS TR PRESRR SLP995 DENSITY ALT 1100FT
22:12:57 <tertu> so that's platonist in that it's proposing that somehow things that are otherwise real can somehow not be?
22:13:07 <Taneb> I haven't actually accepted that numbers exist
22:13:12 <Bike> just since you said "real"
22:14:04 <metasepia> EFHK 142150Z 23004KT CAVOK 03/02 Q0998 NOSIG
22:14:42 <metasepia> EGNT 142150Z 00000KT CAVOK 03/02 Q1029
22:15:02 <boily> it's not the size that counts, but how hot it is.
22:15:46 <fizzie> 03/02 seems to be popular.
22:16:38 <boily> that's too mainstream for me. have you heard of 20/12? probably not; they're very obscure numbers.
22:17:17 <olsner> `pastelog olsner.*~metar
22:17:20 <HackEgo> /hackenv/bin/pastelog: line 2: cd: /var/irclogs/_esoteric: No such file or directory \ grep: ????-??-??.txt: No such file or directory \ http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.30653
22:17:48 <olsner> hmm, guess not... does boily remember my metar code?
22:17:57 <boily> olsner: where are you again?
22:18:03 <metasepia> ESSA 142150Z 30006KT CAVOK 03/01 Q1002 R88/0///95 NOSIG
22:18:04 <metasepia> ESSB 142150Z AUTO 27003KT 9999NDV OVC220/// 04/02 Q1002
22:18:14 <Bike> really, have you ever seen proof that 20 exists
22:18:58 <olsner> I believe in 20 about as much as Canada
22:19:04 <boily> Bike: I'm Canadian. I embody conjectual existence.
22:20:52 <Bike> well, we have an example of a canada person right here, but i've yet to see a 20
22:21:28 <boily> Taneb, please prove that numbers exist.
22:21:29 <shachaf> gaSSSSSSSSSSSSSSSSSSSSZpacho
22:21:38 <lexande> Bike: you only think they're an example of a canada person, whereas we can prove things about 20
22:21:40 <Taneb> boily, I don't believe they do
22:21:44 <lexande> maths is real, physics might be fake
22:21:48 <HackEgo> gaszpacho is a polish soup, traditionally szerved cold for hot szummer days
22:21:50 <Bike> lexande: oh yeah, things like what
22:22:13 <boily> . o O ( hm. what was the entry again... )
22:22:28 <HackEgo> bookwatching is when you conflagrate birdwatching and the books used to identify them in the same object.
22:22:40 <HackEgo> disflagrate v.t.perf.: a traditional technique from Poland (earliest attestation c. 1042) used to separate szoups. Nowadays, commercial production is entirely mechanized.
22:22:44 <HackEgo> You like Gazpacho and I like Gaspacho. Let's call the whole thing off!
22:22:49 <Bike> boilyisms finally catch up w/im
22:23:00 <shachaf> when i was in spain i ate a lot of gazpacho
22:25:18 -!- tertu has quit (Ping timeout: 245 seconds).
22:27:43 <boily> the set of gazpachoes only has a cardinality of two.
22:28:33 <olsner> I think the set is infinite but we have a small selection of them in hackego
22:28:52 <HackEgo> A szoup a szilárd tápszereknek híg alakban való elkészítése a célból, hogy könnyebben emészthetők legyenek; a hígító anyag a viz, mely feloldja s magába veszi a tápanyag legértékesebb részeit.
22:29:15 <HackEgo> Phở là một món ăn truyền thống của Việt Nam, cũng có thể xem là một trong những món ăn đặc trưng nhất cho ẩm thực Việt Nam.
22:29:31 <fizzie> The szoup in Spain falls mainly on the plains.
22:31:32 <HackEgo> gazspaczo iz a hungarian szoup, tradizsonally szerved cold for hot szummer dayz
22:33:37 <oerjan> `learn gaspasjo is a norwegian soup, which died out due to a lack of hot summer days
22:34:05 <oerjan> `learn gaspatsjo is a norwegian soup, which died out due to a lack of hot summer days
22:34:28 <olsner> traditionally served warm for cold summer days?
22:34:40 <oerjan> `learn gaspatsjo was a norwegian soup, which died out due to a lack of hot summer days
22:34:50 <oerjan> olsner: that's like, every other soup.
22:35:07 <Taneb> I am now in awe about how hard it is to define the real numbers
22:35:07 -!- Sorella has joined.
22:35:12 <Taneb> But how simple the definition is
22:36:08 <shachaf> `run translatefromto en no soup
22:36:09 <HackEgo> This google api no longer exists.
22:36:34 <boily> oerjan: ♪ping♪ your Norwegian soup was PDFed.
22:36:58 -!- yorick has quit (Read error: Connection reset by peer).
22:37:34 <olsner> shachaf: no:suppe, sv:soppa
22:39:08 <Taneb> Archimedean complete totally ordered field
22:40:14 <shachaf> Taneb: oh, i thought you were, like, constructing them
22:40:39 <Taneb> I don't have the patience for constructivism
22:42:45 <Bike> dedekind cuts don't seem hard
22:43:26 <shachaf> dedekind cuts are the best
22:43:53 <shachaf> you should have a good word for soup like hebrew does
22:45:33 <fizzie> fi:keitto we like to be different.
22:48:18 <boily> fizzie: even the Estonians agree with the Sensible Way; ee:supp.
22:48:54 <fizzie> Well, "soppa" is used colloquially.
22:50:00 <fizzie> Though probably only for less fancy soups.
22:50:13 <Taneb> I hope you all have nice soup
22:52:26 * oerjan super en sup suppe til supéen
22:52:59 * boily pige que dalle à ce qu'oerjan dit.
22:54:17 <oerjan> shit this qu'oerjan said boily freelancing indeed.
22:55:13 <boily> ow. oooooow. I think I sprained the language zone in my brain trying to parse that.
22:55:39 <oerjan> ...then think of poor google translate which produced it.
22:56:07 * boily pats google translate. “sorry, bud. won't do that again. at least for a while.”
22:57:43 <oerjan> btw, super=sips (v), sup=sip (n), supé=supper (n, excessively formal)
22:58:45 -!- nooodl has quit (Ping timeout: 252 seconds).
22:59:56 <oerjan> (the informal word would be kveldsmat)
23:01:35 <boily> déjeuner, dîner, souper. as it should be, not like from those weird Frenchmen.
23:01:39 <oerjan> 'In most parts of The United States and Canada today, "supper" and "dinner" are considered synonyms.'
23:02:44 <fizzie> For the record, fi:keitto is derived from the verb "keittää", to boil something. (But only the transitive verb; if something's just boiling, the verb is "kiehua".)
23:02:57 <fizzie> oerjan: That's supperb.
23:05:06 -!- Sgeo has joined.
23:05:25 <fizzie> (I guess you could use "kiehuttaa" in place of "keittää", but it sounds slightly clunky. But "kiehauttaa" -- to bring to a boil, to parboil -- is a word that is used.)
23:06:14 <fizzie> (Languages are so silly.)
23:06:33 <oerjan> sounds like the difference between "koke" and "koke opp" in norwegian.
23:07:09 <fizzie> That sounds like the difference between cocaine and the actual act of snorting cocaine.
23:09:12 <fizzie> "Kokkeli" is a Finnish (very) colloquial term for cocaine, though it actually means curd, or in "munakokkeli" scrambled eggs.
23:09:32 <oerjan> i think with the right dialectical munging i can get the "kokain" and "koka inn" to sound similar.
23:09:33 <fizzie> I assume it's related to "coagulate".
23:10:49 <oerjan> (the later would mean boiled off of all liquid, or thereabouts)
23:11:12 -!- nooodl has joined.
23:13:18 <fizzie> Welp, good soup from me too. ->
23:18:18 <HackEgo> [wiki] [[Boxy]] http://esolangs.org/w/index.php?diff=39325&oldid=39320 * Zerk * (+1193) Added sugared and defined chain assignment
23:22:50 -!- boily has quit (Quit: WHARGHARBL CHICKEN).
23:22:52 -!- metasepia has quit (Remote host closed the connection).
23:22:58 -!- Phantom_Hoover has quit (Quit: Leaving).
23:49:01 <nooodl> @tell fizzie now that i think about it, why is it "fi:" for finnish and not "su:"?
23:50:50 <Bike> hm, that is odd, plenty of other languages use endonyms under that iso
23:51:33 <Bike> and swedish gets sv... but japanese is ja
23:51:54 <Bike> su is sundanese, looks like
23:59:03 -!- Frooxius has quit (Ping timeout: 245 seconds).