Logs: freenode/#haskell
| 2021-04-27 23:46:53 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-04-27 23:49:01 | × | m0rphism quits (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 252 seconds) |
| 2021-04-27 23:49:59 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-27 23:50:26 | × | chimera quits (~chimera@168-182-134-95.pool.ukrtel.net) (Quit: Konversation terminated!) |
| 2021-04-27 23:51:13 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-27 23:54:12 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-04-27 23:54:33 | → | dcoutts__ joins (~duncan@94.186.125.91.dyn.plus.net) |
| 2021-04-27 23:54:43 | <safinaskar> | ok, thanks |
| 2021-04-27 23:54:46 | ← | safinaskar parts (~user@109-252-90-136.nat.spd-mgts.ru) () |
| 2021-04-27 23:55:56 | × | malumore_ quits (~malumore@151.62.126.111) (Ping timeout: 260 seconds) |
| 2021-04-27 23:56:46 | × | dcoutts_ quits (~dcoutts@unaffiliated/dcoutts) (Ping timeout: 240 seconds) |
| 2021-04-27 23:57:10 | × | dcoutts quits (~duncan@94.186.125.91.dyn.plus.net) (Ping timeout: 260 seconds) |
| 2021-04-27 23:58:00 | → | dcoutts joins (~dcoutts@unaffiliated/dcoutts) |
| 2021-04-27 23:58:45 | × | jb55 quits (~jb55@gateway/tor-sasl/jb55) (Ping timeout: 240 seconds) |
| 2021-04-28 00:00:06 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-28 00:00:48 | × | puke quits (~vroom@217.138.252.196) (Quit: puke) |
| 2021-04-28 00:01:02 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-28 00:06:34 | → | epicte7us joins (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-04-28 00:06:40 | × | apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 276 seconds) |
| 2021-04-28 00:07:36 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-28 00:09:55 | × | ep1ctetus_ quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 276 seconds) |
| 2021-04-28 00:10:35 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-04-28 00:12:31 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 276 seconds) |
| 2021-04-28 00:13:18 | → | enthropy joins (~aavogt@135-23-166-92.cpe.pppoe.ca) |
| 2021-04-28 00:13:18 | × | epicte7us quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Quit: Leaving) |
| 2021-04-28 00:13:22 | × | notzmv quits (~zmv@unaffiliated/zmv) (Remote host closed the connection) |
| 2021-04-28 00:16:45 | → | apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 2021-04-28 00:16:51 | × | apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Client Quit) |
| 2021-04-28 00:23:28 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-04-28 00:28:00 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:18c3:826f:bcf6:7789) (Remote host closed the connection) |
| 2021-04-28 00:29:17 | × | solidus-river quits (~mike@174.127.249.180) (Remote host closed the connection) |
| 2021-04-28 00:29:53 | → | aVikingTrex joins (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-04-28 00:30:43 | → | jgt joins (~jgt@78.162.43.217) |
| 2021-04-28 00:30:45 | → | zmijunkie1 joins (~Adium@87.122.222.152) |
| 2021-04-28 00:33:51 | × | zmijunkie quits (~Adium@87.122.222.91) (Ping timeout: 260 seconds) |
| 2021-04-28 00:34:05 | × | proofofkeags quits (~proofofke@205.209.28.54) (Ping timeout: 246 seconds) |
| 2021-04-28 00:34:07 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2021-04-28 00:35:08 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2021-04-28 00:35:36 | × | jgt quits (~jgt@78.162.43.217) (Ping timeout: 260 seconds) |
| 2021-04-28 00:37:11 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 240 seconds) |
| 2021-04-28 00:38:12 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-04-28 00:40:51 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:f0b8:73ca:f0de:3486) |
| 2021-04-28 00:41:47 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-28 00:45:24 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:f0b8:73ca:f0de:3486) (Ping timeout: 245 seconds) |
| 2021-04-28 00:46:27 | → | Chai-T-Rex joins (~ChaiTRex@gateway/tor-sasl/chaitrex) |
| 2021-04-28 00:47:28 | × | darjeeling_ quits (~darjeelin@122.245.217.205) (Ping timeout: 252 seconds) |
| 2021-04-28 00:48:16 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 276 seconds) |
| 2021-04-28 00:52:04 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-28 00:55:11 | → | Q8IoXhexAi joins (~Q8IoXhexA@c-73-88-253-11.hsd1.tn.comcast.net) |
| 2021-04-28 00:59:08 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-79-166.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-28 00:59:31 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-79-166.w86-212.abo.wanadoo.fr) |
| 2021-04-28 01:00:49 | × | acidjnk_new2 quits (~acidjnk@p200300d0c72b9524d9e45372e00f3038.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2021-04-28 01:03:11 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:18c3:826f:bcf6:7789) |
| 2021-04-28 01:04:26 | <shapr> | I think I figured it out. My theory is that graph reduction hardware needs low latency memory because the graph can be reduced in parallel. That means the next nodes you want to reduce probably aren't in cache, you don't have data locality working in your favor. |
| 2021-04-28 01:05:04 | <shapr> | I think that means a graph reduction system would end up as tiles, with CPUs between slabs of RAM |
| 2021-04-28 01:06:03 | <shapr> | I think I need to read SPJ's Implementation of Functional Programming Languages next? Any other suggested references? |
| 2021-04-28 01:06:33 | → | dpl joins (~dpl@77-121-78-163.chn.volia.net) |
| 2021-04-28 01:11:14 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 268 seconds) |
| 2021-04-28 01:11:25 | × | rj quits (~x@gateway/tor-sasl/rj) (Remote host closed the connection) |
| 2021-04-28 01:11:28 | × | whataday quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-04-28 01:11:52 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-04-28 01:12:35 | → | whataday joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-04-28 01:16:12 | → | Ro joins (2d05443b@45.5.68.59) |
| 2021-04-28 01:16:35 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:18c3:826f:bcf6:7789) (Ping timeout: 250 seconds) |
| 2021-04-28 01:17:31 | × | faustind quits (~faustin@240b:12:43e1:7b00:e63d:e924:3cc7:4546) (Ping timeout: 276 seconds) |
| 2021-04-28 01:22:16 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:18c3:826f:bcf6:7789) |
| 2021-04-28 01:22:43 | × | letmein quits (~letmein@2601:1c1:4200:938f:f8bf:6a67:4eed:b2c1) (Ping timeout: 276 seconds) |
| 2021-04-28 01:23:57 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-28 01:24:12 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-04-28 01:29:28 | × | Q8IoXhexAi quits (~Q8IoXhexA@c-73-88-253-11.hsd1.tn.comcast.net) (Quit: Terminated!) |
| 2021-04-28 01:30:18 | → | ddellacosta joins (~ddellacos@86.106.143.47) |
| 2021-04-28 01:31:31 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-79-166.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-28 01:37:24 | × | tmciver quits (~tmciver@cpe-172-101-46-34.maine.res.rr.com) (Read error: Connection reset by peer) |
| 2021-04-28 01:38:00 | → | tmciver joins (~tmciver@cpe-172-101-46-34.maine.res.rr.com) |
| 2021-04-28 01:43:01 | × | xff0x quits (~xff0x@2001:1a81:53e0:9b00:7bc7:e0fa:939f:81c6) (Ping timeout: 250 seconds) |
| 2021-04-28 01:44:36 | → | drbean_ joins (~drbean@TC210-63-209-200.static.apol.com.tw) |
| 2021-04-28 01:44:56 | → | xff0x joins (~xff0x@2001:1a81:5216:4600:2a71:7ddf:1859:9cdd) |
| 2021-04-28 01:44:56 | × | tmciver quits (~tmciver@cpe-172-101-46-34.maine.res.rr.com) (Read error: Connection reset by peer) |
| 2021-04-28 01:47:51 | <justsomeguy> | I don't have any reasonable suggestions, but I had a dream where memristors where used to create digital nuerons in an electronic brain that was a graph reduction machine once. |
| 2021-04-28 01:49:43 | <justsomeguy> | That was weird. |
| 2021-04-28 01:50:59 | → | tmciver joins (~tmciver@cpe-172-101-46-34.maine.res.rr.com) |
| 2021-04-28 01:53:06 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 2021-04-28 01:53:16 | <ski> | shapr : dunno, maybe Philip J. Koopman's (Ph. D. thesis) "An Architecture for Combinator Graph Reduction (TIGRE)" in 1990 at <https://users.ece.cmu.edu/~koopman/tigre/index.html> ? |
| 2021-04-28 01:53:19 | × | enthropy quits (~aavogt@135-23-166-92.cpe.pppoe.ca) (Ping timeout: 252 seconds) |
| 2021-04-28 01:54:28 | × | Chai-T-Rex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Quit: Chai-T-Rex) |
| 2021-04-28 01:55:43 | → | letmein joins (~letmein@2601:1c1:4200:938f:f8bf:6a67:4eed:b2c1) |
| 2021-04-28 01:57:03 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds) |
| 2021-04-28 02:03:40 | × | horatiohb quits (~horatiohb@159.65.163.65) (Ping timeout: 276 seconds) |
| 2021-04-28 02:05:11 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-28 02:08:15 | × | ericsagn1 quits (~ericsagne@2405:6580:0:5100:7b81:a13d:7f4a:d3e9) (Ping timeout: 260 seconds) |
| 2021-04-28 02:10:32 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-04-28 02:12:07 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 276 seconds) |
| 2021-04-28 02:13:30 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2021-04-28 02:15:14 | × | Ericson2314 quits (ericson231@gateway/shell/matrix.org/x-gyqfnzilutspeelu) (Quit: authenticating) |
| 2021-04-28 02:15:55 | → | Ericson2314 joins (ericson231@gateway/shell/matrix.org/x-sdzsetjuwugitzzp) |
| 2021-04-28 02:19:09 | → | dyeplexer joins (~lol@unaffiliated/terpin) |
| 2021-04-28 02:19:26 | × | dpl quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds) |
| 2021-04-28 02:21:36 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:4233:4fa2:ecc4:e3d1) |
| 2021-04-28 02:22:39 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-28 02:28:28 | × | ddellacosta quits (~ddellacos@86.106.143.47) (Remote host closed the connection) |
All times are in UTC.