00:02:30 <Taneb> How the hell was it discovered
00:06:51 -!- rdococ has quit (Quit: Leaving.).
00:07:22 -!- rdococ has joined.
00:24:03 -!- Caesura has quit (Ping timeout: 240 seconds).
00:32:43 -!- kaod has joined.
00:36:26 -!- kaod has quit (Quit: AndroIRC - Android IRC Client ( http://www.androirc.com )).
00:39:37 -!- augur_ has quit (Ping timeout: 244 seconds).
00:40:06 -!- XorSwap has joined.
00:42:23 -!- lleu has quit (Quit: That's what she said).
00:42:40 -!- earendel has joined.
00:49:01 -!- augur has joined.
01:01:24 -!- p34k has quit.
01:17:33 <Phantom_Hoover> gemini was a proper replicator which then went the extra mile and cleaned up the parent copy
01:17:51 -!- acertain has quit (Ping timeout: 264 seconds).
01:19:10 <Phantom_Hoover> some people inexplicably thought that it didn't count because of that
01:41:53 -!- J_Arcane_ has joined.
01:43:16 -!- J_Arcane has quit (Ping timeout: 268 seconds).
01:43:18 -!- J_Arcane_ has changed nick to J_Arcane.
01:48:54 -!- tromp_ has joined.
01:59:15 -!- earendel has quit (Ping timeout: 248 seconds).
02:32:41 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
02:49:24 -!- earendel has joined.
02:50:15 <hppavilion[1]> I'm kind of tempted to go through Wikipedia's {{Programming paradigms}} template and make minimal versions of everything on the list
02:54:07 -!- Kaynato has joined.
03:04:08 -!- XorSwap has quit (Quit: Leaving).
03:35:20 -!- iconmaster has quit (Ping timeout: 244 seconds).
03:39:49 -!- Guest772714 has quit (Ping timeout: 268 seconds).
03:50:50 -!- Kaynato has quit (Ping timeout: 244 seconds).
03:59:15 -!- acertain has joined.
04:00:37 -!- lambda-11235 has joined.
04:08:12 -!- Reece` has quit (Quit: Leaving).
04:12:59 -!- Kaynato has joined.
04:23:40 -!- hppavilion[1] has quit (Ping timeout: 252 seconds).
04:43:23 -!- Guest772714 has joined.
05:09:00 <HackEgo> slist [S]: Taneb atriq Ngevd nvd Fiora Sgeo ThatOtherPerson alot
05:16:25 <Sgeo> It's 18 minutes long and I can't watch it right now
05:17:15 -!- tromp_ has quit (Remote host closed the connection).
05:30:40 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ?sgeo: not found
05:30:48 <HackEgo> Sgeo is a language nomad. (Not to be confused with a language monad.) He invented Metaplace sex, thus killing it within a month. He was Doctor Mengele in his previous life, as evidenced by his norn experiments.
05:32:23 <HackEgo> hppavilion[1] se describe en las notas al pie. ¿Porqué no los dos? Nadie lo sabe.
05:32:42 <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 Mexico!
05:32:50 <HackEgo> EgoBot is my arch-nemesis.
05:33:24 <HackEgo> oren is a Canadian esolanger who would like to obliterate time zones so that he can talk to his father who lives in the same house. He'll orobablu get the hang of toycj tuping soon. He also has a rabid hatred of the two-storey lowercase a.
05:33:36 <HackEgo> \oren\ is an attempt to improve upon oren. The only thing it actually improved was name recognizability, and it made everything else... well, there isn't much else in a nick, is there?
05:34:11 <\oren\_> wait why am I not highlighted in either of those?
05:34:34 <HackEgo> whoami: cannot find name for user ID 5000
05:38:00 -!- \oren\_ has changed nick to \oren\.
05:46:54 <shachaf> catern: whoa whoa whoa, which one
05:48:16 <HackEgo> whoami: cannot find name for user ID 5000
05:48:53 <catern> shachaf: why choose this channel in particular to ask that??
05:49:04 <shachaf> catern: Which one would you prefer?
05:49:36 <HackEgo> whoami: cannot find name for user ID 5000
05:50:00 <catern> https://www.youtube.com/watch?v=l_8yPap-k_s
05:50:23 <shachaf> catern: then there you go hth
05:50:30 <shachaf> I would have slightly preferred an unlogged channel.
05:50:41 <shachaf> But where can you get those anymore?
05:50:53 <catern> shachaf: there's also, you know, PMs
05:51:14 <shachaf> And besides you have too many usernames, I wouldn't know which one.
06:20:59 -!- hppavilion[1] has joined.
06:36:11 -!- MoALTz has joined.
06:40:50 -!- ais523 has joined.
06:53:28 -!- tromp_ has joined.
06:54:14 -!- idris-bot has quit (Quit: Terminated).
06:54:29 -!- idris-bot has joined.
06:55:26 <lambda-11235> Imagine a number ζ, such that ζ + x = ζ, similar to how 0*x = 0.
06:58:33 -!- tromp_ has quit (Ping timeout: 276 seconds).
06:59:58 -!- ais523 has quit.
07:00:07 -!- ais523 has joined.
07:00:51 -!- Kaynato has quit (Ping timeout: 268 seconds).
07:00:57 <ais523> lambda-11235: +inf and -inf have that property in IEEE floating point, assuming that x is finite
07:01:22 <shachaf> If you add a number like that addition isn't a group anymore.
07:02:58 -!- ais523 has quit (Read error: Connection reset by peer).
07:03:35 -!- ais523 has joined.
07:03:42 -!- ais523 has quit (Changing host).
07:03:42 -!- ais523 has joined.
07:05:37 <lambda-11235> shachaf: Didn't stop us from defining 0, in the case of multiplation.
07:10:44 -!- lambda-11235 has quit (Quit: Good night).
07:17:12 <hppavilion[1]> Ω-calculus: The world's first 2D compound calculus
07:21:28 -!- Guest772714 has quit (Quit: Nettalk6 - www.ntalk.de).
07:40:48 <lifthrasiir> hppavilion[1]: https://csvoss.github.io/projects/2015/11/08/lambda-circuitry.html
07:45:11 <lifthrasiir> ah fuck, I was going to paste a link to De Bruijn index and forgot who it is named after
07:47:02 <hppavilion[1]> lifthrasiir: I'm also trying to make a graphical-functional language, but I'm having trouble separating the rendering from the internal language desing
07:48:38 <lifthrasiir> when one sings a song, another can desing the song to silence the sound
07:53:45 -!- rdococ has quit (Quit: Leaving.).
07:54:55 -!- tromp_ has joined.
07:59:21 -!- tromp_ has quit (Ping timeout: 246 seconds).
08:50:27 -!- earendel has quit (Ping timeout: 244 seconds).
08:51:27 <shachaf> oerjan: What was your porridge recommendation again?
08:51:47 <shachaf> oerjan: I have some milk just past the expiration date.
08:56:05 <olsner> I generally recomment unexpired milk for porridge
09:03:15 <hppavilion[1]> A treetrix is like a matrix, but instead of being an array^2, it's a tree^2
09:03:32 <hppavilion[1]> (Where all nodes are filled in up to a certain level)
09:09:06 <shachaf> olsner: What's special about porridge that it needs unexpired milk?
09:12:25 -!- hppavilion[1] has quit (Ping timeout: 252 seconds).
09:13:08 <olsner> porridge is not special at all
09:14:40 <olsner> that's why it doesn't come with special provisions for expired milk
09:22:31 -!- infinitymaster has joined.
09:31:47 <shachaf> olsner: Well, I'm sure the expiration date is conservative.
09:33:57 -!- jaboja has joined.
09:39:43 <b_jonas> In http://russell2.math.bme.hu/~ambrus/sc/comic/millie/comic?n=19990413 (Ozy and Millie strip), Stephan is collecting Gathering: The Obsession cards, and says he has doubles of the "Spell of Protection Against Brain Eating" card.
09:40:32 <b_jonas> Now if such a card exists, then there's probably one in the Shadows over Innistrad block. Is there such a card in the SOI set, which one if so, and could one exist if no?
09:43:02 -!- infinitymaster has quit (Quit: Leaving...).
09:48:53 -!- J_Arcane has quit (Ping timeout: 244 seconds).
09:57:45 -!- AnotherTest has joined.
09:59:20 <ais523> b_jonas: well, brain eating would probably be represented as discard or exile from library or hand
09:59:36 <ais523> "Appetite for Brains" exiles a card of CMC 4 or greater from its target's hand
10:00:05 <ais523> I don't think SoI has a card that protects your hand from discard/exile effects specifically
10:01:05 <b_jonas> ais523: I could be wrong, but I think in SOI it's represented as milling and discard. Not as exile.
10:01:14 <ais523> Sigarda, Heron's Grace is the closest card in the set, it protects you from effects that are targeted at you (and thus from pretty much every effect ever printed that targets your hand, as they tend to be templated "target player's hand")
10:01:22 <b_jonas> Wait, exilesw a card from your hand? hmm
10:01:55 <ais523> but she's only a spell in the very technical sense, as she's represented in-game by the spell that summons her
10:02:13 <ais523> summoning an Angel is not what "Spell of Protection Against Brain Eating" implies to me
10:16:12 <b_jonas> ais523: yes, I'd like to ignore the "Spell of" part, and even then "Protection Against" is strange as a card name, but I think that's only because Dana wasn't very familiar with M:tG when she wrote that
10:19:16 <b_jonas> ais523: I guess Sigarda, Heron's Grace would protect you from stuff like Duress and Hymn to Tourach, but it doesn't protect you from creates like Chittering Rats or Alley Grafters
10:19:44 <b_jonas> It also doesn't protect you from Thought Nibbler and its kin, but that's an upside
10:23:40 -!- rdococ has joined.
10:49:28 <b_jonas> hmm, I'll have to do that computation locally then
11:26:59 -!- oerjan has joined.
11:31:53 -!- boily has joined.
11:37:00 -!- earendel has joined.
11:44:58 -!- Froox has joined.
11:47:51 -!- Frooxius has quit (Ping timeout: 264 seconds).
11:54:55 <oerjan> <shachaf> oerjan: What was your porridge recommendation again? <-- rice or sour cream hth
11:59:51 <boily> hellørjan. discussing porridges?
12:00:34 <oerjan> shachaf is bringing up expired topics
12:02:24 <oerjan> i mean, bohi, shachaf is bringing up expired topily.
12:14:25 -!- gniourf has joined.
12:14:41 <boily> that set the record of the longest portboilhello ever...
12:15:39 <oerjan> too bad my brain works so slowly.
12:16:00 <boily> . o O ( mmmh... do I have enough time in the morning for 皮蛋瘦肉粥... )
12:17:16 <boily> I'm out of coffee. I'll have to wait for April 16th to get some.
12:17:40 <oerjan> that sounds like a severy shortage
12:19:07 <oerjan> also, google translate utterly fails at that thing above.
12:19:58 <boily> http://img.wuhu.cc/2011/0920/20110920232345168487.jpg
12:21:11 <boily> century eggs and pork congee. put in a few bits of http://travelerfolio.com/travelerfolio/uploads/you_tiao.jpg in it and you got yourself one heathy breakfast.
12:21:15 <oerjan> looks more edible that what the attempted translation from japanese sounded like
12:21:37 <oerjan> (the chinese gave nothing at all)
12:23:40 <oerjan> ok it works if i split it up
12:28:05 -!- boily has quit (Quit: LIPSTICK CHICKEN).
12:36:17 -!- oerjan has quit (Quit: Later).
12:58:27 -!- earendel has quit (Ping timeout: 244 seconds).
13:04:38 -!- lleu has joined.
13:07:06 -!- earendel has joined.
13:18:16 -!- earendel has quit (Ping timeout: 252 seconds).
13:34:00 -!- tromp_ has joined.
13:35:37 -!- Reece` has joined.
13:38:17 -!- tromp_ has quit (Ping timeout: 244 seconds).
13:41:06 <zgrep> Kitten typesetting? :D
13:51:19 -!- earendel has joined.
14:03:12 -!- J_Arcane has joined.
14:13:33 -!- Sgeo has quit (Ping timeout: 240 seconds).
14:22:42 <HackEgo> [wiki] [[BytePusher]] https://esolangs.org/w/index.php?diff=46746&oldid=45723 * 82.37.112.224 * (+219) /* Machines */ Noted that Ben Russell's implementation has a (slight, easily fixed) bug in it. (See the lines in the specification about reading the jump address after running the instruction.)
14:24:35 <HackEgo> [wiki] [[BytePusher]] https://esolangs.org/w/index.php?diff=46747&oldid=46746 * 82.37.112.224 * (-18) /* Machines */ fixed a potential accidental impersonation ^.^:
14:38:54 -!- ais523 has quit.
14:40:16 -!- I has joined.
14:40:39 -!- I has changed nick to Guest96684.
14:48:12 -!- spiette has joined.
15:00:46 * zgrep imagines a printing press that uses kittens...
15:07:01 -!- XorSwap has joined.
15:20:12 -!- atehwa has joined.
15:39:55 -!- Kaynato has joined.
15:40:30 -!- jaboja has quit (Ping timeout: 248 seconds).
15:56:19 <HackEgo> [wiki] [[User:Conor O'Brien]] https://esolangs.org/w/index.php?diff=46748&oldid=46616 * Conor O'Brien * (+22) /* Languages I have made */
16:13:41 -!- jaboja has joined.
16:15:08 -!- J_Arcane has quit (Read error: Connection reset by peer).
16:21:09 -!- lleu has quit (Quit: That's what she said).
16:23:48 -!- p34k has joined.
16:28:47 -!- Kaynato has quit (Ping timeout: 244 seconds).
16:33:04 -!- Kaynato has joined.
16:34:21 -!- XorSwap has quit (Ping timeout: 268 seconds).
16:40:03 -!- acertain has quit (Ping timeout: 264 seconds).
16:48:09 -!- lambda-11235 has joined.
16:53:24 -!- yorick has quit (Ping timeout: 250 seconds).
16:53:28 -!- yorick___ has joined.
17:01:33 -!- Lamarian has joined.
17:03:19 <Lamarian> I woke up last night with two words in my mind "fish coding" and I told myself that it was very important to remember this concept in the morning
17:04:19 <Lamarian> So I did. My surprise was huge when I checked on the internet and found out that it actually exists
17:05:16 <Lamarian> I am not a programmer but a visual artist, so I didnt know anything about esoteric programming languages
17:06:32 <Lamarian> I don't know where the hell this come from...could someone tell me what kind of practical application the fish coding might have?
17:07:04 -!- acertain has joined.
17:08:57 <Lamarian> I do not even know if this would be read by someone...but thanks, I am quite puzzled...
17:15:18 -!- Lamarian has quit (Ping timeout: 250 seconds).
17:16:01 -!- lamarian has joined.
17:26:08 -!- Kaynato has quit (Ping timeout: 244 seconds).
17:30:09 -!- XorSwap has joined.
17:31:20 -!- lamarian has quit (Ping timeout: 250 seconds).
17:31:23 <HackEgo> [wiki] [[Reng]] N https://esolangs.org/w/index.php?oldid=46749 * Conor O'Brien * (+968) Created page with "''Reng'' is a two-dimensional programming language that borrows mostly from [[Fish|><>]] made by [[User:Conor O'Brien]]. While being large on structural and manipulation comm..."
17:31:37 -!- XorSwap has quit (Client Quit).
17:32:49 -!- Kaynato has joined.
17:33:11 <HackEgo> [wiki] [[Emoji]] https://esolangs.org/w/index.php?diff=46750&oldid=45816 * 63.155.63.148 * (+449)
17:35:30 -!- Guest96684 has quit (Quit: This computer has gone to sleep).
17:44:58 -!- I has joined.
17:45:22 -!- I has changed nick to Guest74302.
17:58:36 -!- impomatic has joined.
17:59:32 <impomatic> Oh well, can't remember how it works!
18:01:35 -!- Guest772714 has joined.
18:01:48 <HackEgo> ls: cannot access /var/irclogs/_esoteric/????-??-??.txt: No such file or directory \ not lately; try `seen x ever
18:01:57 <fizzie> That used to work, but the logs are no longer on the same system.
18:03:56 -!- oerjan has joined.
18:06:03 -!- jaboja has quit (Ping timeout: 240 seconds).
18:07:33 -!- jaboja has joined.
18:12:36 -!- jaboja has quit (Ping timeout: 276 seconds).
18:15:14 <oerjan> <Lamarian> I do not even know if this would be read by someone...but thanks, I am quite puzzled... <-- and then he was never heard from again.
18:18:54 <oerjan> <HackEgo> [...] Conor O'Brien * (+968) Created page with "''Reng'' is a two-dimensional programming language that borrows mostly from [[Fish|><>]] [...] <-- badly timed synchronicity!
18:19:00 -!- int-e has set topic: Quite puzzling | The international hub of esoteric programming language and kitten typesetting | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | http://esolangs.org/ | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf | Note: people with cloaks will be treated as if they're from California.
18:20:22 <int-e> should it be typepawing?
18:21:00 <oerjan> i don't see what setting has to do with which appendix you use.
18:21:23 <int-e> the kitten aren't mine
18:21:32 <impomatic> I've written a brief introduction to BOX-256 threads http://corewar.co.uk/box256/threads.htm (phantom_hoover might be interested when he returns)
18:21:58 <int-e> but okay... pawsetting then
18:22:13 <oerjan> type doesn't have anything to do with it either.
18:22:16 <oerjan> `learn Kitt is the singular of kitten.
18:22:28 <HackEgo> Learned 'kitt': Kitt is the singular of kitten.
18:22:35 <int-e> wasn't there some talking car
18:22:41 <shachaf> Note: people with croaks will be treated as if they're from The Frogs of Aristophanes
18:26:24 -!- jaboja has joined.
18:29:16 <HackEgo> olist 1032: shachaf oerjan Sgeo FireFly boily nortti b_jonas
18:36:27 -!- Kaynato has quit (Ping timeout: 268 seconds).
18:39:00 -!- bb010g has quit (Quit: Connection closed for inactivity).
18:39:30 -!- jaboja has quit (Ping timeout: 246 seconds).
18:49:14 <oerjan> <impomatic> Oh well, can't remember how it works! <-- lambdabot used to have it, but it was disabled. i recall it was put back on briefly some months ago.
18:49:52 <oerjan> i think something about memory leaks was involved.
18:50:35 <oerjan> lambdabot obviously sees a lot of people
18:50:43 -!- jaboja has joined.
18:52:02 <oerjan> impomatic: oh, and you can try nickserv, it'll tell you when a registered user was last logged on. although that doesn't help for idlers.
18:53:26 <oerjan> bah (about 0 weeks ago)
18:53:44 <oerjan> it's not particularly accurate, maybe it has something to do with his nick protection.
19:00:46 -!- hppavilion[wc] has joined.
19:04:07 <hppavilion[wc]> Esoteric Markup Languages would be accepted on the wiki, correct?
19:04:51 <hppavilion[wc]> If so, I'm adding the family that Minecraft and, afaict, IRC markup is based on
19:08:44 <HackEgo> [wiki] [[TheSquare]] M https://esolangs.org/w/index.php?diff=46751&oldid=12204 * LegionMammal978 * (+13) /* External resources */
19:09:21 -!- oerjan has quit (Quit: Unbearable noise again).
19:13:32 <HackEgo> [wiki] [[Start-reset markup language]] N https://esolangs.org/w/index.php?oldid=46752 * 74.114.87.84 * (+1033) Created Page
19:14:24 -!- Guest772714 has quit (Read error: Connection reset by peer).
19:15:46 -!- Guest772714 has joined.
19:15:58 <HackEgo> [wiki] [[Start-reset markup language]] https://esolangs.org/w/index.php?diff=46753&oldid=46752 * Hppavilion1 * (+4) Fixed formatting
19:17:23 <HackEgo> [wiki] [[Start-reset markup language]] M https://esolangs.org/w/index.php?diff=46754&oldid=46753 * Hppavilion1 * (+9) Called it "esoteric" so it fits on the wiki
19:21:37 <hppavilion[wc]> IRC++: A markup that takes start-reset to the logical extreme (complete with stylesheets, a scripting language, and animations)
19:21:59 <HackEgo> [wiki] [[EGL]] M https://esolangs.org/w/index.php?diff=46755&oldid=31899 * LegionMammal978 * (+13) /* External resources */
19:22:17 <zgrep> hppavilion[wc]: Hi?
19:22:50 <hppavilion[wc]> zgrep: Just seeing if you were online. I'm logging off for a bit soon, but I'll be on on my main account soon enough
19:23:09 -!- rdococ has quit (Quit: Leaving.).
19:25:54 -!- hppavilion[wc] has quit (Quit: Page closed).
19:30:55 <HackEgo> [wiki] [[Funge-98]] https://esolangs.org/w/index.php?diff=46756&oldid=46629 * Ozwg6693 * (+4903) /* Command Table */
19:31:26 -!- hppavilion[1] has joined.
19:31:33 <earendel> tags: tcsc: oldschool low-level math solutions for graphic programming by ian bell [ the true head behind elite(tm) ] . http://www.iancgbell.clara.net/maths/ .. nice site
19:34:05 -!- Kaynato has joined.
19:36:58 -!- oerjan has joined.
19:37:00 <earendel> that's the authorization method.
19:37:53 <earendel> i can't believe tcsc gave me the same answer tho. how can you not love ian bell.
19:42:00 -!- Froox has quit (Quit: *bubbles away*).
19:42:17 -!- Frooxius has joined.
19:50:35 <HackEgo> [wiki] [[Funge-98]] https://esolangs.org/w/index.php?diff=46757&oldid=46756 * Ozwg6693 * (+131) Formatted the table more
20:06:08 -!- lleu has joined.
20:06:22 -!- hppavilion[1] has quit (Ping timeout: 252 seconds).
20:08:14 -!- XorSwap has joined.
20:08:15 -!- rdococ has joined.
20:10:21 -!- hppavilion[1] has joined.
20:11:36 <hppavilion[1]> rdococ: Use tab-complete to get my full nick. My client doesn't respond to "hppa" (my reaction time was just a coincidence)
20:12:02 <oerjan> freefall takes a darker turn again.
20:12:21 -!- Phantom_Hoover has joined.
20:13:02 <oerjan> hppavilion[1]: you're a bit nonsensical
20:13:14 <rdococ> so if we talk about hp, we ping hppa?
20:19:17 <myname> do i want to visit a course called "computational metaphysics"?
20:19:27 -!- Guest772715 has joined.
20:19:29 -!- Guest772714 has quit (Read error: Connection reset by peer).
20:20:22 <rdococ> computational metawhat
20:21:50 <rdococ> computational metawhatphysics?
20:22:02 -!- Guest772715 has quit (Read error: No route to host).
20:22:20 -!- Guest772714 has joined.
20:29:47 -!- lambda-11235 has quit (Quit: Bye).
20:33:11 -!- J_Arcane has joined.
20:34:03 -!- Guest772714 has quit (Ping timeout: 240 seconds).
20:34:12 -!- Guest772714 has joined.
20:35:46 -!- Guest772714 has quit (Client Quit).
20:41:03 <HackEgo> smlist 433 434: shachaf monqy elliott mnoqy
20:44:26 -!- earendel has quit (Quit: earendel).
20:44:29 <impomatic> Phantom_Hoover: http://corewar.co.uk/box256/threads.htm
20:45:49 <b_jonas> myname: ask HackEgo, I think he is wise enough to know
20:46:43 -!- carado has quit (Quit: Leaving).
20:47:03 -!- Guest772714 has joined.
20:48:00 <impomatic> Phantom_Hoover: I would normally, but it makes the explanation easier if I use relative addresses
20:48:14 -!- earendel has joined.
20:48:56 <Phantom_Hoover> "Remember memory is buffered at the start of each cycle. Memory reads come from the buffer, but instructions executed are loaded from the current memory"
20:49:49 -!- earendel has quit (Changing host).
20:49:49 -!- earendel has joined.
20:49:49 -!- earendel has quit (Changing host).
20:49:49 -!- earendel has joined.
20:51:05 -!- earendel2 has joined.
20:58:33 -!- XorSwap has quit (Ping timeout: 240 seconds).
21:03:29 -!- Lord_of_Life has quit (Excess Flood).
21:04:08 -!- carado has joined.
21:04:40 * impomatic just crushed Roy's BOX-256 Smiley record. I'm down to 0x43h cycles
21:07:11 -!- Lord_of_Life has joined.
21:12:54 -!- XorSwap has joined.
21:14:58 -!- carado has quit (Quit: Leaving).
21:18:16 -!- carado has joined.
21:20:49 -!- MDude has quit (Remote host closed the connection).
21:21:18 -!- carado has quit (Remote host closed the connection).
21:29:25 -!- XorSwap has quit (Ping timeout: 252 seconds).
21:33:45 -!- XorSwap has joined.
21:34:36 -!- carado has joined.
21:35:28 -!- hppavilion[1] has quit (Ping timeout: 252 seconds).
21:37:07 -!- hppavilion[1] has joined.
21:40:09 -!- evalj has joined.
21:45:48 <int-e> heh the sample code is so slow :)
21:47:00 -!- XorSwap has quit (Ping timeout: 244 seconds).
21:57:24 -!- iconmaster has joined.
22:12:12 -!- Phantom_Hoover has quit (Remote host closed the connection).
22:13:48 -!- Phantom_Hoover has joined.
22:15:59 -!- Kaynato has quit (Ping timeout: 268 seconds).
22:16:04 <int-e> the threads are fancy
22:17:50 <int-e> so first attempt at the multithreaded box is 0x11 cycles using 8 threads.
22:17:58 -!- earendel2 has quit (Quit: earendel2).
22:18:14 -!- earendel2 has joined.
22:18:30 -!- earendel2 has quit (Client Quit).
22:20:00 -!- earendel2 has joined.
22:20:06 <hppavilion[1]> What symbol should be used to open a pi-expression?
22:20:25 -!- earendel2 has quit (Client Quit).
22:20:43 <hppavilion[1]> Phantom_Hoover: That looks like a comment symbol to me
22:21:03 <hppavilion[1]> Phantom_Hoover: It doesn't have to look like pi; it's just for an anonymous thread
22:21:21 <hppavilion[1]> Phantom_Hoover: Though it also looks like a preprocessor directive
22:21:34 <shachaf> "box-256.com says: Out of memory. If you are the developer of this content, try allocating more memory to your WebGL build in the WebGL player settings.
22:22:18 -!- earendel has quit (Disconnected by services).
22:22:20 -!- earendel has joined.
22:22:43 -!- earendel_ has joined.
22:22:43 <hppavilion[1]> Phantom_Hoover: Any things other than functions and threads that should be anonymized?
22:22:52 -!- XorSwap has joined.
22:23:09 <Phantom_Hoover> if you're doing the pi calculus then everything is anonymised
22:23:41 <hppavilion[1]> Phantom_Hoover: It's not really full pi; it's just anonymized threads
22:23:50 <int-e> shachaf: hmm, I've downloaded the windows version and am running it in wine...
22:24:50 <hppavilion[1]> Phantom_Hoover: I'm attempting to make a type-safe language to compile to JS
22:25:21 <hppavilion[1]> Phantom_Hoover: Perhaps with some array programming mixed in
22:28:19 -!- jaboja has quit (Ping timeout: 268 seconds).
22:29:39 <Phantom_Hoover> hppavilion[1], i've just noticed that the pi calculus as defined on wikipedia doesn't have any pi in the syntax
22:30:04 <hppavilion[1]> Phantom_Hoover: You'd think they'd replace the v with a pi or something
22:31:28 <hppavilion[1]> Phantom_Hoover: I thought that was just mathematical v...
22:31:49 <hppavilion[1]> Doubly stupider because (a) it's called "pi-calculus" not "nu-calculus" and (b) nu looks like v
22:32:06 <hppavilion[1]> Phantom_Hoover: Yes, but it was all LaTeXy, so I assumed it was just the way mathematicians write v
22:32:56 <Phantom_Hoover> why lambda is used for functions in the lambda calculus, now, is another question
22:33:08 -!- rdococ has quit.
22:33:24 -!- rdococ has joined.
22:33:38 -!- I has joined.
22:33:38 -!- rdococ has quit (Changing host).
22:33:38 -!- rdococ has joined.
22:33:47 -!- I has changed nick to Guest95899.
22:34:03 -!- Guest74302 has quit (Ping timeout: 240 seconds).
22:37:10 <Phantom_Hoover> oerjan, do you know where it's from? i can't think of any relevant word that starts with 'l'
22:37:10 <oerjan> wait was i that backscrolled
22:39:14 -!- XorSwap has quit (Read error: Connection reset by peer).
22:39:38 <oerjan> Phantom_Hoover: i believe having read that lambda was chosen because the typesetters couldn't use the symbol church(?) really wanted, so just chose the closest they had. which means it may have been meant to be a /\
22:40:11 <oerjan> and that may have been from frege or something.
22:43:12 <oerjan> hm nah, frege's notation was much more crazy
22:43:14 -!- XorSwap has joined.
22:43:29 <oerjan> https://en.wikipedia.org/wiki/Begriffsschrift#Notation_and_the_system
22:44:21 <oerjan> although admittedly it _would_ be a good way to give the typesetters trouble.
22:49:39 <b_jonas> `? hziulquoigmnzhah of cykranosh
22:49:47 <HackEgo> hziulquoigmnzhah of cykranosh? ¯\(°_o)/¯
22:51:09 -!- Guest95899 has quit (Ping timeout: 246 seconds).
22:52:30 <b_jonas> `? Siona Patricia pa-Lehyll pa-Drusia Ishgur-Sal
22:52:31 <HackEgo> Siona Patricia pa-Lehyll pa-Drusia Ishgur-Sal? ¯\(°_o)/¯
22:53:56 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
22:53:59 <oerjan> are you just making up stuff
22:54:13 <oerjan> we cannot have made up stuff in the wisdom, sheesh.
22:54:28 -!- boily has joined.
22:54:30 <lambdabot> CYUL 062136Z 14011G16KT 3/4SM R24R/3000V4500FT/U R24L/3500FT/N -SN VV005 M01/M02 A2997 RMK SN8 SLP154
22:54:37 <lambdabot> ENVA 062120Z 27013KT 9999 SCT011 OVC015 06/04 Q0991 RMK WIND 670FT 28013KT
22:54:54 <boily> hellørjan. it's snowing. I do not agree.
22:55:13 <shachaf> int-e: This is scow. I shouldn't be playing this game now.
22:55:45 <oerjan> boihelly. this globabble warming thing is clearly a sham.
22:58:16 <int-e> shachaf: then don't?
22:58:58 <shachaf> I'll just finish one level.
22:59:36 <shachaf> How is golfing measured? Number of nonzero starting memory locations?
22:59:42 <shachaf> Or do people optimize cycles?
22:59:56 <shachaf> I guess s/locations/lines/ since that's how the game highlights them.
23:01:38 -!- lambda-11235 has joined.
23:03:31 <int-e> is there any abusive trick to get below 2 cycles/pixel on the checkerboard, I wonder...
23:05:05 <int-e> oh haha, barely below 2 cycles/pixel is doable
23:05:07 -!- hppavilion[1] has quit (Ping timeout: 252 seconds).
23:06:16 <b_jonas> oerjan: not really. Siona Patricia is from http://www.madore.org/~david/weblog/d.2003-12-04.0383.html and Hziulquoigmnzhah of Cykranosh is from today's http://www.smbc-comics.com/index.php?id=4072
23:11:27 -!- evalj has quit (Remote host closed the connection).
23:11:37 <FireFly> there's no c to turn into ç, so ǫ will have to do in a pinch (also it faces the wrong way...)
23:12:35 <boily> unusual diacritic usage. I like.
23:14:44 -!- spiette has quit (Ping timeout: 250 seconds).
23:14:57 -!- Sgeo has joined.
23:16:18 -!- p34k has quit.
23:16:19 <Phantom_Hoover> so what's the standard virtual machine package to use if i want to run windows or whatever
23:16:27 <Phantom_Hoover> back in the day i used virtualbox but then it got oracled
23:16:43 -!- gremlins has joined.
23:17:32 <int-e> (but it's really, really stupid)
23:19:47 -!- Reece` has quit (Ping timeout: 248 seconds).
23:26:48 <int-e> shachaf: no, single-threaded
23:27:49 <int-e> with threads I expect a 16 times speedup, approximately
23:28:48 <int-e> though it depends a bit on whether I have enough space for what I'm planning
23:29:39 <shachaf> Oh, you said 2 cycles/pixel. For some reason I thought 2 cycles/2 pixels.
23:30:18 <int-e> I want addressable video memory ;)
23:30:49 <int-e> the checkerboard would be a lot of fun with the array move, I think
23:31:09 <int-e> (which, frankly, I have yet to find a use for)
23:32:34 <shachaf> Why does this game run out of memory all the time?
23:32:39 <shachaf> I have to scrap my programs and start over.
23:35:35 <Phantom_Hoover> like are you doing the default challenges or trying to write your own thing?
23:36:11 <shachaf> This is happening in the editor. It's probably just my browser or something.
23:36:58 <Phantom_Hoover> yeah it used a shitload of hard drive space when i ran it on a university machine the other day
23:37:28 -!- gremlins has quit (Quit: Leaving).
23:37:31 <shachaf> It doesn't even let you copy and paste programs.
23:37:56 -!- hppavilion[1] has joined.
23:38:09 -!- Reece` has joined.
23:55:13 <shachaf> whoa whoa whoa, I didn't know about *
23:55:53 <shachaf> Because I didn't even read the example program, apparently.
23:56:03 <shachaf> Or the instructions on the right.