[02:31:06] * pierpa [pierpa!5fea3cea@gateway/web/freenode/ip.95.234.60.234] has quit (Quit: Page closed). [02:47:21] * pierpal [pierpal!~pierpal@95.234.60.234] has quit (Read error: Connection reset by peer). [02:47:34] * pierpal [pierpal!~pierpal@95.234.60.234] has joined the channel. [02:52:45] * pierpal [pierpal!~pierpal@95.234.60.234] has quit (Read error: Connection reset by peer). [02:53:14] * pierpal [pierpal!~pierpal@95.234.60.234] has joined the channel. [04:41:41] * shachaf [shachaf!~shachaf@unaffiliated/shachaf] has quit (Ping timeout: 256 seconds). [04:42:32] * shachaf [shachaf!~shachaf@unaffiliated/shachaf] has joined the channel. [05:17:08] * pierpal [pierpal!~pierpal@95.234.60.234] has quit (Quit: Poof). [05:17:25] * pierpal [pierpal!~pierpal@95.234.60.234] has joined the channel. [05:48:22] * pierpal [pierpal!~pierpal@95.234.60.234] has quit (Ping timeout: 264 seconds). [06:01:56] * raingloom [raingloom!~raingloom@C2267141.catv.pool.telekom.hu] has quit (Ping timeout: 276 seconds). [07:01:52] * werkin [werkin!~erkin@unaffiliated/erkin] has joined the channel. [07:13:06] * rotty [rotty!~rotty@2a02:180:a:80:1::1401] has quit (Ping timeout: 256 seconds). [07:25:50] * rotty [rotty!~rotty@yade.chaostreff.at] has joined the channel. [08:51:56] * werkin [werkin!~erkin@unaffiliated/erkin] has quit (Read error: Connection reset by peer). [08:57:58] * werkin [werkin!~erkin@unaffiliated/erkin] has joined the channel. [11:28:16] * pierpal [pierpal!~pierpal@95.234.60.234] has joined the channel. [11:31:54] * pierpal [pierpal!~pierpal@95.234.60.234] has quit (Client Quit). [11:32:11] * pierpal [pierpal!~pierpal@95.234.60.234] has joined the channel. [11:34:40] * pierpal [pierpal!~pierpal@95.234.60.234] has quit (Read error: Connection reset by peer). [11:37:20] * pierpal [pierpal!~pierpal@95.234.60.234] has joined the channel. [13:00:06] * pierpal [pierpal!~pierpal@95.234.60.234] has quit (Quit: Poof). [13:00:23] * pierpal [pierpal!~pierpal@95.234.60.234] has joined the channel. [13:27:35] * werkin [werkin!~erkin@unaffiliated/erkin] has quit (Read error: Connection reset by peer). [13:28:07] * werkin [werkin!~erkin@unaffiliated/erkin] has joined the channel. [13:32:16] * werkin [werkin!~erkin@unaffiliated/erkin] has quit (Remote host closed the connection). [13:32:38] * werkin [werkin!~erkin@unaffiliated/erkin] has joined the channel. [13:59:48] * pierpal [pierpal!~pierpal@95.234.60.234] has quit (Quit: Poof). [14:00:09] * pierpal [pierpal!~pierpal@95.234.60.234] has joined the channel. [14:13:16] * werkin [werkin!~erkin@unaffiliated/erkin] has quit (Quit: Leaving). [15:57:46] * tadni [tadni!~tadni@71-11-142-172.dhcp.stls.mo.charter.com] has joined the channel. [15:58:09] * tadni_ [tadni_!~tadni@71-11-142-172.dhcp.stls.mo.charter.com] has joined the channel. [15:58:46] * tadni_ [tadni_!~tadni@71-11-142-172.dhcp.stls.mo.charter.com] has quit (Remote host closed the connection). [16:05:12] * tadni [tadni!~tadni@71-11-142-172.dhcp.stls.mo.charter.com] has quit (Remote host closed the connection). [16:18:12] * erkin [erkin!~erkin@unaffiliated/erkin] has joined the channel. [16:25:20] * erkin [erkin!~erkin@unaffiliated/erkin] has quit (Quit: Ouch! Got SIGIRL, dying...). [16:26:58] * erkin [erkin!~erkin@unaffiliated/erkin] has joined the channel. [17:09:17] Thanks for the info, erg. This could be a stupid question but does the concatenative paradigm lend itself to log programming at all? [17:09:28] Thanks for the info, erg. This could be a stupid question but does the concatenative paradigm lend itself to logic* programming at all? [17:10:24] dion: it works nicely for linear logic, in my opinion. [17:17:22] * erkin [erkin!~erkin@unaffiliated/erkin] has quit (Quit: Ouch! Got SIGIRL, dying...). [17:23:37] Just looked linear logic up & found a tutorial paper. Seems like slightly esoteric stuff. [17:24:44] "[linear logic] views propositions of logic as types in a functional program" - so you would need to understand type theory? [17:25:08] https://homepages.inf.ed.ac.uk/wadler/papers/lineartaste/lineartaste-revised.pdf [17:33:44] Aye, that's where I quoted from ;) [18:33:23] * erkin [erkin!~erkin@unaffiliated/erkin] has joined the channel. [18:59:42] * MDude [MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net] has quit (Quit: Going offline, see ya! (www.adiirc.com)). [20:04:14] * pierpal [pierpal!~pierpal@95.234.60.234] has quit (Quit: Poof). [20:04:32] * pierpal [pierpal!~pierpal@95.234.60.234] has joined the channel. [21:18:57] * pierpal [pierpal!~pierpal@95.234.60.234] has quit (Ping timeout: 240 seconds). [21:33:14] dion: it should work quite well for logical programming. i have had some ideas for that. but i don't know anyone who is working on this intersection [21:34:47] * erkin [erkin!~erkin@unaffiliated/erkin] has quit (Quit: Ouch! Got SIGIRL, dying...). [22:08:18] dion maaku: I am: https://github.com/HackerFoo/poprc [22:10:18] * MDude [MDude!~MDude@pa-67-234-83-197.dhcp.embarqhsd.net] has joined the channel. [22:21:26] hackerfoo: ah thanks, a vaguely remembered having come across popr before (in a conversation here?) but couldn't find it [22:21:48] I thought I was conflating memory with something else :) [22:22:39] * pierpal [pierpal!~pierpal@95.234.60.234] has joined the channel. [22:25:38] * pierpal [pierpal!~pierpal@95.234.60.234] has quit (Client Quit). [22:25:59] * pierpal [pierpal!~pierpal@95.234.60.234] has joined the channel. [22:32:29] * pierpal [pierpal!~pierpal@95.234.60.234] has quit (Ping timeout: 256 seconds). [22:35:11] maaku: yeah, I think we discussed it here before. [22:54:18] * pierpa [pierpa!5fea3cea@gateway/web/freenode/ip.95.234.60.234] has joined the channel. [22:59:00] * pierpal [pierpal!~pierpal@95.234.60.234] has joined the channel. [23:40:25] * tadni [tadni!~tadni@24-182-175-184.dhcp.stls.mo.charter.com] has joined the channel.