←2017-02-18 2017-02-19 2017-02-20→ ↑2017 ↑all
00:05:16 -!- Lord_of_Life has quit (Excess Flood).
00:06:42 <rdococ> 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 <fizzie> `fetch wisdom/`edit http://hackego.esolangs.org/get/wisdom/%60edit
00:59:23 <HackEgo> 2017-02-19 00:59:05 URL:http://hackego.esolangs.org/get/wisdom/%60edit [187/187] -> "wisdom/`edit" [1]
01:05:21 <HackEgo> [wiki] [[Special:Log/newusers]] create * DanielJohnBenton * New user account
01:11:01 -!- hppavilion1 has joined.
01:13:30 -!- oerjan has joined.
01:17:17 <oerjan> 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 <oerjan> 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 <ais523> go on
01:18:54 <oerjan> (1 for polite)
01:19:50 <oerjan> 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 <oerjan> (and succeed if stack empty at the end)
01:22:19 <oerjan> 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 <ais523> right, this makes sense
01:23:39 <oerjan> 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 <oerjan> (the exception being that this is the only case where removing will push the remaining density out of the interval.)
01:27:25 <oerjan> 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 <oerjan> with some corner cases when the original string has just one 1.
01:31:41 <oerjan> 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 <oerjan> 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 <oerjan> *then you need
01:35:43 <oerjan> 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 <oerjan> er * <= 1/3
01:37:37 <oerjan> 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 <oerjan> * >= 1/4
01:38:43 <oerjan> 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 <oerjan> (i never seemed to name a (2) above)
01:40:36 -!- pikhq has joined.
01:46:10 <oerjan> *-(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 <HackEgo> [wiki] [[Special:Log/newusers]] create * Mattmon666 * New user account
02:06:51 <oerjan> `? `edit
02:06:52 <HackEgo> ​`edit <file> 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 <DHeadshot> 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 <shachaf> oerjan: it's out of my hands hth
02:21:50 <DHeadshot> 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 <oerjan> functions should not be 1600 lines long </haskeller>
02:22:42 -!- MDude has quit (Quit: MDude).
02:23:10 <DHeadshot> 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 <shachaf> haskell functions are 1600 icache lines long hth
02:23:30 <oerjan> `? icache
02:23:31 <HackEgo> icache? ¯\(°​_o)/¯
02:23:54 <shachaf> 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 <rdococ> hi
02:26:59 <DHeadshot> hi rdococ ("hellococ"?)
02:27:07 <rdococ> hellodoc
02:27:15 <DHeadshot> OK
02:27:33 <rdococ> helloshot
02:27:45 <rdococ> shichaf
02:27:52 <rdococ> oerjello
02:28:03 * oerjan wobbles
02:28:42 * rdococ wibbles
02:28:46 <oerjan> rdevenicoc
02:29:01 <rdococ> oevenijan
02:48:18 <HackEgo> [wiki] [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=51032&oldid=51025 * Mattmon666 * (+265) My introduction
02:48:58 <HackEgo> [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 <rdococ> chicken chicken chicken chicken chicken
02:58:02 <fizzie> oerjan: Clearly the `edit-`fetch cycle needs a way to specify a commit message addendum.
02:58:49 <DHeadshot> 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 <DHeadshot> Though I have waited since 2009 when I came up with it...
03:00:02 <shachaf> fizzie: just s,//.*,, the request URL hth
03:02:56 <pikhq> rdococ: Zongker, D. (2006). "Chicken Chicken Chicken: Chicken Chicken". Annals of Improbable Research. 12 (5): 16-21.
03:03:00 <pikhq> [citation provided]
03:06:05 <shachaf> hikhq
03:06:13 <shachaf> how big is oerjan's L1 icache twh
03:08:26 <Jafet> probably smaller than 1600 lines
03:08:56 <pikhq> Somewhere between 0 and 2^(2^64-1) bytes.
03:09:04 <shachaf> > 1600*64
03:09:07 <lambdabot> 102400
03:09:23 <shachaf> that's a lot of bytes
03:09:41 <rdococ> tasty
03:14:17 -!- moonythedwarf has quit (Ping timeout: 260 seconds).
03:14:21 <HackEgo> [wiki] [[Mostawesomeprogramminglanguage]] https://esolangs.org/w/index.php?diff=51034&oldid=51033 * Mattmon666 * (+460) Language Compiler
03:16:24 <HackEgo> [wiki] [[Special:Log/newusers]] create * Coder12345 * New user account
03:17:09 <DHeadshot> @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 <lambdabot> Consider it noted.
03:20:29 <oerjan> shckng
03:21:35 <shachaf> `? oerjan
03:21:36 <HackEgo> 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 <shachaf> `? amortized
03:22:16 <HackEgo> An amortized word is a word that oerjan can never remember.
03:24:57 <rdococ> is there something for me to rdoscover?
03:26:44 <rdococ> no?
03:26:46 <rdococ> :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 <hppavilion1> 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 <boily> @massages-loud
13:55:59 <lambdabot> You don't have any messages
13:58:35 <rdococ> You don't have any massages
13:59:00 <boily> rdochelloc. it's a feature I sometimes pester int-e for.
13:59:47 <int-e> 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 <boily> <_<'... >_>;...
14:00:41 <int-e> (while leaving other channels unaffected)
14:01:08 <int-e> oerjan too, of course.
14:01:23 <rdococ> 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 <boily> grilling zombies ♪
14:51:27 <int-e> "grilling zombies" ... About 671 results
14:52:10 <int-e> although as usual thge number drops quickly: "Page 5 of about 45 results"
14:52:41 -!- kiki` has joined.
14:53:01 <int-e> or, with "duplicates", Page 20 of about 198 results
14:53:05 * int-e shrugs
14:53:10 <int-e> not sure what to make of that.
15:01:18 <rdococ> 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 <oerjan> 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 <oerjan> fizzie: wiki bridge is down
17:37:08 <oerjan> wait, HackEgo is.
17:37:33 <oerjan> it's doing that non-joining thing again.
17:38:08 <oerjan> . o O ( clearly we need a command to ask it to join #esoteric )
17:42:01 <erkin> Can we ask it to join other channels?
17:42:45 <oerjan> i'm not sure we want to do that.
17:44:01 <oerjan> 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 <fizzie> oerjan: It's supposed to autojoin, but I think there's a known timing-related issue.
18:16:04 <fizzie> Essentially it starts a socat for the multibot, then does a sleep 10, and sends the autojoin commands.
18:19:46 <oerjan> it does manage to connect though
18:20:02 <oerjan> maybe there's some response it should be waiting for
18:30:51 <fizzie> That's very hard, because the autojoin is not sent by multibot.
18:31:03 <fizzie> It's just the shell script waiting for a fixed amount of time and then spewing it in.
18:31:43 <fizzie> 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 <oerjan> mhm
18:32:04 <fizzie> As everything else in HackEgo, it's a very hacky system.
18:32:13 -!- PinealGlandOptic has joined.
18:32:32 <fizzie> I could build a "please try to join #esoteric" button on the website, I guess.
18:32:39 <oerjan> 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 <DHeadshot> TFW your function is over 2800 lines long and you're still under half-way through writing it!
21:18:53 <int-e> `? tfw
21:18:59 <HackEgo> tfw? ¯\(°​_o)/¯
21:19:11 <DHeadshot> "That Feeling When"
21:19:20 <int-e> ah, thanks
21:20:17 <DHeadshot> 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 <DHeadshot> I assume you're the same int-e...
21:21:05 <int-e> well, 20 years older
21:21:42 <int-e> (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 <boily> @massages-loud
22:24:38 <lambdabot> 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 <HackEgo> [wiki] [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=51038&oldid=51032 * Ganondork * (+199) /* Introductions */
23:44:49 <HackEgo> [wiki] [[Worstscript]] M https://esolangs.org/w/index.php?diff=51039&oldid=38885 * Ganondork * (-1) corrected 'wildely' to 'widely'
23:50:43 <Taneb> 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 <zzo38> 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 <Taneb> zzo38, yes, it does
23:53:38 <Taneb> But the issue is icu's public interface is all C-style macros, which Rust doesn't use
23:54:17 <Taneb> 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 <Taneb> Because icu has somewhere in it "#define ucol_open ucol_open_52"
23:55:06 <Taneb> And Rust doesn't see that (because it is not using the C preprocessor)
23:55:31 <zzo38> Make the program to convert C macros into Rust macros so that Rust does see that.
23:55:51 <Taneb> I am not sure that that is in general possible
23:56:21 <Taneb> 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 <Taneb> And because this is a C file the macro is ran
23:56:52 <Taneb> But because it's an actual function I can bind to it easier
←2017-02-18 2017-02-19 2017-02-20→ ↑2017 ↑all