00:11:49 <int-e> Taneb: seems a bit far-stretched to me... though I will reconsider my opinion if the train starts eating townsfolk.
00:15:58 <oerjan> are you discussing girl genius
00:16:22 -!- hppavilion[1] has joined.
00:17:37 <int-e> no, Agatha is an angel, she would not conspire against anybody *runs* *ducks*
00:18:30 <oerjan> i was mostly imagining the train going rogue again
00:18:59 <int-e> I'm waiting for the wasps
00:19:24 <boily> everybody's waiting for a girl-wasp-duck-train-thing ♪
00:19:28 <int-e> and I'm wondering whether even the Foglios know how many conspiracies are under way in Paris at this time :P
00:19:51 <int-e> as in, duck the train?
00:20:36 <int-e> http://www.irregularwebcomic.net/435.html
00:21:14 <int-e> (one of a few IWC strips that I still remember)
00:25:59 <int-e> shachaf: I bought Obduction and I think I'm enjoying it more than The Witness, though a lot of this joy may actually be nostalgia (it does remind me a lot of the Myst series, though the setting is quite different).
00:39:52 <\oren\> ok I just realized that the choreography for this song includes a nazi salute
00:40:11 <\oren\> and they cut it out from the official video lol
00:40:19 <oerjan> int-e: iwc is still ongoing hth
00:41:51 <oerjan> well there was a hiatus
00:41:53 <int-e> it ended, it resumed with reruns.
00:41:56 <\oren\> but all the live versions have jonghyun doing a hitler salute
00:42:10 <boily> he\\oren\. it looks like you are watching k-pop.
00:42:18 <oerjan> int-e: it's resumed with original comics since then hth
00:42:24 <\oren\> https://www.youtube.com/watch?v=Ic6LKBbv43k
00:42:33 <\oren\> boily: look what he does at 1:15
00:42:43 <int-e> the webcomic landscape has gotten much richer in the meantime
00:48:28 -!- augur has joined.
00:50:04 <\oren\> probably they didn't realize until the editing stage for the video? and realized that for an international audience they couldn't have those military looking uniforms *and* a nazi salute
01:08:00 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
01:10:20 -!- jaboja has quit (Ping timeout: 268 seconds).
01:11:14 <Sgeo> Is "1-bit ALU" in fact an accurate term to describe a logic gate that's reprogrammable with a 4-bit instruction?
01:14:20 -!- jaboja has joined.
01:29:24 <\oren\> Sgeo: calling it a "aritmetic and logic" unit might be iffy. maybe just a "LU"
01:32:02 <Sgeo> I do see references online to 1-bit ALUs
01:33:24 <HackEgo> [wiki] [[Special:Log/newusers]] create * Ehulinsky * New user account
02:02:53 -!- Warrigal has joined.
02:23:54 <zzo38> How many Z-machine implementations did you make up?
02:39:41 <Sgeo> I have made 0 Z-machine implementations, and 1 1-bit ALU.
02:40:13 <Sgeo> And a device that I don't think technically counts as an ALU because it doesn't accept an instruction, but rather outputs all the possible logic gates on different lines.
02:46:38 <zzo38> It should be easily enough converting numbers to/from PDP-endian with MMIX (by using a MOR instruction). If you need sign extensions, you can use MOR followed by SR.
02:49:22 <HackEgo> [wiki] [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=52135&oldid=52086 * Ehulinsky * (+51)
02:49:34 <HackEgo> [wiki] [[Drawkcab]] https://esolangs.org/w/index.php?diff=52136&oldid=14479 * Ehulinsky * (+405) Added link to compiler, added versions of drawkcab
02:50:02 <HackEgo> [wiki] [[User:Ehulinsky]] N https://esolangs.org/w/index.php?oldid=52137 * Ehulinsky * (+4) Created page with "Sup."
02:50:43 <HackEgo> [wiki] [[Drawkcab]] https://esolangs.org/w/index.php?diff=52138&oldid=52136 * Ehulinsky * (+3)
03:22:59 -!- boily has quit (Quit: SURVEILLANCE CHICKEN).
03:38:20 <shachaf> 19:32 <shachaf> So the Cantor set is the set of infinite paths through a complete infinite binary tree.
03:38:23 <shachaf> 19:33 <shachaf> The reals are what you get if you say that, if a path keeps going down the right branch forever, it reaches the same point as if you started at the next internal node over and went down the left branch forever.
03:39:33 <oerjan> well technically you only get the unit interval hth
03:48:39 <int-e> Sgeo: your device sounds wonderful, you could attach it to a 16 to 1 demux to obtain a 4 to 1 demux ;-)
03:50:15 -!- oerjan has quit (Quit: Nite).
03:50:39 <int-e> (this is probably about as useful as implementing an arbitrary boolean circuit with and, or, and at most two not gates)
03:56:15 <shachaf> oerjan: that's true but doesn't really change anything does it
03:56:25 <shachaf> you can just drop the leftmost and rightmost paths
03:58:06 <shachaf> Anyway, this is like a kind of graph, right?
03:58:17 <\oren\> https://youtu.be/GUf7hbpmFLg?t=2m19s <- I defy you to tell me that's not a hitler salute
03:58:28 <shachaf> Do graph people talk about these kinds of graphs?
04:20:18 -!- Zarutian has quit (Quit: Zarutian).
04:24:10 -!- sleffy has quit (Ping timeout: 240 seconds).
04:36:40 -!- jaboja has quit (Ping timeout: 255 seconds).
04:43:10 <HackEgo> 1/3:surreal number//Surrey numbers are very county, as long as they're not Spelthorne. \ hackego//HackEgo, also known as HackBot, is a bot that runs arbitrary commands on Unix. See `help for info on using it. You should totally try to hax0r it! Make sure you imagine it's running as root with no sandboxing. HackEgo is the slowest bot in all Mexico!
04:43:47 <HackEgo> 2/3:\ `1//`1 <cmd> is equivalent to `` <cmd>, except that it splits the output into irc-sized pieces. The next pieces can be viewed with `spam. See also `2. Confusingly almost the obvious generalization of `4. \ supermarioperator//supermarioperator is one of many confusing operators as defined in Control.Plumbers.Monad. Your sanity is in another ca
04:43:51 <HackEgo> 3/3:stle. \ dynamic-unwind//dynamic-unwind is just like dynamic-wind except that it's a different sort of weather.
04:44:27 <HackEgo> 10950:2017-05-24 <oerjän> slwd `1//s,ly,ly almost, \ 10918:2017-05-20 <shachäf> le/rn_append `1//Confusingly the obvious generalization of `4. \ 10917:2017-05-20 <oerjän> revert \ 10916:2017-05-20 <oerjän> le/rn_append `1//Confusingly _not_ the obvious generalization of `4. \ 10144:2017-01-19 <oerjän> learn `1 <cmd> is equivalent to `` <c
04:44:52 <zzo38> I found a new random number generator which is "PCG" that someone else told me on another IRC. Now I made a implementation of it with MMIX.
04:46:52 <shachaf> I'd rather fix `4 not to support quote.
04:47:16 <shachaf> People mostly use `5 with w, anyway.
04:48:25 <zzo38> (I also copied the C code into another C program, in order to test that it is same output. It is same output, so it is OK)
04:58:35 <zzo38> http://sprunge.us/BdWB
05:19:20 <zzo38> The first operand is the destination register and other two are source registers, the "U" means unsigned, # indicates hexadecimal, and the MOR instruction with the right operand #88442211 means that the high and low 32-bits are ORed together to produce a 32-bit result.
05:21:19 <zzo38> Only the stuff between the [[[[ ]]]] is the actual random number generator code; RNGCON and RNGMOR are also constants; RNGST is a variable; RNGINC can be either a constant or variable. The codes below the random number generator code are just used for output.
05:21:26 <shachaf> zzo38: Do you like mushrooms?
05:21:56 <zzo38> I don't know, I just don't
05:22:47 <shachaf> The taste, the appearance?
05:22:57 <shachaf> I think fungi are p. neat.
05:23:27 <zzo38> To eat, which is what I thought you meant.
05:23:54 <shachaf> Which kind don't you like to eat? All fungi?
05:25:25 <pikhq_> I suspect you eat bread?
05:26:59 <zzo38> Yes, but I don't like mushrooms.
05:28:08 <shachaf> pikhq_: Do you like mushrooms?
05:28:49 <HackEgo> 1185) <kmc> i came back here and misread my own statement as "fancy C++ mushrooms" \ 1239) <HackEgo> badger badger badger badger badger badger badger badger mushroom mushroom
05:29:10 <shachaf> kmc: whoa whoa whoa, what's this about fancy C++ mushrooms twh
05:29:26 <HackEgo> 11001:2017-06-06 <shachäf> slwd tanebvention//s/, sa/, mushrooms&/ \ 5869:2015-07-24 <Phantom_Hoovër> learn supermarionation is another name for the mushroom kingdom \ 5533:2015-06-12 <boil̈y> addquote <HackEgo> badger badger badger badger badger badger badger badger mushroom mushroom \ 5528:2015-06-12 <boil̈y> addquote <HackEgo> badger badge
05:29:45 <HackEgo> 2/2:adger badger badger badger mushroom mushroom \ 4625:2014-05-01 <oerjän> addquote <kmc> i came back here and misread my own statement as "fancy C++ mushrooms"
05:31:07 <kmc> I like mushrooms
05:31:23 <kmc> a C++ mushroom might be poisonous
05:31:30 <kmc> I like C++ too
05:31:34 <kmc> it's the best esolang
05:31:40 <zzo38> But do you like MMIX?
05:31:45 <kmc> zzo38: haven't used it
05:32:11 <shachaf> do you like honeypot megamix
05:32:18 -!- erkin has quit (Quit: Leaving).
05:32:26 <kmc> don't know what that is
05:32:28 -!- Warrigal has quit (Ping timeout: 240 seconds).
05:32:34 <shachaf> http://tinyurl.com/honeypot-megamix
05:32:38 <shachaf> i also don't know what it is
05:35:55 <zzo38> You can see MMIX program if you want to which is the program I linked is one such program.
05:36:57 -!- sleffy has joined.
05:38:33 <kmc> TIL that you can declare C++ methods like so: https://godbolt.org/g/Lc815M
05:38:37 <kmc> it slightly makes sense, but is also terrible
05:38:52 <kmc> I saw real code doing this and I was like... no
05:41:29 <shachaf> would you be opposed to "int get_x(), get_y();"
05:42:06 <pikhq_> I mean... Of course that works, but...
05:43:17 <kmc> shachaf: yes
05:43:21 <kmc> also hi pikhq_ :)
05:49:27 <shachaf> should c++ support void values
05:49:31 <shachaf> does rust support void values
05:49:57 <shachaf> should void just be a struct {} type rather than a built-in
06:01:47 <pikhq_> I dunno, but IIRC in GNU C sizeof(void) is 1.
06:07:14 <zzo38> I think the MOR instruction in MMIX can have many kind of uses, including: endianness conversion (including PDP-endian), bit rotation (combining with SLU), multiplying a unsigned 8-bit number by 257, etc.
06:07:39 -!- Sgeo_ has joined.
06:09:28 <zzo38> There is also the instruction MXOR, which is similar.
06:09:48 -!- Sgeo has quit (Ping timeout: 240 seconds).
06:10:54 <zzo38> There is no sign extension in MMIX other than loading aligned big-endian numbers and with SR instruction, although you can use MOR followed by SR in order to convert endianness including sign extension.
07:08:08 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
07:44:10 <zzo38> I found the wisdom file for "oya yakuman". I do know what it is; it is something in mahjong.
07:56:37 <HackEgo> [wiki] [[Language list]] https://esolangs.org/w/index.php?diff=52139&oldid=52094 * Ais523 * (+16) /* F */ +[[Footsteps]]
08:06:23 -!- hppavilion[1] has joined.
08:08:06 -!- augur has quit (Remote host closed the connection).
08:09:16 -!- augur has joined.
08:13:28 -!- augur has quit (Ping timeout: 240 seconds).
08:16:48 -!- sleffy has quit (Ping timeout: 240 seconds).
08:21:09 <HackEgo> [wiki] [[Footsteps]] N https://esolangs.org/w/index.php?oldid=52140 * Ais523 * (+3335) new language
08:21:52 <HackEgo> [wiki] [[User:Ais523]] https://esolangs.org/w/index.php?diff=52141&oldid=51665 * Ais523 * (+15) +[[Footsteps]]
08:27:32 -!- augur has joined.
08:32:08 -!- augur has quit (Ping timeout: 240 seconds).
09:13:21 -!- augur has joined.
09:17:48 -!- augur has quit (Ping timeout: 240 seconds).
09:17:56 -!- nullcone has quit (Quit: Connection closed for inactivity).
09:21:32 -!- augur has joined.
09:26:18 -!- augur has quit (Ping timeout: 246 seconds).
09:37:21 <HackEgo> [wiki] [[Language list]] https://esolangs.org/w/index.php?diff=52142&oldid=52139 * Ais523 * (+13) /* C */ +[[Conedy]]
10:06:38 <HackEgo> [wiki] [[Conedy]] N https://esolangs.org/w/index.php?oldid=52143 * Ais523 * (+3592) I've been meaning to write this for a while
10:07:12 <HackEgo> [wiki] [[User:Ais523]] https://esolangs.org/w/index.php?diff=52144&oldid=52141 * Ais523 * (+12) +[[Conedy
12:25:08 -!- erkin has joined.
12:41:02 -!- LKoen has joined.
12:54:07 -!- erkin has quit (Ping timeout: 240 seconds).
13:05:40 -!- hppavilion[1] has quit (Ping timeout: 268 seconds).
13:19:59 -!- erkin has joined.
13:20:13 -!- kerbal has joined.
13:23:14 -!- augur has joined.
13:27:54 -!- kerbal has quit (Quit: Page closed).
13:28:01 -!- augur has quit (Ping timeout: 246 seconds).
13:39:52 -!- boily has joined.
13:44:02 <HackEgo> dingas//The sound of a Baltic bell. It chimes like potatoes.
13:49:26 -!- erkin has quit (Ping timeout: 258 seconds).
14:17:05 -!- nullcone has joined.
14:18:02 -!- Warrigal has joined.
14:22:31 -!- jaboja has joined.
14:27:19 -!- augur has joined.
14:29:19 -!- jaboja has quit (Ping timeout: 255 seconds).
14:30:11 -!- jaboja has joined.
14:32:27 -!- augur has quit (Ping timeout: 240 seconds).
14:35:02 -!- oerjan has joined.
14:35:14 -!- LKoen has quit (Remote host closed the connection).
14:39:06 -!- LKoen has joined.
15:10:14 -!- jaboja has quit (Ping timeout: 268 seconds).
15:12:24 <oerjan> <shachaf> `5 q is not so bad <-- i don't think we have a q command.
15:12:28 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: q: not found
15:34:41 -!- jaboja has joined.
15:44:24 <int-e> . o O ( what would a question mark version of ❣ look like? )
15:46:23 <HackEgo> Frosty the Snowman / had a very shiny nose / And everywhere that Frosty went / the nose was sure to go.
15:46:52 <int-e> . o O ( ☃ is a pre-puddle )
16:10:27 -!- Sgeo_ has quit (Ping timeout: 240 seconds).
16:21:37 -!- Sgeo has joined.
16:26:32 -!- nullcone has quit (Quit: Connection closed for inactivity).
16:34:15 -!- LKoen has quit (Remote host closed the connection).
16:49:31 -!- boily has quit (Quit: SOAKED CHICKEN).
16:52:22 -!- LKoen has joined.
17:04:21 -!- erkin has joined.
17:06:06 -!- HackEgo has quit (Ping timeout: 260 seconds).
17:06:47 -!- HackEgo has joined.
17:11:01 -!- wob_jonas has joined.
17:11:05 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: slow: not found
17:11:17 <int-e> how does that command not exist :P
17:11:34 <int-e> I thought hackego implemented all four letter words by now.
17:12:31 <oerjan> you're confusing it with `slwo or `sowl, obviously.
17:13:20 <wob_jonas> both the GSL and the boost random library collect several historical random generators. funnily, neither of them currently have the generator from Stanford GraphBase, despite that there doesn't seem to be any obstacle of using it.
17:13:27 <oerjan> also, you need `sloa to check slowness outside wisdom/, naturally.
17:14:36 <wob_jonas> "<shachaf> should c++ support void values" => there are serious proposals for making it support void values. there's basically only two minor problems with it, and the proposal solves one of them.
17:16:06 <wob_jonas> The first problem is a syntactical ambiguity, because for C compatibility, int f(void); declares a zero-arg function, but if void is a type, then this looks as if it tried to declare a one-arg function. The proposal solves this by saying who cares, it's still a zero-arg function, and you should write int f(void a); or some other workaround if you w
17:16:07 <wob_jonas> ant to declare a one-arg function taking a void.
17:16:09 <oerjan> `learn An oal is a bird that is not necessarily wise.
17:16:13 <HackEgo> Learned 'oal': An oal is a bird that is not necessarily wise.
17:17:36 <int-e> . o O ( it disposes co-wisdom out of its co-beak? )
17:17:47 <wob_jonas> The second problem is that if void became a real type, then you could define overloads of the comma operator like int operator,(void x, mytype y); which breaks existing library function templates or macros that rightly assume that the comma operator with a void on either side isn't overloadable.
17:18:04 <oerjan> i'm sorry, but co-wisdoms are _so_ pre-rdococ
17:20:41 <int-e> . o O ( ironically, C uses f(void) for a zero-argument function for C compatibility )
17:21:36 <oerjan> that sounds more circular than ironic
17:21:54 <wob_jonas> int-e: no, I don't think so. int f(void); is entirely new to C, even the void keyword didn't exist before, it got added as disambiguation because int f(); was used to declare an old-style (non-prototype) function.
17:22:00 <int-e> oerjan: well, it is not actually circular.
17:22:23 <int-e> wob_jonas: yes, that's what I meant.
17:22:43 <wob_jonas> it uses int f(void); so that int f(); is C-compatible
17:22:55 <oerjan> so not circular, just roundabout
17:33:04 <alercah> wob_jonas: void f() was a thing for a long time wasn't it?
17:33:34 <wob_jonas> they just wrote int f() instead in older versions of C
17:33:50 <wob_jonas> or just f(); without a type, which defaulted to int for non-prototyped functions
17:34:37 <wob_jonas> but in C++ it always meant a nullary function, and C++ never allowed old-style function declarations, because C++ is big on typesafety
17:35:02 <wob_jonas> you can't even call a non-prototyped C function in C++
17:35:15 <wob_jonas> you have to give a prototype for it
17:36:26 <wob_jonas> (what I don't like is how C++ changes builtin comparison operators on builtin numeric types, so they return a different type than in any version of C)
17:36:46 <wob_jonas> (that's just so stupid and poinless and incompatible for incompatibility's sake)
17:37:37 <wob_jonas> (it almost never matters in C though, so it's very hard to get an incompatibility)
17:42:54 -!- oerjan has quit (Quit: Later).
17:46:26 -!- sdhand has quit (Quit: *disappears*).
18:02:18 <alercah> wob_jonas: I mean void as a return type
18:03:06 <wob_jonas> alercah: even as a return time, it didn't exist before ansi C. ansi C introduced prototypes, the void keyword, the signed keyword
18:03:25 -!- erkin has quit (Ping timeout: 240 seconds).
18:06:38 -!- nullcone has joined.
18:11:26 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
18:22:53 -!- sleffy has joined.
18:23:24 -!- sleffy has quit (Max SendQ exceeded).
18:23:41 -!- erkin has joined.
18:23:49 -!- sleffy has joined.
18:29:35 -!- augur has joined.
18:34:27 -!- augur has quit (Ping timeout: 240 seconds).
18:55:37 -!- electrolex has joined.
19:04:53 -!- LKoen has quit (Remote host closed the connection).
19:06:36 -!- boily has joined.
19:09:56 -!- DHeadshot has joined.
19:11:04 <lambdabot> CYUL 111800Z 23019G29KT 30SM FEW040 FEW100 FEW160 FEW240 28/17 A2976 RMK CU1AC1AC1CI1 CU TR AC TR CI TR SLP080 DENSITY ALT 1900FT
19:11:26 * boily sweats. “too hooooot...”
19:12:20 <lambdabot> LOWI 111750Z 06006KT CAVOK 27/12 Q1015 NOSIG
19:12:38 <int-e> well it's pleasant enough inside :P
19:13:47 -!- jaboja has quit (Ping timeout: 240 seconds).
19:13:54 <int-e> "a bit of everything"?!
19:15:32 <boily> it's going to get warmer today. strong winds, all the clouds, perfect conditions for an evening thunderstorm.
19:16:25 -!- augur has joined.
19:16:53 <int-e> I see what you did there now
19:34:33 -!- erkin has quit (Quit: Leaving).
19:38:39 -!- LKoen has joined.
19:56:31 -!- Phantom_Hoover has joined.
20:08:15 -!- LKoen has quit (Remote host closed the connection).
20:28:56 -!- Warrigal has changed nick to t_swett.
20:39:02 -!- augur has quit (Remote host closed the connection).
20:54:15 -!- hppavilion[1] has joined.
20:59:13 -!- electrolex has quit (Quit: Leaving).
21:07:06 <int-e> shachaf: is this inspired by #haskell-lens?
21:12:55 <shachaf> Which also discusses hyperloglog occasionally, I guess is missing context.
21:13:58 <int-e> I just joined in case the pull request triggers any discussion; I expect none.
21:18:35 <shachaf> What about count-min sketch?
21:32:58 <zzo38> Now I fixed the Huffman tree optimization program in the JPEG encoder; now it work better and ImageMagick does not complain about an improper Huffman tree anymore.
21:34:40 -!- augur has joined.
21:34:48 <zzo38> You can see its working if you look up the definition of "make_huffman_tree" in the file http://zzo38computer.org/fossil/farbfeld.ui/raw/ffjpeg.c?name=529a52e5a68d18c772c514cc9e3bc3b74185185c
21:35:58 <zzo38> (It works by coin collecting. However, you can use this program even if you do not have any coins.)
21:47:05 -!- LKoen has joined.
21:51:22 -!- jaboja has joined.
21:51:35 -!- augur has quit (Remote host closed the connection).
22:00:24 -!- boily has quit (Quit: HOOVED CHICKEN).
22:11:27 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
22:19:17 -!- LKoen has quit (Remote host closed the connection).
22:25:26 <zzo38> Which one you mean?
22:25:41 -!- jaboja has quit (Quit: Leaving).
22:25:55 <shachaf> Your Huffman tree optimization program.
22:40:26 <zzo38> However this program still isn't perfectly; sometimes I get better results than ImageMagick but usually worse, it seems.
22:42:21 <zzo38> I may have done something wrong in the implementation.
22:53:18 -!- LKoen has joined.
22:58:07 -!- t_swett has quit (Ping timeout: 240 seconds).
23:04:55 -!- 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.”).
23:27:49 -!- sleffy has quit (Ping timeout: 260 seconds).
23:35:55 -!- jaboja has joined.
23:53:05 -!- DHeadshot has quit (Ping timeout: 240 seconds).
23:56:40 -!- sleffy has joined.
23:58:13 -!- LKoen has joined.