00:18:21 -!- oerjan has joined.
00:27:00 -!- copumpkin has joined.
00:29:53 -!- vifino has quit (Quit: Ze Cat now leaves...).
00:33:08 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…).
00:39:55 -!- shikhout has joined.
00:43:20 -!- shikhin has quit (Ping timeout: 260 seconds).
00:57:27 -!- Patashu_ has joined.
00:57:27 -!- Patashu has quit (Disconnected by services).
00:59:37 -!- Patashu_ has changed nick to Patashu.
00:59:40 -!- Patashu has quit (Client Quit).
00:59:49 -!- Patashu has joined.
01:06:20 -!- Patashu_ has joined.
01:06:20 -!- Patashu has quit (Disconnected by services).
01:06:29 <oerjan> why is the weather forecast showing this scary "29" number
01:10:50 -!- copumpkin has joined.
01:22:44 <oerjan> coppro: it's too damn hot hth
01:23:00 <oerjan> also, i think this is on topic http://www.scottaaronson.com/blog/?p=1902
01:23:27 <coppro> oerjan: my apologies, I forgot to automatically ignore anything ending in hth
01:25:22 <coppro> now I won't see you say hth hth
01:25:56 <oerjan> *MWAHAHAHA* now coppro will be unable to stop my plans hth
01:26:25 <oerjan> curses foiled again tdnh
01:26:39 -!- Patashu has joined.
01:29:08 -!- Patashu_ has quit (Ping timeout: 252 seconds).
01:29:15 <oerjan> coppro will be so confused from now
01:32:59 <coppro> you never say anything helpful ending in hth
01:35:17 <oerjan> i am starting to think people have some kind of irrational hatred of the poor hths
01:40:49 -!- Patashu_ has joined.
01:40:49 -!- Patashu has quit (Disconnected by services).
01:43:48 -!- Patashu has joined.
01:45:26 -!- Patashu_ has quit (Ping timeout: 248 seconds).
01:50:47 -!- nooodl_ has joined.
01:53:57 -!- nooodl has quit (Ping timeout: 272 seconds).
02:02:40 -!- nooodl_ has changed nick to nooodl.
02:06:25 <zzo38> Maybe some people do have such hatred I don't know. Other people probably hate other things, I think, whether or not there is a reason to do so.
02:06:44 <zzo38> Therefore, in a Dungeons&Dragons game I have to beat Aberration Hater.
02:07:03 -!- shikhout has quit (Ping timeout: 240 seconds).
02:13:02 -!- shikhin has joined.
02:44:49 -!- conehead has quit (Quit: Computer has gone to sleep).
02:53:32 -!- shikhin has quit (Ping timeout: 260 seconds).
02:58:05 <MDude> An alright 4th of July, now to sleep.
02:58:12 -!- MDude has changed nick to MDream.
03:02:01 <zzo38> Yes, and 4th of July is not a holiday in Canada, but we still have a Fourth of July even though it is not a holiday.
03:08:42 -!- conehead has joined.
03:37:30 -!- nooodl has quit (Quit: Ik ga weg).
03:44:18 <HackEgo> [wiki] [[User talk:Rdebath]] M http://esolangs.org/w/index.php?diff=40082&oldid=40059 * Oerjan * (+274) unsigned pandemic
03:44:52 -!- lambdabot has quit (Ping timeout: 260 seconds).
03:50:51 -!- lambdabot has joined.
03:55:56 -!- Patashu has quit (Disconnected by services).
03:55:56 -!- Patashu_ has joined.
04:07:16 <Sgeo> Woohoo! https://ghc.haskell.org/trac/ghc/wiki/ApplicativeDo
04:09:15 <Sgeo> And apparently a lot of people don't think it makes much sense
04:24:01 -!- Sorella has quit (Quit: It is tiem!).
04:33:29 -!- doesthiswork has quit (Quit: Leaving.).
04:41:04 <HackEgo> [wiki] [[Sortle]] M http://esolangs.org/w/index.php?diff=40083&oldid=31011 * Graue * (+2) link to main-namespace author page instead of user page
04:41:29 -!- Patashu_ has quit (Read error: Connection reset by peer).
04:42:38 -!- conehead has quit (Quit: Computer has gone to sleep).
04:42:38 -!- Patashu has joined.
04:44:03 -!- doesthiswork has joined.
04:56:58 <ski> <http://hackage.haskell.org/package/applicative-quoters>
05:06:33 -!- bug-magnet has joined.
05:40:39 -!- Patashu has quit (Quit: Soundcloud (Famitracker Chiptunes): http://www.soundcloud.com/patashu MSN: Patashu@hotmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 .).
05:41:22 -!- Patashu has joined.
05:56:07 -!- Patashu_ has joined.
05:56:07 -!- Patashu has quit (Disconnected by services).
05:57:53 -!- Patashu has joined.
06:00:54 -!- Patashu_ has quit (Ping timeout: 248 seconds).
06:01:29 -!- Patashu has quit (Disconnected by services).
06:01:29 -!- Patashu_ has joined.
06:05:07 -!- Patashu has joined.
06:05:42 -!- Patashu_ has quit (Ping timeout: 248 seconds).
06:18:30 -!- bug-magnet has quit (Ping timeout: 248 seconds).
06:21:11 <zzo38> Would an optimizer working on target machine instructions suitable like: You have a commutativity function taking two instruction and tell you if it is commutative or not. You have a set of triples (A,B,C) where a series of instructions (A,X,B) where X consists of instructions commutative with A is converted into (X,C).
06:32:29 <zzo38> Is this reasonable?
06:38:27 -!- ^v has changed nick to ^0.
06:46:13 <zzo38> Maybe I can rewrite it then.
06:46:58 <zzo38> You have a set of rules which are triples (A,B,C) which means that if an instruction matching A is found, followed by zero or more instructions that commute with A, followed by an instruction matching B, that it should remove A and replace B with C.
06:47:17 <zzo38> doesthiswork: No. Now I rewrote it; does this help?
06:48:30 -!- bug-magnet has joined.
06:57:08 <zzo38> Would it work, and how can tables be made to done efficiently?
06:57:40 <zzo38> A, B, and C could all be patterns for a single instruction which include parameters passed to other patterns.
07:04:03 -!- edwardk_ has quit (Quit: Computer has gone to sleep.).
07:07:11 -!- conehead has joined.
07:26:33 -!- augur has quit (Ping timeout: 240 seconds).
07:29:30 <doesthiswork> I don't have enough experience with efficiency to know
07:31:11 <zzo38> But does it seem a reasonable way to do a instruction code optimization at all?
07:36:22 -!- Guest51806 has joined.
07:36:53 <Sgeo> The Roblox wiki helpfully documents undocumented features of Lua
07:36:58 <Sgeo> http://wiki.roblox.com/index.php?title=Newproxy#newproxy
07:40:33 -!- Guest51806 has quit (Ping timeout: 240 seconds).
07:49:40 -!- edwardk has joined.
07:50:09 -!- doesthiswork has quit (Quit: Leaving.).
08:03:07 <HackEgo> olist (957): shachaf oerjan Sgeo FireFly boily nortti
08:14:02 <oerjan> prophecy fulfilment in 1,2...
08:20:00 -!- augur has joined.
08:35:39 <zzo38> Other thing I wanted to know, is how to generate AI for computer-RPG game.
08:36:08 <zzo38> (Including by automatic generation)
08:36:12 <Melvar> < Sgeo> Woohoo! https://ghc.haskell.org/trac/ghc/wiki/ApplicativeDo – “desugaring comes after typechecking” really?
08:38:52 -!- Burton has quit (Ping timeout: 260 seconds).
08:40:45 <zzo38> And this should even be including such thing as deception, and learning about the target, and so on.
08:50:30 -!- GermanyBoy has joined.
08:53:22 -!- GermanyBoy has quit (Client Quit).
09:03:55 <HackEgo> [wiki] [[Template:Infobox proglang]] http://esolangs.org/w/index.php?diff=40084&oldid=40078 * GermanyBoy * (+253) made refimpl optional if majorimpl is present
09:08:02 -!- Burton has joined.
09:13:25 -!- Froox has joined.
09:13:27 -!- Frooxius has quit (Read error: Connection reset by peer).
09:14:19 <HackEgo> [wiki] [[Esolang talk:Community portal]] http://esolangs.org/w/index.php?diff=40085&oldid=39102 * GermanyBoy * (+141) /* Infoboxes? */
09:16:41 -!- Slereah has joined.
09:19:48 -!- Slereah_ has quit (Ping timeout: 255 seconds).
09:21:35 -!- sebbu has quit (Ping timeout: 252 seconds).
09:21:51 <HackEgo> [wiki] [[SYCPOL]] M http://esolangs.org/w/index.php?diff=40086&oldid=40076 * GermanyBoy * (+12)
09:38:24 -!- Tritonio1 has joined.
09:42:33 -!- Tritonio has quit (Ping timeout: 240 seconds).
09:45:31 -!- nooodl has joined.
09:50:11 <oerjan> Melvar: really. it's so that type errors can still give error messages accurately referring to source.
09:52:10 -!- oerjan has quit (Quit: Etc.).
10:03:59 <Melvar> (In Idris typechecking happens after elaboration, which does part of the desugaring, while the parser does the other part of the desugaring. The way to refer back is to keep around the original source spans provided by the parser. Yes, this sometimes gives horrendous errors when using custom sugar or even type functions.)
10:08:38 -!- Patashu has quit (Disconnected by services).
10:08:38 -!- Patashu_ has joined.
10:16:51 -!- nooodl has quit (Quit: Ik ga weg).
10:16:51 -!- Froox has quit (Read error: Connection reset by peer).
10:16:55 -!- Frooxius has joined.
10:42:05 -!- drdanmaku has joined.
10:48:02 -!- MindlessDrone has joined.
10:49:22 -!- sebbu has joined.
10:50:05 -!- sebbu has quit (Changing host).
10:50:05 -!- sebbu has joined.
11:10:07 -!- conehead has quit (Quit: Computer has gone to sleep).
11:11:07 -!- MDude has joined.
11:11:24 -!- conehead has joined.
11:11:38 -!- vifino has joined.
11:14:44 -!- MDream has quit (Ping timeout: 260 seconds).
11:14:50 -!- Patashu has joined.
11:14:53 -!- Patashu_ has quit (Ping timeout: 252 seconds).
11:16:03 -!- vifino has quit (Ping timeout: 240 seconds).
11:19:25 -!- lollo64it has joined.
11:23:47 -!- lollo64it has quit (Read error: Connection reset by peer).
11:34:36 -!- conehead has quit (Quit: Computer has gone to sleep).
11:39:34 -!- lollo64it has joined.
12:24:51 -!- Sorella has joined.
12:56:09 -!- heroux has quit (Ping timeout: 264 seconds).
13:00:38 -!- boily has joined.
13:01:02 -!- scoofy has quit (Ping timeout: 252 seconds).
13:13:00 -!- heroux has joined.
13:18:21 -!- heroux has quit (Ping timeout: 264 seconds).
13:33:41 -!- heroux has joined.
13:35:39 <ion> “ISIS Europe projects reflect a wealth of experience in peace-building, crisis management, gender and security reform, and integrating web 2.0 into the security and defence sectors.” http://isis-europe.org/
13:50:58 -!- Tritonio has joined.
13:52:03 -!- Tritonio1 has quit (Ping timeout: 240 seconds).
14:00:45 -!- vifino has joined.
14:01:28 -!- drdanmaku has quit (Quit: Connection closed for inactivity).
14:02:12 -!- heroux has quit (Remote host closed the connection).
14:04:33 -!- Patashu has quit (Ping timeout: 240 seconds).
14:05:56 -!- scoofy has joined.
14:07:23 -!- heroux has joined.
14:13:27 -!- vifino has quit (Quit: Ze Cat now leaves...).
14:25:22 -!- MindlessDrone has quit (Quit: MindlessDrone).
14:26:32 -!- Tritonio1 has joined.
14:29:33 -!- Tritonio has quit (Ping timeout: 240 seconds).
14:32:08 -!- scoofy has quit (Ping timeout: 260 seconds).
14:44:43 -!- scoofy has joined.
15:13:17 -!- vifino has joined.
15:14:51 -!- bug-magnet has quit (Quit: bug-magnet).
15:29:22 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…).
15:32:08 -!- ^0 has changed nick to ^v.
15:50:03 -!- Tritonio1 has quit (Ping timeout: 240 seconds).
15:51:46 <zzo38> My mention of how to above to replace pairs of instructions with a single one, is seems, if commutativity is omitted, to be something like the method of replacing a pair of letters with the ligature.
15:52:33 <HackEgo> [U+026E LATIN SMALL LETTER LEZH]
15:54:05 * boily fails at pronouncing /l/ and /ʒ/ at the same time...
15:54:25 -!- zzo38 has quit (Remote host closed the connection).
15:54:32 <lambdabot> oerjan said 1d 14h 6m 2s ago: apparently one species, Acheta domestica, is occasionally found in norway
15:56:10 <Melvar> boily: You take a [l] and then tighten it to a fricative.
15:57:45 <boily> oh. hm. indeed. tdh.
15:58:28 <Melvar> And then you can devoice it to get [ɬ].
15:59:30 <boily> is that phone actually used in an actual language?
16:00:48 <boily> that one, the devoiced one, the one that mysteriously renders in my terminal.
16:01:26 -!- drdanmaku has joined.
16:01:41 <Melvar> http://en.wikipedia.org/wiki/Voiceless_alveolar_lateral_fricative has a longish list.
16:04:01 <Melvar> Welsh is the usual example, where it’s spelled ‹ll›.
16:06:28 <boily> so many different languages...
16:07:42 -!- boily has quit (Quit: TELOMERIC CHICKEN).
16:32:48 -!- shikhin has joined.
16:50:32 <HackEgo> [wiki] [[Special:Log/newusers]] create * Dweymouth * New user account
17:04:48 <HackEgo> [wiki] [[Talk:Arborealis]] http://esolangs.org/w/index.php?diff=40087&oldid=23326 * Dweymouth * (+327) Added my interpreter
17:09:43 <HackEgo> [wiki] [[Arborealis]] http://esolangs.org/w/index.php?diff=40088&oldid=34233 * Dweymouth * (+209) Added interpreters
17:23:33 -!- shikhin has quit (Ping timeout: 255 seconds).
17:25:50 -!- nooodl has joined.
17:33:16 -!- Phantom_Hoover has joined.
17:48:46 -!- vifino has quit (Quit: Me sais Laptop sleepy.).
18:00:10 -!- copumpkin has joined.
18:25:02 -!- MindlessDrone has joined.
18:34:36 -!- conehead has joined.
18:35:03 -!- MDude has quit (Ping timeout: 240 seconds).
18:37:39 -!- vifino has joined.
19:12:51 -!- boily has joined.
19:26:57 -!- MDude has joined.
19:45:01 -!- shikhin has joined.
19:46:31 -!- shikhin has quit (Read error: Connection reset by peer).
19:53:28 <newsham> how can wales be a country?
19:55:25 -!- shikhin has joined.
20:01:44 <Taneb> newsham, long story
20:06:23 -!- MindlessDrone has quit (Quit: MindlessDrone).
20:13:45 <HackEgo> [wiki] [[SYCPOL]] http://esolangs.org/w/index.php?diff=40089&oldid=40086 * GermanyBoy * (+48) I finally implemented it! ~ added links to VISCIM-JA
20:19:49 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…).
20:35:20 -!- zzo38 has joined.
20:43:19 <zzo38> The TFM format has eight kind of ligature ops, which are =: |=: |=:> =:| =:|> |=:| |=:|> |=:|>>
20:43:58 <zzo38> In order to do the kinds of optimization I was mentioning before though, the last three ops aren't needed.
20:56:27 -!- vifino has quit (Quit: Me sais Laptop sleepy.).
20:56:58 -!- vifino has joined.
21:01:48 -!- vifino has quit (Ping timeout: 260 seconds).
21:05:31 -!- vifino has joined.
21:05:55 <zzo38> It is a font metrics format used in TeX and METAFONT.
21:06:10 <zzo38> The "dvi-processing" Haskell library also uses it.
21:09:18 <FireFly> <Sgeo> The Roblox wiki helpfully documents undocumented features of Lua ← as does the lua-users wiki, FWIW
21:14:28 -!- vifino has quit (Quit: Ze Cat now leaves...).
21:24:48 -!- idris-bot has quit (Quit: Terminated).
21:25:06 -!- idris-bot has joined.
21:40:07 <Phantom_Hoover> i don't get people who complain about the axiom of choice being non-constructive
21:40:37 <Phantom_Hoover> by the time you're working with uncountable sets you've thrown constructivism to the wind anyway, what's the big issue
21:42:47 -!- vifino has joined.
21:43:12 <zzo38> I do not think it is a problem; you can make the theory with or without axiom of choice, as you can make the logic with or without law of excluded middle.
21:43:42 <elliott> Phantom_Hoover: uncountability and constructivism aren't incompatible
21:45:53 <Phantom_Hoover> elliott, let me rephrase; by the time you've defined the reals, you've thrown constructivism to the wind
21:53:21 -!- atehwa has quit (Ping timeout: 252 seconds).
21:53:30 -!- atehwa has joined.
21:54:07 -!- lollo64it has quit (Ping timeout: 272 seconds).
21:57:01 <elliott> Phantom_Hoover: not really
21:57:11 <elliott> you just might not be able to construct uncomputable ones
21:57:31 <elliott> you can't prove they don't exist though
21:57:40 <elliott> the set being the familiar reals is consistent
21:59:24 <newsham> lets do math with the ones we know how to talk about
22:03:26 -!- aretecode has joined.
22:05:40 -!- aretecode has quit (Max SendQ exceeded).
22:06:47 <Phantom_Hoover> elliott, is the axiom of choice still even nonconstructive on constructive sets then
22:11:27 <elliott> intensional choice is a theorem of type theory at least
22:11:35 <elliott> but extensional choice implies lem and is not
22:16:09 -!- Phantom_Hoover has quit (Quit: Leaving).
22:18:17 <Taneb> Help I'm distracting myself from writing terrible Python by reading terrible PHP
22:19:05 <Bike> why not read "More Tales of Pirx the Pilot", a collection of delightful science-fiction short stories by the famous author Stanislaw Lem
22:19:36 * boily throws a few copies of LYAH and Land of LISP towards Taneb with great informational force
22:19:52 <Taneb> boily, I have read LYAH
22:20:04 <Taneb> And programmed mostly in Haskell for a few years now
22:20:10 <Taneb> I have however not read Land of LISP
22:22:36 <boily> Taneb: the latter is quite mindwarping.
22:23:25 <Bike> isn't land of lisp the one with a bunch of gaems
22:24:29 <boily> it's the one with that... thing? with legs?
22:24:36 <boily> also eyes. can't forget the eyes.
22:26:24 -!- aretecode has joined.
22:30:29 * impomatic_ is looking for a lisp cartridge for the Electron and Vic 20 :-)
22:31:07 <newsham> learn you a structure and interpretation of computer programs for great good
22:32:09 <newsham> does the c64 "microlisp" work in vic20?
22:32:54 <newsham> yah, doesnt seem to, from my searches
22:33:06 <newsham> http://www.npsnet.com/danf/cbm/languages.html#LISP
22:33:19 -!- aretecode has quit (Max SendQ exceeded).
22:51:23 -!- aretecode has joined.
22:53:49 -!- aretecode has quit (Max SendQ exceeded).
23:12:04 -!- Patashu has joined.
23:12:20 -!- Phantom_Hoover has joined.
23:14:19 -!- aretecode has joined.
23:15:33 -!- Patashu has quit (Disconnected by services).
23:15:33 -!- Patashu_ has joined.
23:16:41 -!- aretecode has quit (Max SendQ exceeded).
23:19:56 -!- aretecode has joined.
23:23:13 -!- aretecode has quit (Max SendQ exceeded).
23:35:21 -!- oerjan has joined.
23:39:55 <oerjan> <ion> “ISIS Europe projects reflect a wealth of experience in peace-building, crisis management, gender and security reform, and integrating web 2.0 into the security and defence sectors.” http://isis-europe.org/ <-- nothing about good naming practices?
23:40:52 <oerjan> also it's officially just is now, i hear.
23:41:15 <oerjan> @tell ion <ion> “ISIS Europe projects reflect a wealth of experience in peace-building, crisis management, gender and security reform, and integrating web 2.0 into the security and defence sectors.” http://isis-europe.org/ <-- nothing about good naming practices?
23:52:08 -!- atehwa has quit (Ping timeout: 260 seconds).
23:54:22 -!- atehwa has joined.