00:00:03 kmc, I'm also somewhat concerned about how she would treat an autistic kid. 00:00:26 considering she'd rather have a dead kid than an autistic one (for the sake of that absurd argument), yeah. 00:00:46 I’ll say even, in some places, general vaccines like flu ones are prepared diluted by various unscientific crap below the standardized concentration, and it’s especially sad when people having an access to perfectly normal and tested ones are being jerks in public 00:01:01 diluted with* 00:01:11 i'm maybe having a kid and i'm terrified they'll turn out to be autistic -- not the 'awkward and into trains' kind, that's great, but full on nonverbal screaming all the time forever :| 00:01:23 I can see why people want someone to blame for that 00:01:55 I don't think she thinks vaccines prevent anything. I mentioned Smallpox, she goes "Maybe it was renamed like polio" 00:02:09 you can't argue with anti-vaxxers 00:02:12 they are impervious to logic 00:02:32 even if her kid dies of preventable disease she'll blame someone else somehow 00:02:45 what makes otherwise reasonable people behave unreasonably. 00:02:56 fear. 00:02:58 I assume at least one of her kids was vaccinated at least... 00:03:07 she was probably vaccinated. 00:03:37 AFK 00:03:52 just gave him new material lmao. 00:04:45 I’m awkward and into trains 00:05:47 thinking about training across the country this winter but it’d be like $1k so ugh 00:05:59 that's a long-ass way 00:06:08 i took a train from texas to los angeles and that was great 00:06:10 but that alone was 40 hours 00:06:15 this is a fuckin big country 00:06:35 need to invent a co-alarm-clock to kick myself to sleep earlier, any ideas? 00:07:35 also need to figure out how to get home from whitefish 00:13:23 yesterday when I was trying to sleep at last, I thought I need to say to you all what nice people you are 00:13:31 it’s never too much 00:13:44 <3 00:13:50 you're nice, too. 00:14:00 arseniiv: https://slatestarcodex.com/2018/07/10/melatonin-much-more-than-you-wanted-to-know/ ? 00:14:33 this channel combines many nice things 00:14:38 kmc: imode: ty! 00:14:46 it's a cool place 00:14:49 i'm glad i came back 00:15:10 `randquote kmc 00:15:11 796) typed racket: anyone using a model m keyboard 00:15:17 higan 00:15:33 lol 00:15:34 hi shachaf 00:15:35 how are you? 00:17:12 just got back to ca 00:17:16 it's way too hot here tdnh 00:17:27 yes 00:17:28 where were you? 00:17:34 new york 00:17:47 was it hot there? 00:17:48 should i move to ny twh 00:17:59 somewhat, but less so than here 00:44:54 I guess I’ll need to get used to f.lux. It’s somewhat weird still 00:45:25 very reddish this time. As it should. But 00:54:50 -!- arseniiv has quit (Ping timeout: 240 seconds). 01:01:53 kmc: it's 3am and instead of going to bed I just spent a looot of time reading a long article about circadian rythms and melatonin 01:02:33 kmc: it's tg when you spend a few days in new york and your sleep gets shifted by a few days 01:02:39 and you fall asleep and wake up early 01:03:10 LKoen: that's slatestarcodex for you 01:03:16 LKoen: bit ironic eh 01:03:24 `addquote kmc: it's 3am and instead of going to bed I just spent a looot of time reading a long article about circadian rythms and melatonin 01:03:26 1335) kmc: it's 3am and instead of going to bed I just spent a looot of time reading a long article about circadian rythms and melatonin 01:05:36 -!- Cale has quit (Read error: Connection reset by peer). 01:07:16 -!- Cale has joined. 01:07:20 LKoen: at least you didn't play civilization until 5am 01:07:29 though I suppose you can still do that now 01:07:58 no, I really can't 01:08:09 don't underestimate my ignorance of video games 01:09:37 I played zelda ocarina of time when I was a kid, and got stuck in the first dungeon 01:09:56 which is supposed to be kind of a tutorial of what's a dungeon 01:10:10 LKoen: Who says you have to be good at video games in order to play them. 01:10:16 I even couldn't finish pokemon 01:10:21 LKoen: especially when the alternative is to get some sleep ;) 01:10:55 LKoen: but I was actually hinting at me reading that same article right now 01:11:17 oh, yes 01:11:25 I'm a bit too sleepy to get subtle hints 01:13:49 good night 01:17:05 -!- imode has quit (Ping timeout: 265 seconds). 01:24:32 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”). 01:59:04 -!- imode has joined. 02:30:27 @tell LKoen next thing you'll know, you'll be saying "nychthemeron", left and right 02:30:27 Consider it noted. 02:31:16 * ski has a Model M, from 1986, with "Reactor Physics" burnt into the plastic, fwiw .. 03:43:05 well. 03:43:12 tried my hand at implementing that graph rewriting language. 03:43:40 it's... working, I guess. 04:01:37 it's far too complicated an interpreter for what it is. 04:03:42 need to fix a bug where the matcher is binding two variables to the same vertex twice, rathe than skipping over visited vertices. 04:27:39 * ski . o O ( "Programming Languages" ,"Language Design Overview" , by Wouter van Oortmerssen ) 04:31:14 who? 04:33:20 (that is quite an impressive list though) 04:33:38 -!- Cale has quit (Ping timeout: 245 seconds). 04:46:51 -!- Lord_of_Life has quit (Ping timeout: 265 seconds). 04:48:43 -!- Lord_of_Life has joined. 04:49:12 -!- Cale has joined. 05:28:54 -!- inhahe_ has joined. 06:24:46 -!- inhahe has joined. 06:24:50 -!- inhahe_ has quit (Ping timeout: 240 seconds). 06:43:03 funny. P'' has 4 instructions, two of which are ( and ). the only instructions for tape control are move the tape to the right, and change the symbol of the currently selected tape cell, then move left. 06:43:12 sounds a lot like my language. 06:44:43 mainly the automatic shifting to the left. if you squint (and ignore the need for resizing), it looks like a queue.. 06:48:11 I can't find anything on the intended behavior of brainfuck with unbalanced parens, nor P''. 06:50:22 probably because it, y'know... doesn't exist. 06:56:52 -!- imode has quit (Ping timeout: 265 seconds). 07:27:43 -!- Frater_EST has joined. 07:36:05 -!- FraterEST has joined. 07:36:42 -!- Frater_EST has quit (Ping timeout: 245 seconds). 07:41:18 -!- Frater_EST has joined. 07:43:31 -!- FraterEST has quit (Ping timeout: 268 seconds). 07:51:03 -!- FraterEST has joined. 07:53:47 -!- Frater_EST has quit (Ping timeout: 245 seconds). 08:10:38 -!- cpressey has joined. 09:05:18 https://www.youtube.com/watch?v=5TFDG-y-EHs 09:10:04 rain2: you're late! 10:18:45 -!- LKoen has joined. 10:29:51 -!- arseniiv has joined. 10:48:25 'Entail' is to 'envelop' as 'detail' is to 'develop' 10:51:11 what's a velop? 10:55:54 int-e: A velociraptor without the cirapto. 10:56:06 ..uh, I mean, without the cirator. 10:56:16 Letters are hard. 10:57:22 ꙩ is squishy. 10:57:46 I was going to write a thing to run a gRPC session over a SSH pipe (not with port forwarding, just on top of the stdin/stdout streams of a SSH session), would gsrsphc be a good name, or should I just call it grpsshc? 11:01:16 "g* secure remote s procedure hell call" 11:02:15 That sounds appropriate. 11:12:33 'university' is to 1 as 'diversity' is to 2 11:12:39 (well, almost) 12:06:39 -!- FraterEST has quit (Ping timeout: 264 seconds). 12:14:25 -!- user24 has joined. 12:19:06 -!- LKoen has quit (Remote host closed the connection). 12:23:15 -!- LKoen has joined. 12:39:11 And, since it was pointed out that "tail-recursive" is a misnomer (because it also applies to functions that aren't recursive), I propose "tail-cursive" in its stead. 12:40:25 is "tail_cursive_" tail-cursive? 13:07:50 in markdown, sure 13:10:47 -!- user24 has quit (Quit: Leaving). 13:28:06 -!- LKoen has quit (Remote host closed the connection). 13:37:00 -!- LKoen has joined. 13:46:56 -!- LKoen has quit (Remote host closed the connection). 13:47:17 -!- LKoen has joined. 13:56:28 -!- Lykaina has joined. 13:57:03 A crypto crossword is where they give you the hash of all the answers 13:58:34 -!- LKoen has quit (Remote host closed the connection). 13:58:42 okay... 14:00:22 (as opposed to a cryptic crossword) 14:00:58 which is a simple substitution cipher 14:02:29 i remember doing the cryptics in the paper when i was in high school 14:02:59 (i had time and a good newspaper then) 14:14:12 didn't know about the Holy Etaoin Shrdlu then, though. that makes it easier. 14:17:13 -!- LKoen has joined. 14:21:57 -!- LKoen has quit (Ping timeout: 240 seconds). 14:35:08 I forgot what my claims on the next password of the month were :′( 14:35:34 ah I remember now 14:35:44 hehehe 14:46:40 -!- imode has joined. 15:05:41 -!- Sgeo has joined. 15:08:45 -!- Sgeo_ has quit (Ping timeout: 268 seconds). 15:59:24 -!- cpressey has quit (Quit: This is not a quit message.). 16:44:32 -!- Lord_of_Life_ has joined. 16:48:14 -!- Lord_of_Life has quit (Ping timeout: 276 seconds). 16:48:15 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 16:50:17 -!- imode has quit (Ping timeout: 240 seconds). 16:52:58 -!- sprocklem has quit (Ping timeout: 268 seconds). 16:59:05 -!- Lykaina has quit (Quit: leaving). 17:12:56 -!- zzo38 has quit (Ping timeout: 276 seconds). 17:29:54 -!- sprocklem has joined. 17:33:54 -!- LKoen has joined. 17:39:06 -!- imode has joined. 18:07:44 -!- sprocklem has quit (Ping timeout: 265 seconds). 18:17:44 -!- FreeFull has joined. 18:46:46 -!- sprocklem has joined. 18:53:20 -!- QazNotQuaz has joined. 19:10:20 good morning 19:11:04 hey kmc good morning 19:12:30 does sed count as an esolang? 19:13:10 i don't think so 19:13:16 regexes make a lot of sense 19:13:24 but i guess it can do other things 19:13:25 yes it does 19:14:11 I think it's mostly not an esolang, but perhaps it could've counted as one if it was freshly invented and not in widespread use 19:14:59 -!- QazNotQuaz has quit (Ping timeout: 260 seconds). 19:18:01 -!- QazNotQuaz has joined. 19:18:26 -!- imode has quit (Ping timeout: 240 seconds). 19:20:19 is there anything particular i need to do if i want to make a derivative of one of the languages on the wiki? 19:20:35 The language might not count as an esolanguage, but arguably the "serious" sed programs count as esoprograms. 19:21:21 I was writing a Befunge-93 interpreter in sed at one point, though I think I never finished it. 19:21:29 -!- imode has joined. 19:22:14 2D languages sounds a bit messy to interpret in sed 19:22:20 It looks sort of semi-complete, it's got a playfield representation and moving-around functions. 19:23:14 Befunge-93 has a fixed-size playfield, which makes it a little easier. 19:23:54 Here's a representative sample: http://ix.io/1X4N 19:24:04 are there something like 2D regexps? I had some vague idea about making ascii games in a sed dialect using something like that 19:24:14 It's the bit that takes the current IP and uses it to fetch the next instruction. 19:24:19 -!- LKoen has quit (Remote host closed the connection). 19:24:37 -!- LKoen has joined. 19:25:10 (All the numbers were in binary, unary might've been simpler.) 19:26:18 unary sounds painfully space-inefficient though, id think 19:27:37 Well, these specific numbers never go higher than 80, it's not too bad. 19:28:29 isn't that the whole width of your befunge-93 field? 19:28:43 -!- ineiros_ has joined. 19:32:58 -!- ineiros has quit (Ping timeout: 245 seconds). 19:41:48 -!- QazNotQuaz has quit (Remote host closed the connection). 19:45:05 How to define equality of lambda terms? 19:51:15 you can't. 19:53:03 -!- arseniiv has quit (Ping timeout: 250 seconds). 19:55:33 -!- LKoen_ has joined. 19:57:29 wrong 19:58:20 structural equality is about the only meaningful option 19:58:28 you can’t tell if they’ll produce the same results 19:58:53 -!- LKoen has quit (Ping timeout: 246 seconds). 20:00:03 -!- sprocklem has quit (Ping timeout: 264 seconds). 20:00:48 at least if you want equality to be decidable. 20:02:02 it shouldn't be decidable 20:03:14 you have a choice between structural and semantic equality, the latter of which is not decidable. 20:05:23 strcmp or zalgo 20:06:32 lol 20:06:37 well not quite strcmp :P 20:06:54 you have to keep track of an alpha-conversion as you go 20:15:47 unless it's using de bruijn indices 20:15:53 good shit 21:08:30 -!- imode has quit (Ping timeout: 265 seconds). 21:27:10 de bruijn indices are good for everything except anything 21:30:49 de Buijn indices are great for syntactical comparison of lambda terms, and as a starting point for evaluation by a Krivine style machine. 21:31:13 de bruijn indices are great 21:31:14 So that's two concrete use cases. 21:31:20 i'm a fan 21:31:33 Ah did I drop the 'r' while captializing (properly!)... 21:31:40 That was not intended. 21:32:30 shachaf: Btw, do you like this? https://www.sinfest.net/view.php?date=2019-09-24 21:33:24 Is this that? 21:34:14 To my mind that is close enough to this to conflate the two in both contexts. 21:34:54 (Join me in my war on quotation marks!) 21:49:08 -!- sprocklem has joined. 21:55:51 -!- LKoen_ has quit (Remote host closed the connection). 21:56:10 -!- LKoen has joined. 22:03:00 `5 22:03:01 1/2:988) healthy immune system is a wonderful thing, you gotta take advantage sometimes i eat food off the ground just to keep mine on its toes \ 108) how does a "DNA computer" work. von neumann machines? CakeProphet, that's boring in the context of DNA. It's just stealing the universe's work and passing it off as our own. \ 395) I have a WRT120N Gregor: The W 22:03:26 `n 22:03:27 2/2:RT160NL has 40 units more of... stuff. Plus an L. \ 787) the scene: it is a warm summer's day in scotland, although one obscured by cloud and the fact that it is september \ 611) but yeah the caliphates expanded their empire by conquering people and then forcing them to either convert to Islam or die. [...] i thought it was sort of, convert to islam or pay extra taxes, but i guess it varied a lot. 22:27:03 kmc: higan 22:27:11 Ted Chiang's new book is TG 22:27:51 Turing-Gödel? 22:27:58 that's right 22:28:25 scifi, specfi, hmm, which is it? 22:28:52 What are those? 22:29:46 i bought a copy 22:29:52 as an anniversary gift for my wife 22:29:55 but i'll probably read it too 22:30:00 this is Exhalation? 22:33:21 yes 22:34:34 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”). 22:41:23 int-e: you can read the titular story at http://www.lightspeedmagazine.com/fiction/exhalation/ 22:41:34 it's good 22:42:11 then you can tell me whether it's scissor fiction or spectacle fiction 22:46:20 where's the tl;dr 22:46:48 tg;dr 22:47:37 I can't read this now... I'll hate it no matter what's in there. 22:49:02 `quote negativity 22:49:03 hmm 22:49:03 No output. 22:49:31 here's a v. short story in that book: https://www.nature.com/articles/436150a 22:56:11 the titular story is so good 22:56:19 it was in his previous book 22:56:23 but i guess a lot of this book is new 22:56:25 I don't think so? 22:56:29 hm 22:56:34 well i know i read it before this one came out 22:56:35 anyway 22:57:05 the one-word summary is ragebcl 22:57:25 I guess that's not much of a spoiler. 22:57:39 o_O 22:57:52 But I like the way it's presented. 23:00:53 fungot: do you believe in free will? 23:00:54 int-e: well, ladies and gentlemen were assembled there. he knows that he belongs to a nation revolutionary as nature, powerful as freedom, ardent as the saltpetre which she has been herself, i believe, by a curious fnord, there has been, a real alliance between the two countries; there will be noise, and fnord, and they were forced to endure robespierre. 23:02:22 ^style 23:02:22 Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft nethack oots pa qwantz sms speeches* ss wp ukparl youtube 23:02:31 ^style ukparl 23:02:31 Selected style: ukparl (UK Parliament debates from brexit referendum to late 2018) 23:02:42 fungot: order! order! 23:02:42 shachaf: on a more serious point, my hon. and learned friend the member for central ayrshire, to withdraw, the timetable the government are 23:03:12 fungot: order! 23:03:12 shachaf: the it changes the government are at. that is the point, did the scottish parliament, which is currently the only other member. knowing the hon. member the leave of the house, 23:06:20 -!- FreeFull has quit. 23:07:07 my right honourable and learned friend, fungot 23:07:08 shachaf: and the situation that, much energy and many months, and in fnord the hospital opened. the group is 23:09:26 Hmm, what did happen in UKParl the last two days... 23:10:02 (Besides "a lot"... The house of commons was in session for 19h total.) 23:11:34 Oh and what's the significance of people standing behind the white line during a session? 23:12:38 What white line? 23:13:08 http://www.explore-parliament.net/nssMovies/09/0928/0928_.htm ? 23:13:43 yeah 23:14:25 so members of the press may be beyond the line, for example? 23:14:32 "strangers" 23:30:32 hah. "members of opposing parties should always be two sword lengths apart"