00:05:16 -!- Lord_of_Life has quit (Excess Flood). 00:06:42 HELLO 00:08:59 -!- Lord_of_Life has joined. 00:13:34 -!- Sgeo has quit (Read error: Connection reset by peer). 00:15:03 -!- Sgeo has joined. 00:37:09 -!- furozo has joined. 00:44:14 -!- augur has joined. 00:45:13 -!- Marcela_Gandara1 has joined. 00:56:58 -!- Marcela_Gandara1 has quit (Read error: Connection reset by peer). 00:59:22 `fetch wisdom/`edit http://hackego.esolangs.org/get/wisdom/%60edit 00:59:23 2017-02-19 00:59:05 URL:http://hackego.esolangs.org/get/wisdom/%60edit [187/187] -> "wisdom/`edit" [1] 01:05:21 [wiki] [[Special:Log/newusers]] create * DanielJohnBenton * New user account 01:11:01 -!- hppavilion1 has joined. 01:13:30 -!- oerjan has joined. 01:17:17 ais523: so i thought about INTERCAL politeness and if my calculations are correct, i can now give an explicit ambiguous CF grammar, which is even simpler to state as an NDFA algorithm 01:18:41 O ::= S 0 S; I := S 1 S; S := | I O O | O I O | O O I | I O O O | O I O O | O O I O | O O O I | I O O O O | O I O O O | O O I O O | O O O I O | O O O O I 01:18:42 go on 01:18:54 (1 for polite) 01:19:50 as an NDFA algorith: push each bit to stack, and whenever the top 3-5 elements have exactly one 1, consider possibly popping them all. 01:20:44 (and succeed if stack empty at the end) 01:22:19 the key observations are: (1) if density < 1/4, you can find a substring with 4 0's and 1 1, and remove it. If density is >= 1/4, you can do the same with 2 0's and 1 1. 01:23:30 right, this makes sense 01:23:39 Um, for the latter, there needs to be at least two 1's in the string, because of the exceptions with 3 0's and one 1. 01:24:06 -!- Marcela_Gandara1 has joined. 01:24:22 (the exception being that this is the only case where removing will push the remaining density out of the interval.) 01:27:25 the fact that you can find such substrings is essentially the pigeonhole principle applied to the average length of 0*10* substrings. 01:29:14 with some corner cases when the original string has just one 1. 01:31:41 if no 1 in the string has more than 3 0's bordering it, then the total number of 0's is at most 3/2 * n + 3, where n is the number of 1's. 01:32:31 and if the density < 1/4, then 3/2 * n + 3 > 3*n, or n < 2. 01:32:41 -!- pikhq has quit (Ping timeout: 240 seconds). 01:33:03 *then you need 01:35:43 similarly, if no 1 has more than one 0 bordering it, you get, um, just n + 1, which must be >= 2*n to get density >= 1/3. so n <= 1. 01:36:08 er * <= 1/3 01:37:37 in the latter case, you don't need density <= 1/4 to find the substring, but you need it to not push the remaining density too high. 01:38:04 * >= 1/4 01:38:43 i've got the order of density switched in my head because i've been thinking in terms of 0's divided by 1's. :P 01:40:24 (i never seemed to name a (2) above) 01:40:36 -!- pikhq has joined. 01:46:10 *-(1) 01:50:14 -!- PinealGlandOptic has joined. 01:56:06 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 01:56:46 -!- Marcela_Gandara1 has quit (Read error: Connection reset by peer). 02:06:32 [wiki] [[Special:Log/newusers]] create * Mattmon666 * New user account 02:06:51 `? `edit 02:06:52 ​`edit gives you a url, then in your browser: (1) Press Sync (unless making a new file) (2) Make your changes (3) Press Save (4) Paste the command line at the top into the channel. 02:08:28 * oerjan is a bit worried that `edit might mean more useless HackEgo history 02:16:04 This ridiculous function I've ended up writing is already 1600 lines long and is barely started! I think I'm giving up on it for tonight - it *is* gone 2 AM after all... 02:17:57 oerjan: it's out of my hands hth 02:21:50 There's probably a more efficient way to write this stupid thing, but my brain is too frazzled to work it out... 02:22:17 functions should not be 1600 lines long 02:22:42 -!- MDude has quit (Quit: MDude). 02:23:10 This is in C, but you're probably right. And it'll be probably 10 x that when finished, which is rather silly... 02:23:14 -!- MDude has joined. 02:23:14 haskell functions are 1600 icache lines long hth 02:23:30 `? icache 02:23:31 icache? ¯\(°​_o)/¯ 02:23:54 instruction cache hth 02:24:55 * oerjan doesn't know how those work, anyway. and especially not how big they are. 02:25:17 * DHeadshot hasn't got his head round haskell anyway 02:25:34 -!- furozo has quit (Quit: furozo). 02:25:58 hi 02:26:59 hi rdococ ("hellococ"?) 02:27:07 hellodoc 02:27:15 OK 02:27:33 helloshot 02:27:45 shichaf 02:27:52 oerjello 02:28:03 * oerjan wobbles 02:28:42 * rdococ wibbles 02:28:46 rdevenicoc 02:29:01 oevenijan 02:48:18 [wiki] [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=51032&oldid=51025 * Mattmon666 * (+265) My introduction 02:48:58 [wiki] [[Mostawesomeprogramminglanguage]] N https://esolangs.org/w/index.php?oldid=51033 * Mattmon666 * (+47702) Initial creation 02:51:38 -!- augur has quit (Remote host closed the connection). 02:52:43 -!- Zarutian has quit (Quit: Zarutian). 02:52:50 chicken chicken chicken chicken chicken 02:58:02 oerjan: Clearly the `edit-`fetch cycle needs a way to specify a commit message addendum. 02:58:49 I've always hesitated from posting my esolang to the Wiki as it should probably be online somewhere else first to provide some level of legitimacy... 02:59:06 Though I have waited since 2009 when I came up with it... 03:00:02 fizzie: just s,//.*,, the request URL hth 03:02:56 rdococ: Zongker, D. (2006). "Chicken Chicken Chicken: Chicken Chicken". Annals of Improbable Research. 12 (5): 16-21. 03:03:00 [citation provided] 03:06:05 hikhq 03:06:13 how big is oerjan's L1 icache twh 03:08:26 probably smaller than 1600 lines 03:08:56 Somewhere between 0 and 2^(2^64-1) bytes. 03:09:04 > 1600*64 03:09:07 102400 03:09:23 that's a lot of bytes 03:09:41 tasty 03:14:17 -!- moonythedwarf has quit (Ping timeout: 260 seconds). 03:14:21 [wiki] [[Mostawesomeprogramminglanguage]] https://esolangs.org/w/index.php?diff=51034&oldid=51033 * Mattmon666 * (+460) Language Compiler 03:16:24 [wiki] [[Special:Log/newusers]] create * Coder12345 * New user account 03:17:09 @tell hppavilion1, I think I remember you saying you invented "cbrt" for cuberoot and no-one else used it? Um, they do now... http://www.cplusplus.com/reference/cmath/cbrt/ 03:17:09 Consider it noted. 03:20:29 shckng 03:21:35 `? oerjan 03:21:36 Your wise ass-@messages-lord fanfic oerjan is a lazy expert in future computation. Also a Glasswegian who dislikes Roald Dahl. He could never remember the word "amortized" so he put it here for convenience; but lately it's the only word he can ever remember. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. 03:22:15 `? amortized 03:22:16 An amortized word is a word that oerjan can never remember. 03:24:57 is there something for me to rdoscover? 03:26:44 no? 03:26:46 :c 03:27:41 -!- hppavilion2 has joined. 03:30:37 -!- hppavilion1 has quit (Ping timeout: 260 seconds). 03:31:56 -!- hppavilion1 has joined. 03:35:49 -!- hppavilion2 has quit (Ping timeout: 268 seconds). 03:36:14 -!- hppavilion1 has quit (Ping timeout: 255 seconds). 03:36:54 -!- hppavilion1 has joined. 03:37:51 -!- moonythedwarf has joined. 03:39:48 -!- moonythedwarf has quit (Read error: Connection reset by peer). 03:40:08 -!- moonythedwarf has joined. 03:52:20 -!- moonythedwarf has quit (Ping timeout: 240 seconds). 04:02:06 -!- moonythedwarf has joined. 04:18:07 -!- furozo has joined. 04:19:00 I got a highlight 04:19:09 -!- augur has joined. 04:24:45 -!- DHeadshot has quit (Ping timeout: 260 seconds). 04:37:10 -!- erkin has joined. 04:37:32 -!- PinealGlandOptic has quit (Quit: leaving). 04:41:55 -!- IRCFrEAK has joined. 04:41:56 -!- IRCFrEAK has left. 04:55:53 -!- furozo has quit (Quit: furozo). 05:30:43 -!- APic has quit (Ping timeout: 258 seconds). 05:34:18 -!- ais523 has quit. 05:34:45 -!- erkin has quit (Ping timeout: 260 seconds). 05:40:59 -!- staffehn has quit (Ping timeout: 240 seconds). 05:43:35 -!- APic has joined. 05:45:30 -!- staffehn has joined. 05:55:36 -!- kiki` has quit (Quit: Connection closed for inactivity). 05:59:28 -!- oerjan has quit (Quit: Nite). 06:39:35 -!- hppavilion1 has quit (Ping timeout: 268 seconds). 07:24:00 -!- MoALTz has joined. 08:00:29 -!- lambdabot has quit (Ping timeout: 240 seconds). 08:06:44 -!- lambdabot has joined. 08:45:23 -!- moonythedwarf has quit (Ping timeout: 268 seconds). 08:47:20 -!- augur has quit (Remote host closed the connection). 09:05:07 -!- hppavilion1 has joined. 09:15:41 -!- hppavilion1 has quit (Ping timeout: 240 seconds). 09:28:19 -!- AnotherTest has joined. 09:31:57 -!- ChatSharp has joined. 09:34:20 -!- ChatSharp has left. 09:53:42 -!- augur has joined. 10:07:31 -!- augur has quit (Remote host closed the connection). 13:05:10 -!- ybden has quit (Quit: ybden). 13:06:08 -!- ybden has joined. 13:15:44 -!- Phantom_Hoover has joined. 13:38:22 -!- boily has joined. 13:44:04 -!- erkin has joined. 13:55:59 @massages-loud 13:55:59 You don't have any messages 13:58:35 You don't have any massages 13:59:00 rdochelloc. it's a feature I sometimes pester int-e for. 13:59:47 boily: no, you're pestering me for a feature that allows me to set the edit distance tolerance for #esoteric to 0. 14:00:37 <_<'... >_>;... 14:00:41 (while leaving other channels unaffected) 14:01:08 oerjan too, of course. 14:01:23 hoily boily 14:10:53 -!- erkin has quit (Ping timeout: 260 seconds). 14:13:27 -!- LKoen has joined. 14:24:54 -!- erkin has joined. 14:30:49 -!- LKoen has quit (Remote host closed the connection). 14:43:57 grilling zombies ♪ 14:51:27 "grilling zombies" ... About 671 results 14:52:10 although as usual thge number drops quickly: "Page 5 of about 45 results" 14:52:41 -!- kiki` has joined. 14:53:01 or, with "duplicates", Page 20 of about 198 results 14:53:05 * int-e shrugs 14:53:10 not sure what to make of that. 15:01:18 bytecode 15:10:59 -!- Zarutian has joined. 15:40:14 -!- moonythedwarf has joined. 15:50:44 -!- DHeadshot has joined. 16:17:04 -!- HackEgo has quit (Remote host closed the connection). 16:18:20 -!- moonythedwarf has quit (Read error: Connection reset by peer). 16:21:17 -!- oerjan has joined. 16:25:04 int-e: i have no idea why a bit of @messages-loud wordplay would annoy you... 16:27:39 -!- Akaibu has quit (Quit: Connection closed for inactivity). 16:42:12 -!- DHeadshot has quit (Ping timeout: 260 seconds). 17:07:54 -!- Sprocklem has joined. 17:11:15 -!- boily has quit (Quit: HIVE CHICKEN). 17:26:10 -!- DHeadshot has joined. 17:35:32 -!- augur has joined. 17:36:51 fizzie: wiki bridge is down 17:37:08 wait, HackEgo is. 17:37:33 it's doing that non-joining thing again. 17:38:08 . o O ( clearly we need a command to ask it to join #esoteric ) 17:42:01 Can we ask it to join other channels? 17:42:45 i'm not sure we want to do that. 17:44:01 well, it accepts private messages, so it probably would have no technical problem with other channels. 17:44:32 -!- augur has quit (Remote host closed the connection). 17:45:22 -!- LKoen has joined. 17:54:55 -!- Melvar` has changed nick to Melvar. 18:07:29 -!- Zarutian has quit (Ping timeout: 260 seconds). 18:14:25 -!- HackEgo has joined. 18:14:39 oerjan: It's supposed to autojoin, but I think there's a known timing-related issue. 18:16:04 Essentially it starts a socat for the multibot, then does a sleep 10, and sends the autojoin commands. 18:19:46 it does manage to connect though 18:20:02 maybe there's some response it should be waiting for 18:30:51 That's very hard, because the autojoin is not sent by multibot. 18:31:03 It's just the shell script waiting for a fixed amount of time and then spewing it in. 18:31:43 It doesn't have a reasonable way of waiting until something comes out. Well, except by polling at the logfile or something. 18:31:58 mhm 18:32:04 As everything else in HackEgo, it's a very hacky system. 18:32:13 -!- PinealGlandOptic has joined. 18:32:32 I could build a "please try to join #esoteric" button on the website, I guess. 18:32:39 heh 18:36:27 -!- LKoen has quit (Remote host closed the connection). 18:49:37 -!- oerjan has quit (Quit: Later). 18:55:58 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 19:03:52 -!- krok_ has joined. 19:06:47 -!- LKoen has joined. 19:10:11 -!- Phantom_Hoover has joined. 19:10:11 -!- Phantom_Hoover has quit (Changing host). 19:10:11 -!- Phantom_Hoover has joined. 19:26:14 -!- LKoen has quit (Remote host closed the connection). 19:31:16 -!- LKoen has joined. 19:33:20 -!- LKoen has quit (Remote host closed the connection). 19:45:04 -!- augur has joined. 19:48:14 -!- PinealGlandOptic has quit (Quit: leaving). 19:49:19 -!- augur has quit (Ping timeout: 240 seconds). 20:17:25 -!- sebbu2 has joined. 20:18:21 -!- augur has joined. 20:18:41 -!- sebbu has quit (Disconnected by services). 20:18:44 -!- sebbu2 has changed nick to sebbu. 20:22:19 -!- augur has quit (Ping timeout: 240 seconds). 20:52:52 -!- sebbu2 has joined. 20:56:09 -!- int-e has quit (Quit: Reconnecting). 20:56:16 -!- int-e has joined. 20:56:45 -!- sebbu has quit (Ping timeout: 268 seconds). 21:07:41 -!- sebbu has joined. 21:10:58 -!- sebbu2 has quit (Ping timeout: 240 seconds). 21:11:39 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 21:12:28 -!- sebbu has quit (Ping timeout: 240 seconds). 21:12:33 -!- sebbu has joined. 21:14:29 -!- Zarutian has joined. 21:14:33 -!- LKoen has joined. 21:17:51 TFW your function is over 2800 lines long and you're still under half-way through writing it! 21:18:53 `? tfw 21:18:59 tfw? ¯\(°​_o)/¯ 21:19:11 "That Feeling When" 21:19:20 ah, thanks 21:20:17 BTW, int-e, your tiny BF interpreter is amazing! I was looking through it on Friday in the hopes of getting it to run on the Atari Portfolio... 21:20:33 -!- erkin has quit (Quit: Leaving). 21:20:40 I assume you're the same int-e... 21:21:05 well, 20 years older 21:21:42 (if that's the 97 bytes DOS one) 21:27:40 -!- Phantom_Hoover has joined. 21:35:10 -!- sebbu has quit (Quit: cycling). 21:36:01 -!- sebbu has joined. 21:45:19 -!- DHeadshot has quit (Ping timeout: 240 seconds). 21:58:14 -!- 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:10:54 -!- boily has joined. 22:24:37 @massages-loud 22:24:38 You don't have any messages 22:40:59 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 22:45:36 -!- kiki` has quit (Quit: Connection closed for inactivity). 22:51:55 -!- DHeadshot has joined. 23:01:11 -!- DHeadshot has quit (Ping timeout: 240 seconds). 23:04:57 -!- augur has joined. 23:10:35 -!- krok_ has quit (Remote host closed the connection). 23:11:40 -!- Zarutian has quit (Quit: Zarutian). 23:12:48 -!- Lord_of_Life has quit (Excess Flood). 23:14:59 -!- Lord_of_Life has joined. 23:18:41 -!- tromp__ has joined. 23:18:41 -!- tromp has quit (Read error: Connection reset by peer). 23:29:57 -!- kiki` has joined. 23:33:38 -!- hppavilion1 has joined. 23:36:07 -!- oerjan has joined. 23:43:57 [wiki] [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=51038&oldid=51032 * Ganondork * (+199) /* Introductions */ 23:44:49 [wiki] [[Worstscript]] M https://esolangs.org/w/index.php?diff=51039&oldid=38885 * Ganondork * (-1) corrected 'wildely' to 'widely' 23:50:43 I have succeeded in working around the "C library actually exports macros masking the actual function which makes binding nicely a pain" issue in my very partial Rust icu bindings! 23:51:58 I think Rust has more sophisticated macros than C though? I don't actually know much about it, but I thought so 23:53:17 zzo38, yes, it does 23:53:38 But the issue is icu's public interface is all C-style macros, which Rust doesn't use 23:54:17 So if I am writing a binding for it I either have to do something clever, or bind to something like ucol_open_52 where 52 is I think a version number and internal implementation detail 23:54:40 Because icu has somewhere in it "#define ucol_open ucol_open_52" 23:55:06 And Rust doesn't see that (because it is not using the C preprocessor) 23:55:31 Make the program to convert C macros into Rust macros so that Rust does see that. 23:55:51 I am not sure that that is in general possible 23:56:21 What I have done instead is to make a C file that defines functions called "__rs_ucol_open" that calls the visible name 23:56:41 And because this is a C file the macro is ran 23:56:52 But because it's an actual function I can bind to it easier