2021-04-26 00:03:06 +0200 | pavonia | (~user@unaffiliated/siracusa) (Read error: Connection reset by peer) |
2021-04-26 00:05:21 +0200 | edrx | (~Eduardo@2804:56c:d2c0:6300:d28a:a35a:c563:afab) ("Killed buffer") |
2021-04-26 00:05:26 +0200 | letmein | (~letmein@2601:1c1:4200:938f:f8bf:6a67:4eed:b2c1) (Quit: letmein) |
2021-04-26 00:05:57 +0200 | tempate | (~tempate@unaffiliated/tempate) |
2021-04-26 00:06:03 +0200 | letmein | (~letmein@2601:1c1:4200:938f:f8bf:6a67:4eed:b2c1) |
2021-04-26 00:06:40 +0200 | pavonia | (~user@unaffiliated/siracusa) |
2021-04-26 00:07:31 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-04-26 00:07:37 +0200 | letmein | (~letmein@2601:1c1:4200:938f:f8bf:6a67:4eed:b2c1) (Client Quit) |
2021-04-26 00:07:38 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2021-04-26 00:07:44 +0200 | <tempate> | Why do I keep getting "Could not find module ‘Prelude'" ? |
2021-04-26 00:07:54 +0200 | <tempate> | Have I missed an installation step? |
2021-04-26 00:08:41 +0200 | petrus | (~petrus@unaffiliated/petrus) (Quit: WeeChat 3.1) |
2021-04-26 00:09:30 +0200 | <tempate> | oh, it's now working with "ghc -dynamic main.hs" |
2021-04-26 00:10:35 +0200 | <hpc> | are you on arch? |
2021-04-26 00:10:40 +0200 | HannaM | (~quassel@p54849510.dip0.t-ipconnect.de) (Quit: https://www.oglaf.com/archive/) |
2021-04-26 00:12:25 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 252 seconds) |
2021-04-26 00:13:43 +0200 | xff0x | (~xff0x@2001:1a81:5378:d500:c8e4:3d2e:19af:2ab8) (Ping timeout: 260 seconds) |
2021-04-26 00:14:01 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-26 00:14:29 +0200 | xff0x | (~xff0x@2001:1a81:5378:d500:f8a9:96f2:2a8b:a80a) |
2021-04-26 00:15:27 +0200 | __monty__ | (~toonn@unaffiliated/toonn) (Quit: leaving) |
2021-04-26 00:16:03 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
2021-04-26 00:18:51 +0200 | Guest36168 | (~alexander@2a02:587:dc0a:2700:dc6:16ac:a95:eabf) (Ping timeout: 260 seconds) |
2021-04-26 00:19:21 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
2021-04-26 00:25:51 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:6010:2869:d10:372c) (Ping timeout: 260 seconds) |
2021-04-26 00:26:10 +0200 | perrier-jouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.1) |
2021-04-26 00:26:13 +0200 | <Cale> | tempate: If you *are* on Arch, I would generally recommend avoiding its packages for anything Haskell-related. The maintainers of the haskell packages in Arch made some really poor decisions and removed all the statically linked libraries from GHC, which breaks all kinds of stuff. |
2021-04-26 00:28:31 +0200 | <tempate> | Cale: I am on Arch. What would you recommend instead? |
2021-04-26 00:28:49 +0200 | <yushyin> | ghcup works fine |
2021-04-26 00:29:08 +0200 | <Cale> | Yeah, ghcup is probably a good way to start |
2021-04-26 00:29:26 +0200 | <yushyin> | https://gitlab.haskell.org/haskell/ghcup-hs/ |
2021-04-26 00:31:26 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 246 seconds) |
2021-04-26 00:34:33 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-04-26 00:37:49 +0200 | tabemann | (~travisb@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Remote host closed the connection) |
2021-04-26 00:39:26 +0200 | Tops2 | (~Tobias@dyndsl-095-033-093-085.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
2021-04-26 00:41:11 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2021-04-26 00:44:56 +0200 | stree | (~stree@68.36.8.116) |
2021-04-26 00:46:03 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-26 00:50:21 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
2021-04-26 00:51:54 +0200 | fiedlr | (~fiedlr@83.148.33.254) (Remote host closed the connection) |
2021-04-26 00:57:46 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
2021-04-26 01:00:08 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
2021-04-26 01:00:53 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Remote host closed the connection) |
2021-04-26 01:04:41 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
2021-04-26 01:05:46 +0200 | jonatan | (~nate@h77-53-70-163.cust.a3fiber.se) (Quit: leaving) |
2021-04-26 01:09:18 +0200 | jgt | (~jgt@78.162.43.217) (Ping timeout: 268 seconds) |
2021-04-26 01:10:55 +0200 | tabemann | (~travisb@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
2021-04-26 01:14:13 +0200 | <int-e> | . o O ( install ghc. use it to compile your own ghc from sources. uninstall ghc. ) |
2021-04-26 01:16:55 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
2021-04-26 01:17:17 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2021-04-26 01:17:19 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) |
2021-04-26 01:18:19 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b9563253a50075d84e1af.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
2021-04-26 01:19:20 +0200 | machinedgod | (~machinedg@24.105.81.50) |
2021-04-26 01:20:12 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds) |
2021-04-26 01:21:39 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 245 seconds) |
2021-04-26 01:21:50 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-26 01:22:54 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection) |
2021-04-26 01:23:24 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
2021-04-26 01:26:39 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 245 seconds) |
2021-04-26 01:26:46 +0200 | fiedlr | (~fiedlr@83.148.33.254) |
2021-04-26 01:27:35 +0200 | Guest6509 | (~laudiacay@45.162.228.190) |
2021-04-26 01:29:24 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) |
2021-04-26 01:31:32 +0200 | fiedlr | (~fiedlr@83.148.33.254) (Ping timeout: 240 seconds) |
2021-04-26 01:32:04 +0200 | Guest6509 | (~laudiacay@45.162.228.190) (Ping timeout: 245 seconds) |
2021-04-26 01:33:44 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) (Ping timeout: 245 seconds) |
2021-04-26 01:39:36 +0200 | sajith | (~sajith@fsf/member/nonzen) |
2021-04-26 01:39:51 +0200 | m0rphism | (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 252 seconds) |
2021-04-26 01:48:51 +0200 | bennofs_ | (~quassel@dynamic-077-013-095-012.77.13.pool.telefonica.de) (Read error: Connection reset by peer) |
2021-04-26 01:49:18 +0200 | bennofs_ | (~quassel@dynamic-077-013-095-012.77.13.pool.telefonica.de) |
2021-04-26 01:54:30 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) |
2021-04-26 01:54:35 +0200 | Deide | (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
2021-04-26 01:55:25 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) |
2021-04-26 01:55:57 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-26 01:56:18 +0200 | guest7682358928 | (2de85c16@gateway/web/cgi-irc/kiwiirc.com/ip.45.232.92.22) |
2021-04-26 02:00:08 +0200 | atk | (~Arch-TK@ircpuzzles/staff/Arch-TK) (Quit: Well this is unexpected.) |
2021-04-26 02:00:24 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 245 seconds) |
2021-04-26 02:00:30 +0200 | atk | (~Arch-TK@ircpuzzles/staff/Arch-TK) |
2021-04-26 02:01:41 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 250 seconds) |
2021-04-26 02:02:20 +0200 | Guest19992 | (~dan64@dannyadam.com) (Quit: ZNC - http://znc.in) |
2021-04-26 02:02:39 +0200 | dan64 | (~dan64@dannyadam.com) |
2021-04-26 02:10:25 +0200 | chimera | (~chimera@168-182-134-95.pool.ukrtel.net) (Quit: Konversation terminated!) |
2021-04-26 02:10:57 +0200 | usr25 | (~usr25@unaffiliated/usr25) (Quit: Leaving) |
2021-04-26 02:11:26 +0200 | dpl_ | (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds) |
2021-04-26 02:22:45 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
2021-04-26 02:25:07 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
2021-04-26 02:28:21 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-04-26 02:29:16 +0200 | pthariensflame | (~pthariens@2600:6c52:727f:4200:3064:6811:5d1e:8f2b) |
2021-04-26 02:29:23 +0200 | DavidEichmann | (~david@147.136.46.217.dyn.plus.net) (Remote host closed the connection) |
2021-04-26 02:29:29 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
2021-04-26 02:30:06 +0200 | pthariensflame | (~pthariens@2600:6c52:727f:4200:3064:6811:5d1e:8f2b) (Client Quit) |
2021-04-26 02:30:26 +0200 | pthariensflame | (~pthariens@2600:6c52:727f:4200:3064:6811:5d1e:8f2b) |
2021-04-26 02:30:52 +0200 | pthariensflame | (~pthariens@2600:6c52:727f:4200:3064:6811:5d1e:8f2b) (Client Quit) |
2021-04-26 02:31:12 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-26 02:31:14 +0200 | solidus-river | (~fuag1@174.127.249.180) |
2021-04-26 02:32:47 +0200 | <solidus-river> | i'm running into a thread that wont terminate (even using killThread with the threadId). I'm attempting to signal threads with a mutex to terminate themselves and then waiting for them to report that they have died using forkIOFinally. After X seconds i use killThread on them |
2021-04-26 02:33:10 +0200 | <solidus-river> | the thread that wont terminate even with killThread is I believe stuck in a threadWaitRead loop |
2021-04-26 02:33:30 +0200 | <solidus-river> | am I doing something wrong here or is this a unrecoverable situation |
2021-04-26 02:34:05 +0200 | <solidus-river> | I had previously has sigint / sigterm handlers registered to exit "cleanly" but with this infinite thread I can't do that |
2021-04-26 02:34:40 +0200 | <solidus-river> | the threadWaitRead is in a library i'm using so changing that would require a pr / patch |
2021-04-26 02:35:04 +0200 | tlgl^nix | (~damien@S0106008ef25e98fb.su.shawcable.net) (Remote host closed the connection) |
2021-04-26 02:35:05 +0200 | perrier-jouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
2021-04-26 02:35:39 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
2021-04-26 02:35:45 +0200 | bennofs__ | (~quassel@dynamic-089-012-155-245.89.12.pool.telefonica.de) |
2021-04-26 02:35:56 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
2021-04-26 02:37:17 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
2021-04-26 02:38:00 +0200 | zmijunkie | (~Adium@87.123.51.242) |
2021-04-26 02:38:55 +0200 | hendursa1 | (~weechat@gateway/tor-sasl/hendursaga) |
2021-04-26 02:39:12 +0200 | bennofs_ | (~quassel@dynamic-077-013-095-012.77.13.pool.telefonica.de) (Ping timeout: 240 seconds) |
2021-04-26 02:40:21 +0200 | zmijunkie1 | (~Adium@87.122.217.64) (Ping timeout: 252 seconds) |
2021-04-26 02:40:34 +0200 | bitmapper | (uid464869@gateway/web/irccloud.com/x-lwoslwzxzqzjzamu) |
2021-04-26 02:49:40 +0200 | pony | (sid257727@gateway/web/irccloud.com/x-sasxvsyktodjxrrs) () |
2021-04-26 02:52:42 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
2021-04-26 02:57:07 +0200 | Guest91421 | notzmv |
2021-04-26 03:01:09 +0200 | Unhammer | (~Unhammer@gateway/tor-sasl/unhammer) (Ping timeout: 240 seconds) |
2021-04-26 03:02:16 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) (Remote host closed the connection) |
2021-04-26 03:02:19 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
2021-04-26 03:02:21 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
2021-04-26 03:02:59 +0200 | nicholasbulka | (~nicholasb@c-73-21-82-200.hsd1.ga.comcast.net) |
2021-04-26 03:03:26 +0200 | forell | (~forell@unaffiliated/forell) (Ping timeout: 240 seconds) |
2021-04-26 03:06:10 +0200 | stree | (~stree@68.36.8.116) |
2021-04-26 03:06:32 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
2021-04-26 03:07:12 +0200 | nicholasbulka | (~nicholasb@c-73-21-82-200.hsd1.ga.comcast.net) (Ping timeout: 240 seconds) |
2021-04-26 03:09:24 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-26 03:11:10 +0200 | Rudd0 | (~Rudd0@185.189.115.108) (Ping timeout: 252 seconds) |
2021-04-26 03:11:25 +0200 | whataday | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2021-04-26 03:12:33 +0200 | whataday | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2021-04-26 03:13:44 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 245 seconds) |
2021-04-26 03:14:23 +0200 | Unhammer | (~Unhammer@gateway/tor-sasl/unhammer) |
2021-04-26 03:17:01 +0200 | drbean_ | (~drbean@TC210-63-209-203.static.apol.com.tw) |
2021-04-26 03:18:30 +0200 | guest7682358928 | (2de85c16@gateway/web/cgi-irc/kiwiirc.com/ip.45.232.92.22) (Quit: Ping timeout (120 seconds)) |
2021-04-26 03:19:35 +0200 | guest7682358928 | (2de85c16@gateway/web/cgi-irc/kiwiirc.com/ip.45.232.92.22) |
2021-04-26 03:21:32 +0200 | Tario | (~Tario@201.192.165.173) (Ping timeout: 240 seconds) |
2021-04-26 03:22:07 +0200 | Tario | (~Tario@200.119.184.119) |
2021-04-26 03:22:52 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye) |
2021-04-26 03:25:00 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
2021-04-26 03:27:57 +0200 | Guest6509 | (~laudiacay@45.162.228.190) |
2021-04-26 03:32:37 +0200 | Guest6509 | (~laudiacay@45.162.228.190) (Ping timeout: 252 seconds) |
2021-04-26 03:39:10 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
2021-04-26 03:39:48 +0200 | petersen | (~petersen@redhat/juhp) |
2021-04-26 03:40:59 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) |
2021-04-26 03:43:26 +0200 | <zzz> | anyone versed in Diagrams? |
2021-04-26 03:44:59 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) (Ping timeout: 245 seconds) |
2021-04-26 03:45:41 +0200 | xff0x | (~xff0x@2001:1a81:5378:d500:f8a9:96f2:2a8b:a80a) (Ping timeout: 250 seconds) |
2021-04-26 03:45:41 +0200 | gnumonic | (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Quit: Leaving) |
2021-04-26 03:47:44 +0200 | xff0x | (~xff0x@2001:1a81:53aa:e600:aedf:66c8:4911:fe15) |
2021-04-26 03:49:05 +0200 | ddellacosta | (~ddellacos@86.106.143.138) |
2021-04-26 03:50:18 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Ping timeout: 260 seconds) |
2021-04-26 03:50:56 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
2021-04-26 03:53:44 +0200 | ddellacosta | (~ddellacos@86.106.143.138) (Ping timeout: 245 seconds) |
2021-04-26 03:57:44 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) |
2021-04-26 03:59:22 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Remote host closed the connection) |
2021-04-26 03:59:23 +0200 | Tario | (~Tario@200.119.184.119) (Read error: Connection reset by peer) |
2021-04-26 04:02:35 +0200 | Tario | (~Tario@201.192.165.173) |
2021-04-26 04:04:27 +0200 | <pavonia> | zzz: It's best to just ask for the problem you are trying to solve |
2021-04-26 04:05:08 +0200 | forell | (~forell@unaffiliated/forell) |
2021-04-26 04:05:14 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) |
2021-04-26 04:05:26 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
2021-04-26 04:08:49 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:7da7:60a9:aff:54f9) (Remote host closed the connection) |
2021-04-26 04:09:31 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 250 seconds) |
2021-04-26 04:10:28 +0200 | CrazyPython | (~crazypyth@98.122.164.118) (Read error: Connection reset by peer) |
2021-04-26 04:11:51 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:71f6:aee0:3a4e:496c) |
2021-04-26 04:13:36 +0200 | Aquazi | (uid312403@gateway/web/irccloud.com/x-utxhkfigbhneuqmd) (Quit: Connection closed for inactivity) |
2021-04-26 04:15:38 +0200 | jgt | (~jgt@78.162.43.217) |
2021-04-26 04:17:52 +0200 | notzmv | (~zmv@unaffiliated/zmv) (Ping timeout: 240 seconds) |
2021-04-26 04:19:55 +0200 | jgt | (~jgt@78.162.43.217) (Ping timeout: 252 seconds) |
2021-04-26 04:23:35 +0200 | urodna | (~urodna@unaffiliated/urodna) (Quit: urodna) |
2021-04-26 04:29:24 +0200 | ddellacosta | (~ddellacos@86.106.143.112) |
2021-04-26 04:31:41 +0200 | horatiohb | (~horatiohb@159.89.43.106) (Ping timeout: 240 seconds) |
2021-04-26 04:31:54 +0200 | Guest_98 | (02c9f2e0@dslb-002-201-242-224.002.201.pools.vodafone-ip.de) |
2021-04-26 04:32:15 +0200 | Guest_98 | (02c9f2e0@dslb-002-201-242-224.002.201.pools.vodafone-ip.de) (Client Quit) |
2021-04-26 04:33:44 +0200 | ddellacosta | (~ddellacos@86.106.143.112) (Ping timeout: 245 seconds) |
2021-04-26 04:33:45 +0200 | theDon | (~td@94.134.91.236) (Ping timeout: 265 seconds) |
2021-04-26 04:34:06 +0200 | aVikingTrex | (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
2021-04-26 04:35:37 +0200 | theDon | (~td@muedsl-82-207-238-220.citykom.de) |
2021-04-26 04:36:47 +0200 | jao | (~jao@pdpc/supporter/professional/jao) (Remote host closed the connection) |
2021-04-26 04:40:31 +0200 | FinnElija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
2021-04-26 04:40:31 +0200 | finn_elija | Guest13508 |
2021-04-26 04:40:31 +0200 | FinnElija | finn_elija |
2021-04-26 04:41:14 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 245 seconds) |
2021-04-26 04:42:49 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) |
2021-04-26 04:42:51 +0200 | ephemera__ | (~E@122.34.1.187) (Ping timeout: 260 seconds) |
2021-04-26 04:43:09 +0200 | Guest13508 | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
2021-04-26 04:46:15 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
2021-04-26 04:48:19 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 245 seconds) |
2021-04-26 04:48:49 +0200 | maralorn | (maralornma@gateway/shell/matrix.org/x-taapglyfnhcaxlmi) ("User left") |
2021-04-26 04:49:27 +0200 | maralorn | (maralornma@gateway/shell/matrix.org/x-taapglyfnhcaxlmi) |
2021-04-26 04:49:51 +0200 | carlomagno | (~cararell@148.87.23.10) (Quit: Leaving.) |
2021-04-26 04:51:59 +0200 | zopsi | (zopsi@2600:3c00::f03c:91ff:fe14:551f) (Max SendQ exceeded) |
2021-04-26 04:52:32 +0200 | zopsi | (zopsi@2600:3c00::f03c:91ff:fe14:551f) |
2021-04-26 04:55:35 +0200 | <DigitalKiwi> | it's the newest study from U of MN |
2021-04-26 04:58:42 +0200 | hegz | (hegzmatrix@gateway/shell/matrix.org/x-qjbevljwfzlhaulx) |
2021-04-26 04:58:59 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-04-26 05:00:48 +0200 | ephemera_ | (~E@14.63.26.157) |
2021-04-26 05:03:41 +0200 | jao | (~jao@pdpc/supporter/professional/jao) |
2021-04-26 05:04:18 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
2021-04-26 05:05:01 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 252 seconds) |
2021-04-26 05:05:52 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-26 05:07:18 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) |
2021-04-26 05:10:26 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
2021-04-26 05:12:01 +0200 | notzmv | (~zmv@unaffiliated/zmv) |
2021-04-26 05:12:17 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds) |
2021-04-26 05:14:22 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
2021-04-26 05:17:52 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) |
2021-04-26 05:21:59 +0200 | fiedlr | (~fiedlr@83.148.33.254) |
2021-04-26 05:27:32 +0200 | stree | (~stree@68.36.8.116) |
2021-04-26 05:30:12 +0200 | fiedlr | (~fiedlr@83.148.33.254) (Ping timeout: 240 seconds) |
2021-04-26 05:33:47 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
2021-04-26 05:41:39 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-26 05:46:13 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Remote host closed the connection) |
2021-04-26 05:46:15 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
2021-04-26 05:48:25 +0200 | solidus-river | (~fuag1@174.127.249.180) (Quit: Leaving) |
2021-04-26 06:03:15 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
2021-04-26 06:04:23 +0200 | dyeplexer | (~lol@unaffiliated/terpin) |
2021-04-26 06:10:05 +0200 | jao | (~jao@pdpc/supporter/professional/jao) (Ping timeout: 252 seconds) |
2021-04-26 06:20:19 +0200 | ddellacosta | (~ddellacos@86.106.143.34) |
2021-04-26 06:22:50 +0200 | Enrico63 | (520efe97@cpc92708-cmbg20-2-0-cust150.5-4.cable.virginm.net) |
2021-04-26 06:23:44 +0200 | guest7682358928 | (2de85c16@gateway/web/cgi-irc/kiwiirc.com/ip.45.232.92.22) (Ping timeout: 245 seconds) |
2021-04-26 06:24:55 +0200 | ddellacosta | (~ddellacos@86.106.143.34) (Ping timeout: 265 seconds) |
2021-04-26 06:46:44 +0200 | blankhart | (~blankhart@pool-72-88-174-206.nwrknj.fios.verizon.net) (Ping timeout: 252 seconds) |
2021-04-26 06:51:41 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) |
2021-04-26 06:53:39 +0200 | shutdown_-h_now | (~arjan@2001:1c06:2d0b:2312:41b7:a173:a0b0:162b) (Ping timeout: 260 seconds) |
2021-04-26 06:53:39 +0200 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
2021-04-26 06:54:03 +0200 | Tario | (~Tario@201.192.165.173) |
2021-04-26 06:56:27 +0200 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:4e27:9f44:a2d5:c10c) (Ping timeout: 260 seconds) |
2021-04-26 06:57:18 +0200 | ddellacosta | (~ddellacos@86.106.143.86) |
2021-04-26 06:58:46 +0200 | tsaka_ | (~torstein@athedsl-4519432.home.otenet.gr) (Ping timeout: 240 seconds) |
2021-04-26 06:59:24 +0200 | shutdown_-h_now | (~arjan@2001:1c06:2d0b:2312:6cde:4ab2:7d84:5b06) |
2021-04-26 06:59:32 +0200 | alx741 | (~alx741@181.196.69.35) (Quit: alx741) |
2021-04-26 07:02:08 +0200 | ddellacosta | (~ddellacos@86.106.143.86) (Ping timeout: 265 seconds) |
2021-04-26 07:05:07 +0200 | tsaka_ | (~torstein@athedsl-4519432.home.otenet.gr) |
2021-04-26 07:06:14 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
2021-04-26 07:06:59 +0200 | nehsou^ | (nehsou@ip98-184-89-2.mc.at.cox.net) () |
2021-04-26 07:08:23 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
2021-04-26 07:08:55 +0200 | dsrt^ | (dsrt@ip98-184-89-2.mc.at.cox.net) |
2021-04-26 07:10:03 +0200 | blankhart | (~blankhart@pool-72-88-174-206.nwrknj.fios.verizon.net) |
2021-04-26 07:13:10 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
2021-04-26 07:15:24 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
2021-04-26 07:16:11 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
2021-04-26 07:17:25 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
2021-04-26 07:19:18 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2021-04-26 07:26:50 +0200 | knupfer | (~Thunderbi@200116b82b4e030098b0f6fffeb98b90.dip.versatel-1u1.de) |
2021-04-26 07:27:36 +0200 | knupfer | (~Thunderbi@200116b82b4e030098b0f6fffeb98b90.dip.versatel-1u1.de) (Remote host closed the connection) |
2021-04-26 07:27:44 +0200 | knupfer | (~Thunderbi@200116b82b4e03004c33ffe1c2c70c13.dip.versatel-1u1.de) |
2021-04-26 07:29:33 +0200 | ddellaco_ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-26 07:29:39 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-04-26 07:30:57 +0200 | coot | (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) |
2021-04-26 07:33:41 +0200 | ddellaco_ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
2021-04-26 07:35:12 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
2021-04-26 07:39:06 +0200 | DirefulSalt | (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
2021-04-26 07:39:27 +0200 | DirefulSalt | (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
2021-04-26 07:43:06 +0200 | s00pcan | (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 240 seconds) |
2021-04-26 07:45:06 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
2021-04-26 07:45:14 +0200 | s00pcan | (~chris@107.181.165.217) |
2021-04-26 07:49:01 +0200 | stree | (~stree@68.36.8.116) |
2021-04-26 07:49:01 +0200 | bennofs__ | (~quassel@dynamic-089-012-155-245.89.12.pool.telefonica.de) (Read error: Connection reset by peer) |
2021-04-26 07:49:16 +0200 | bennofs_ | (~quassel@dynamic-089-012-155-245.89.12.pool.telefonica.de) |
2021-04-26 07:50:36 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
2021-04-26 07:51:21 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-04-26 07:51:30 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Remote host closed the connection) |
2021-04-26 07:52:04 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) |
2021-04-26 07:52:38 +0200 | jakalx | (~jakalx@base.jakalx.net) |
2021-04-26 07:54:23 +0200 | urdh | (~urdh@unaffiliated/urdh) (Quit: Boom!) |
2021-04-26 07:55:11 +0200 | shad0w_ | (a0ca2598@160.202.37.152) |
2021-04-26 07:55:27 +0200 | larsan1 | (~larsan@195.140.213.38) (Remote host closed the connection) |
2021-04-26 07:55:41 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
2021-04-26 07:56:14 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 245 seconds) |
2021-04-26 07:56:44 +0200 | Guest6509 | (~laudiacay@45.162.228.190) |
2021-04-26 07:59:41 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
2021-04-26 08:01:01 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) |
2021-04-26 08:03:19 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
2021-04-26 08:04:34 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 245 seconds) |
2021-04-26 08:05:15 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 250 seconds) |
2021-04-26 08:07:11 +0200 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:9a90:9232:6a1d:a2e3) |
2021-04-26 08:08:01 +0200 | Tario | (~Tario@201.192.165.173) (Ping timeout: 268 seconds) |
2021-04-26 08:09:09 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 240 seconds) |
2021-04-26 08:09:47 +0200 | ddellacosta | (~ddellacos@83.143.246.104) |
2021-04-26 08:11:51 +0200 | wonko7 | (~wonko7@62.115.229.50) |
2021-04-26 08:12:54 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2021-04-26 08:14:09 +0200 | ddellacosta | (~ddellacos@83.143.246.104) (Ping timeout: 245 seconds) |
2021-04-26 08:14:38 +0200 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-boxlsxrcosxlqwrv) (Quit: Connection closed for inactivity) |
2021-04-26 08:16:42 +0200 | oldsk00l_ | (~znc@ec2-18-130-254-135.eu-west-2.compute.amazonaws.com) |
2021-04-26 08:17:00 +0200 | shad0w_ | (a0ca2598@160.202.37.152) (Quit: Connection closed) |
2021-04-26 08:18:19 +0200 | oldsk00l | (~znc@ec2-18-130-254-135.eu-west-2.compute.amazonaws.com) (Ping timeout: 276 seconds) |
2021-04-26 08:32:42 +0200 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
2021-04-26 08:33:32 +0200 | invaser | (~Thunderbi@31.148.23.125) |
2021-04-26 08:34:09 +0200 | fendor | (~fendor@178.115.129.220.wireless.dyn.drei.com) |
2021-04-26 08:36:44 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:d9d9:f067:f388:4d71) |
2021-04-26 08:37:18 +0200 | zmijunkie1 | (~Adium@109.90.32.89) |
2021-04-26 08:37:29 +0200 | kritzefitz | (~kritzefit@212.86.56.80) |
2021-04-26 08:38:03 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:d9d9:f067:f388:4d71) (Remote host closed the connection) |
2021-04-26 08:39:04 +0200 | rond_ | (5940206b@89-64-32-107.dynamic.chello.pl) |
2021-04-26 08:39:20 +0200 | zmijunkie | (~Adium@87.123.51.242) (Ping timeout: 246 seconds) |
2021-04-26 08:45:48 +0200 | Sgeo | (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer) |
2021-04-26 08:47:32 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-26 08:51:46 +0200 | sudden | (~lax@unaffiliated/laxask) (Ping timeout: 240 seconds) |
2021-04-26 08:52:10 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
2021-04-26 08:54:43 +0200 | dyeplexer | (~lol@unaffiliated/terpin) (Ping timeout: 252 seconds) |
2021-04-26 08:55:26 +0200 | dpl_ | (~dpl@77-121-78-163.chn.volia.net) |
2021-04-26 08:56:49 +0200 | jgt | (~jgt@78.162.43.217) |
2021-04-26 08:56:51 +0200 | dyeplexer | (~lol@unaffiliated/terpin) |
2021-04-26 08:57:54 +0200 | notzmv | (~zmv@unaffiliated/zmv) (Ping timeout: 245 seconds) |
2021-04-26 08:59:20 +0200 | jespada | (~jespada@87.74.37.248) |
2021-04-26 09:00:57 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:d9d9:f067:f388:4d71) |
2021-04-26 09:01:05 +0200 | m0rphism | (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
2021-04-26 09:05:29 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:d9d9:f067:f388:4d71) (Ping timeout: 250 seconds) |
2021-04-26 09:06:28 +0200 | kritzefitz | (~kritzefit@212.86.56.80) (Ping timeout: 252 seconds) |
2021-04-26 09:06:54 +0200 | kritzefitz | (~kritzefit@2003:5b:203b:200::10:49) |
2021-04-26 09:11:03 +0200 | Thom2503 | (~Thom2503@49-135-166-62.ftth.glasoperator.nl) |
2021-04-26 09:12:07 +0200 | michalz | (~user@185.246.204.44) |
2021-04-26 09:12:24 +0200 | thc202 | (~thc202@unaffiliated/thc202) |
2021-04-26 09:12:40 +0200 | plutoniix | (~q@ppp-58-8-212-146.revip2.asianet.co.th) |
2021-04-26 09:15:49 +0200 | refusenick | (~user@2601:644:8502:d700::94c9) (Ping timeout: 245 seconds) |
2021-04-26 09:22:06 +0200 | idhugo | (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
2021-04-26 09:25:15 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
2021-04-26 09:27:02 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) |
2021-04-26 09:27:18 +0200 | Neuromancer | (~Neuromanc@unaffiliated/neuromancer) |
2021-04-26 09:27:20 +0200 | ddellacosta | (~ddellacos@86.106.143.151) |
2021-04-26 09:28:30 +0200 | idhugo | (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Remote host closed the connection) |
2021-04-26 09:28:57 +0200 | idhugo | (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
2021-04-26 09:29:36 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b9563253a50075d84e1af.dip0.t-ipconnect.de) |
2021-04-26 09:30:09 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-04-26 09:30:52 +0200 | zmijunkie1 | (~Adium@109.90.32.89) (Ping timeout: 240 seconds) |
2021-04-26 09:31:02 +0200 | fiedlr | (~fiedlr@83.148.33.254) |
2021-04-26 09:32:11 +0200 | ddellacosta | (~ddellacos@86.106.143.151) (Ping timeout: 260 seconds) |
2021-04-26 09:32:30 +0200 | dyeplexer | (~lol@unaffiliated/terpin) (Ping timeout: 268 seconds) |
2021-04-26 09:32:56 +0200 | idhugo_ | (~idhugo@130.225.16.16) |
2021-04-26 09:33:57 +0200 | zmijunkie | (~Adium@87.123.51.242) |
2021-04-26 09:35:41 +0200 | idhugo | (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Ping timeout: 260 seconds) |
2021-04-26 09:40:20 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) |
2021-04-26 09:42:01 +0200 | chimera | (~chimera@168-182-134-95.pool.ukrtel.net) |
2021-04-26 09:45:49 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 245 seconds) |
2021-04-26 09:47:21 +0200 | mmfood_2 | (~mmfood@185.176.246.69) (Ping timeout: 260 seconds) |
2021-04-26 09:47:57 +0200 | kritzefitz | (~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection) |
2021-04-26 09:48:51 +0200 | sudden | (~lax@unaffiliated/laxask) |
2021-04-26 09:49:44 +0200 | urdh | (~urdh@unaffiliated/urdh) |
2021-04-26 09:53:29 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
2021-04-26 09:54:13 +0200 | <tempate> | Given a function and a list of possible inputs, how can I find out what input produces a certain output ? |
2021-04-26 09:57:01 +0200 | <Uniaika> | tempate: do you have a known output? |
2021-04-26 09:57:04 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 245 seconds) |
2021-04-26 09:57:04 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
2021-04-26 09:58:15 +0200 | <tempate> | Uniaika: I do, yes |
2021-04-26 09:59:23 +0200 | aVikingTrex | (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 260 seconds) |
2021-04-26 09:59:54 +0200 | dyeplexer | (~lol@unaffiliated/terpin) |
2021-04-26 10:00:20 +0200 | <Uniaika> | tempate: if your condition is known, you can do things simply like https://paste.tomsmeding.com/BYzGj8Cu |
2021-04-26 10:00:30 +0200 | <tomsmeding> | f :: Bool -> Bool ; f = if riemannHypothesisIsTrue then id else not |
2021-04-26 10:00:32 +0200 | <Uniaika> | and then filter for the tuples that have True as their first element |
2021-04-26 10:00:42 +0200 | <Uniaika> | heya tomsmeding |
2021-04-26 10:00:49 +0200 | <tomsmeding> | :) |
2021-04-26 10:01:24 +0200 | alexander | (~alexander@2a02:587:dc0a:2700:dc6:16ac:a95:eabf) |
2021-04-26 10:01:33 +0200 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
2021-04-26 10:01:54 +0200 | alexander | Guest292 |
2021-04-26 10:02:29 +0200 | idhugo__ | (~idhugo@130.225.16.16) |
2021-04-26 10:04:17 +0200 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) |
2021-04-26 10:04:29 +0200 | gitgood | (~gitgood@80-44-9-246.dynamic.dsl.as9105.com) (Quit: Probably away to do something really awesome) |
2021-04-26 10:04:34 +0200 | dyeplexer | (~lol@unaffiliated/terpin) (Ping timeout: 245 seconds) |
2021-04-26 10:04:53 +0200 | LKoen | (~LKoen@22.249.88.92.rev.sfr.net) |
2021-04-26 10:05:11 +0200 | idhugo_ | (~idhugo@130.225.16.16) (Ping timeout: 268 seconds) |
2021-04-26 10:05:21 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection) |
2021-04-26 10:05:45 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
2021-04-26 10:05:54 +0200 | ddellacosta | (~ddellacos@86.106.143.21) |
2021-04-26 10:08:19 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b9563253a50075d84e1af.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
2021-04-26 10:09:36 +0200 | stree | (~stree@68.36.8.116) |
2021-04-26 10:10:16 +0200 | s8ori | (~username@iamnakedandmyballsareonfire.com) |
2021-04-26 10:10:44 +0200 | ddellacosta | (~ddellacos@86.106.143.21) (Ping timeout: 268 seconds) |
2021-04-26 10:10:45 +0200 | hendursa1 | (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
2021-04-26 10:11:34 +0200 | s8ori | (~username@iamnakedandmyballsareonfire.com) () |
2021-04-26 10:12:46 +0200 | hendursa1 | (~weechat@gateway/tor-sasl/hendursaga) |
2021-04-26 10:13:40 +0200 | is_null | (~jpic@pdpc/supporter/professional/is-null) (Remote host closed the connection) |
2021-04-26 10:15:13 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
2021-04-26 10:16:41 +0200 | dyeplexer | (~lol@unaffiliated/terpin) |
2021-04-26 10:16:42 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2021-04-26 10:17:25 +0200 | ephemera_ | (~E@14.63.26.157) (Ping timeout: 252 seconds) |
2021-04-26 10:17:35 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:d9d9:f067:f388:4d71) |
2021-04-26 10:18:44 +0200 | Guest6509 | (~laudiacay@45.162.228.190) (Ping timeout: 245 seconds) |
2021-04-26 10:19:06 +0200 | jgt | (~jgt@78.162.43.217) (Ping timeout: 240 seconds) |
2021-04-26 10:19:19 +0200 | Guest6509 | (~laudiacay@45.162.228.190) |
2021-04-26 10:20:55 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer) |
2021-04-26 10:23:41 +0200 | Guest6509 | (~laudiacay@45.162.228.190) (Ping timeout: 240 seconds) |
2021-04-26 10:23:55 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:d9d9:f067:f388:4d71) (Ping timeout: 250 seconds) |
2021-04-26 10:23:56 +0200 | acertain | (sid470584@gateway/web/irccloud.com/x-ogravonvfzuqdrmh) (Read error: Connection reset by peer) |
2021-04-26 10:23:56 +0200 | lexi-lambda | (sid92601@gateway/web/irccloud.com/x-lbtagjjufznxxeun) (Read error: Connection reset by peer) |
2021-04-26 10:23:56 +0200 | nick_h | (sid319833@gateway/web/irccloud.com/x-rpjxyycebsudwryk) (Write error: Connection reset by peer) |
2021-04-26 10:23:56 +0200 | mpickering | (sid78412@gateway/web/irccloud.com/x-uuuhuurfuxahsslu) (Read error: Connection reset by peer) |
2021-04-26 10:23:56 +0200 | simony | (sid226116@gateway/web/irccloud.com/x-uimvkkhkkjmffmgk) (Read error: Connection reset by peer) |
2021-04-26 10:24:03 +0200 | gluegadget | (sid22336@gateway/web/irccloud.com/x-yvyuuucqiikbdiwr) (Read error: Connection reset by peer) |
2021-04-26 10:24:09 +0200 | Tritlo | (sid58727@gateway/web/irccloud.com/x-aozswbintmywimnv) (Read error: Connection reset by peer) |
2021-04-26 10:24:21 +0200 | hamishmack | (sid389057@gateway/web/irccloud.com/x-pnmcssvibehjvusv) (Read error: Connection reset by peer) |
2021-04-26 10:24:21 +0200 | dsturnbull | (sid347899@gateway/web/irccloud.com/x-rwwelyrmjwhraekh) (Read error: Connection reset by peer) |
2021-04-26 10:24:21 +0200 | affinespaces | (sid327561@gateway/web/irccloud.com/x-zprmbywljksowyax) (Read error: Connection reset by peer) |
2021-04-26 10:24:24 +0200 | chimera | (~chimera@168-182-134-95.pool.ukrtel.net) (Quit: Konversation terminated!) |
2021-04-26 10:24:32 +0200 | edwinb | (sid69486@gateway/web/irccloud.com/x-ceykgrlrnlvnljwc) (Ping timeout: 240 seconds) |
2021-04-26 10:24:35 +0200 | Firedancer | (sid336191@gateway/web/irccloud.com/x-xoleucehjmvybibw) (Read error: Connection reset by peer) |
2021-04-26 10:24:46 +0200 | dmj` | (sid72307@gateway/web/irccloud.com/x-apketcevmbwpajcv) (Read error: Connection reset by peer) |
2021-04-26 10:24:50 +0200 | PoliticsII______ | (sid193551@gateway/web/irccloud.com/x-yxyceemvbzkrgcna) (Read error: Connection reset by peer) |
2021-04-26 10:24:52 +0200 | Guest45273 | (sid175221@gateway/web/irccloud.com/x-nsujrihzxxbdnxuk) (Read error: Connection reset by peer) |
2021-04-26 10:24:58 +0200 | joel135 | (sid136450@gateway/web/irccloud.com/x-ucqckdoiizhcvkmw) (Read error: Connection reset by peer) |
2021-04-26 10:24:59 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Ping timeout: 245 seconds) |
2021-04-26 10:25:10 +0200 | is_null | (~jpic@pdpc/supporter/professional/is-null) |
2021-04-26 10:25:39 +0200 | heyj | (sid171370@gateway/web/irccloud.com/x-wookyduvyhmgjxsv) (Ping timeout: 250 seconds) |
2021-04-26 10:26:27 +0200 | SanchayanMaity | (sid478177@gateway/web/irccloud.com/x-iknoupunjrgfpxlk) (Ping timeout: 260 seconds) |
2021-04-26 10:28:02 +0200 | ukari | (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
2021-04-26 10:28:36 +0200 | ukari | (~ukari@unaffiliated/ukari) |
2021-04-26 10:29:13 +0200 | rond_ | (5940206b@89-64-32-107.dynamic.chello.pl) (Quit: Connection closed) |
2021-04-26 10:29:22 +0200 | joel135 | (sid136450@gateway/web/irccloud.com/x-ndhpmrvvghebnbtd) |
2021-04-26 10:29:30 +0200 | acertain | (sid470584@gateway/web/irccloud.com/x-sumasjykwljqhlbu) |
2021-04-26 10:29:34 +0200 | affinespaces | (sid327561@gateway/web/irccloud.com/x-ubclajppgjefvuak) |
2021-04-26 10:29:39 +0200 | simony | (sid226116@gateway/web/irccloud.com/x-kmfpxdltuszvmpvx) |
2021-04-26 10:29:40 +0200 | nick_h | (sid319833@gateway/web/irccloud.com/x-zusqmzasathspykj) |
2021-04-26 10:29:40 +0200 | lexi-lambda | (sid92601@gateway/web/irccloud.com/x-vyltbyovtotffqec) |
2021-04-26 10:29:40 +0200 | mpickering | (sid78412@gateway/web/irccloud.com/x-xjsuxnedetzxjhqw) |
2021-04-26 10:29:44 +0200 | gluegadget | (sid22336@gateway/web/irccloud.com/x-itbovuhjwhyfdepu) |
2021-04-26 10:29:56 +0200 | hamishmack | (sid389057@gateway/web/irccloud.com/x-hinwsnzvmlwgjiuz) |
2021-04-26 10:30:00 +0200 | dsturnbull | (sid347899@gateway/web/irccloud.com/x-qvlrvivkyeospoih) |
2021-04-26 10:30:11 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds) |
2021-04-26 10:30:13 +0200 | Firedancer | (sid336191@gateway/web/irccloud.com/x-gcafzszhhwdyauva) |
2021-04-26 10:30:13 +0200 | heyj | (sid171370@gateway/web/irccloud.com/x-mqcobmcwiqxugtpm) |
2021-04-26 10:30:20 +0200 | Tritlo | (sid58727@gateway/web/irccloud.com/x-qlfkwgdcrqlcpigc) |
2021-04-26 10:30:24 +0200 | edwinb | (sid69486@gateway/web/irccloud.com/x-sfvgflsmzchrdhrj) |
2021-04-26 10:30:32 +0200 | PoliticsII______ | (sid193551@gateway/web/irccloud.com/x-zsvgstszagyrpulm) |
2021-04-26 10:30:48 +0200 | Stanley|00 | (~stanley00@unaffiliated/stanley00) |
2021-04-26 10:30:56 +0200 | Guest45273 | (sid175221@gateway/web/irccloud.com/x-xfqbqidhzrwpebvs) |
2021-04-26 10:30:57 +0200 | vgtw | (~vgtw@gateway/tor-sasl/vgtw) (Remote host closed the connection) |
2021-04-26 10:31:05 +0200 | dmj` | (sid72307@gateway/web/irccloud.com/x-dxdffqeugfhdwmki) |
2021-04-26 10:31:09 +0200 | SanchayanMaity | (sid478177@gateway/web/irccloud.com/x-ggfrtzsywgaxgizs) |
2021-04-26 10:31:12 +0200 | vgtw | (~vgtw@gateway/tor-sasl/vgtw) |
2021-04-26 10:32:16 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) (Ping timeout: 252 seconds) |
2021-04-26 10:33:10 +0200 | jgt | (~jgt@78.162.43.217) |
2021-04-26 10:33:26 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
2021-04-26 10:33:41 +0200 | hyiltiz | (~quassel@unaffiliated/hyiltiz) (Ping timeout: 240 seconds) |
2021-04-26 10:35:23 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) |
2021-04-26 10:37:08 +0200 | drbean_ | (~drbean@TC210-63-209-203.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
2021-04-26 10:38:14 +0200 | ddellacosta | (~ddellacos@86.106.143.34) |
2021-04-26 10:38:15 +0200 | mmfood_2 | (~mmfood@185.176.246.69) |
2021-04-26 10:38:33 +0200 | hyiltiz | (~quassel@31.220.5.250) |
2021-04-26 10:38:33 +0200 | hyiltiz | (~quassel@31.220.5.250) (Changing host) |
2021-04-26 10:38:33 +0200 | hyiltiz | (~quassel@unaffiliated/hyiltiz) |
2021-04-26 10:42:41 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
2021-04-26 10:42:48 +0200 | ddellacosta | (~ddellacos@86.106.143.34) (Ping timeout: 268 seconds) |
2021-04-26 10:43:25 +0200 | knupfer | (~Thunderbi@200116b82b4e03004c33ffe1c2c70c13.dip.versatel-1u1.de) (Ping timeout: 250 seconds) |
2021-04-26 10:45:39 +0200 | zaquest | (~notzaques@5.128.210.178) (Quit: Leaving) |
2021-04-26 10:46:48 +0200 | zaquest | (~notzaques@5.128.210.178) |
2021-04-26 10:47:45 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-04-26 10:48:52 +0200 | boogsbunny | (1769ab38@23.105.171.56) |
2021-04-26 10:49:58 +0200 | malumore | (~malumore@151.62.121.252) |
2021-04-26 10:50:43 +0200 | <joel135> | > do { return 0; print "???" } |
2021-04-26 10:50:45 +0200 | <lambdabot> | <IO ()> |
2021-04-26 10:51:04 +0200 | <joel135> | "???" |
2021-04-26 10:51:08 +0200 | <joel135> | :) |
2021-04-26 10:51:38 +0200 | malumore | (~malumore@151.62.121.252) (Remote host closed the connection) |
2021-04-26 10:51:49 +0200 | malumore | (~malumore@151.62.121.252) |
2021-04-26 10:52:04 +0200 | <tempate> | Uniaika: that may do the trick. The problem now is how to get only the first element from filter. |
2021-04-26 10:52:13 +0200 | bitmagie | (~Thunderbi@200116b80653e900704c8745b360bdd2.dip.versatel-1u1.de) |
2021-04-26 10:52:28 +0200 | malumore | (~malumore@151.62.121.252) (Remote host closed the connection) |
2021-04-26 10:52:38 +0200 | malumore | (~malumore@151.62.121.252) |
2021-04-26 10:52:47 +0200 | <Uniaika> | tempate: head . filter ? |
2021-04-26 10:52:52 +0200 | <Uniaika> | filter returns a list |
2021-04-26 10:54:36 +0200 | <merijn> | :t listToMaybe |
2021-04-26 10:54:38 +0200 | <lambdabot> | [a] -> Maybe a |
2021-04-26 10:54:54 +0200 | malumore | (~malumore@151.62.121.252) (Remote host closed the connection) |
2021-04-26 10:55:03 +0200 | <tempate> | Fantastic |
2021-04-26 10:55:18 +0200 | malumore | (~malumore@151.62.121.252) |
2021-04-26 10:55:23 +0200 | malumore | (~malumore@151.62.121.252) (Remote host closed the connection) |
2021-04-26 10:55:31 +0200 | idhugo__ | (~idhugo@130.225.16.16) (Read error: Connection reset by peer) |
2021-04-26 10:55:59 +0200 | <tempate> | Thanks a lot |
2021-04-26 10:56:14 +0200 | pfurla_ | (~pfurla@185.108.105.65) |
2021-04-26 10:56:27 +0200 | malumore | (~malumore@151.62.121.252) |
2021-04-26 10:56:55 +0200 | idhugo__ | (~idhugo@87-49-45-4-mobile.dk.customer.tdc.net) |
2021-04-26 10:56:55 +0200 | notzmv | (~zmv@unaffiliated/zmv) |
2021-04-26 10:57:48 +0200 | malumore | (~malumore@151.62.121.252) (Remote host closed the connection) |
2021-04-26 10:57:59 +0200 | malumore | (~malumore@151.62.121.252) |
2021-04-26 10:58:20 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) |
2021-04-26 10:59:13 +0200 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 252 seconds) |
2021-04-26 11:00:09 +0200 | samthecoy[m] | (samthecoym@gateway/shell/matrix.org/x-hruxclzacznfvtzj) (Quit: Idle for 30+ days) |
2021-04-26 11:00:48 +0200 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) |
2021-04-26 11:00:52 +0200 | Guest292 | chomwitt |
2021-04-26 11:02:29 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 245 seconds) |
2021-04-26 11:02:52 +0200 | pfurla_ | (~pfurla@185.108.105.65) (Ping timeout: 240 seconds) |
2021-04-26 11:03:49 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2021-04-26 11:04:10 +0200 | Thom2503 | (~Thom2503@49-135-166-62.ftth.glasoperator.nl) (Read error: Connection reset by peer) |
2021-04-26 11:04:57 +0200 | swater | (~swater@perso.iiens.net) (Ping timeout: 260 seconds) |
2021-04-26 11:11:45 +0200 | Pickchea | (~private@unaffiliated/pickchea) |
2021-04-26 11:13:41 +0200 | remedan | (~remedan@balak.me) (Quit: Bye!) |
2021-04-26 11:13:55 +0200 | Varis | (~Tadas@unaffiliated/varis) |
2021-04-26 11:16:03 +0200 | Thom2503 | (~Thom2503@49-135-166-62.ftth.glasoperator.nl) |
2021-04-26 11:18:42 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-26 11:19:41 +0200 | remedan | (~remedan@balak.me) |
2021-04-26 11:23:11 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
2021-04-26 11:24:25 +0200 | <maerwald> | listToMaybe is a terrible name :) |
2021-04-26 11:24:57 +0200 | <maerwald> | @hoogle safeHead |
2021-04-26 11:24:58 +0200 | <lambdabot> | Distribution.Simple.Utils safeHead :: [a] -> Maybe a |
2021-04-26 11:24:58 +0200 | <lambdabot> | Distribution.Utils.Generic safeHead :: [a] -> Maybe a |
2021-04-26 11:24:58 +0200 | <lambdabot> | Universum.Container safeHead :: Container t => t -> Maybe (Element t) |
2021-04-26 11:26:08 +0200 | <maerwald> | @hoogle headMay |
2021-04-26 11:26:09 +0200 | <lambdabot> | Safe headMay :: [a] -> Maybe a |
2021-04-26 11:26:09 +0200 | <lambdabot> | Protolude headMay :: [a] -> Maybe a |
2021-04-26 11:26:09 +0200 | <lambdabot> | Protolude.Safe headMay :: [a] -> Maybe a |
2021-04-26 11:26:49 +0200 | <maerwald> | . o O ( headJune ) |
2021-04-26 11:27:13 +0200 | __monty__ | (~toonn@unaffiliated/toonn) |
2021-04-26 11:28:17 +0200 | <Uniaika> | @hoogle head :: NonEmpty a -> a |
2021-04-26 11:28:18 +0200 | <lambdabot> | Data.List.NonEmpty head :: NonEmpty a -> a |
2021-04-26 11:28:18 +0200 | <lambdabot> | Distribution.Compat.Prelude.Internal head :: NonEmpty a -> a |
2021-04-26 11:28:18 +0200 | <lambdabot> | Data.List.NonEmpty.Compat head :: () => NonEmpty a -> a |
2021-04-26 11:28:21 +0200 | <Uniaika> | :3 |
2021-04-26 11:29:50 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) (Remote host closed the connection) |
2021-04-26 11:30:15 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) |
2021-04-26 11:33:48 +0200 | mikolaj__ | (~mikon@duch.mimuw.edu.pl) |
2021-04-26 11:33:57 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 240 seconds) |
2021-04-26 11:34:27 +0200 | mikolaj__ | (~mikon@duch.mimuw.edu.pl) (Client Quit) |
2021-04-26 11:36:28 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2021-04-26 11:36:38 +0200 | mandiblegrip | (~mandibleg@58.168.115.44) |
2021-04-26 11:41:19 +0200 | mandiblegrip | (~mandibleg@58.168.115.44) (Client Quit) |
2021-04-26 11:41:32 +0200 | plast1k_ | (~plast1k_@41.186.25.253) |
2021-04-26 11:43:44 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2021-04-26 11:49:07 +0200 | Tops2 | (~Tobias@dyndsl-091-249-083-109.ewe-ip-backbone.de) |
2021-04-26 11:50:02 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
2021-04-26 11:52:57 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Quit: Writing) |
2021-04-26 11:55:33 +0200 | ech | (~user@gateway/tor-sasl/ech) (Ping timeout: 240 seconds) |
2021-04-26 11:55:35 +0200 | plutoniix | (~q@ppp-58-8-212-146.revip2.asianet.co.th) (Quit: Leaving) |
2021-04-26 11:56:49 +0200 | minoru_shiraeesh | (~shiraeesh@109.166.59.190) |
2021-04-26 11:58:39 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-26 12:00:38 +0200 | Stanley|00 | (~stanley00@unaffiliated/stanley00) (Remote host closed the connection) |
2021-04-26 12:02:49 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) |
2021-04-26 12:03:34 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
2021-04-26 12:04:21 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-04-26 12:05:09 +0200 | zmijunkie1 | (~Adium@109.90.32.89) |
2021-04-26 12:05:40 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:d9d9:f067:f388:4d71) |
2021-04-26 12:05:57 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 240 seconds) |
2021-04-26 12:06:06 +0200 | zmijunkie | (~Adium@87.123.51.242) (Ping timeout: 240 seconds) |
2021-04-26 12:06:40 +0200 | <invaser> | Hi guys! I'm trying to implement my own version of lambda-calculus in Haskell, and I have the following problem: |
2021-04-26 12:06:40 +0200 | <invaser> | I used to have such function: evalStep :: Context -> Term -> Maybe Term, basically it does reductions until it's possible |
2021-04-26 12:07:26 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2021-04-26 12:08:23 +0200 | <invaser> | Buth then I wanted to see intermediate steps, and since evalStep is recursive, I can't just unfoldr it and see the results |
2021-04-26 12:08:31 +0200 | malumore | (~malumore@151.62.121.252) (Ping timeout: 260 seconds) |
2021-04-26 12:09:04 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
2021-04-26 12:09:57 +0200 | <invaser> | Because sometimes intermediate steps occur inside this recursive function, and I really don't see a good way to rewrite it, so I changed the function signature to Context -> Term -> [Term], and now function returns all completed steps, and another function like eval can take the last element of the list and pass it to evalStep again |
2021-04-26 12:10:05 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:d9d9:f067:f388:4d71) (Ping timeout: 250 seconds) |
2021-04-26 12:10:48 +0200 | boogsbunny | (1769ab38@23.105.171.56) (Quit: Connection closed) |
2021-04-26 12:11:07 +0200 | Varis | (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
2021-04-26 12:11:18 +0200 | <invaser> | So what I wanted to ask is maybe someone sees a way to refactor it using some smarter abstraction? I've thought about Writer [Term] (Maybe Term), which would log all the steps and tell us if the computation is complete or not |
2021-04-26 12:11:36 +0200 | <invaser> | But I'm not sure if it's an appropriate use of Writer |
2021-04-26 12:12:21 +0200 | Varis | (~Tadas@78-62-133-232.static.zebra.lt) |
2021-04-26 12:12:21 +0200 | Varis | (~Tadas@78-62-133-232.static.zebra.lt) (Changing host) |
2021-04-26 12:12:21 +0200 | Varis | (~Tadas@unaffiliated/varis) |
2021-04-26 12:14:09 +0200 | Enrico63 | (520efe97@cpc92708-cmbg20-2-0-cust150.5-4.cable.virginm.net) (Quit: Connection closed) |
2021-04-26 12:16:13 +0200 | mrchampion | (~mrchampio@38.18.109.23) (Ping timeout: 252 seconds) |
2021-04-26 12:17:47 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 268 seconds) |
2021-04-26 12:18:15 +0200 | aVikingTrex | (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
2021-04-26 12:19:01 +0200 | plast1k_ | (~plast1k_@41.186.25.253) (Ping timeout: 260 seconds) |
2021-04-26 12:19:28 +0200 | unyu | (~pyon@unaffiliated/pyon) (Quit: brb) |
2021-04-26 12:21:54 +0200 | mrchampion | (~mrchampio@38.18.109.23) |
2021-04-26 12:24:23 +0200 | ericsagn1 | (~ericsagne@2405:6580:0:5100:9e02:7bf3:beb9:eefe) (Ping timeout: 250 seconds) |
2021-04-26 12:26:09 +0200 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) |
2021-04-26 12:26:22 +0200 | HannaM | (~quassel@p54849510.dip0.t-ipconnect.de) |
2021-04-26 12:28:21 +0200 | vicfred | (vicfred@gateway/vpn/mullvad/vicfred) (Quit: Leaving) |
2021-04-26 12:28:41 +0200 | xsperry | (~as@unaffiliated/xsperry) (Ping timeout: 240 seconds) |
2021-04-26 12:29:40 +0200 | malumore | (~malumore@151.62.121.252) |
2021-04-26 12:30:46 +0200 | stree | (~stree@68.36.8.116) |
2021-04-26 12:35:17 +0200 | nullifidian | (~nullifidi@unaffiliated/nullifidian) |
2021-04-26 12:37:47 +0200 | ericsagn1 | (~ericsagne@2405:6580:0:5100:f023:81fa:fbf5:ef93) |
2021-04-26 12:39:29 +0200 | Pickchea | (~private@unaffiliated/pickchea) (Ping timeout: 252 seconds) |
2021-04-26 12:39:34 +0200 | mmfood_2 | (~mmfood@185.176.246.69) (Quit: Leaving) |
2021-04-26 12:42:28 +0200 | Enrico63 | (520efe97@cpc92708-cmbg20-2-0-cust150.5-4.cable.virginm.net) |
2021-04-26 12:44:54 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) |
2021-04-26 12:46:48 +0200 | Guest14500 | (~textual@2603-7000-3040-0000-116a-d416-07d6-69e7.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-04-26 12:47:27 +0200 | Enrico63 | (520efe97@cpc92708-cmbg20-2-0-cust150.5-4.cable.virginm.net) (Quit: Connection closed) |
2021-04-26 12:47:32 +0200 | puke | (~vroom@217.138.252.196) |
2021-04-26 12:49:09 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 245 seconds) |
2021-04-26 12:50:29 +0200 | thblt | (~thblt@unaffiliated/thblt) ("ERC (IRC client for Emacs 28.0.50)") |
2021-04-26 12:54:38 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) (Remote host closed the connection) |
2021-04-26 12:54:52 +0200 | <tomsmeding> | invaser: why does the function apply multiple evaluation steps in one invocation? |
2021-04-26 12:55:12 +0200 | <tomsmeding> | it's probably more efficient this way, but I don't know if that matters for you |
2021-04-26 12:56:46 +0200 | is_null | (~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 240 seconds) |
2021-04-26 12:57:51 +0200 | bitmagie | (~Thunderbi@200116b80653e900704c8745b360bdd2.dip.versatel-1u1.de) (Quit: bitmagie) |
2021-04-26 13:01:20 +0200 | turlando | (~turlando@93-42-250-112.ip89.fastwebnet.it) |
2021-04-26 13:01:29 +0200 | Alleria | (~textual@mskresolve-a.mskcc.org) |
2021-04-26 13:01:54 +0200 | Alleria | Guest8109 |
2021-04-26 13:02:01 +0200 | xsperry | (~as@unaffiliated/xsperry) |
2021-04-26 13:02:15 +0200 | <turlando> | Hello. I'm trying to configure haskell completion in Emacs. According to haskell-mode I should just install it and it should work OOTB, but it doesn't seem like that to me. I also have company-mode installed. What should I do? |
2021-04-26 13:02:52 +0200 | Wamanuz | (~wamanuz@78-70-34-81-no84.tbcn.telia.com) (Remote host closed the connection) |
2021-04-26 13:03:22 +0200 | Wamanuz | (~wamanuz@78-70-34-81-no84.tbcn.telia.com) |
2021-04-26 13:03:33 +0200 | ukari | (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
2021-04-26 13:04:13 +0200 | ukari | (~ukari@unaffiliated/ukari) |
2021-04-26 13:06:13 +0200 | <invaser> | tomsmeding: a term usually consists of other subterms, and it just calls this function recursively on them (I guess that otherwise it would be hard to preserve the evaluation strategy order). I've tried to figure out a way to refactor it nicely, and it seems that it's not possible. |
2021-04-26 13:06:54 +0200 | DavidEichmann | (~david@147.136.46.217.dyn.plus.net) |
2021-04-26 13:07:03 +0200 | idhugo__ | (~idhugo@87-49-45-4-mobile.dk.customer.tdc.net) (Ping timeout: 265 seconds) |
2021-04-26 13:09:14 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-26 13:09:59 +0200 | nullifidian | (~nullifidi@unaffiliated/nullifidian) (Quit: Leaving) |
2021-04-26 13:10:26 +0200 | Franciman | (~francesco@host-79-32-159-157.retail.telecomitalia.it) |
2021-04-26 13:10:33 +0200 | <Franciman> | Hi, can I ask questions about liquid haskell? |
2021-04-26 13:12:01 +0200 | <hpc> | yes, but you can't ask questions about asking questions about liquid haskell :P |
2021-04-26 13:12:31 +0200 | <Franciman> | lol |
2021-04-26 13:12:54 +0200 | <Franciman> | I have this function: isNotNull :: [a] -> Bool |
2021-04-26 13:13:01 +0200 | <Franciman> | isNotNull a = not (null a) |
2021-04-26 13:13:04 +0200 | <Franciman> | I want to check this: |
2021-04-26 13:13:29 +0200 | <Franciman> | isNotNull :: l:[a] -> { v:Bool | v <=> not (len a == 0) } |
2021-04-26 13:13:31 +0200 | <Franciman> | it does not work |
2021-04-26 13:13:32 +0200 | <Franciman> | lol |
2021-04-26 13:13:34 +0200 | <Franciman> | the error is |
2021-04-26 13:13:50 +0200 | <Franciman> | https://bpa.st/AI4Q |
2021-04-26 13:13:58 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
2021-04-26 13:14:20 +0200 | ces | (~ces@fsf/member/ces) |
2021-04-26 13:14:33 +0200 | ces | (~ces@fsf/member/ces) (Client Quit) |
2021-04-26 13:14:41 +0200 | <Franciman> | ehm sorry |
2021-04-26 13:14:53 +0200 | <Franciman> | I think I used different letters |
2021-04-26 13:15:00 +0200 | <Franciman> | what i want to check is |
2021-04-26 13:15:06 +0200 | <Franciman> | isNotNull :: z:[a] -> { v:Bool | v <=> not (len z == 0) } |
2021-04-26 13:15:22 +0200 | Guest6509 | (~laudiacay@45.162.228.190) |
2021-04-26 13:15:43 +0200 | Pickchea | (~private@unaffiliated/pickchea) |
2021-04-26 13:17:23 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) |
2021-04-26 13:20:06 +0200 | Guest6509 | (~laudiacay@45.162.228.190) (Ping timeout: 265 seconds) |
2021-04-26 13:20:10 +0200 | Enrico63 | (520efe97@cpc92708-cmbg20-2-0-cust150.5-4.cable.virginm.net) |
2021-04-26 13:20:13 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) |
2021-04-26 13:20:26 +0200 | LKoen | (~LKoen@22.249.88.92.rev.sfr.net) (Remote host closed the connection) |
2021-04-26 13:22:27 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 250 seconds) |
2021-04-26 13:22:27 +0200 | <tomsmeding> | invaser: what does it mean if evalStep returns Nothing? Does it mean that no evaluation steps could be applied in that subterm? If that's true, then perhaps you can use that information to choose whether to simplify further subterms or not, in order to ensure that you only do one evaluation step on the whole term |
2021-04-26 13:22:49 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
2021-04-26 13:24:02 +0200 | <tomsmeding> | Franciman: isn't 'v' a special name in liquidhaskell or something? |
2021-04-26 13:24:43 +0200 | <Franciman> | uhm |
2021-04-26 13:24:51 +0200 | <Franciman> | I don't think so, but hey let us try |
2021-04-26 13:24:53 +0200 | <tomsmeding> | not knowing much about LH that error sounds like there's some name confusion going on |
2021-04-26 13:25:18 +0200 | <Franciman> | I changed to r |
2021-04-26 13:25:22 +0200 | <Franciman> | no |
2021-04-26 13:25:24 +0200 | <Franciman> | change |
2021-04-26 13:25:40 +0200 | <Franciman> | the problem looks like to lie in the null function |
2021-04-26 13:25:48 +0200 | <Franciman> | damn you liquid haskell |
2021-04-26 13:26:47 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 250 seconds) |
2021-04-26 13:26:53 +0200 | ekrion | (~ffx1@181.58.39.182) |
2021-04-26 13:28:45 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
2021-04-26 13:34:55 +0200 | machinedgod | (~machinedg@24.105.81.50) |
2021-04-26 13:40:30 +0200 | <tempate> | How can I check if two functions give the same output for a list of inputs? |
2021-04-26 13:40:35 +0200 | kritzefitz | (~kritzefit@212.86.56.80) |
2021-04-26 13:41:00 +0200 | idhugo | (~idhugo@87-49-45-4-mobile.dk.customer.tdc.net) |
2021-04-26 13:41:07 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-26 13:41:15 +0200 | <Franciman> | all . map (\input -> f1 input == f2 input) inputs |
2021-04-26 13:41:21 +0200 | <Franciman> | ops |
2021-04-26 13:41:37 +0200 | <Franciman> | all $ map (\i -> f1 i == f2 i) inputs |
2021-04-26 13:41:53 +0200 | <tempate> | Hmmm |
2021-04-26 13:41:54 +0200 | <tempate> | Nice |
2021-04-26 13:41:56 +0200 | <tempate> | Thanks a lot |
2021-04-26 13:42:04 +0200 | boogsbunny | (1769ab38@23.105.171.56) |
2021-04-26 13:44:38 +0200 | michalz | (~user@185.246.204.44) (Read error: Connection reset by peer) |
2021-04-26 13:45:49 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 245 seconds) |
2021-04-26 13:45:56 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds) |
2021-04-26 13:47:39 +0200 | rodriga | (~quassel@134.204.25.66) |
2021-04-26 13:48:25 +0200 | kritzefitz | (~kritzefit@212.86.56.80) (Ping timeout: 268 seconds) |
2021-04-26 13:48:45 +0200 | kritzefitz | (~kritzefit@2003:5b:203b:200::10:49) |
2021-04-26 13:51:32 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
2021-04-26 13:53:42 +0200 | <tempate> | Franciman: just for consistency, I had to remove "$ map" for it to work |
2021-04-26 13:53:58 +0200 | <Franciman> | oh cool |
2021-04-26 13:54:01 +0200 | <Franciman> | :t all |
2021-04-26 13:54:03 +0200 | <lambdabot> | Foldable t => (a -> Bool) -> t a -> Bool |
2021-04-26 13:54:07 +0200 | <Franciman> | ok sorry |
2021-04-26 13:54:11 +0200 | <Franciman> | it makes sense |
2021-04-26 13:54:35 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 268 seconds) |
2021-04-26 13:58:20 +0200 | unyu | (~pyon@unaffiliated/pyon) |
2021-04-26 13:59:15 +0200 | urodna | (~urodna@unaffiliated/urodna) |
2021-04-26 14:03:40 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) |
2021-04-26 14:05:06 +0200 | edwtjo | (~edwtjo@fsf/member/edwtjo) (Ping timeout: 240 seconds) |
2021-04-26 14:05:21 +0200 | CrazyPython | (~crazypyth@98.122.164.118) |
2021-04-26 14:05:43 +0200 | michalz | (~user@185.246.204.123) |
2021-04-26 14:06:08 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
2021-04-26 14:07:54 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 245 seconds) |
2021-04-26 14:09:39 +0200 | knupfer | (~Thunderbi@i59F67B5E.versanet.de) |
2021-04-26 14:10:34 +0200 | <kritzefitz> | Franciman, you probably thought of and |
2021-04-26 14:10:35 +0200 | <kritzefitz> | :t and |
2021-04-26 14:10:36 +0200 | <lambdabot> | Foldable t => t Bool -> Bool |
2021-04-26 14:10:43 +0200 | <Franciman> | oh right |
2021-04-26 14:10:46 +0200 | <Franciman> | yep |
2021-04-26 14:11:54 +0200 | alx741 | (~alx741@181.196.69.35) |
2021-04-26 14:12:20 +0200 | ddellacosta | (~ddellacos@86.106.143.190) |
2021-04-26 14:13:30 +0200 | zmijunkie | (~Adium@87.123.51.242) |
2021-04-26 14:13:55 +0200 | zmijunkie1 | (~Adium@109.90.32.89) (Ping timeout: 252 seconds) |
2021-04-26 14:14:53 +0200 | o1lo01ol1o | (~o1lo01ol1@bl11-109-140.dsl.telepac.pt) |
2021-04-26 14:16:34 +0200 | forell | (~forell@unaffiliated/forell) (Ping timeout: 260 seconds) |
2021-04-26 14:16:41 +0200 | ddellacosta | (~ddellacos@86.106.143.190) (Ping timeout: 240 seconds) |
2021-04-26 14:17:32 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
2021-04-26 14:17:44 +0200 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) (Remote host closed the connection) |
2021-04-26 14:18:44 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) (Ping timeout: 245 seconds) |
2021-04-26 14:20:35 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 246 seconds) |
2021-04-26 14:21:14 +0200 | invaser | (~Thunderbi@31.148.23.125) (Ping timeout: 245 seconds) |
2021-04-26 14:24:45 +0200 | edwtjo | (~edwtjo@h-7-145.A213.priv.bahnhof.se) |
2021-04-26 14:24:45 +0200 | edwtjo | (~edwtjo@h-7-145.A213.priv.bahnhof.se) (Changing host) |
2021-04-26 14:24:45 +0200 | edwtjo | (~edwtjo@fsf/member/edwtjo) |
2021-04-26 14:25:49 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b9563253a50075d84e1af.dip0.t-ipconnect.de) |
2021-04-26 14:27:51 +0200 | Tops21 | (~Tobias@dyndsl-091-249-083-109.ewe-ip-backbone.de) |
2021-04-26 14:28:17 +0200 | forell | (~forell@unaffiliated/forell) |
2021-04-26 14:28:32 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds) |
2021-04-26 14:30:53 +0200 | ddellacosta | (~ddellacos@86.106.143.112) |
2021-04-26 14:30:58 +0200 | Tops2 | (~Tobias@dyndsl-091-249-083-109.ewe-ip-backbone.de) (Ping timeout: 252 seconds) |
2021-04-26 14:31:16 +0200 | drbean_ | (~drbean@TC210-63-209-57.static.apol.com.tw) |
2021-04-26 14:31:29 +0200 | Gardy | (51f4b066@102.176-244-81.adsl-dyn.isp.belgacom.be) |
2021-04-26 14:37:15 +0200 | LKoen | (~LKoen@22.249.88.92.rev.sfr.net) |
2021-04-26 14:38:17 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 250 seconds) |
2021-04-26 14:38:56 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
2021-04-26 14:38:58 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
2021-04-26 14:40:30 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
2021-04-26 14:40:56 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Client Quit) |
2021-04-26 14:50:43 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-04-26 14:51:45 +0200 | stree | (~stree@68.36.8.116) |
2021-04-26 14:52:35 +0200 | aVikingTrex | (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 250 seconds) |
2021-04-26 14:55:47 +0200 | coot | (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
2021-04-26 14:58:26 +0200 | Benzi-Junior | (~BenziJuni@dsl-149-64-251.hive.is) (Ping timeout: 240 seconds) |
2021-04-26 14:58:28 +0200 | ph88 | (~ph88@2a02:8109:9e00:7e5c:d5ef:86b3:afc4:9258) |
2021-04-26 14:59:55 +0200 | kuribas | (~user@ptr-25vy0i9m572fxrivl24.18120a2.ip6.access.telenet.be) |
2021-04-26 15:00:53 +0200 | noexcept | (~noexcept@2a03:b0c0:3:d0::33:9001) (Read error: Connection reset by peer) |
2021-04-26 15:01:29 +0200 | noexcept | (~noexcept@2a03:b0c0:3:d0::33:9001) |
2021-04-26 15:03:38 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
2021-04-26 15:05:14 +0200 | bitmagie | (~Thunderbi@200116b80653e900704c8745b360bdd2.dip.versatel-1u1.de) |
2021-04-26 15:05:18 +0200 | ekrion | (~ffx1@181.58.39.182) (Remote host closed the connection) |
2021-04-26 15:06:40 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-04-26 15:07:02 +0200 | Benzi-Junior | (~BenziJuni@88-149-64-251.du.xdsl.is) |
2021-04-26 15:09:34 +0200 | bitmagie | (~Thunderbi@200116b80653e900704c8745b360bdd2.dip.versatel-1u1.de) (Client Quit) |
2021-04-26 15:09:49 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 268 seconds) |
2021-04-26 15:10:18 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
2021-04-26 15:11:18 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
2021-04-26 15:11:44 +0200 | hyperisco | (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
2021-04-26 15:15:50 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds) |
2021-04-26 15:16:59 +0200 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) |
2021-04-26 15:17:57 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) |
2021-04-26 15:22:29 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 250 seconds) |
2021-04-26 15:27:35 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
2021-04-26 15:27:57 +0200 | Tario | (~Tario@201.192.165.173) |
2021-04-26 15:28:24 +0200 | ClaudiusMaximus | (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) |
2021-04-26 15:28:25 +0200 | ClaudiusMaximus | (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) (Changing host) |
2021-04-26 15:28:25 +0200 | ClaudiusMaximus | (~claude@unaffiliated/claudiusmaximus) |
2021-04-26 15:29:09 +0200 | fiedlr | (~fiedlr@83.148.33.254) (Remote host closed the connection) |
2021-04-26 15:29:15 +0200 | vv8 | (~egp_@2.95.117.163) |
2021-04-26 15:30:18 +0200 | vv8 | fj |
2021-04-26 15:30:24 +0200 | fj | fjMSX |
2021-04-26 15:34:01 +0200 | ddellacosta | (~ddellacos@86.106.143.112) (Ping timeout: 252 seconds) |
2021-04-26 15:40:03 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) |
2021-04-26 15:40:41 +0200 | lleb | (5c91ba7e@amarseille-158-1-23-126.w92-145.abo.wanadoo.fr) |
2021-04-26 15:41:03 +0200 | Gardy | (51f4b066@102.176-244-81.adsl-dyn.isp.belgacom.be) (Quit: Connection closed) |
2021-04-26 15:41:39 +0200 | enoq | (~textual@194-208-146-143.lampert.tv) |
2021-04-26 15:46:51 +0200 | ystael | (~ystael@209.6.50.55) (Ping timeout: 252 seconds) |
2021-04-26 15:48:13 +0200 | thunderrd | (~thunderrd@183.182.114.233) (Ping timeout: 265 seconds) |
2021-04-26 15:48:50 +0200 | ystael | (~ystael@209.6.50.55) |
2021-04-26 15:51:29 +0200 | coot | (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) |
2021-04-26 15:53:07 +0200 | ph88 | (~ph88@2a02:8109:9e00:7e5c:d5ef:86b3:afc4:9258) (Ping timeout: 260 seconds) |
2021-04-26 15:54:08 +0200 | drbean_ | (~drbean@TC210-63-209-57.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
2021-04-26 15:55:59 +0200 | Gardy | (51f4b066@102.176-244-81.adsl-dyn.isp.belgacom.be) |
2021-04-26 15:56:15 +0200 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) |
2021-04-26 15:57:21 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) |
2021-04-26 15:58:09 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
2021-04-26 16:05:23 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 250 seconds) |
2021-04-26 16:06:35 +0200 | ddellacosta | (~ddellacos@86.106.143.203) |
2021-04-26 16:06:53 +0200 | fiedlr | (~fiedlr@83.148.33.254) |
2021-04-26 16:07:20 +0200 | Maxdamantus | (~Maxdamant@unaffiliated/maxdamantus) (Ping timeout: 265 seconds) |
2021-04-26 16:07:25 +0200 | ph88 | (~ph88@ip5f5af6fd.dynamic.kabel-deutschland.de) |
2021-04-26 16:08:02 +0200 | zmijunkie1 | (~Adium@109.90.32.89) |
2021-04-26 16:08:25 +0200 | zmijunkie | (~Adium@87.123.51.242) (Ping timeout: 268 seconds) |
2021-04-26 16:09:09 +0200 | Maxdamantus | (~Maxdamant@unaffiliated/maxdamantus) |
2021-04-26 16:09:56 +0200 | martin02 | (silas@hund.fs.lmu.de) (Ping timeout: 258 seconds) |
2021-04-26 16:10:49 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 245 seconds) |
2021-04-26 16:11:11 +0200 | ddellacosta | (~ddellacos@86.106.143.203) (Ping timeout: 246 seconds) |
2021-04-26 16:11:32 +0200 | fiedlr | (~fiedlr@83.148.33.254) (Ping timeout: 246 seconds) |
2021-04-26 16:12:03 +0200 | Jef1 | (~Jef@2a02:a03f:e14a:7f00:54c8:d911:27c3:16d4) |
2021-04-26 16:13:38 +0200 | Gardy | (51f4b066@102.176-244-81.adsl-dyn.isp.belgacom.be) (Quit: Connection closed) |
2021-04-26 16:13:55 +0200 | Gardy | (51f4b066@102.176-244-81.adsl-dyn.isp.belgacom.be) |
2021-04-26 16:14:51 +0200 | Jef1 | (~Jef@2a02:a03f:e14a:7f00:54c8:d911:27c3:16d4) () |
2021-04-26 16:15:00 +0200 | Jef1 | (~Jef@2a02:a03f:e14a:7f00:54c8:d911:27c3:16d4) |
2021-04-26 16:15:15 +0200 | Jef1 | (~Jef@2a02:a03f:e14a:7f00:54c8:d911:27c3:16d4) () |
2021-04-26 16:16:22 +0200 | Jef1 | (~Jef@2a02:a03f:e14a:7f00:54c8:d911:27c3:16d4) |
2021-04-26 16:16:26 +0200 | Jef1 | (~Jef@2a02:a03f:e14a:7f00:54c8:d911:27c3:16d4) () |
2021-04-26 16:25:03 +0200 | seven_three | (~user@pool-96-233-64-53.bstnma.fios.verizon.net) |
2021-04-26 16:25:32 +0200 | anandprabhu-M | (anandprabh@gateway/shell/kde/matrix/x-bzzbuurppcsxzllt) (Quit: Bridge terminating on SIGTERM) |
2021-04-26 16:25:32 +0200 | hyiltiz-M | (hyiltizkde@gateway/shell/kde/matrix/x-htrnwcwmekebkeel) (Quit: Bridge terminating on SIGTERM) |
2021-04-26 16:27:18 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
2021-04-26 16:28:49 +0200 | Sgeo | (~Sgeo@ool-18b9875e.dyn.optonline.net) |
2021-04-26 16:30:26 +0200 | Pickchea | (~private@unaffiliated/pickchea) (Ping timeout: 260 seconds) |
2021-04-26 16:31:29 +0200 | renzhi | (~renzhi@2607:fa49:6500:bc00::e7b) |
2021-04-26 16:31:36 +0200 | martin02 | (~martin02@hund.fs.lmu.de) |
2021-04-26 16:32:30 +0200 | johncena | (5c0cd4ac@host-92-12-212-172.as13285.net) |
2021-04-26 16:33:01 +0200 | xkapastel | (uid17782@gateway/web/irccloud.com/x-sgigdjanpsamlbkh) |
2021-04-26 16:33:17 +0200 | <johncena> | Does anyone know of memory allocator simulators written in haskell |
2021-04-26 16:33:29 +0200 | <johncena> | Or just a memory allocator itself written in haskell |
2021-04-26 16:35:09 +0200 | jumper149 | (~jumper149@80.240.31.34) |
2021-04-26 16:35:40 +0200 | anandprabhu-M | (anandprabh@gateway/shell/kde/matrix/x-knnbylqxaiupdwue) |
2021-04-26 16:35:43 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b9563253a50075d84e1af.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
2021-04-26 16:36:45 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
2021-04-26 16:36:54 +0200 | rj | (~x@gateway/tor-sasl/rj) |
2021-04-26 16:36:58 +0200 | idhugo_ | (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
2021-04-26 16:37:44 +0200 | enoq | (~textual@194-208-146-143.lampert.tv) (Quit: Textual IRC Client: www.textualapp.com) |
2021-04-26 16:37:56 +0200 | <wz1000> | johncena: Foreign.Marshal.Pool? |
2021-04-26 16:38:12 +0200 | <jumper149> | Is there a reason why monad transformers aren't defined with a `Monad m` constraint in their newtype definition? |
2021-04-26 16:38:23 +0200 | berberman_ | (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds) |
2021-04-26 16:38:41 +0200 | <jumper149> | I feel like constraints in data/newtype declarations are not liked very much, but I'm not sure what the reason is. |
2021-04-26 16:38:49 +0200 | hyiltiz-M | (hyiltizkde@gateway/shell/kde/matrix/x-urtbejfwazafnhmf) |
2021-04-26 16:39:09 +0200 | berberman | (~berberman@unaffiliated/berberman) |
2021-04-26 16:39:23 +0200 | <jumper149> | The GADTs extension surely makes this very possible. |
2021-04-26 16:39:35 +0200 | seven_three | (~user@pool-96-233-64-53.bstnma.fios.verizon.net) ("ERC (IRC client for Emacs 27.2)") |
2021-04-26 16:39:40 +0200 | idhugo | (~idhugo@87-49-45-4-mobile.dk.customer.tdc.net) (Ping timeout: 252 seconds) |
2021-04-26 16:39:43 +0200 | boogsbunny | (1769ab38@23.105.171.56) (Ping timeout: 240 seconds) |
2021-04-26 16:40:50 +0200 | <johncena> | wz1000: thanks ill take a look. although I'm looking for a pure functional implementation, i.e. not using malloc/free and all of it explicitly being doing in functional code |
2021-04-26 16:40:55 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
2021-04-26 16:41:10 +0200 | ddellacosta | (~ddellacos@86.106.143.112) |
2021-04-26 16:42:32 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) |
2021-04-26 16:42:53 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
2021-04-26 16:43:46 +0200 | idhugo_ | (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds) |
2021-04-26 16:45:32 +0200 | ddellacosta | (~ddellacos@86.106.143.112) (Ping timeout: 240 seconds) |
2021-04-26 16:46:31 +0200 | <jumper149> | Ah I see, newtypes can't have contexts. Only datas. |
2021-04-26 16:46:59 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 250 seconds) |
2021-04-26 16:48:39 +0200 | <sshine> | contexts? |
2021-04-26 16:49:13 +0200 | stef204 | (~stef204@unaffiliated/stef-204/x-384198) |
2021-04-26 16:51:40 +0200 | Enrico63 | (520efe97@cpc92708-cmbg20-2-0-cust150.5-4.cable.virginm.net) (Quit: Connection closed) |
2021-04-26 16:53:09 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
2021-04-26 16:55:30 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) |
2021-04-26 16:58:23 +0200 | <jumper149> | sshine: constraints |
2021-04-26 16:58:44 +0200 | xff0x | (~xff0x@2001:1a81:53aa:e600:aedf:66c8:4911:fe15) (Ping timeout: 245 seconds) |
2021-04-26 16:58:46 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2021-04-26 16:59:07 +0200 | CrazyPyt_ | (~crazypyth@98.122.164.118) |
2021-04-26 16:59:09 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
2021-04-26 16:59:42 +0200 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-rvemkovqaoswbohn) |
2021-04-26 16:59:50 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) (Ping timeout: 246 seconds) |
2021-04-26 17:00:01 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
2021-04-26 17:00:34 +0200 | CrazyPython | (~crazypyth@98.122.164.118) (Ping timeout: 252 seconds) |
2021-04-26 17:00:55 +0200 | xff0x | (xff0x@gateway/vpn/mullvad/xff0x) |
2021-04-26 17:02:34 +0200 | <cheater> | in accelerate, i have a 5x100 (or 100x5, doesn't matter) matrix, and a vector v that's 1x5 (or 5x1). i want to treat the matrix as 100 5-element vectors and compute the dot product against v, then return a 100 element array that has each of the resulting dot products. how would i do that? i don't want to copy the matrix around because it's on the gpu. (it's actually very large and takes up most of the vram). |
2021-04-26 17:03:26 +0200 | jao | (~jao@pdpc/supporter/professional/jao) |
2021-04-26 17:03:28 +0200 | <tomsmeding> | cheater: replicate your 1x5 vector up to 100x5, zipWith (*), then sum the inner (5) dimension |
2021-04-26 17:03:56 +0200 | <tomsmeding> | assumes Z :. 100 :. 5 matrix and a Z :. 1 :. 5 vector |
2021-04-26 17:04:33 +0200 | rj | (~x@gateway/tor-sasl/rj) |
2021-04-26 17:04:45 +0200 | <cheater> | tomsmeding: i don't want to have to create twelve gigabytes that are just the same 1kB vector repeated, that would be very bad for perf |
2021-04-26 17:04:58 +0200 | fiedlr | (~fiedlr@83.148.33.254) |
2021-04-26 17:05:01 +0200 | <sshine> | jumper149, ah, type-class constraints |
2021-04-26 17:05:10 +0200 | <tomsmeding> | cheater: let I2 n len = shape matrix in sum (zipWith (*) matrix (replicate (I2 n len) vector)) |
2021-04-26 17:05:20 +0200 | <tomsmeding> | that 'replicate' isn't actually going to be manifested in memory |
2021-04-26 17:05:30 +0200 | <cheater> | really? |
2021-04-26 17:05:41 +0200 | <cheater> | how do you know? |
2021-04-26 17:05:52 +0200 | <tomsmeding> | it's going to be fused into the zipWith, which itself is going to be be a "virtual" (delayed, officially) array as argument to the fold |
2021-04-26 17:05:58 +0200 | <tomsmeding> | cheater: 1. because I work on accelerate :) |
2021-04-26 17:06:04 +0200 | <tomsmeding> | 2. because you can see what happens in the Show output |
2021-04-26 17:06:08 +0200 | <cheater> | that's cool thank you |
2021-04-26 17:06:16 +0200 | <cheater> | i don't know what Show would display |
2021-04-26 17:06:22 +0200 | <cheater> | i'm only getting started with accelerate |
2021-04-26 17:06:45 +0200 | <tomsmeding> | if you 'show' a value of type 'Acc something', it gives you the optimised version after fusion |
2021-04-26 17:06:45 +0200 | <cheater> | and this will work the same way with accelerate-llvm-ptx? |
2021-04-26 17:06:52 +0200 | <tomsmeding> | yup |
2021-04-26 17:06:58 +0200 | <tomsmeding> | fusion is backend-independent |
2021-04-26 17:07:10 +0200 | zmijunkie1 | (~Adium@109.90.32.89) (Ping timeout: 252 seconds) |
2021-04-26 17:07:27 +0200 | <cheater> | nice thank you |
2021-04-26 17:07:28 +0200 | <cheater> | btw |
2021-04-26 17:07:38 +0200 | <cheater> | do you have any interest in getting llvm-ptx working on windows? |
2021-04-26 17:07:47 +0200 | <cheater> | because i know what would need to be done |
2021-04-26 17:07:55 +0200 | <cheater> | even if i'm missing some of the knowledge how to do it |
2021-04-26 17:08:46 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-04-26 17:09:03 +0200 | <tomsmeding> | please open an issue on the github repo! |
2021-04-26 17:09:15 +0200 | <cheater> | i mean |
2021-04-26 17:09:18 +0200 | <tomsmeding> | we're certainly interested in making it more cross-platform if it isn't already |
2021-04-26 17:09:18 +0200 | <cheater> | it involves fixing llvm |
2021-04-26 17:09:19 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-04-26 17:09:22 +0200 | <tomsmeding> | lol |
2021-04-26 17:09:33 +0200 | <cheater> | and then fixing... uh... what's the thing that invokes the linker? it's not cabal |
2021-04-26 17:09:35 +0200 | <tomsmeding> | can't be done from within accelerate, you mean? |
2021-04-26 17:09:41 +0200 | xff0x | (xff0x@gateway/vpn/mullvad/xff0x) (Ping timeout: 265 seconds) |
2021-04-26 17:09:53 +0200 | <cheater> | no, llvm needs to be fixed, but if we're lucky then it's a lightweight fix |
2021-04-26 17:10:17 +0200 | <tomsmeding> | that's... interesting |
2021-04-26 17:10:20 +0200 | <tomsmeding> | cheater: https://gitter.im/AccelerateHS/Lobby |
2021-04-26 17:10:32 +0200 | <tomsmeding> | lead maintainer of accelerate is in there (trevor) |
2021-04-26 17:10:50 +0200 | <tomsmeding> | please stop by if you're interested, he knows more about the actual backends than I do :) |
2021-04-26 17:11:09 +0200 | xff0x | (~xff0x@2001:1a81:53aa:e600:aedf:66c8:4911:fe15) |
2021-04-26 17:11:26 +0200 | <tomsmeding> | (If you don't like gitter I can also proxy here on irc :p) |
2021-04-26 17:11:55 +0200 | <cheater> | i'm there |
2021-04-26 17:13:07 +0200 | stree | (~stree@68.36.8.116) |
2021-04-26 17:13:13 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
2021-04-26 17:13:16 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-79-166.w86-212.abo.wanadoo.fr) |
2021-04-26 17:14:15 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) |
2021-04-26 17:15:01 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
2021-04-26 17:15:33 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Remote host closed the connection) |
2021-04-26 17:15:57 +0200 | Guest6509 | (~laudiacay@45.162.228.190) |
2021-04-26 17:16:24 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) |
2021-04-26 17:17:28 +0200 | thunderrd | (~thunderrd@183.182.110.191) |
2021-04-26 17:17:39 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-26 17:18:43 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Remote host closed the connection) |
2021-04-26 17:19:00 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) |
2021-04-26 17:20:21 +0200 | Guest6509 | (~laudiacay@45.162.228.190) (Ping timeout: 252 seconds) |
2021-04-26 17:21:36 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) |
2021-04-26 17:21:41 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
2021-04-26 17:22:12 +0200 | o1lo01ol1o | (~o1lo01ol1@bl11-109-140.dsl.telepac.pt) (Read error: Connection reset by peer) |
2021-04-26 17:22:48 +0200 | o1lo01ol1o | (~o1lo01ol1@bl11-109-140.dsl.telepac.pt) |
2021-04-26 17:23:19 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
2021-04-26 17:25:15 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-79-166.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
2021-04-26 17:25:26 +0200 | <tomsmeding> | cheater: https://paste.tomsmeding.com/pOMX0Nfd |
2021-04-26 17:25:32 +0200 | <tomsmeding> | that's in ghci |
2021-04-26 17:25:49 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) (Ping timeout: 245 seconds) |
2021-04-26 17:26:14 +0200 | <cheater> | neato |
2021-04-26 17:26:39 +0200 | <tomsmeding> | note that the program (apart from the use calls, of course) is just a single 'fold' (for the sum) with a delayed argument. That "delayed" is just like "generate", except it isn't actually constructed in memory |
2021-04-26 17:26:55 +0200 | <cheater> | i don't know what generate is |
2021-04-26 17:27:14 +0200 | <tomsmeding> | cheater: https://hackage.haskell.org/package/accelerate-1.3.0.0/docs/Data-Array-Accelerate.html#v:generate |
2021-04-26 17:27:18 +0200 | <cheater> | yep |
2021-04-26 17:27:20 +0200 | <cheater> | i'll read the docs |
2021-04-26 17:27:29 +0200 | <cheater> | just telling you that i don't know it immediately |
2021-04-26 17:27:31 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-79-166.w86-212.abo.wanadoo.fr) |
2021-04-26 17:27:33 +0200 | <tomsmeding> | if the expressions don't look all that optimised: don't worry, expressions are optimised by llvm afterwards :) |
2021-04-26 17:27:39 +0200 | <cheater> | this code isn't easy to read haha |
2021-04-26 17:27:42 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-04-26 17:27:48 +0200 | <cheater> | i'll need to break it down |
2021-04-26 17:27:52 +0200 | <tomsmeding> | no post-fusion code can be hard to read sometimes :p |
2021-04-26 17:28:11 +0200 | <cheater> | ah wait |
2021-04-26 17:28:19 +0200 | <ski> | @let tabulate :: Ix i => (i,i) -> (i -> e) -> Array i e; tabulate ix f = listArray ix [f i | i <- range ix] |
2021-04-26 17:28:20 +0200 | <cheater> | i'm reading the show output |
2021-04-26 17:28:21 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-79-166.w86-212.abo.wanadoo.fr) (Client Quit) |
2021-04-26 17:28:21 +0200 | <lambdabot> | Defined. |
2021-04-26 17:28:22 +0200 | <cheater> | duh |
2021-04-26 17:28:24 +0200 | <tomsmeding> | mostly important is the structure I pointed out; the details of what goes on in the scalar expressions is less important |
2021-04-26 17:29:10 +0200 | <tomsmeding> | ski: indeed :p |
2021-04-26 17:29:39 +0200 | <tomsmeding> | in fact, futhark calls the same operation 'tabulate' where accelerate calls it 'generate' |
2021-04-26 17:30:04 +0200 | rekahsoft | (~rekahsoft@52.129.35.150) |
2021-04-26 17:31:19 +0200 | <tomsmeding> | cheater: I gotta go for now, for questions later don't hesitate to ask e.g. in the gitter :) |
2021-04-26 17:31:26 +0200 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 2.8) |
2021-04-26 17:31:42 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) |
2021-04-26 17:32:32 +0200 | <sshine> | tomsmeding, 'tabulate' comes from Standard ML's List.tabulate, I'm sure. |
2021-04-26 17:32:34 +0200 | <cheater> | tomsmeding: thanks, really appreciated |
2021-04-26 17:32:39 +0200 | Guest45273 | (sid175221@gateway/web/irccloud.com/x-xfqbqidhzrwpebvs) () |
2021-04-26 17:32:46 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2021-04-26 17:33:27 +0200 | ericsagn1 | (~ericsagne@2405:6580:0:5100:f023:81fa:fbf5:ef93) (Ping timeout: 260 seconds) |
2021-04-26 17:33:30 +0200 | Guest45273 | (sid175221@gateway/web/irccloud.com/x-uaihrvmovkrsrqze) |
2021-04-26 17:34:16 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
2021-04-26 17:34:20 +0200 | Guest45273 | (sid175221@gateway/web/irccloud.com/x-uaihrvmovkrsrqze) (Client Quit) |
2021-04-26 17:34:27 +0200 | <ski> | sshine : also in `Vector' and `Array' |
2021-04-26 17:34:51 +0200 | rann | (sid175221@gateway/web/irccloud.com/x-ispnvynichnxaxzh) |
2021-04-26 17:35:14 +0200 | <ski> | (OCaml calls it `init') |
2021-04-26 17:39:34 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
2021-04-26 17:40:04 +0200 | seven_three | (~user@pool-96-233-64-53.bstnma.fios.verizon.net) |
2021-04-26 17:40:15 +0200 | <Athas> | sshine: yes, it's an homage to the Good ML. |
2021-04-26 17:40:32 +0200 | <Athas> | But it's a weird name, like so much else in SML. |
2021-04-26 17:42:18 +0200 | martin02 | (~martin02@hund.fs.lmu.de) (Quit: WeeChat 2.3) |
2021-04-26 17:42:39 +0200 | seven_three | (~user@pool-96-233-64-53.bstnma.fios.verizon.net) () |
2021-04-26 17:43:48 +0200 | chomwitt | (~alexander@2a02:587:dc0a:2700:dc6:16ac:a95:eabf) (Remote host closed the connection) |
2021-04-26 17:44:21 +0200 | <Franciman> | I have written the following liquid haskell constraints: https://bpa.st/7NVQ and they work |
2021-04-26 17:44:31 +0200 | <Franciman> | but now I'd like to state, at line 18 |
2021-04-26 17:44:35 +0200 | <Franciman> | the following: |
2021-04-26 17:44:39 +0200 | lleb | (5c91ba7e@amarseille-158-1-23-126.w92-145.abo.wanadoo.fr) (Quit: Connection closed) |
2021-04-26 17:44:51 +0200 | <Franciman> | {-@ piecesSpan :: p:[Piece] -> {n:Int | len p > 0 <=> n > 0} @-} |
2021-04-26 17:44:56 +0200 | <Franciman> | but I can't make it type check |
2021-04-26 17:44:58 +0200 | <Franciman> | in any way |
2021-04-26 17:46:08 +0200 | ericsagn1 | (~ericsagne@2405:6580:0:5100:8cfe:e2c:fb24:3adc) |
2021-04-26 17:47:17 +0200 | ep1ctetus | (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
2021-04-26 17:47:49 +0200 | v01d4lph4 | (~v01d4lph4@27.57.103.213) |
2021-04-26 17:48:45 +0200 | <Franciman> | I mean |
2021-04-26 17:49:01 +0200 | <Franciman> | I can typecheck something equivalent |
2021-04-26 17:49:03 +0200 | <Franciman> | but not this |
2021-04-26 17:49:03 +0200 | <Franciman> | lol |
2021-04-26 17:49:19 +0200 | idhugo_ | (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
2021-04-26 17:49:25 +0200 | <Franciman> | I suppose it is because we don't have decidability |
2021-04-26 17:49:32 +0200 | <Franciman> | proved for > |
2021-04-26 17:49:59 +0200 | <Franciman> | I can type check this condition |
2021-04-26 17:50:01 +0200 | <Franciman> | (len p > 0 && n > 0) || (len p == 0 && n == 0) |
2021-04-26 17:50:03 +0200 | <Franciman> | but not |
2021-04-26 17:50:11 +0200 | <Franciman> | len p > 0 <=> n > 0 |
2021-04-26 17:50:41 +0200 | <Franciman> | <Franciman> I suppose it is because we don't have decidability <- *totality |
2021-04-26 17:50:53 +0200 | kritzefitz | (~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection) |
2021-04-26 17:51:50 +0200 | invaser | (~Thunderbi@31.148.23.125) |
2021-04-26 17:52:15 +0200 | ddellac__ | (~ddellacos@83.143.246.104) |
2021-04-26 17:53:43 +0200 | Sgeo | (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer) |
2021-04-26 17:54:37 +0200 | <ski> | hm, `generate' sounds more weird, to me |
2021-04-26 17:55:53 +0200 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:31ab:25d9:5d24:c8be) |
2021-04-26 17:56:10 +0200 | Sgeo | (~Sgeo@ool-18b9875e.dyn.optonline.net) |
2021-04-26 17:56:41 +0200 | ddellac__ | (~ddellacos@83.143.246.104) (Ping timeout: 240 seconds) |
2021-04-26 17:57:18 +0200 | Sgeo | (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer) |
2021-04-26 17:57:32 +0200 | guest7682358928 | (c9dbe902@gateway/web/cgi-irc/kiwiirc.com/ip.201.219.233.2) |
2021-04-26 17:57:33 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
2021-04-26 17:58:19 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
2021-04-26 17:58:41 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
2021-04-26 17:58:48 +0200 | Sgeo | (~Sgeo@ool-18b9875e.dyn.optonline.net) |
2021-04-26 17:59:44 +0200 | rj | (~x@gateway/tor-sasl/rj) |
2021-04-26 17:59:53 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) (Remote host closed the connection) |
2021-04-26 18:02:37 +0200 | Pickchea | (~private@unaffiliated/pickchea) |
2021-04-26 18:04:07 +0200 | Sgeo | (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer) |
2021-04-26 18:05:14 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) |
2021-04-26 18:06:16 +0200 | Sgeo | (~Sgeo@ool-18b9875e.dyn.optonline.net) |
2021-04-26 18:09:45 +0200 | coot | (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
2021-04-26 18:10:19 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) (Ping timeout: 260 seconds) |
2021-04-26 18:11:00 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
2021-04-26 18:15:25 +0200 | alexander | (~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d) |
2021-04-26 18:15:36 +0200 | machinedgod | (~machinedg@24.105.81.50) |
2021-04-26 18:15:54 +0200 | alexander | Guest44573 |
2021-04-26 18:16:02 +0200 | Deide | (~Deide@217.155.19.23) |
2021-04-26 18:18:06 +0200 | v01d4lph4 | (~v01d4lph4@27.57.103.213) (Remote host closed the connection) |
2021-04-26 18:18:35 +0200 | jgt | (~jgt@78.162.43.217) (Ping timeout: 246 seconds) |
2021-04-26 18:23:47 +0200 | kuribas | (~user@ptr-25vy0i9m572fxrivl24.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
2021-04-26 18:29:10 +0200 | proofofkeags | (~proofofke@205.209.28.54) |
2021-04-26 18:29:25 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-04-26 18:29:32 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-26 18:30:14 +0200 | <proofofkeags> | I'm having trouble building a docker container that is capable of emitting binaries for armv7 linux. I'm currently stuck on an issue where ghc-pkg can't lock a file and it fails with "Invalid Argument" |
2021-04-26 18:30:39 +0200 | esp32_prog | (esp32_prog@gateway/vpn/mullvad/esp32prog/x-46565127) |
2021-04-26 18:31:05 +0200 | <proofofkeags> | what's interesting is that this issue does not appear natively on the raspberry pi when I use the pi to build stuff, but it does appear when I try to do the same thing inside the vm/container |
2021-04-26 18:32:31 +0200 | <maerwald> | proofofkeags: https://github.com/haskell/cabal/issues/6715#issuecomment-678370267 ? |
2021-04-26 18:32:47 +0200 | <proofofkeags> | yeah pretty much exactly that |
2021-04-26 18:32:54 +0200 | <proofofkeags> | though I don't see any solutions/workarounds |
2021-04-26 18:33:25 +0200 | <proofofkeags> | worth noting also that I need armv7 builds not armv8, but the symptom is identical |
2021-04-26 18:33:52 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
2021-04-26 18:34:06 +0200 | kritzefitz | (~kritzefit@212.86.56.80) |
2021-04-26 18:34:49 +0200 | vicfred | (~vicfred@unaffiliated/vicfred) |
2021-04-26 18:36:54 +0200 | <maerwald> | also consider asking in #ghc |
2021-04-26 18:40:41 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-04-26 18:40:42 +0200 | invaser | (~Thunderbi@31.148.23.125) (Ping timeout: 240 seconds) |
2021-04-26 18:41:26 +0200 | <Athas> | ski: 'generate' makes sense when you have a fairly general notion of the structure you're generating. E.g. in Haskell it is polymorphic over the shape vector. |
2021-04-26 18:44:49 +0200 | v01d4lph4 | (~v01d4lph4@27.57.103.213) |
2021-04-26 18:44:50 +0200 | v01d4lph4 | (~v01d4lph4@27.57.103.213) (Read error: Connection reset by peer) |
2021-04-26 18:45:24 +0200 | v01d4lph4 | (~v01d4lph4@27.57.103.213) |
2021-04-26 18:45:50 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:71f6:aee0:3a4e:496c) () |
2021-04-26 18:47:41 +0200 | horatiohb | (~horatiohb@159.65.170.201) |
2021-04-26 18:48:48 +0200 | <ski> | Athas : `generate' sounds to me like it could be one of many different ways to generate a structure, not necessarily generating each element independently from its coordinates/path |
2021-04-26 18:50:01 +0200 | v01d4lph4 | (~v01d4lph4@27.57.103.213) (Ping timeout: 252 seconds) |
2021-04-26 18:50:46 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2021-04-26 18:52:46 +0200 | s00pcan | (~chris@107.181.165.217) (Ping timeout: 240 seconds) |
2021-04-26 18:52:53 +0200 | jgt | (~jgt@78.162.43.217) |
2021-04-26 18:53:39 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) |
2021-04-26 18:55:02 +0200 | s00pcan | (~chris@075-133-056-178.res.spectrum.com) |
2021-04-26 18:55:54 +0200 | P_B1 | (~P_B@139.28.218.148) |
2021-04-26 18:56:02 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-04-26 18:56:10 +0200 | gnumonic | (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
2021-04-26 18:59:22 +0200 | jgt | (~jgt@78.162.43.217) (Ping timeout: 252 seconds) |
2021-04-26 18:59:57 +0200 | Gardy | (51f4b066@102.176-244-81.adsl-dyn.isp.belgacom.be) (Quit: Connection closed) |
2021-04-26 19:00:01 +0200 | coot | (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) |
2021-04-26 19:00:01 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
2021-04-26 19:02:42 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-26 19:05:23 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 268 seconds) |
2021-04-26 19:05:24 +0200 | idhugo_ | (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Ping timeout: 268 seconds) |
2021-04-26 19:06:00 +0200 | amerigo | (uid331857@gateway/web/irccloud.com/x-ihzxbomyjkylusyy) |
2021-04-26 19:06:07 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2021-04-26 19:06:32 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Quit: WeeChat 3.1) |
2021-04-26 19:07:04 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
2021-04-26 19:07:21 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) (Remote host closed the connection) |
2021-04-26 19:08:59 +0200 | pavonia | (~user@unaffiliated/siracusa) (Quit: Bye!) |
2021-04-26 19:10:16 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds) |
2021-04-26 19:10:19 +0200 | fjMSX | (~egp_@2.95.117.163) (Quit: EXIT) |
2021-04-26 19:11:56 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-04-26 19:13:41 +0200 | <tempate> | Is it possible to do a map over two lists at once? |
2021-04-26 19:14:17 +0200 | <monochrom> | Perhaps zipWith is what you want. |
2021-04-26 19:15:24 +0200 | <tempate> | I have two lists, one withs xs and another with ys, and I want to apply the same function to each pair. So if xs = [1,2,3] and ys = [4,5,6] y want [f(1, 4), f(2, 5), f(3, 6)] |
2021-04-26 19:15:39 +0200 | <monochrom> | zipWith |
2021-04-26 19:16:24 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
2021-04-26 19:16:59 +0200 | <tempate> | Great, thanks, monochrom |
2021-04-26 19:17:25 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
2021-04-26 19:18:09 +0200 | <ski> | map f (zip xs ys) = zipWith (curry f) xs ys |
2021-04-26 19:18:30 +0200 | anandprabhu | (~anandprab@94.203.71.143) |
2021-04-26 19:19:07 +0200 | zmijunkie | (~Adium@109.90.32.89) |
2021-04-26 19:19:10 +0200 | <tempate> | What's curry? |
2021-04-26 19:19:18 +0200 | <ski> | > map f (zip [1,2,3] [4,5,6]) :: [Expr] |
2021-04-26 19:19:20 +0200 | <lambdabot> | [f (1,4),f (2,5),f (3,6)] |
2021-04-26 19:19:27 +0200 | <ski> | > zipWith f [1,2,3] [4,5,6] :: [Expr] |
2021-04-26 19:19:28 +0200 | <lambdabot> | [f 1 4,f 2 5,f 3 6] |
2021-04-26 19:19:36 +0200 | <ski> | > zipWith (curry f) [1,2,3] [4,5,6] :: [Expr] |
2021-04-26 19:19:37 +0200 | <lambdabot> | [f (1,4),f (2,5),f (3,6)] |
2021-04-26 19:19:48 +0200 | <tempate> | oh, I see |
2021-04-26 19:19:52 +0200 | <tempate> | great, thanks a lot |
2021-04-26 19:19:58 +0200 | <ski> | `curry' converts from the `blah (x,y)' form to the `bleh x y' form |
2021-04-26 19:20:14 +0200 | <ski> | iow, `curry blah' would be `bleh', here |
2021-04-26 19:20:20 +0200 | <ski> | @src curry |
2021-04-26 19:20:20 +0200 | <lambdabot> | curry f x y = f (x, y) |
2021-04-26 19:20:23 +0200 | rodriga | (~quassel@134.204.25.66) (Read error: Connection reset by peer) |
2021-04-26 19:20:31 +0200 | rodriga | (~quassel@134.204.25.66) |
2021-04-26 19:20:40 +0200 | Sgeo_ | (~Sgeo@ool-18b9875e.dyn.optonline.net) |
2021-04-26 19:20:44 +0200 | Sgeo | (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer) |
2021-04-26 19:21:05 +0200 | zmijunkie1 | (~Adium@87.123.51.242) |
2021-04-26 19:21:12 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
2021-04-26 19:21:18 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
2021-04-26 19:21:39 +0200 | zmijunkie1 | (~Adium@87.123.51.242) (Client Quit) |
2021-04-26 19:21:57 +0200 | zmijunkie1 | (~Adium@87.123.51.242) |
2021-04-26 19:22:18 +0200 | <tempate> | I'm now realizing that it's more complicated than what I said. The function I gave, f, returns a function. So what I would really like would be (h = (g = f(1, 4)) (2, 5)) (3, 6) |
2021-04-26 19:22:21 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
2021-04-26 19:23:27 +0200 | <ski> | what would you like to do with the returned functions ? |
2021-04-26 19:23:34 +0200 | zmijunkie | (~Adium@109.90.32.89) (Ping timeout: 265 seconds) |
2021-04-26 19:23:43 +0200 | <tempate> | I would just like to return the last function |
2021-04-26 19:23:50 +0200 | <tempate> | The result of h(3,6) |
2021-04-26 19:23:52 +0200 | Sheilong | (uid293653@gateway/web/irccloud.com/x-rcsvshxqwuthdgbo) |
2021-04-26 19:23:55 +0200 | jrp | (0550efe4@5.80.239.228) |
2021-04-26 19:24:01 +0200 | <ski> | so you don't care about the previous pairs at all ? |
2021-04-26 19:24:10 +0200 | <tempate> | I don't, no |
2021-04-26 19:24:20 +0200 | <ski> | are the two lists of the same length ? |
2021-04-26 19:24:24 +0200 | <tempate> | I only cair about the previous pairs of xs and ys to generate the previous functions that lead up to h |
2021-04-26 19:24:29 +0200 | johncena | (5c0cd4ac@host-92-12-212-172.as13285.net) (Quit: Connection closed) |
2021-04-26 19:24:31 +0200 | <ski> | hm |
2021-04-26 19:24:31 +0200 | <tempate> | They are, yes |
2021-04-26 19:25:01 +0200 | <ski> | do you want to use the function generated from one pair, in order to process the next pair ? |
2021-04-26 19:25:11 +0200 | <tempate> | Yes, that's it |
2021-04-26 19:25:14 +0200 | <monochrom> | I would be interested in seeing an actual example of f, and in fact an actual example of the two input lists too. |
2021-04-26 19:25:23 +0200 | <ski> | sounds like you maybe want a fold, then |
2021-04-26 19:25:41 +0200 | <tempate> | I can explain in detail if you want |
2021-04-26 19:25:44 +0200 | <ski> | yea, a concrete example would help |
2021-04-26 19:26:20 +0200 | <monochrom> | Not so much detail as precision and unambiguity. |
2021-04-26 19:28:25 +0200 | <tempate> | ok, I have to write a 8-puzzle solver for university, and one of the constraints is to represent boards as newtype Board = T (Position, Position -> Maybe Int), where type Position = (Int, Int), and Maybe Int represents the value of the tile. So boards are a tuple: their first value is the position of the empty square and the second value is a function that, given a position, returns the value of its tile. |
2021-04-26 19:28:35 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-04-26 19:29:19 +0200 | <tempate> | I have to write a function that takes a list of tiles in left-to-right descending order and returns a board |
2021-04-26 19:29:54 +0200 | <tempate> | I have a function that gives the final board, the objective, one could say |
2021-04-26 19:30:11 +0200 | <jrp> | Hi, just trying to figure out where in the stack to include haskellne (readInput) transformer: I start with a working `type Forth w a r = ExceptT VMSignal (StateT (VM w a) IO) r` and I have placed it with `type Forth w a r = ExceptT VMSignal (StateT (VM w a) (InputT IO)) r`. All compiles fine (after replacing the getLine and wrapping a |
2021-04-26 19:30:11 +0200 | <jrp> | `runInputBehavior` around the previous `runStateT`. However, the app seems to run just as before (ie, with no line editing/history enhancements). Any suggestions as to what I might look at, pls? |
2021-04-26 19:30:25 +0200 | <tempate> | So I thought that I could make new position-functions by changing the final board's one tile at a time |
2021-04-26 19:30:28 +0200 | <ski> | "the position of the empty square" ? |
2021-04-26 19:31:22 +0200 | <tempate> | Well, in an 8-puzzle there are 8 tiles and an empty tile (or empty square) in a 3x3 board, and you have to rearrange them so they end up in order |
2021-04-26 19:31:28 +0200 | zmijunkie1 | (~Adium@87.123.51.242) (Quit: Leaving.) |
2021-04-26 19:31:45 +0200 | zmijunkie | (~Adium@87.123.51.242) |
2021-04-26 19:32:10 +0200 | <ski> | ah, right |
2021-04-26 19:32:44 +0200 | <ski> | well, what you sketched certainly seems doable |
2021-04-26 19:33:32 +0200 | <tempate> | Yeah, I think so, but I'm not too confident with Haskell |
2021-04-26 19:33:42 +0200 | Narinas | (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer) |
2021-04-26 19:33:44 +0200 | <ski> | i would probably opt for `foldr' |
2021-04-26 19:33:57 +0200 | stree | (~stree@68.36.8.116) |
2021-04-26 19:34:37 +0200 | <ski> | (or, an explicit recursion, amounting to the same thing) |
2021-04-26 19:35:08 +0200 | <tempate> | An explicit recursion felt a bit more dirty to me |
2021-04-26 19:35:16 +0200 | <tempate> | Although now that I think about it, it may be alright |
2021-04-26 19:35:17 +0200 | <ski> | for each tile, you'd need to know its corresponding position |
2021-04-26 19:35:31 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
2021-04-26 19:35:40 +0200 | <tempate> | Yes, that I know |
2021-04-26 19:35:42 +0200 | Narinas | (~Narinas@187-178-93-112.dynamic.axtel.net) |
2021-04-26 19:36:22 +0200 | <ski> | one way would be to divide the list of tiles, into a list of rows of tiles. another would be to `zip' the tiles with their positions. a third would be to pass the current tile position as an additional argument to the processing function |
2021-04-26 19:37:45 +0200 | <jrp> | @unmtl ExceptT VMSignal (StateT (VM w a) (InputT IO)) r |
2021-04-26 19:37:45 +0200 | <lambdabot> | VM w a -> InputT IO (Either VMSignal r, VM w a) |
2021-04-26 19:37:47 +0200 | <tempate> | Alright, I'm going to give a try to the explicit approach |
2021-04-26 19:37:49 +0200 | fivebox | (x@unaffiliated/fivebox) |
2021-04-26 19:38:23 +0200 | <ski> | (if one were thinking about efficiency, one could wonder if perhaps one shouldn't construct the board functions as sequentially scanning for the appropriate position .. but that's a complication, and the board is so small that it would hardly matter anyway) |
2021-04-26 19:39:48 +0200 | <tempate> | Not sure I get what you mean by sequentially scanning |
2021-04-26 19:39:59 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-26 19:40:06 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
2021-04-26 19:40:12 +0200 | anandprabhu | (~anandprab@94.203.71.143) (Quit: Konversation terminated!) |
2021-04-26 19:40:23 +0200 | <ski> | i mean the function that is constructed, by passing from one tile to the next, updating the function sequentially |
2021-04-26 19:40:40 +0200 | <ski> | an alternative would be to construct the function as a tree, perhaps |
2021-04-26 19:41:31 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:d0dd:ef94:ca28:e17b) |
2021-04-26 19:42:07 +0200 | <remexre> | are there good ways to do sort of reflective-ish operations on types? something like Go's struct tags, maybe? I saw {-# ANN #-}, thought it sounds like it might require writing a compiler plugin, so I'd like to avoid it if possible |
2021-04-26 19:42:44 +0200 | <ski> | with the sequential update, you get something like `set pos0 tile0 (set pos1 tile1 (..(error "invalid position")..))', which would be a function that given a position, compares it with `pos0',`pos1',&c. in turn, and gives the corresponding tile |
2021-04-26 19:43:25 +0200 | <ski> | iow, you'd get `\pos -> if pos == pos0 then tile0 else if pos == pos1 then tile 1 else ..(error "invalid position")..' |
2021-04-26 19:44:26 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
2021-04-26 19:44:35 +0200 | <tempate> | ski: oh, that's actually what I was thinking |
2021-04-26 19:44:36 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) |
2021-04-26 19:44:58 +0200 | <tempate> | I guess I can do it from scratch instead of swapping tiles in the final board's function? |
2021-04-26 19:46:16 +0200 | <ski> | well, the `set' function i referred to would basically just by "swapping tiles". iow it'd make a new function that gives the same result on all positions, except on `pos0', where it'd give `tile0' (instead of whatever tile the previous function gave there) |
2021-04-26 19:46:46 +0200 | <ski> | jrp : hm, i dunno how `InputT' is meant to work |
2021-04-26 19:47:13 +0200 | rajivr | (uid269651@gateway/web/irccloud.com/x-tixhxbhwulglbevd) (Quit: Connection closed for inactivity) |
2021-04-26 19:47:30 +0200 | <monochrom> | remexre: I don't know what's "reflective" and Go, but "struct tag" is perhaps one of the things GHC.Generics and {-# language DeriveGenerics #-} provides. |
2021-04-26 19:47:38 +0200 | jgt | (~jgt@78.162.43.217) |
2021-04-26 19:47:54 +0200 | <monochrom> | To be sure, I don't know what "struct tag" means either. Just guessing from words. |
2021-04-26 19:48:30 +0200 | <remexre> | Go lets you associate arbitrary strings with fields of a struct; when doing reflection you can see what string a field has |
2021-04-26 19:48:57 +0200 | <ski> | tempate : but yea, you can do this as a recursive function, if you prefer |
2021-04-26 19:48:59 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) (Ping timeout: 250 seconds) |
2021-04-26 19:49:32 +0200 | kritzefitz | (~kritzefit@212.86.56.80) (Ping timeout: 240 seconds) |
2021-04-26 19:49:40 +0200 | <monochrom> | DeriveGenerics associates the field name with the field. |
2021-04-26 19:49:42 +0200 | pbgc | (~pbgc@a89-152-234-147.cpe.netcabo.pt) |
2021-04-26 19:49:55 +0200 | lleb | (5c91ba7e@amarseille-158-1-23-126.w92-145.abo.wanadoo.fr) |
2021-04-26 19:49:56 +0200 | <ski> | i don't think generics gives you anything like that, remexre |
2021-04-26 19:50:33 +0200 | <ski> | what it does is let you write polytypic algorithms, that depend on the shape of the type |
2021-04-26 19:50:52 +0200 | <remexre> | yeah, I'm familiar with that usage of it |
2021-04-26 19:51:08 +0200 | ukari | (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
2021-04-26 19:51:09 +0200 | juuandyy | (~juuandyy@90.106.228.121) |
2021-04-26 19:51:09 +0200 | hendursa1 | (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
2021-04-26 19:51:23 +0200 | ADG1089 | (~aditya@171.76.29.233) |
2021-04-26 19:52:05 +0200 | <tempate> | ski: but is iow a function? |
2021-04-26 19:52:21 +0200 | <ski> | "iow" is short for "in other words" |
2021-04-26 19:52:30 +0200 | <tempate> | oh |
2021-04-26 19:52:30 +0200 | ukari | (~ukari@unaffiliated/ukari) |
2021-04-26 19:52:34 +0200 | jgt | (~jgt@78.162.43.217) (Ping timeout: 265 seconds) |
2021-04-26 19:52:37 +0200 | <monochrom> | If you go phantom type, you can associate a type-level string of your choice; and then use GHC.TypeLits.symbolVal to convert type-level string to term-level string. |
2021-04-26 19:52:41 +0200 | untakenstupidnic | (~user@5.114.130.12) |
2021-04-26 19:52:44 +0200 | hendursa1 | (~weechat@gateway/tor-sasl/hendursaga) |
2021-04-26 19:53:10 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
2021-04-26 19:53:39 +0200 | <monochrom> | But phantom type also means you now have to go through newtype wrappers and unwrappers all the time. |
2021-04-26 19:53:42 +0200 | <remexre> | using Tagged or whatever? |
2021-04-26 19:53:46 +0200 | <monochrom> | Yeah |
2021-04-26 19:53:48 +0200 | <remexre> | yeah, I'm trying to avoid the newtype wrapping |
2021-04-26 19:55:03 +0200 | chimera | (~chimera@168-182-134-95.pool.ukrtel.net) |
2021-04-26 19:55:58 +0200 | usr25 | (~usr25@unaffiliated/usr25) |
2021-04-26 20:00:22 +0200 | maralorn | (maralornma@gateway/shell/matrix.org/x-taapglyfnhcaxlmi) ("User left") |
2021-04-26 20:01:03 +0200 | maralorn | (maralornma@gateway/shell/matrix.org/x-taapglyfnhcaxlmi) |
2021-04-26 20:02:32 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
2021-04-26 20:05:17 +0200 | maralorn | (maralornma@gateway/shell/matrix.org/x-taapglyfnhcaxlmi) ("User left") |
2021-04-26 20:07:12 +0200 | AkechiShiro | (~AkechiShi@2a01:e0a:5f9:9681:9dbe:b42:df17:bf9c) |
2021-04-26 20:08:24 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) |
2021-04-26 20:11:50 +0200 | maralorn | (maralornma@gateway/shell/matrix.org/x-taapglyfnhcaxlmi) |
2021-04-26 20:12:54 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) (Ping timeout: 245 seconds) |
2021-04-26 20:14:46 +0200 | nvmd | (~nvmd@177.30.111.232) |
2021-04-26 20:14:47 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
2021-04-26 20:15:05 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
2021-04-26 20:15:23 +0200 | lleb | (5c91ba7e@amarseille-158-1-23-126.w92-145.abo.wanadoo.fr) (Ping timeout: 240 seconds) |
2021-04-26 20:16:23 +0200 | Synthetica | (uid199651@gateway/web/irccloud.com/x-njxepqszlnawpkda) |
2021-04-26 20:16:32 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) |
2021-04-26 20:18:32 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-26 20:19:38 +0200 | s00pcan | (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 260 seconds) |
2021-04-26 20:19:39 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) (Remote host closed the connection) |
2021-04-26 20:19:56 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) |
2021-04-26 20:20:13 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-04-26 20:21:13 +0200 | s00pcan | (~chris@107.181.165.217) |
2021-04-26 20:22:58 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
2021-04-26 20:23:27 +0200 | kritzefitz | (~kritzefit@212.86.56.80) |
2021-04-26 20:25:10 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
2021-04-26 20:27:12 +0200 | dyeplexer | (~lol@unaffiliated/terpin) (Remote host closed the connection) |
2021-04-26 20:27:32 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds) |
2021-04-26 20:27:41 +0200 | ADG1089 | (~aditya@171.76.29.233) (Quit: Konversation terminated!) |
2021-04-26 20:33:39 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
2021-04-26 20:37:10 +0200 | timwattenberg | (~quassel@hq.wattenberg.me) |
2021-04-26 20:39:26 +0200 | bitmagie | (~Thunderbi@200116b8066293008848276d0b5d693d.dip.versatel-1u1.de) |
2021-04-26 20:41:41 +0200 | darjeeling_ | (~darjeelin@122.245.216.145) (Ping timeout: 240 seconds) |
2021-04-26 20:42:11 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
2021-04-26 20:42:13 +0200 | ystael | (~ystael@209.6.50.55) (Ping timeout: 252 seconds) |
2021-04-26 20:42:32 +0200 | bennofs_ | (~quassel@dynamic-089-012-155-245.89.12.pool.telefonica.de) (Read error: Connection reset by peer) |
2021-04-26 20:42:45 +0200 | bennofs_ | (~quassel@dynamic-089-012-155-245.89.12.pool.telefonica.de) |
2021-04-26 20:44:04 +0200 | ukari | (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
2021-04-26 20:44:42 +0200 | ukari | (~ukari@unaffiliated/ukari) |
2021-04-26 20:45:37 +0200 | guest7682358928 | (c9dbe902@gateway/web/cgi-irc/kiwiirc.com/ip.201.219.233.2) (Quit: Ping timeout (120 seconds)) |
2021-04-26 20:46:01 +0200 | bitmagie | (~Thunderbi@200116b8066293008848276d0b5d693d.dip.versatel-1u1.de) (Quit: bitmagie) |
2021-04-26 20:46:31 +0200 | guest7682358928 | (c9dbe902@gateway/web/cgi-irc/kiwiirc.com/ip.201.219.233.2) |
2021-04-26 20:48:14 +0200 | jrp | (0550efe4@5.80.239.228) (Quit: Connection closed) |
2021-04-26 20:53:34 +0200 | Varis | (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
2021-04-26 20:55:05 +0200 | darjeeling_ | (~darjeelin@122.245.217.205) |
2021-04-26 20:55:32 +0200 | coot | (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
2021-04-26 20:56:20 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-26 20:57:06 +0200 | guest7682358928 | (c9dbe902@gateway/web/cgi-irc/kiwiirc.com/ip.201.219.233.2) (Ping timeout: 240 seconds) |
2021-04-26 20:57:36 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
2021-04-26 20:59:06 +0200 | jrp | (0550efe4@5.80.239.228) |
2021-04-26 21:00:55 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
2021-04-26 21:01:06 +0200 | LKoen | (~LKoen@22.249.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
2021-04-26 21:01:24 +0200 | LKoen | (~LKoen@22.249.88.92.rev.sfr.net) |
2021-04-26 21:04:17 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2021-04-26 21:06:47 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-04-26 21:07:45 +0200 | chateau | (~chateau@71.215.110.96) |
2021-04-26 21:09:03 +0200 | chateau | (~chateau@71.215.110.96) (Quit: Leaving) |
2021-04-26 21:09:51 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
2021-04-26 21:13:44 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 245 seconds) |
2021-04-26 21:15:14 +0200 | brandonhamilton | (~brandonha@151.36.60.188) |
2021-04-26 21:16:36 +0200 | Guest6509 | (~laudiacay@45.162.228.190) |
2021-04-26 21:17:15 +0200 | brandonhamilton | (~brandonha@151.36.60.188) (Client Quit) |
2021-04-26 21:18:15 +0200 | jijimofo | (~cmo@S010610561191f5d6.lb.shawcable.net) |
2021-04-26 21:19:39 +0200 | jijimofo | (~cmo@S010610561191f5d6.lb.shawcable.net) (Client Quit) |
2021-04-26 21:21:16 +0200 | Guest6509 | (~laudiacay@45.162.228.190) (Ping timeout: 252 seconds) |
2021-04-26 21:23:50 +0200 | TorNATO | (~TorNATO@2601:603:1f7e:3f50:4c3c:ad73:f93e:9611) |
2021-04-26 21:24:24 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
2021-04-26 21:24:27 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-04-26 21:28:30 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2021-04-26 21:29:31 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
2021-04-26 21:30:39 +0200 | ddellac__ | (~ddellacos@86.106.143.190) |
2021-04-26 21:32:41 +0200 | ech | (~user@gateway/tor-sasl/ech) |
2021-04-26 21:32:53 +0200 | Pickchea | (~private@unaffiliated/pickchea) (Quit: Leaving) |
2021-04-26 21:33:09 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
2021-04-26 21:33:49 +0200 | __minoru__shirae | (~shiraeesh@109.166.59.124) |
2021-04-26 21:34:04 +0200 | minoru_shiraeesh | (~shiraeesh@109.166.59.190) (Ping timeout: 265 seconds) |
2021-04-26 21:34:43 +0200 | TorNATO | (~TorNATO@2601:603:1f7e:3f50:4c3c:ad73:f93e:9611) (Ping timeout: 250 seconds) |
2021-04-26 21:35:11 +0200 | ddellac__ | (~ddellacos@86.106.143.190) (Ping timeout: 252 seconds) |
2021-04-26 21:40:07 +0200 | pbgc | (~pbgc@a89-152-234-147.cpe.netcabo.pt) (Quit: Computer has gone to sleep.) |
2021-04-26 21:40:32 +0200 | juuandyy | (~juuandyy@90.106.228.121) (Quit: Konversation terminated!) |
2021-04-26 21:41:41 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
2021-04-26 21:42:59 +0200 | howdoi | (uid224@gateway/web/irccloud.com/x-trxxyompkioojjhk) |
2021-04-26 21:43:09 +0200 | pbgc | (~pbgc@a89-152-234-147.cpe.netcabo.pt) |
2021-04-26 21:44:06 +0200 | fivebox | (x@unaffiliated/fivebox) (Remote host closed the connection) |
2021-04-26 21:44:52 +0200 | DavidEichmann | (~david@147.136.46.217.dyn.plus.net) (Ping timeout: 240 seconds) |
2021-04-26 21:46:16 +0200 | Thom2503 | (~Thom2503@49-135-166-62.ftth.glasoperator.nl) (Quit: Leaving) |
2021-04-26 21:48:30 +0200 | jgt | (~jgt@78.162.43.217) |
2021-04-26 21:53:24 +0200 | jgt | (~jgt@78.162.43.217) (Ping timeout: 265 seconds) |
2021-04-26 21:55:19 +0200 | stree | (~stree@68.36.8.116) |
2021-04-26 21:59:12 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-04-26 22:00:13 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
2021-04-26 22:01:44 +0200 | Lord_of_Life_ | (~Lord@unaffiliated/lord-of-life/x-0885362) |
2021-04-26 22:01:53 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2021-04-26 22:03:07 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-26 22:03:44 +0200 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 245 seconds) |
2021-04-26 22:03:51 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) (Remote host closed the connection) |
2021-04-26 22:04:49 +0200 | Lord_of_Life_ | Lord_of_Life |
2021-04-26 22:05:16 +0200 | petersen | (~petersen@redhat/juhp) (Ping timeout: 252 seconds) |
2021-04-26 22:06:32 +0200 | jumper149 | (~jumper149@80.240.31.34) (Quit: WeeChat 3.1) |
2021-04-26 22:07:29 +0200 | petersen | (~petersen@redhat/juhp) |
2021-04-26 22:07:55 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
2021-04-26 22:15:38 +0200 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
2021-04-26 22:16:24 +0200 | Tario | (~Tario@201.192.165.173) |
2021-04-26 22:19:23 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-79-166.w86-212.abo.wanadoo.fr) |
2021-04-26 22:20:23 +0200 | kritzefitz | (~kritzefit@212.86.56.80) (Remote host closed the connection) |
2021-04-26 22:22:16 +0200 | <shapr> | @quote ski |
2021-04-26 22:22:17 +0200 | <lambdabot> | ski says: <ski> I never said this! |
2021-04-26 22:22:20 +0200 | shapr | laughs |
2021-04-26 22:22:41 +0200 | p8m | (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 240 seconds) |
2021-04-26 22:22:55 +0200 | <Rembane> | That's the best quote, all categories. |
2021-04-26 22:23:03 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:6010:2869:d10:372c) |
2021-04-26 22:23:51 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 265 seconds) |
2021-04-26 22:27:47 +0200 | turlando | (~turlando@93-42-250-112.ip89.fastwebnet.it) (Quit: Leaving) |
2021-04-26 22:28:19 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 245 seconds) |
2021-04-26 22:28:35 +0200 | shailangsa | (~shailangs@host86-186-132-95.range86-186.btcentralplus.com) (Read error: Connection reset by peer) |
2021-04-26 22:28:53 +0200 | malumore | (~malumore@151.62.121.252) (Ping timeout: 268 seconds) |
2021-04-26 22:30:28 +0200 | jrp | (0550efe4@5.80.239.228) (Quit: Connection closed) |
2021-04-26 22:31:16 +0200 | p8m | (p8m@gateway/vpn/protonvpn/p8m) |
2021-04-26 22:32:52 +0200 | wonko7 | (~wonko7@62.115.229.50) (Ping timeout: 240 seconds) |
2021-04-26 22:33:16 +0200 | epicte7us | (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
2021-04-26 22:33:17 +0200 | jgt | (~jgt@78.162.43.217) |
2021-04-26 22:33:49 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
2021-04-26 22:35:16 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-26 22:36:11 +0200 | ep1ctetus | (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 240 seconds) |
2021-04-26 22:36:12 +0200 | p8m | (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 246 seconds) |
2021-04-26 22:36:46 +0200 | nicholasbulka | (~nicholasb@c-73-21-82-200.hsd1.ga.comcast.net) |
2021-04-26 22:39:41 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
2021-04-26 22:40:47 +0200 | CrazyPyt_ | (~crazypyth@98.122.164.118) () |
2021-04-26 22:41:01 +0200 | pbgc | (~pbgc@a89-152-234-147.cpe.netcabo.pt) (Quit: Computer has gone to sleep.) |
2021-04-26 22:41:15 +0200 | nicholasbulka | (~nicholasb@c-73-21-82-200.hsd1.ga.comcast.net) (Ping timeout: 265 seconds) |
2021-04-26 22:41:40 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:d0dd:ef94:ca28:e17b) (Remote host closed the connection) |
2021-04-26 22:41:48 +0200 | vdukhovni | (6b4de296@mobile-107-77-226-150.mobile.att.net) |
2021-04-26 22:43:24 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b9588801bc51b53461c8c.dip0.t-ipconnect.de) |
2021-04-26 22:43:45 +0200 | p8m | (p8m@gateway/vpn/protonvpn/p8m) |
2021-04-26 22:44:17 +0200 | LKoen | (~LKoen@22.249.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
2021-04-26 22:44:38 +0200 | rodriga | (~quassel@134.204.25.66) (Ping timeout: 265 seconds) |
2021-04-26 22:45:35 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
2021-04-26 22:46:49 +0200 | Gardy | (51f4b066@102.176-244-81.adsl-dyn.isp.belgacom.be) |
2021-04-26 22:46:55 +0200 | Gardy | (51f4b066@102.176-244-81.adsl-dyn.isp.belgacom.be) (Client Quit) |
2021-04-26 22:48:27 +0200 | pbgc | (~pbgc@a89-152-234-147.cpe.netcabo.pt) |
2021-04-26 22:49:17 +0200 | <ski> | shapr : hah, i can't recall saying that :P |
2021-04-26 22:51:35 +0200 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
2021-04-26 22:52:41 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
2021-04-26 22:53:35 +0200 | ClaudiusMaximus | (~claude@unaffiliated/claudiusmaximus) (Quit: ->) |
2021-04-26 22:54:54 +0200 | landonf | (landonf@mac68k.info) (Excess Flood) |
2021-04-26 22:55:21 +0200 | shailangsa | (~shailangs@host86-186-132-95.range86-186.btcentralplus.com) |
2021-04-26 22:55:23 +0200 | landonf | (landonf@mac68k.info) |
2021-04-26 22:57:12 +0200 | knupfer | (~Thunderbi@i59F67B5E.versanet.de) (Ping timeout: 260 seconds) |
2021-04-26 22:57:47 +0200 | jrm | (~jrm@freebsd/developer/jrm) (Ping timeout: 260 seconds) |
2021-04-26 22:58:27 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-04-26 22:59:37 +0200 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) |
2021-04-26 22:59:45 +0200 | CrazyPython | (~crazypyth@98.122.164.118) |
2021-04-26 23:01:37 +0200 | lawid | (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) (Quit: lawid) |
2021-04-26 23:02:11 +0200 | s00pcan | (~chris@107.181.165.217) (Ping timeout: 268 seconds) |
2021-04-26 23:02:24 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-04-26 23:03:36 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
2021-04-26 23:03:40 +0200 | s00pcan | (~chris@075-133-056-178.res.spectrum.com) |
2021-04-26 23:03:45 +0200 | lawid | (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) |
2021-04-26 23:05:15 +0200 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:9a90:9232:6a1d:a2e3) (Ping timeout: 260 seconds) |
2021-04-26 23:06:02 +0200 | Lowl3v3l | (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) (Remote host closed the connection) |
2021-04-26 23:07:08 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
2021-04-26 23:07:37 +0200 | perrier-jouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.1) |
2021-04-26 23:09:52 +0200 | jgt | (~jgt@78.162.43.217) (Ping timeout: 240 seconds) |
2021-04-26 23:10:36 +0200 | jgt | (~jgt@78.162.43.217) |
2021-04-26 23:13:03 +0200 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:e3b4:fd1e:412e:c217) |
2021-04-26 23:13:58 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-26 23:14:47 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-04-26 23:15:03 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:6010:2869:d10:372c) (Ping timeout: 260 seconds) |
2021-04-26 23:17:24 +0200 | Tops21 | (~Tobias@dyndsl-091-249-083-109.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
2021-04-26 23:17:51 +0200 | Sgeo | (~Sgeo@ool-18b9875e.dyn.optonline.net) |
2021-04-26 23:18:12 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
2021-04-26 23:20:02 +0200 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:31ab:25d9:5d24:c8be) (Quit: Leaving) |
2021-04-26 23:20:04 +0200 | Sgeo_ | (~Sgeo@ool-18b9875e.dyn.optonline.net) (Ping timeout: 268 seconds) |
2021-04-26 23:20:42 +0200 | hyperisco | (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 260 seconds) |
2021-04-26 23:21:41 +0200 | CrazyPython | (~crazypyth@98.122.164.118) (Ping timeout: 246 seconds) |
2021-04-26 23:22:26 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) |
2021-04-26 23:23:08 +0200 | CrazyPython | (~crazypyth@98.122.164.118) |
2021-04-26 23:24:33 +0200 | dhil | (~dhil@80.208.56.181) |
2021-04-26 23:27:06 +0200 | johnw | (~johnw@haskell/developer/johnw) (Quit: ZNC - http://znc.in) |
2021-04-26 23:29:16 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
2021-04-26 23:30:57 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-26 23:32:11 +0200 | ph88 | (~ph88@ip5f5af6fd.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
2021-04-26 23:33:41 +0200 | ADG1089 | (~aditya@171.76.29.233) |
2021-04-26 23:33:43 +0200 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:e3b4:fd1e:412e:c217) (Ping timeout: 260 seconds) |
2021-04-26 23:34:08 +0200 | <ADG1089> | any haskell libraries needing contribution, i was looking to work onto some of them |
2021-04-26 23:37:27 +0200 | solidus-river | (~mike@174.127.249.180) |
2021-04-26 23:37:43 +0200 | vdukhovni | (6b4de296@mobile-107-77-226-150.mobile.att.net) (Ping timeout: 240 seconds) |
2021-04-26 23:39:44 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2021-04-26 23:39:54 +0200 | michalz | (~user@185.246.204.123) (Remote host closed the connection) |
2021-04-26 23:40:53 +0200 | ph88 | (~ph88@2a02:8109:9e00:7e5c:d5ef:86b3:afc4:9258) |
2021-04-26 23:41:28 +0200 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:8bd4:3e0a:68:465c) |
2021-04-26 23:42:41 +0200 | notzmv | (~zmv@unaffiliated/zmv) (Ping timeout: 260 seconds) |
2021-04-26 23:45:12 +0200 | <juri_> | ADG1089: a ton of them are. |
2021-04-26 23:45:33 +0200 | jess | (jess@freenode/staff/jess) () |
2021-04-26 23:46:48 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-04-26 23:46:56 +0200 | fiedlr | (~fiedlr@83.148.33.254) (Remote host closed the connection) |
2021-04-26 23:48:40 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2021-04-26 23:50:46 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer) |
2021-04-26 23:52:04 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) |
2021-04-26 23:53:37 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
2021-04-26 23:54:14 +0200 | <ADG1089> | juri_: Is https://github.com/explore a good place to find them? |
2021-04-26 23:54:57 +0200 | coot | (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) |
2021-04-26 23:56:45 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
2021-04-26 23:57:05 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-04-26 23:57:21 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
2021-04-26 23:57:31 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-26 23:59:01 +0200 | mounty | (~mounty@236.216.214.218.sta.wbroadband.net.au) |
2021-04-26 23:59:20 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |