00:03:45 -!- nisstyre has quit (Quit: WeeChat 0.4.3). 00:08:12 [wiki] [[Language list]] M http://esolangs.org/w/index.php?diff=39311&oldid=39309 * Zerk * (+9) /* A */ added [[Ax]] 00:08:16 [wiki] [[Nock]] M http://esolangs.org/w/index.php?diff=39312&oldid=39289 * Zerk * (+22) Added [[Ax]] 00:08:23 [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:31 `relcome xpte 00:13:32 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: relcome: not found 00:13:49 @tell elliott AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAURGH! 00:13:49 Consider it noted. 00:14:01 -!- Guest46968 has changed nick to ellioyy. 00:14:03 -!- ellioyy has changed nick to elliott. 00:14:05 @clear-messages 00:14:05 Messages cleared. 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 [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 elliott: there you are, you infamous scallywag! 00:18:32 [wiki] [[Boxy]] M http://esolangs.org/w/index.php?diff=39315&oldid=39310 * Zerk * (-14) /* Nock Interpeter */ recursion fix 00:22:35 hi. 00:24:40 hi. how are you doing by this fine evening? 00:25:01 -!- metasepia has joined. 00:47:06 [wiki] [[Boxy]] http://esolangs.org/w/index.php?diff=39316&oldid=39315 * Zerk * (+101) Added string representation. 00:49:39 adequate 00:51:55 -!- contrapumpkin has changed nick to copumpkin. 01:00:59 satisfying. 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:14 `coins 02:05:15 lumcoin iiichcoin ostcndoncoin constinycoin graniccoin eichcoin befucoin ever2coin excelumbftancoin quyrecoin iptifcoin filecoin snorisccoin singecoin quycoin systepcoin broacoin scribildcoin uddencoin c-loncoin 02:05:29 eichcoin 02:05:30 c.c 02:06:20 `cat $(which coins) 02:06:21 cat: $(which coins): No such file or directory 02:06:43 `cat bin/coins 02:06:43 words ${1---eng-1M --esolangs 20} | sed -re 's/( |$)/coin\1/g' 02:14:30 -!- tromp has joined. 02:15:47 I wish Kickstarter could let you donate to stretch goals and refund if stretch goal not met 02:15:59 Well, that may be a bad idea, but that's what I want to do with this one Kickstarter 02:16:21 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 Hmm, ls and zsh seem to be unsurprised by strange filenames 03:35:22 touch $'a\nb\tc'; cat a$'\n'b$'\t'c 03:38:38 -!- zzo38 has joined. 03:39:03 Write message about Spanish Oteric channel in Spanish, so that Spanish people can understand. 03:39:19 (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 http://www.reddit.com/r/wesnoth/comments/1cnir2/growing_wesnoth_with_bitcoin_would_this_idea_be/c9ii3c3 03:59:41 Bitcoin people are starting to scare me 04:00:32 On the other hand, I now have a lot of respect for the Wesnoth devs 04:01:08 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 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 [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 [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 [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 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:00 or something like that 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 [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 "New CSC service available - Pouta cloud / Uusi CSC Pouta-pilvipalvelu käytettävissä" so punny 11:24:22 ("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 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 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 (I haven't yet mananged to coax anything more than a "maybe" out of Chrome.) 12:49:16 poutapilvi is a good word 12:50:17 fizzie: well sure, most of these media containers can contain any codec in their insides 12:51:46 Yes, and I haven't gotten even a "maybe" out of the more niche one-format-only MIME types. 12:53:06 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 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 Right, 'audio/webm;codecs="vorbis"' -> "probably". 12:54:16 Well, that all makes sense. 12:55:08 Still, a protocol of lesser moral integrity would have spec'd "yes" as the response for "confident -- it can render". 12:58:57 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 also buggy decoder software 12:59:49 haven't you ever see broken jpegs, pngs and avis? 13:00:13 the specification is ridiculous though 13:01:00 (What were they thinking? 'No, we can't use "no" for "no", because then if() would think it's true.'?!) 13:02:43 b_jonas: Arguing from that point of view, you couldn't answer "probably" either, since you can never be sure. 13:03:13 the best thing is that if you are sure, you have to answer "" or "probably". 13:04:37 Haven't you heard the campaign slogan? "'' means no!" 13:06:19 -!- nooodl has joined. 13:06:25 int-e: should return "do'neh'lini" and "a'la'ih" for no and yes 13:07:23 int-e: and then people will write checks like ("do’neh’lini" == value) in their code and wonder why it fails 13:09:49 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). 15:43:22 oh... 15:47:58 strange 16:04:17 -!- zzo38 has quit (Remote host closed the connection). 16:05:11 -!- ^v has joined. 16:08:04 [wiki] [[Special:Log/newusers]] create * Ctrl-shift-esc * New user account 16:26:15 [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 [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 "brainfuck influenced" sounds euphemistic 18:36:18 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:40:50 what if we had a 2d grid in place of brainfuck 18:41:10 huh? 18:41:57 -!- MoALTz has joined. 18:43:21 -!- MindlessDrone has quit (Quit: MindlessDrone). 18:44:24 Is there an infinite dimensional brainfuck 18:48:06 There's an arbitrary-dimensional one, at least. 18:50:04 Dimensifuck claims to be infinite-dimensional. 18:50:45 Its wiki article also links to two sprunge.us pastes that have since passed away. 18:50:48 I was gonna ask about a 0-dimensional one, but that's just a push down automaton 18:51:05 without a stack 18:51:23 What about... 18:51:29 Continuous brainfuck 18:51:57 Like maybe you add Fourier modes or something 18:52:00 That sounds vaguely familiar, but I may be just thinking of the debacle that was continuous chess. 18:52:47 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 I wonder if a continuous brainfuck would be equivalent to an Oracle machine 18:53:24 Aww, I was hoping Wayback machine archived sprunge.us pastes. 18:54:31 Continuous Turing machines are equivalent to oracles 18:54:33 -!- password2 has joined. 18:54:39 So I would guess yes 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 olsner: Oh, 9983361024 bytes (10 GB) copied, 64370.4 s, 155 kB/s 19:32:31 so 2/3 done? 19:32:39 and it's speeding up, too. 19:32:48 (it's now faster than my internet connection ;-) ) 19:34:42 That was actually the last part, the other six gigs finished earlier. 19:34:57 fizzie: \o/ 19:34:57 | 19:34:57 >\ 19:35:13 is myndzi a bot or a human btw? 19:35:56 A human with a script has been my understanding. 19:36:32 so a bot that lost its human? 19:36:59 or a human that lost its human? 19:37:09 o.o 19:37:40 celebrate 19:38:16 ^celebrate 19:38:16 \o| c.c \o/ ಠ_ಠ \m/ \m/ \o_ c.c _o/ \m/ \m/ ಠ_ಠ \o/ c.c |o/ 19:38:16 | c.c.c | ¯|¯⌠ `\o/´ | c.c.c | `\o/´ ¯|¯⌠ | c.c.c | 19:38:16 >\ c.c |\ /| | | |\ c.c /| | /| | |\ c.c /'\ 19:38:17 (_|¯´\ /´\ 19:38:17 |_) (_| |_) 19:51:19 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 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 The "Sonseil Européen pour la Recherche Nucléaire"? 19:52:23 probably! 19:53:15 not Société? 19:53:17 or perhaps the sonseiru oiropeen pure ra etc 19:53:42 currently the all time <-- help 19:54:28 It's not like one thing would always be the best all-time something. 19:55:11 currently the all-time-up-until-now, I guess 19:56:39 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 cern stands for "Organisation Européenne pour la Recherche Nucléaire " so i think we can cut the animes some slack 19:59:33 crganisation 20:00:38 hm cern hasn't amde antiwater yet. disappointing 20:02:06 Bike: the semicolon in the name though 20:02:39 the same people made "ChäoS;HEAd" 20:03:02 :( 20:04:44 the spinoff Chäos;Head Love Chu Chu! would be a great name for an esolang though 20:08:32 And I thought the .hack folk were bad when it came to punctuation. 20:10:25 (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 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 so that it runs equally well (equally poorly?) on both networks 20:40:04 that's a pretty small gauge difference 20:40:42 yeah, low speed trains of either gauge work fine on either gauge 20:41:38 http://skreened.com/dumbstuff/funny-meme unrelated 20:41:42 Man I saw gauge and I thought it was ##physics 20:42:38 gauge in a physics context just makes me think of a tao post i half remember 20:44:08 Gauge can get pretty weird in GR 20:48:50 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 [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 [wiki] [[User:EzoLang]] http://esolangs.org/w/index.php?diff=39324&oldid=32157 * EzoLang * (+15) 21:07:07 The e-zoo lang 21:07:16 it's gonna be a language where data is zoo animals 21:07:25 And it is in cage data structures 21:07:41 go a-head 21:08:32 oh wow, I somehow though that 12yo-me would've known better with nicks. though that it was at least 10yo-me 21:09:30 I've used Slereah_ for like 21:09:35 over 15 years 21:09:38 Not a smart move 21:09:42 It's basically my name 21:10:04 14 years old me didn't foresee that using your real name online would turn out bad in the future 21:10:50 what's bad about it for you 21:11:08 'cause now people can casually google you 21:11:12 -!- nucular has quit (Quit: Switching to phone). 21:11:55 https://www.google.com/search?q=fizzie+freenode more a function of uniqueness, i would think 21:12:16 I think that guy said it best : 21:12:22 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 freenode" gets you a lot of articles about lilo dying, apparently 21:18:06 ok so i googled Ørjan Johansen just now... 21:18:45 the first page gives no relevant _text_ hits. 21:18:49 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 (At least as sorted for me.) 21:19:00 but there's a picture of me, which i had no idea was on the internet. 21:19:15 it's _not_ the one i've shown you before. 21:19:39 "Ørjan Johansen, leder for Miljøpartiet De Grønne (MDG) i Time --" I didn't know you were in politics. 21:19:55 my esolang page is on the second page of hits, though. 21:20:11 i'm not. 21:20:32 although coincidentally i _did_ vote for that party last election. 21:20:57 which was, given the election rules, afaict a wasted vote 21:21:32 I also didn't know you were in the field of "psychedelics, MDMA, drug policy, public health and evidence-based medicine". 21:21:36 (they got no representative from my county, and not enough total votes to get extra ones.) 21:21:50 fizzie: kmc is well known to be infectious 21:23:17 my stackoverflow page is on page 4 21:23:50 My real name is terribly Googleable, since I believe it's unique. :/ 21:25:52 oh the picture is one the university got on the press release from when i got the doctorate. 21:25:57 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 http://www.ntnu.no/doktorgrader/dr.scient/09.98/johansen.html fwiw 21:28:34 That's strangely normal. 21:28:53 I don't know what I was expecting, but I was expecting something surprising. 21:29:17 well, he's wearing makeup to hide the scar 21:29:19 you expected a surprise and you were surprised 21:29:28 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 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 can't find any others, that might be the only one reachable through the web 21:37:13 Speaking of trains, they recently introduced two-floor restaurant carriages in the (two-floor) Intercity trains in Finland. 21:38:05 (Though the upstairs is just more or less regular seating.) 21:40:14 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 http://www.vr.fi/en/index/palvelut/tietoja_junista/intercity/duettoplus.html in any case. 21:41:01 fizzie: do they have amusing accidents while bringing food up/down the stairs 21:41:04 is this a picture of oerjan 21:41:24 oerjan: I would certainly assume so. 21:41:35 Phantom_Hoover: i am not a train hth 21:41:49 sceptical 21:42:44 you brits and your weird spelling of skeptical 21:43:17 Septical. 21:43:43 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 fizzie: no i think that means american in cockney hth 21:44:11 lexande: They have introduced them, in fact, on the line from Helsinki to Oulu. 21:44:25 And it is indeed two hours to Tampere. 21:45:14 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 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 i have never taken a train in finland :( ... well i took the helsinki metro a couple times 21:46:42 (We used to go Helsinki-Lieksa-Helsinki at least twice a year.) 21:47:11 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 (You can only look up schedules, not buy tickets.) 21:48:09 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 megabus used to not let you use the site at all between 03:00 and 05:00 or something 21:49:07 Besides, I'm reasonably sure the ticket vending machines are open 24/7. 21:49:07 hm cern hasn't amde antiwater yet. disappointing <-- i have a hunch anti-oxygen might prove tricky? 21:49:11 dunno if that's still the case 21:49:39 They made some anti-molecules already. (Anti-H_2, maybe?) 21:50:25 Or maybe not. 21:50:36 "Antideuterium,[21][22] antihelium-3 (3He)[23][24] and antihelium-4 (4He) nuclei[25] have been produced so far" 21:50:41 (in addition to antihydrogen) 21:51:15 I guess I misremembered some of those news, then. 21:51:23 it's cool how we've made antihydrogen but still don't know how it's subjected to gravity 21:51:36 fizzie: clearly you mistook 2H and H2 21:52:14 ok so they've at least managed helium 21:52:26 {}^2H 21:52:35 i wonder if they've managed to make normal oxygen "from scratch" 21:53:05 -!- lexande has quit (Quit: Lost terminal). 21:53:20 what would from scratch mean 21:53:22 Can you even do that without triple alpha? 21:53:28 from fusion of hydrogen, i assume 21:53:35 starting with hydrogen yeah 21:53:46 yeah in that case i doubt it, it's an awful lot of fusion to be doing 21:54:27 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 Except in the big one we inherited. 21:55:43 (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 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 Bike: i dunno, we don't have to do it continuously... 21:56:50 maybe some kind of "shoot things at a point" setup... 21:57:23 well a collider, but with less power and more incoming paths 21:57:38 enough to get a few atoms 21:58:09 3 beams of alpha particles crossing 21:58:36 can things actually be coordinated to get a termolecular interaction? i mean you're talking a 10^-17 second window 21:59:46 how does the sun manage it 22:00:12 we can't beat it on pressure, but maybe on precision? 22:00:13 -!- augur has joined. 22:00:16 Science is scary 22:00:46 Taneb: did you read DMM's latest sunday annotation 22:00:53 oerjan, I am afraid I didn't 22:01:00 oerjan: Breaking news: solar fusion mathematically proven to be impossible, Sun shuts down. 22:02:23 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 (Like what happened with all the... what was the thing that was supposedly unable to fly?) 22:02:29 *aliens' 22:02:36 well the fact it is possible was pretty surprising 22:02:44 fizzie, bumblebees 22:02:57 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 god fuck that bumblebee thing 22:03:07 the bumblebees are secretly using invisible stilts 22:03:21 fluids behave differently at different scales breaking news 22:03:46 the people making the claim generally don't understand things in that depth anyway 22:03:50 Bike: let's not go ballistic over dead unicorn tropes. 22:04:07 yeah i know, it's just super irritating. insect flight is cool!! 22:04:43 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 i like those tiny wasps that just have like a strut with lots of tiny filaments coming off 22:05:25 oerjan, now I have read it and maintain my opinion that science is scary 22:05:41 But hey, one synonym of scary is awesome 22:06:32 Taneb: also just in case you're entirely out of the loop, DMM started a new comic, which he actually draws. 22:06:40 Yeah, I think you linked me that 22:06:43 Every wednesday, right? 22:06:46 yeah 22:06:59 have you noticed how the real numbers are kind of crazy but going full constructivist is even crazier 22:07:01 I'll try to keep up with it 22:07:08 Phantom_Hoover, everything is scary 22:07:23 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 he said crazy not scary * swats Taneb -----### 22:07:59 oerjan, things can be scary AND crazy 22:08:17 Bike: well the unicorn part is that any scientist ever claimed it, i guess. 22:08:24 oh sure yeah. 22:08:42 Oh man, I think I remember the finitists 22:09:14 what's scary about the real numbers? integers are scarier 22:09:17 Poor sods 22:09:40 http://www.businessinsider.com/i-was-assaulted-for-wearing-google-glass-2014-4 most cyberpunk thing i've seen all day 22:09:42 why does finitism even exist 22:09:59 because exponentiation isn't total maaaaan 22:10:09 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 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 Accepting is hard to do 22:11:00 wow platonist 22:12:06 -!- boily has joined. 22:12:21 -!- metasepia has joined. 22:12:21 ~metar CYUL 22:12:22 CYUL 142207Z 27010G16KT 12SM -SHRA BKN075 OVC120 OVC220 20/12 A2951 RMK AC6AC2CS1 CS TR PRESRR SLP995 DENSITY ALT 1100FT 22:12:32 okay 22:12:57 so that's platonist in that it's proposing that somehow things that are otherwise real can somehow not be? 22:13:07 I haven't actually accepted that numbers exist 22:13:12 just since you said "real" 22:13:36 tertu can speak? 22:14:04 ~metar EFHK 22:14:04 EFHK 142150Z 23004KT CAVOK 03/02 Q0998 NOSIG 22:14:26 Well, that's short. 22:14:41 ~metar EGNT 22:14:42 EGNT 142150Z 00000KT CAVOK 03/02 Q1029 22:14:51 That's shorter. 22:15:02 ~metar XYZW 22:15:02 it's not the size that counts, but how hot it is. 22:15:03 --- Station not found! 22:15:08 (Is that shortest?) 22:15:46 03/02 seems to be popular. 22:16:38 that's too mainstream for me. have you heard of 20/12? probably not; they're very obscure numbers. 22:17:17 `pastelog olsner.*~metar 22:17:20 ​/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 hmm, guess not... does boily remember my metar code? 22:17:57 olsner: where are you again? 22:18:02 ~metar ESSA 22:18:03 ESSA 142150Z 30006KT CAVOK 03/01 Q1002 R88/0///95 NOSIG 22:18:04 ~metar ESSB 22:18:04 ESSB 142150Z AUTO 27003KT 9999NDV OVC220/// 04/02 Q1002 22:18:14 really, have you ever seen proof that 20 exists 22:18:58 I believe in 20 about as much as Canada 22:19:04 Bike: I'm Canadian. I embody conjectual existence. 22:19:23 `thanks olsner 22:19:24 Thanks, olsner. Tholsner. 22:19:48 canada exists 22:19:51 not sure about 20 22:20:31 shachaf: eh? 22:20:52 well, we have an example of a canada person right here, but i've yet to see a 20 22:21:28 Taneb, please prove that numbers exist. 22:21:29 gaSSSSSSSSSSSSSSSSSSSSZpacho 22:21:38 Bike: you only think they're an example of a canada person, whereas we can prove things about 20 22:21:40 boily, I don't believe they do 22:21:44 maths is real, physics might be fake 22:21:47 `? gaszpacho 22:21:48 gaszpacho is a polish soup, traditionally szerved cold for hot szummer days 22:21:50 lexande: oh yeah, things like what 22:22:01 `? conflagrate 22:22:02 conflagrate? ¯\(°​_o)/¯ 22:22:13 . o O ( hm. what was the entry again... ) 22:22:27 `? bookwatching 22:22:28 bookwatching is when you conflagrate birdwatching and the books used to identify them in the same object. 22:22:40 `? disflagrate 22:22:40 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:43 `? gazpacho 22:22:44 You like Gazpacho and I like Gaspacho. Let's call the whole thing off! 22:22:49 boilyisms finally catch up w/im 22:23:00 when i was in spain i ate a lot of gazpacho 22:23:14 Bike: :D 22:25:18 -!- tertu has quit (Ping timeout: 245 seconds). 22:26:26 `? gaczpaczo 22:26:26 gaczpaczo? ¯\(°​_o)/¯ 22:26:29 :( 22:27:43 the set of gazpachoes only has a cardinality of two. 22:28:33 I think the set is infinite but we have a small selection of them in hackego 22:28:51 `? szoup 22:28:52 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:14 `? phở 22:29:15 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 The szoup in Spain falls mainly on the plains. 22:29:56 whoa, hungarian 22:30:49 valóban. 22:31:18 `? gazspacho 22:31:19 gazspacho? ¯\(°​_o)/¯ 22:31:26 hm 22:31:32 `? gazspaczo 22:31:32 gazspaczo iz a hungarian szoup, tradizsonally szerved cold for hot szummer dayz 22:33:37 `learn gaspasjo is a norwegian soup, which died out due to a lack of hot summer days 22:33:38 I knew that. 22:33:54 hm wait 22:33:57 `revert 22:33:57 Done. 22:34:05 `learn gaspatsjo is a norwegian soup, which died out due to a lack of hot summer days 22:34:06 I knew that. 22:34:28 traditionally served warm for cold summer days? 22:34:33 `revert 22:34:33 Done. 22:34:40 `learn gaspatsjo was a norwegian soup, which died out due to a lack of hot summer days 22:34:40 I knew that. 22:34:50 olsner: that's like, every other soup. 22:34:57 right. 22:35:07 I am now in awe about how hard it is to define the real numbers 22:35:07 -!- Sorella has joined. 22:35:12 But how simple the definition is 22:36:08 `run translatefromto en no soup 22:36:09 This google api no longer exists. 22:36:16 Taneb: which definition 22:36:34 oerjan: ♪ping♪ your Norwegian soup was PDFed. 22:36:58 -!- yorick has quit (Read error: Connection reset by peer). 22:37:34 shachaf: no:suppe, sv:soppa 22:37:45 boring 22:39:08 Archimedean complete totally ordered field 22:40:14 Taneb: oh, i thought you were, like, constructing them 22:40:39 I don't have the patience for constructivism 22:42:45 dedekind cuts don't seem hard 22:43:26 dedekind cuts are the best 22:43:53 you should have a good word for soup like hebrew does 22:45:33 fi:keitto we like to be different. 22:45:37 shachaf: m.*r.*q? 22:45:53 boily: yes, marak 22:48:18 fizzie: even the Estonians agree with the Sensible Way; ee:supp. 22:48:54 Well, "soppa" is used colloquially. 22:50:00 Though probably only for less fancy soups. 22:50:08 Goodnight 22:50:13 I hope you all have nice soup 22:50:26 Goodsoup. 22:50:32 * oerjan has bread 22:52:26 * oerjan super en sup suppe til supéen 22:52:32 bonne Tanuitb! 22:52:59 * boily pige que dalle à ce qu'oerjan dit. 22:54:17 shit this qu'oerjan said boily freelancing indeed. 22:55:13 ow. oooooow. I think I sprained the language zone in my brain trying to parse that. 22:55:39 ...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 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 (the informal word would be kveldsmat) 23:01:35 déjeuner, dîner, souper. as it should be, not like from those weird Frenchmen. 23:01:39 'In most parts of The United States and Canada today, "supper" and "dinner" are considered synonyms.' 23:02:44 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 oerjan: That's supperb. 23:05:06 -!- Sgeo has joined. 23:05:25 (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 (Languages are so silly.) 23:06:33 sounds like the difference between "koke" and "koke opp" in norwegian. 23:07:09 That sounds like the difference between cocaine and the actual act of snorting cocaine. 23:08:14 OKAY 23:09:12 "Kokkeli" is a Finnish (very) colloquial term for cocaine, though it actually means curd, or in "munakokkeli" scrambled eggs. 23:09:32 i think with the right dialectical munging i can get the "kokain" and "koka inn" to sound similar. 23:09:33 I assume it's related to "coagulate". 23:10:49 (the later would mean boiled off of all liquid, or thereabouts) 23:11:12 -!- nooodl has joined. 23:13:18 Welp, good soup from me too. -> 23:18:18 [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 @tell fizzie now that i think about it, why is it "fi:" for finnish and not "su:"? 23:49:01 Consider it noted. 23:50:50 hm, that is odd, plenty of other languages use endonyms under that iso 23:51:33 and swedish gets sv... but japanese is ja 23:51:54 su is sundanese, looks like 23:59:03 -!- Frooxius has quit (Ping timeout: 245 seconds).