IRCBrowse

2021/04/26

2021-04-26 00:03:06 +0200pavonia(~user@unaffiliated/siracusa) (Read error: Connection reset by peer)
2021-04-26 00:05:21 +0200edrx(~Eduardo@2804:56c:d2c0:6300:d28a:a35a:c563:afab) ("Killed buffer")
2021-04-26 00:05:26 +0200letmein(~letmein@2601:1c1:4200:938f:f8bf:6a67:4eed:b2c1) (Quit: letmein)
2021-04-26 00:05:57 +0200tempate(~tempate@unaffiliated/tempate)
2021-04-26 00:06:03 +0200letmein(~letmein@2601:1c1:4200:938f:f8bf:6a67:4eed:b2c1)
2021-04-26 00:06:40 +0200pavonia(~user@unaffiliated/siracusa)
2021-04-26 00:07:31 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-26 00:07:37 +0200letmein(~letmein@2601:1c1:4200:938f:f8bf:6a67:4eed:b2c1) (Client Quit)
2021-04-26 00:07:38 +0200heatsink(~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 +0200petrus(~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 +0200HannaM(~quassel@p54849510.dip0.t-ipconnect.de) (Quit: https://www.oglaf.com/archive/)
2021-04-26 00:12:25 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 252 seconds)
2021-04-26 00:13:43 +0200xff0x(~xff0x@2001:1a81:5378:d500:c8e4:3d2e:19af:2ab8) (Ping timeout: 260 seconds)
2021-04-26 00:14:01 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-26 00:14:29 +0200xff0x(~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 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-04-26 00:18:51 +0200Guest36168(~alexander@2a02:587:dc0a:2700:dc6:16ac:a95:eabf) (Ping timeout: 260 seconds)
2021-04-26 00:19:21 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds)
2021-04-26 00:25:51 +0200dmytrish(~mitra@2a02:8084:a82:d900:6010:2869:d10:372c) (Ping timeout: 260 seconds)
2021-04-26 00:26:10 +0200perrier-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 +0200stree(~stree@68.36.8.116) (Ping timeout: 246 seconds)
2021-04-26 00:34:33 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-26 00:37:49 +0200tabemann(~travisb@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Remote host closed the connection)
2021-04-26 00:39:26 +0200Tops2(~Tobias@dyndsl-095-033-093-085.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2021-04-26 00:41:11 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-26 00:44:56 +0200stree(~stree@68.36.8.116)
2021-04-26 00:46:03 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-26 00:50:21 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
2021-04-26 00:51:54 +0200fiedlr(~fiedlr@83.148.33.254) (Remote host closed the connection)
2021-04-26 00:57:46 +0200nut(~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-04-26 01:00:08 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-26 01:00:53 +0200nineonine(~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Remote host closed the connection)
2021-04-26 01:04:41 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds)
2021-04-26 01:05:46 +0200jonatan(~nate@h77-53-70-163.cust.a3fiber.se) (Quit: leaving)
2021-04-26 01:09:18 +0200jgt(~jgt@78.162.43.217) (Ping timeout: 268 seconds)
2021-04-26 01:10:55 +0200tabemann(~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 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2021-04-26 01:17:17 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2021-04-26 01:17:19 +0200nineonine(~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8)
2021-04-26 01:18:19 +0200acidjnk_new(~acidjnk@p200300d0c72b9563253a50075d84e1af.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2021-04-26 01:19:20 +0200machinedgod(~machinedg@24.105.81.50)
2021-04-26 01:20:12 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds)
2021-04-26 01:21:39 +0200nineonine(~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 245 seconds)
2021-04-26 01:21:50 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-26 01:22:54 +0200rekahsoft(~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection)
2021-04-26 01:23:24 +0200rekahsoft(~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com)
2021-04-26 01:26:39 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 245 seconds)
2021-04-26 01:26:46 +0200fiedlr(~fiedlr@83.148.33.254)
2021-04-26 01:27:35 +0200Guest6509(~laudiacay@45.162.228.190)
2021-04-26 01:29:24 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c)
2021-04-26 01:31:32 +0200fiedlr(~fiedlr@83.148.33.254) (Ping timeout: 240 seconds)
2021-04-26 01:32:04 +0200Guest6509(~laudiacay@45.162.228.190) (Ping timeout: 245 seconds)
2021-04-26 01:33:44 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) (Ping timeout: 245 seconds)
2021-04-26 01:39:36 +0200sajith(~sajith@fsf/member/nonzen)
2021-04-26 01:39:51 +0200m0rphism(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 252 seconds)
2021-04-26 01:48:51 +0200bennofs_(~quassel@dynamic-077-013-095-012.77.13.pool.telefonica.de) (Read error: Connection reset by peer)
2021-04-26 01:49:18 +0200bennofs_(~quassel@dynamic-077-013-095-012.77.13.pool.telefonica.de)
2021-04-26 01:54:30 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c)
2021-04-26 01:54:35 +0200Deide(~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2021-04-26 01:55:25 +0200nineonine(~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8)
2021-04-26 01:55:57 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-26 01:56:18 +0200guest7682358928(2de85c16@gateway/web/cgi-irc/kiwiirc.com/ip.45.232.92.22)
2021-04-26 02:00:08 +0200atk(~Arch-TK@ircpuzzles/staff/Arch-TK) (Quit: Well this is unexpected.)
2021-04-26 02:00:24 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 245 seconds)
2021-04-26 02:00:30 +0200atk(~Arch-TK@ircpuzzles/staff/Arch-TK)
2021-04-26 02:01:41 +0200nineonine(~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 250 seconds)
2021-04-26 02:02:20 +0200Guest19992(~dan64@dannyadam.com) (Quit: ZNC - http://znc.in)
2021-04-26 02:02:39 +0200dan64(~dan64@dannyadam.com)
2021-04-26 02:10:25 +0200chimera(~chimera@168-182-134-95.pool.ukrtel.net) (Quit: Konversation terminated!)
2021-04-26 02:10:57 +0200usr25(~usr25@unaffiliated/usr25) (Quit: Leaving)
2021-04-26 02:11:26 +0200dpl_(~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds)
2021-04-26 02:22:45 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2021-04-26 02:25:07 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-04-26 02:28:21 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-26 02:29:16 +0200pthariensflame(~pthariens@2600:6c52:727f:4200:3064:6811:5d1e:8f2b)
2021-04-26 02:29:23 +0200DavidEichmann(~david@147.136.46.217.dyn.plus.net) (Remote host closed the connection)
2021-04-26 02:29:29 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed)
2021-04-26 02:30:06 +0200pthariensflame(~pthariens@2600:6c52:727f:4200:3064:6811:5d1e:8f2b) (Client Quit)
2021-04-26 02:30:26 +0200pthariensflame(~pthariens@2600:6c52:727f:4200:3064:6811:5d1e:8f2b)
2021-04-26 02:30:52 +0200pthariensflame(~pthariens@2600:6c52:727f:4200:3064:6811:5d1e:8f2b) (Client Quit)
2021-04-26 02:31:12 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-26 02:31:14 +0200solidus-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 +0200tlgl^nix(~damien@S0106008ef25e98fb.su.shawcable.net) (Remote host closed the connection)
2021-04-26 02:35:05 +0200perrier-jouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2021-04-26 02:35:39 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-04-26 02:35:45 +0200bennofs__(~quassel@dynamic-089-012-155-245.89.12.pool.telefonica.de)
2021-04-26 02:35:56 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
2021-04-26 02:37:17 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-04-26 02:38:00 +0200zmijunkie(~Adium@87.123.51.242)
2021-04-26 02:38:55 +0200hendursa1(~weechat@gateway/tor-sasl/hendursaga)
2021-04-26 02:39:12 +0200bennofs_(~quassel@dynamic-077-013-095-012.77.13.pool.telefonica.de) (Ping timeout: 240 seconds)
2021-04-26 02:40:21 +0200zmijunkie1(~Adium@87.122.217.64) (Ping timeout: 252 seconds)
2021-04-26 02:40:34 +0200bitmapper(uid464869@gateway/web/irccloud.com/x-lwoslwzxzqzjzamu)
2021-04-26 02:49:40 +0200pony(sid257727@gateway/web/irccloud.com/x-sasxvsyktodjxrrs) ()
2021-04-26 02:52:42 +0200stree(~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-04-26 02:57:07 +0200Guest91421notzmv
2021-04-26 03:01:09 +0200Unhammer(~Unhammer@gateway/tor-sasl/unhammer) (Ping timeout: 240 seconds)
2021-04-26 03:02:16 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) (Remote host closed the connection)
2021-04-26 03:02:19 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-26 03:02:21 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-04-26 03:02:59 +0200nicholasbulka(~nicholasb@c-73-21-82-200.hsd1.ga.comcast.net)
2021-04-26 03:03:26 +0200forell(~forell@unaffiliated/forell) (Ping timeout: 240 seconds)
2021-04-26 03:06:10 +0200stree(~stree@68.36.8.116)
2021-04-26 03:06:32 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-04-26 03:07:12 +0200nicholasbulka(~nicholasb@c-73-21-82-200.hsd1.ga.comcast.net) (Ping timeout: 240 seconds)
2021-04-26 03:09:24 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-26 03:11:10 +0200Rudd0(~Rudd0@185.189.115.108) (Ping timeout: 252 seconds)
2021-04-26 03:11:25 +0200whataday(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-04-26 03:12:33 +0200whataday(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-04-26 03:13:44 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 245 seconds)
2021-04-26 03:14:23 +0200Unhammer(~Unhammer@gateway/tor-sasl/unhammer)
2021-04-26 03:17:01 +0200drbean_(~drbean@TC210-63-209-203.static.apol.com.tw)
2021-04-26 03:18:30 +0200guest7682358928(2de85c16@gateway/web/cgi-irc/kiwiirc.com/ip.45.232.92.22) (Quit: Ping timeout (120 seconds))
2021-04-26 03:19:35 +0200guest7682358928(2de85c16@gateway/web/cgi-irc/kiwiirc.com/ip.45.232.92.22)
2021-04-26 03:21:32 +0200Tario(~Tario@201.192.165.173) (Ping timeout: 240 seconds)
2021-04-26 03:22:07 +0200Tario(~Tario@200.119.184.119)
2021-04-26 03:22:52 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye)
2021-04-26 03:25:00 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-04-26 03:27:57 +0200Guest6509(~laudiacay@45.162.228.190)
2021-04-26 03:32:37 +0200Guest6509(~laudiacay@45.162.228.190) (Ping timeout: 252 seconds)
2021-04-26 03:39:10 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-04-26 03:39:48 +0200petersen(~petersen@redhat/juhp)
2021-04-26 03:40:59 +0200nicholasbulka(~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 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) (Ping timeout: 245 seconds)
2021-04-26 03:45:41 +0200xff0x(~xff0x@2001:1a81:5378:d500:f8a9:96f2:2a8b:a80a) (Ping timeout: 250 seconds)
2021-04-26 03:45:41 +0200gnumonic(~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Quit: Leaving)
2021-04-26 03:47:44 +0200xff0x(~xff0x@2001:1a81:53aa:e600:aedf:66c8:4911:fe15)
2021-04-26 03:49:05 +0200ddellacosta(~ddellacos@86.106.143.138)
2021-04-26 03:50:18 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Ping timeout: 260 seconds)
2021-04-26 03:50:56 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2021-04-26 03:53:44 +0200ddellacosta(~ddellacos@86.106.143.138) (Ping timeout: 245 seconds)
2021-04-26 03:57:44 +0200nineonine(~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8)
2021-04-26 03:59:22 +0200nineonine(~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Remote host closed the connection)
2021-04-26 03:59:23 +0200Tario(~Tario@200.119.184.119) (Read error: Connection reset by peer)
2021-04-26 04:02:35 +0200Tario(~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 +0200forell(~forell@unaffiliated/forell)
2021-04-26 04:05:14 +0200nineonine(~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8)
2021-04-26 04:05:26 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed)
2021-04-26 04:08:49 +0200kiweun(~kiweun@2607:fea8:2a62:9600:7da7:60a9:aff:54f9) (Remote host closed the connection)
2021-04-26 04:09:31 +0200nineonine(~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 250 seconds)
2021-04-26 04:10:28 +0200CrazyPython(~crazypyth@98.122.164.118) (Read error: Connection reset by peer)
2021-04-26 04:11:51 +0200kiweun(~kiweun@2607:fea8:2a62:9600:71f6:aee0:3a4e:496c)
2021-04-26 04:13:36 +0200Aquazi(uid312403@gateway/web/irccloud.com/x-utxhkfigbhneuqmd) (Quit: Connection closed for inactivity)
2021-04-26 04:15:38 +0200jgt(~jgt@78.162.43.217)
2021-04-26 04:17:52 +0200notzmv(~zmv@unaffiliated/zmv) (Ping timeout: 240 seconds)
2021-04-26 04:19:55 +0200jgt(~jgt@78.162.43.217) (Ping timeout: 252 seconds)
2021-04-26 04:23:35 +0200urodna(~urodna@unaffiliated/urodna) (Quit: urodna)
2021-04-26 04:29:24 +0200ddellacosta(~ddellacos@86.106.143.112)
2021-04-26 04:31:41 +0200horatiohb(~horatiohb@159.89.43.106) (Ping timeout: 240 seconds)
2021-04-26 04:31:54 +0200Guest_98(02c9f2e0@dslb-002-201-242-224.002.201.pools.vodafone-ip.de)
2021-04-26 04:32:15 +0200Guest_98(02c9f2e0@dslb-002-201-242-224.002.201.pools.vodafone-ip.de) (Client Quit)
2021-04-26 04:33:44 +0200ddellacosta(~ddellacos@86.106.143.112) (Ping timeout: 245 seconds)
2021-04-26 04:33:45 +0200theDon(~td@94.134.91.236) (Ping timeout: 265 seconds)
2021-04-26 04:34:06 +0200aVikingTrex(~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea)
2021-04-26 04:35:37 +0200theDon(~td@muedsl-82-207-238-220.citykom.de)
2021-04-26 04:36:47 +0200jao(~jao@pdpc/supporter/professional/jao) (Remote host closed the connection)
2021-04-26 04:40:31 +0200FinnElija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-04-26 04:40:31 +0200finn_elijaGuest13508
2021-04-26 04:40:31 +0200FinnElijafinn_elija
2021-04-26 04:41:14 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 245 seconds)
2021-04-26 04:42:49 +0200nineonine(~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8)
2021-04-26 04:42:51 +0200ephemera__(~E@122.34.1.187) (Ping timeout: 260 seconds)
2021-04-26 04:43:09 +0200Guest13508(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds)
2021-04-26 04:46:15 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-04-26 04:48:19 +0200nineonine(~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 245 seconds)
2021-04-26 04:48:49 +0200maralorn(maralornma@gateway/shell/matrix.org/x-taapglyfnhcaxlmi) ("User left")
2021-04-26 04:49:27 +0200maralorn(maralornma@gateway/shell/matrix.org/x-taapglyfnhcaxlmi)
2021-04-26 04:49:51 +0200carlomagno(~cararell@148.87.23.10) (Quit: Leaving.)
2021-04-26 04:51:59 +0200zopsi(zopsi@2600:3c00::f03c:91ff:fe14:551f) (Max SendQ exceeded)
2021-04-26 04:52:32 +0200zopsi(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 +0200hegz(hegzmatrix@gateway/shell/matrix.org/x-qjbevljwfzlhaulx)
2021-04-26 04:58:59 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-26 05:00:48 +0200ephemera_(~E@14.63.26.157)
2021-04-26 05:03:41 +0200jao(~jao@pdpc/supporter/professional/jao)
2021-04-26 05:04:18 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-26 05:05:01 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 252 seconds)
2021-04-26 05:05:52 +0200ddellac__(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-26 05:07:18 +0200nineonine(~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8)
2021-04-26 05:10:26 +0200ddellac__(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds)
2021-04-26 05:12:01 +0200notzmv(~zmv@unaffiliated/zmv)
2021-04-26 05:12:17 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds)
2021-04-26 05:14:22 +0200stree(~stree@68.36.8.116) (Ping timeout: 265 seconds)
2021-04-26 05:17:52 +0200Stanley00(~stanley00@unaffiliated/stanley00)
2021-04-26 05:21:59 +0200fiedlr(~fiedlr@83.148.33.254)
2021-04-26 05:27:32 +0200stree(~stree@68.36.8.116)
2021-04-26 05:30:12 +0200fiedlr(~fiedlr@83.148.33.254) (Ping timeout: 240 seconds)
2021-04-26 05:33:47 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-04-26 05:41:39 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-26 05:46:13 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Remote host closed the connection)
2021-04-26 05:46:15 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds)
2021-04-26 05:48:25 +0200solidus-river(~fuag1@174.127.249.180) (Quit: Leaving)
2021-04-26 06:03:15 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds)
2021-04-26 06:04:23 +0200dyeplexer(~lol@unaffiliated/terpin)
2021-04-26 06:10:05 +0200jao(~jao@pdpc/supporter/professional/jao) (Ping timeout: 252 seconds)
2021-04-26 06:20:19 +0200ddellacosta(~ddellacos@86.106.143.34)
2021-04-26 06:22:50 +0200Enrico63(520efe97@cpc92708-cmbg20-2-0-cust150.5-4.cable.virginm.net)
2021-04-26 06:23:44 +0200guest7682358928(2de85c16@gateway/web/cgi-irc/kiwiirc.com/ip.45.232.92.22) (Ping timeout: 245 seconds)
2021-04-26 06:24:55 +0200ddellacosta(~ddellacos@86.106.143.34) (Ping timeout: 265 seconds)
2021-04-26 06:46:44 +0200blankhart(~blankhart@pool-72-88-174-206.nwrknj.fios.verizon.net) (Ping timeout: 252 seconds)
2021-04-26 06:51:41 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-04-26 06:53:39 +0200shutdown_-h_now(~arjan@2001:1c06:2d0b:2312:41b7:a173:a0b0:162b) (Ping timeout: 260 seconds)
2021-04-26 06:53:39 +0200Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-04-26 06:54:03 +0200Tario(~Tario@201.192.165.173)
2021-04-26 06:56:27 +0200hiroaki(~hiroaki@2a02:8108:8c40:2bb8:4e27:9f44:a2d5:c10c) (Ping timeout: 260 seconds)
2021-04-26 06:57:18 +0200ddellacosta(~ddellacos@86.106.143.86)
2021-04-26 06:58:46 +0200tsaka_(~torstein@athedsl-4519432.home.otenet.gr) (Ping timeout: 240 seconds)
2021-04-26 06:59:24 +0200shutdown_-h_now(~arjan@2001:1c06:2d0b:2312:6cde:4ab2:7d84:5b06)
2021-04-26 06:59:32 +0200alx741(~alx741@181.196.69.35) (Quit: alx741)
2021-04-26 07:02:08 +0200ddellacosta(~ddellacos@86.106.143.86) (Ping timeout: 265 seconds)
2021-04-26 07:05:07 +0200tsaka_(~torstein@athedsl-4519432.home.otenet.gr)
2021-04-26 07:06:14 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-04-26 07:06:59 +0200nehsou^(nehsou@ip98-184-89-2.mc.at.cox.net) ()
2021-04-26 07:08:23 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-26 07:08:55 +0200dsrt^(dsrt@ip98-184-89-2.mc.at.cox.net)
2021-04-26 07:10:03 +0200blankhart(~blankhart@pool-72-88-174-206.nwrknj.fios.verizon.net)
2021-04-26 07:13:10 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds)
2021-04-26 07:15:24 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-04-26 07:16:11 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood)
2021-04-26 07:17:25 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-04-26 07:19:18 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2021-04-26 07:26:50 +0200knupfer(~Thunderbi@200116b82b4e030098b0f6fffeb98b90.dip.versatel-1u1.de)
2021-04-26 07:27:36 +0200knupfer(~Thunderbi@200116b82b4e030098b0f6fffeb98b90.dip.versatel-1u1.de) (Remote host closed the connection)
2021-04-26 07:27:44 +0200knupfer(~Thunderbi@200116b82b4e03004c33ffe1c2c70c13.dip.versatel-1u1.de)
2021-04-26 07:29:33 +0200ddellaco_(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-26 07:29:39 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-26 07:30:57 +0200coot(~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl)
2021-04-26 07:33:41 +0200ddellaco_(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-04-26 07:35:12 +0200stree(~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-04-26 07:39:06 +0200DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2021-04-26 07:39:27 +0200DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2021-04-26 07:43:06 +0200s00pcan(~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 240 seconds)
2021-04-26 07:45:06 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2021-04-26 07:45:14 +0200s00pcan(~chris@107.181.165.217)
2021-04-26 07:49:01 +0200stree(~stree@68.36.8.116)
2021-04-26 07:49:01 +0200bennofs__(~quassel@dynamic-089-012-155-245.89.12.pool.telefonica.de) (Read error: Connection reset by peer)
2021-04-26 07:49:16 +0200bennofs_(~quassel@dynamic-089-012-155-245.89.12.pool.telefonica.de)
2021-04-26 07:50:36 +0200jakalx(~jakalx@base.jakalx.net) ()
2021-04-26 07:51:21 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-26 07:51:30 +0200nineonine(~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Remote host closed the connection)
2021-04-26 07:52:04 +0200nineonine(~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8)
2021-04-26 07:52:38 +0200jakalx(~jakalx@base.jakalx.net)
2021-04-26 07:54:23 +0200urdh(~urdh@unaffiliated/urdh) (Quit: Boom!)
2021-04-26 07:55:11 +0200shad0w_(a0ca2598@160.202.37.152)
2021-04-26 07:55:27 +0200larsan1(~larsan@195.140.213.38) (Remote host closed the connection)
2021-04-26 07:55:41 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-04-26 07:56:14 +0200nineonine(~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 245 seconds)
2021-04-26 07:56:44 +0200Guest6509(~laudiacay@45.162.228.190)
2021-04-26 07:59:41 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2021-04-26 08:01:01 +0200nineonine(~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8)
2021-04-26 08:03:19 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-04-26 08:04:34 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 245 seconds)
2021-04-26 08:05:15 +0200nineonine(~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 250 seconds)
2021-04-26 08:07:11 +0200hiroaki(~hiroaki@2a02:8108:8c40:2bb8:9a90:9232:6a1d:a2e3)
2021-04-26 08:08:01 +0200Tario(~Tario@201.192.165.173) (Ping timeout: 268 seconds)
2021-04-26 08:09:09 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Ping timeout: 240 seconds)
2021-04-26 08:09:47 +0200ddellacosta(~ddellacos@83.143.246.104)
2021-04-26 08:11:51 +0200wonko7(~wonko7@62.115.229.50)
2021-04-26 08:12:54 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2021-04-26 08:14:09 +0200ddellacosta(~ddellacos@83.143.246.104) (Ping timeout: 245 seconds)
2021-04-26 08:14:38 +0200waleee-cl(uid373333@gateway/web/irccloud.com/x-boxlsxrcosxlqwrv) (Quit: Connection closed for inactivity)
2021-04-26 08:16:42 +0200oldsk00l_(~znc@ec2-18-130-254-135.eu-west-2.compute.amazonaws.com)
2021-04-26 08:17:00 +0200shad0w_(a0ca2598@160.202.37.152) (Quit: Connection closed)
2021-04-26 08:18:19 +0200oldsk00l(~znc@ec2-18-130-254-135.eu-west-2.compute.amazonaws.com) (Ping timeout: 276 seconds)
2021-04-26 08:32:42 +0200danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2021-04-26 08:33:32 +0200invaser(~Thunderbi@31.148.23.125)
2021-04-26 08:34:09 +0200fendor(~fendor@178.115.129.220.wireless.dyn.drei.com)
2021-04-26 08:36:44 +0200nineonine(~nineonine@2604:3d08:7785:9600:d9d9:f067:f388:4d71)
2021-04-26 08:37:18 +0200zmijunkie1(~Adium@109.90.32.89)
2021-04-26 08:37:29 +0200kritzefitz(~kritzefit@212.86.56.80)
2021-04-26 08:38:03 +0200nineonine(~nineonine@2604:3d08:7785:9600:d9d9:f067:f388:4d71) (Remote host closed the connection)
2021-04-26 08:39:04 +0200rond_(5940206b@89-64-32-107.dynamic.chello.pl)
2021-04-26 08:39:20 +0200zmijunkie(~Adium@87.123.51.242) (Ping timeout: 246 seconds)
2021-04-26 08:45:48 +0200Sgeo(~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer)
2021-04-26 08:47:32 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-26 08:51:46 +0200sudden(~lax@unaffiliated/laxask) (Ping timeout: 240 seconds)
2021-04-26 08:52:10 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
2021-04-26 08:54:43 +0200dyeplexer(~lol@unaffiliated/terpin) (Ping timeout: 252 seconds)
2021-04-26 08:55:26 +0200dpl_(~dpl@77-121-78-163.chn.volia.net)
2021-04-26 08:56:49 +0200jgt(~jgt@78.162.43.217)
2021-04-26 08:56:51 +0200dyeplexer(~lol@unaffiliated/terpin)
2021-04-26 08:57:54 +0200notzmv(~zmv@unaffiliated/zmv) (Ping timeout: 245 seconds)
2021-04-26 08:59:20 +0200jespada(~jespada@87.74.37.248)
2021-04-26 09:00:57 +0200nineonine(~nineonine@2604:3d08:7785:9600:d9d9:f067:f388:4d71)
2021-04-26 09:01:05 +0200m0rphism(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de)
2021-04-26 09:05:29 +0200nineonine(~nineonine@2604:3d08:7785:9600:d9d9:f067:f388:4d71) (Ping timeout: 250 seconds)
2021-04-26 09:06:28 +0200kritzefitz(~kritzefit@212.86.56.80) (Ping timeout: 252 seconds)
2021-04-26 09:06:54 +0200kritzefitz(~kritzefit@2003:5b:203b:200::10:49)
2021-04-26 09:11:03 +0200Thom2503(~Thom2503@49-135-166-62.ftth.glasoperator.nl)
2021-04-26 09:12:07 +0200michalz(~user@185.246.204.44)
2021-04-26 09:12:24 +0200thc202(~thc202@unaffiliated/thc202)
2021-04-26 09:12:40 +0200plutoniix(~q@ppp-58-8-212-146.revip2.asianet.co.th)
2021-04-26 09:15:49 +0200refusenick(~user@2601:644:8502:d700::94c9) (Ping timeout: 245 seconds)
2021-04-26 09:22:06 +0200idhugo(~idhugo@80-62-116-231-mobile.dk.customer.tdc.net)
2021-04-26 09:25:15 +0200nut(~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-04-26 09:27:02 +0200cfricke(~cfricke@unaffiliated/cfricke)
2021-04-26 09:27:18 +0200Neuromancer(~Neuromanc@unaffiliated/neuromancer)
2021-04-26 09:27:20 +0200ddellacosta(~ddellacos@86.106.143.151)
2021-04-26 09:28:30 +0200idhugo(~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Remote host closed the connection)
2021-04-26 09:28:57 +0200idhugo(~idhugo@80-62-116-231-mobile.dk.customer.tdc.net)
2021-04-26 09:29:36 +0200acidjnk_new(~acidjnk@p200300d0c72b9563253a50075d84e1af.dip0.t-ipconnect.de)
2021-04-26 09:30:09 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-26 09:30:52 +0200zmijunkie1(~Adium@109.90.32.89) (Ping timeout: 240 seconds)
2021-04-26 09:31:02 +0200fiedlr(~fiedlr@83.148.33.254)
2021-04-26 09:32:11 +0200ddellacosta(~ddellacos@86.106.143.151) (Ping timeout: 260 seconds)
2021-04-26 09:32:30 +0200dyeplexer(~lol@unaffiliated/terpin) (Ping timeout: 268 seconds)
2021-04-26 09:32:56 +0200idhugo_(~idhugo@130.225.16.16)
2021-04-26 09:33:57 +0200zmijunkie(~Adium@87.123.51.242)
2021-04-26 09:35:41 +0200idhugo(~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Ping timeout: 260 seconds)
2021-04-26 09:40:20 +0200nineonine(~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8)
2021-04-26 09:42:01 +0200chimera(~chimera@168-182-134-95.pool.ukrtel.net)
2021-04-26 09:45:49 +0200nineonine(~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 245 seconds)
2021-04-26 09:47:21 +0200mmfood_2(~mmfood@185.176.246.69) (Ping timeout: 260 seconds)
2021-04-26 09:47:57 +0200kritzefitz(~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection)
2021-04-26 09:48:51 +0200sudden(~lax@unaffiliated/laxask)
2021-04-26 09:49:44 +0200urdh(~urdh@unaffiliated/urdh)
2021-04-26 09:53:29 +0200geowiesnot(~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 +0200stree(~stree@68.36.8.116) (Ping timeout: 245 seconds)
2021-04-26 09:57:04 +0200cole-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 +0200aVikingTrex(~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 260 seconds)
2021-04-26 09:59:54 +0200dyeplexer(~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 +0200alexander(~alexander@2a02:587:dc0a:2700:dc6:16ac:a95:eabf)
2021-04-26 10:01:33 +0200evanjs(~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer)
2021-04-26 10:01:54 +0200alexanderGuest292
2021-04-26 10:02:29 +0200idhugo__(~idhugo@130.225.16.16)
2021-04-26 10:04:17 +0200evanjs(~evanjs@075-129-098-007.res.spectrum.com)
2021-04-26 10:04:29 +0200gitgood(~gitgood@80-44-9-246.dynamic.dsl.as9105.com) (Quit: Probably away to do something really awesome)
2021-04-26 10:04:34 +0200dyeplexer(~lol@unaffiliated/terpin) (Ping timeout: 245 seconds)
2021-04-26 10:04:53 +0200LKoen(~LKoen@22.249.88.92.rev.sfr.net)
2021-04-26 10:05:11 +0200idhugo_(~idhugo@130.225.16.16) (Ping timeout: 268 seconds)
2021-04-26 10:05:21 +0200rekahsoft(~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection)
2021-04-26 10:05:45 +0200rekahsoft(~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com)
2021-04-26 10:05:54 +0200ddellacosta(~ddellacos@86.106.143.21)
2021-04-26 10:08:19 +0200acidjnk_new(~acidjnk@p200300d0c72b9563253a50075d84e1af.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2021-04-26 10:09:36 +0200stree(~stree@68.36.8.116)
2021-04-26 10:10:16 +0200s8ori(~username@iamnakedandmyballsareonfire.com)
2021-04-26 10:10:44 +0200ddellacosta(~ddellacos@86.106.143.21) (Ping timeout: 268 seconds)
2021-04-26 10:10:45 +0200hendursa1(~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds)
2021-04-26 10:11:34 +0200s8ori(~username@iamnakedandmyballsareonfire.com) ()
2021-04-26 10:12:46 +0200hendursa1(~weechat@gateway/tor-sasl/hendursaga)
2021-04-26 10:13:40 +0200is_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 +0200dyeplexer(~lol@unaffiliated/terpin)
2021-04-26 10:16:42 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-04-26 10:17:25 +0200ephemera_(~E@14.63.26.157) (Ping timeout: 252 seconds)
2021-04-26 10:17:35 +0200nineonine(~nineonine@2604:3d08:7785:9600:d9d9:f067:f388:4d71)
2021-04-26 10:18:44 +0200Guest6509(~laudiacay@45.162.228.190) (Ping timeout: 245 seconds)
2021-04-26 10:19:06 +0200jgt(~jgt@78.162.43.217) (Ping timeout: 240 seconds)
2021-04-26 10:19:19 +0200Guest6509(~laudiacay@45.162.228.190)
2021-04-26 10:20:55 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer)
2021-04-26 10:23:41 +0200Guest6509(~laudiacay@45.162.228.190) (Ping timeout: 240 seconds)
2021-04-26 10:23:55 +0200nineonine(~nineonine@2604:3d08:7785:9600:d9d9:f067:f388:4d71) (Ping timeout: 250 seconds)
2021-04-26 10:23:56 +0200acertain(sid470584@gateway/web/irccloud.com/x-ogravonvfzuqdrmh) (Read error: Connection reset by peer)
2021-04-26 10:23:56 +0200lexi-lambda(sid92601@gateway/web/irccloud.com/x-lbtagjjufznxxeun) (Read error: Connection reset by peer)
2021-04-26 10:23:56 +0200nick_h(sid319833@gateway/web/irccloud.com/x-rpjxyycebsudwryk) (Write error: Connection reset by peer)
2021-04-26 10:23:56 +0200mpickering(sid78412@gateway/web/irccloud.com/x-uuuhuurfuxahsslu) (Read error: Connection reset by peer)
2021-04-26 10:23:56 +0200simony(sid226116@gateway/web/irccloud.com/x-uimvkkhkkjmffmgk) (Read error: Connection reset by peer)
2021-04-26 10:24:03 +0200gluegadget(sid22336@gateway/web/irccloud.com/x-yvyuuucqiikbdiwr) (Read error: Connection reset by peer)
2021-04-26 10:24:09 +0200Tritlo(sid58727@gateway/web/irccloud.com/x-aozswbintmywimnv) (Read error: Connection reset by peer)
2021-04-26 10:24:21 +0200hamishmack(sid389057@gateway/web/irccloud.com/x-pnmcssvibehjvusv) (Read error: Connection reset by peer)
2021-04-26 10:24:21 +0200dsturnbull(sid347899@gateway/web/irccloud.com/x-rwwelyrmjwhraekh) (Read error: Connection reset by peer)
2021-04-26 10:24:21 +0200affinespaces(sid327561@gateway/web/irccloud.com/x-zprmbywljksowyax) (Read error: Connection reset by peer)
2021-04-26 10:24:24 +0200chimera(~chimera@168-182-134-95.pool.ukrtel.net) (Quit: Konversation terminated!)
2021-04-26 10:24:32 +0200edwinb(sid69486@gateway/web/irccloud.com/x-ceykgrlrnlvnljwc) (Ping timeout: 240 seconds)
2021-04-26 10:24:35 +0200Firedancer(sid336191@gateway/web/irccloud.com/x-xoleucehjmvybibw) (Read error: Connection reset by peer)
2021-04-26 10:24:46 +0200dmj`(sid72307@gateway/web/irccloud.com/x-apketcevmbwpajcv) (Read error: Connection reset by peer)
2021-04-26 10:24:50 +0200PoliticsII______(sid193551@gateway/web/irccloud.com/x-yxyceemvbzkrgcna) (Read error: Connection reset by peer)
2021-04-26 10:24:52 +0200Guest45273(sid175221@gateway/web/irccloud.com/x-nsujrihzxxbdnxuk) (Read error: Connection reset by peer)
2021-04-26 10:24:58 +0200joel135(sid136450@gateway/web/irccloud.com/x-ucqckdoiizhcvkmw) (Read error: Connection reset by peer)
2021-04-26 10:24:59 +0200rekahsoft(~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Ping timeout: 245 seconds)
2021-04-26 10:25:10 +0200is_null(~jpic@pdpc/supporter/professional/is-null)
2021-04-26 10:25:39 +0200heyj(sid171370@gateway/web/irccloud.com/x-wookyduvyhmgjxsv) (Ping timeout: 250 seconds)
2021-04-26 10:26:27 +0200SanchayanMaity(sid478177@gateway/web/irccloud.com/x-iknoupunjrgfpxlk) (Ping timeout: 260 seconds)
2021-04-26 10:28:02 +0200ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-04-26 10:28:36 +0200ukari(~ukari@unaffiliated/ukari)
2021-04-26 10:29:13 +0200rond_(5940206b@89-64-32-107.dynamic.chello.pl) (Quit: Connection closed)
2021-04-26 10:29:22 +0200joel135(sid136450@gateway/web/irccloud.com/x-ndhpmrvvghebnbtd)
2021-04-26 10:29:30 +0200acertain(sid470584@gateway/web/irccloud.com/x-sumasjykwljqhlbu)
2021-04-26 10:29:34 +0200affinespaces(sid327561@gateway/web/irccloud.com/x-ubclajppgjefvuak)
2021-04-26 10:29:39 +0200simony(sid226116@gateway/web/irccloud.com/x-kmfpxdltuszvmpvx)
2021-04-26 10:29:40 +0200nick_h(sid319833@gateway/web/irccloud.com/x-zusqmzasathspykj)
2021-04-26 10:29:40 +0200lexi-lambda(sid92601@gateway/web/irccloud.com/x-vyltbyovtotffqec)
2021-04-26 10:29:40 +0200mpickering(sid78412@gateway/web/irccloud.com/x-xjsuxnedetzxjhqw)
2021-04-26 10:29:44 +0200gluegadget(sid22336@gateway/web/irccloud.com/x-itbovuhjwhyfdepu)
2021-04-26 10:29:56 +0200hamishmack(sid389057@gateway/web/irccloud.com/x-hinwsnzvmlwgjiuz)
2021-04-26 10:30:00 +0200dsturnbull(sid347899@gateway/web/irccloud.com/x-qvlrvivkyeospoih)
2021-04-26 10:30:11 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-04-26 10:30:13 +0200Firedancer(sid336191@gateway/web/irccloud.com/x-gcafzszhhwdyauva)
2021-04-26 10:30:13 +0200heyj(sid171370@gateway/web/irccloud.com/x-mqcobmcwiqxugtpm)
2021-04-26 10:30:20 +0200Tritlo(sid58727@gateway/web/irccloud.com/x-qlfkwgdcrqlcpigc)
2021-04-26 10:30:24 +0200edwinb(sid69486@gateway/web/irccloud.com/x-sfvgflsmzchrdhrj)
2021-04-26 10:30:32 +0200PoliticsII______(sid193551@gateway/web/irccloud.com/x-zsvgstszagyrpulm)
2021-04-26 10:30:48 +0200Stanley|00(~stanley00@unaffiliated/stanley00)
2021-04-26 10:30:56 +0200Guest45273(sid175221@gateway/web/irccloud.com/x-xfqbqidhzrwpebvs)
2021-04-26 10:30:57 +0200vgtw(~vgtw@gateway/tor-sasl/vgtw) (Remote host closed the connection)
2021-04-26 10:31:05 +0200dmj`(sid72307@gateway/web/irccloud.com/x-dxdffqeugfhdwmki)
2021-04-26 10:31:09 +0200SanchayanMaity(sid478177@gateway/web/irccloud.com/x-ggfrtzsywgaxgizs)
2021-04-26 10:31:12 +0200vgtw(~vgtw@gateway/tor-sasl/vgtw)
2021-04-26 10:32:16 +0200Stanley00(~stanley00@unaffiliated/stanley00) (Ping timeout: 252 seconds)
2021-04-26 10:33:10 +0200jgt(~jgt@78.162.43.217)
2021-04-26 10:33:26 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-04-26 10:33:41 +0200hyiltiz(~quassel@unaffiliated/hyiltiz) (Ping timeout: 240 seconds)
2021-04-26 10:35:23 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-04-26 10:37:08 +0200drbean_(~drbean@TC210-63-209-203.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in)
2021-04-26 10:38:14 +0200ddellacosta(~ddellacos@86.106.143.34)
2021-04-26 10:38:15 +0200mmfood_2(~mmfood@185.176.246.69)
2021-04-26 10:38:33 +0200hyiltiz(~quassel@31.220.5.250)
2021-04-26 10:38:33 +0200hyiltiz(~quassel@31.220.5.250) (Changing host)
2021-04-26 10:38:33 +0200hyiltiz(~quassel@unaffiliated/hyiltiz)
2021-04-26 10:42:41 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2021-04-26 10:42:48 +0200ddellacosta(~ddellacos@86.106.143.34) (Ping timeout: 268 seconds)
2021-04-26 10:43:25 +0200knupfer(~Thunderbi@200116b82b4e03004c33ffe1c2c70c13.dip.versatel-1u1.de) (Ping timeout: 250 seconds)
2021-04-26 10:45:39 +0200zaquest(~notzaques@5.128.210.178) (Quit: Leaving)
2021-04-26 10:46:48 +0200zaquest(~notzaques@5.128.210.178)
2021-04-26 10:47:45 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-26 10:48:52 +0200boogsbunny(1769ab38@23.105.171.56)
2021-04-26 10:49:58 +0200malumore(~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 +0200malumore(~malumore@151.62.121.252) (Remote host closed the connection)
2021-04-26 10:51:49 +0200malumore(~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 +0200bitmagie(~Thunderbi@200116b80653e900704c8745b360bdd2.dip.versatel-1u1.de)
2021-04-26 10:52:28 +0200malumore(~malumore@151.62.121.252) (Remote host closed the connection)
2021-04-26 10:52:38 +0200malumore(~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 +0200malumore(~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 +0200malumore(~malumore@151.62.121.252)
2021-04-26 10:55:23 +0200malumore(~malumore@151.62.121.252) (Remote host closed the connection)
2021-04-26 10:55:31 +0200idhugo__(~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 +0200pfurla_(~pfurla@185.108.105.65)
2021-04-26 10:56:27 +0200malumore(~malumore@151.62.121.252)
2021-04-26 10:56:55 +0200idhugo__(~idhugo@87-49-45-4-mobile.dk.customer.tdc.net)
2021-04-26 10:56:55 +0200notzmv(~zmv@unaffiliated/zmv)
2021-04-26 10:57:48 +0200malumore(~malumore@151.62.121.252) (Remote host closed the connection)
2021-04-26 10:57:59 +0200malumore(~malumore@151.62.121.252)
2021-04-26 10:58:20 +0200nineonine(~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8)
2021-04-26 10:59:13 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 252 seconds)
2021-04-26 11:00:09 +0200samthecoy[m](samthecoym@gateway/shell/matrix.org/x-hruxclzacznfvtzj) (Quit: Idle for 30+ days)
2021-04-26 11:00:48 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net)
2021-04-26 11:00:52 +0200Guest292chomwitt
2021-04-26 11:02:29 +0200nineonine(~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 245 seconds)
2021-04-26 11:02:52 +0200pfurla_(~pfurla@185.108.105.65) (Ping timeout: 240 seconds)
2021-04-26 11:03:49 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-04-26 11:04:10 +0200Thom2503(~Thom2503@49-135-166-62.ftth.glasoperator.nl) (Read error: Connection reset by peer)
2021-04-26 11:04:57 +0200swater(~swater@perso.iiens.net) (Ping timeout: 260 seconds)
2021-04-26 11:11:45 +0200Pickchea(~private@unaffiliated/pickchea)
2021-04-26 11:13:41 +0200remedan(~remedan@balak.me) (Quit: Bye!)
2021-04-26 11:13:55 +0200Varis(~Tadas@unaffiliated/varis)
2021-04-26 11:16:03 +0200Thom2503(~Thom2503@49-135-166-62.ftth.glasoperator.nl)
2021-04-26 11:18:42 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-26 11:19:41 +0200remedan(~remedan@balak.me)
2021-04-26 11:23:11 +0200ddellacosta(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 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Remote host closed the connection)
2021-04-26 11:30:15 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-04-26 11:33:48 +0200mikolaj__(~mikon@duch.mimuw.edu.pl)
2021-04-26 11:33:57 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Ping timeout: 240 seconds)
2021-04-26 11:34:27 +0200mikolaj__(~mikon@duch.mimuw.edu.pl) (Client Quit)
2021-04-26 11:36:28 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2021-04-26 11:36:38 +0200mandiblegrip(~mandibleg@58.168.115.44)
2021-04-26 11:41:19 +0200mandiblegrip(~mandibleg@58.168.115.44) (Client Quit)
2021-04-26 11:41:32 +0200plast1k_(~plast1k_@41.186.25.253)
2021-04-26 11:43:44 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2021-04-26 11:49:07 +0200Tops2(~Tobias@dyndsl-091-249-083-109.ewe-ip-backbone.de)
2021-04-26 11:50:02 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-04-26 11:52:57 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Quit: Writing)
2021-04-26 11:55:33 +0200ech(~user@gateway/tor-sasl/ech) (Ping timeout: 240 seconds)
2021-04-26 11:55:35 +0200plutoniix(~q@ppp-58-8-212-146.revip2.asianet.co.th) (Quit: Leaving)
2021-04-26 11:56:49 +0200minoru_shiraeesh(~shiraeesh@109.166.59.190)
2021-04-26 11:58:39 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-26 12:00:38 +0200Stanley|00(~stanley00@unaffiliated/stanley00) (Remote host closed the connection)
2021-04-26 12:02:49 +0200Stanley00(~stanley00@unaffiliated/stanley00)
2021-04-26 12:03:34 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
2021-04-26 12:04:21 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-26 12:05:09 +0200zmijunkie1(~Adium@109.90.32.89)
2021-04-26 12:05:40 +0200nineonine(~nineonine@2604:3d08:7785:9600:d9d9:f067:f388:4d71)
2021-04-26 12:05:57 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Ping timeout: 240 seconds)
2021-04-26 12:06:06 +0200zmijunkie(~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 +0200sord937(~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 +0200malumore(~malumore@151.62.121.252) (Ping timeout: 260 seconds)
2021-04-26 12:09:04 +0200heatsink(~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 +0200nineonine(~nineonine@2604:3d08:7785:9600:d9d9:f067:f388:4d71) (Ping timeout: 250 seconds)
2021-04-26 12:10:48 +0200boogsbunny(1769ab38@23.105.171.56) (Quit: Connection closed)
2021-04-26 12:11:07 +0200Varis(~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 +0200Varis(~Tadas@78-62-133-232.static.zebra.lt)
2021-04-26 12:12:21 +0200Varis(~Tadas@78-62-133-232.static.zebra.lt) (Changing host)
2021-04-26 12:12:21 +0200Varis(~Tadas@unaffiliated/varis)
2021-04-26 12:14:09 +0200Enrico63(520efe97@cpc92708-cmbg20-2-0-cust150.5-4.cable.virginm.net) (Quit: Connection closed)
2021-04-26 12:16:13 +0200mrchampion(~mrchampio@38.18.109.23) (Ping timeout: 252 seconds)
2021-04-26 12:17:47 +0200stree(~stree@68.36.8.116) (Ping timeout: 268 seconds)
2021-04-26 12:18:15 +0200aVikingTrex(~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea)
2021-04-26 12:19:01 +0200plast1k_(~plast1k_@41.186.25.253) (Ping timeout: 260 seconds)
2021-04-26 12:19:28 +0200unyu(~pyon@unaffiliated/pyon) (Quit: brb)
2021-04-26 12:21:54 +0200mrchampion(~mrchampio@38.18.109.23)
2021-04-26 12:24:23 +0200ericsagn1(~ericsagne@2405:6580:0:5100:9e02:7bf3:beb9:eefe) (Ping timeout: 250 seconds)
2021-04-26 12:26:09 +0200Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck)
2021-04-26 12:26:22 +0200HannaM(~quassel@p54849510.dip0.t-ipconnect.de)
2021-04-26 12:28:21 +0200vicfred(vicfred@gateway/vpn/mullvad/vicfred) (Quit: Leaving)
2021-04-26 12:28:41 +0200xsperry(~as@unaffiliated/xsperry) (Ping timeout: 240 seconds)
2021-04-26 12:29:40 +0200malumore(~malumore@151.62.121.252)
2021-04-26 12:30:46 +0200stree(~stree@68.36.8.116)
2021-04-26 12:35:17 +0200nullifidian(~nullifidi@unaffiliated/nullifidian)
2021-04-26 12:37:47 +0200ericsagn1(~ericsagne@2405:6580:0:5100:f023:81fa:fbf5:ef93)
2021-04-26 12:39:29 +0200Pickchea(~private@unaffiliated/pickchea) (Ping timeout: 252 seconds)
2021-04-26 12:39:34 +0200mmfood_2(~mmfood@185.176.246.69) (Quit: Leaving)
2021-04-26 12:42:28 +0200Enrico63(520efe97@cpc92708-cmbg20-2-0-cust150.5-4.cable.virginm.net)
2021-04-26 12:44:54 +0200nineonine(~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8)
2021-04-26 12:46:48 +0200Guest14500(~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 +0200Enrico63(520efe97@cpc92708-cmbg20-2-0-cust150.5-4.cable.virginm.net) (Quit: Connection closed)
2021-04-26 12:47:32 +0200puke(~vroom@217.138.252.196)
2021-04-26 12:49:09 +0200nineonine(~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 245 seconds)
2021-04-26 12:50:29 +0200thblt(~thblt@unaffiliated/thblt) ("ERC (IRC client for Emacs 28.0.50)")
2021-04-26 12:54:38 +0200Stanley00(~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 +0200is_null(~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 240 seconds)
2021-04-26 12:57:51 +0200bitmagie(~Thunderbi@200116b80653e900704c8745b360bdd2.dip.versatel-1u1.de) (Quit: bitmagie)
2021-04-26 13:01:20 +0200turlando(~turlando@93-42-250-112.ip89.fastwebnet.it)
2021-04-26 13:01:29 +0200Alleria(~textual@mskresolve-a.mskcc.org)
2021-04-26 13:01:54 +0200AlleriaGuest8109
2021-04-26 13:02:01 +0200xsperry(~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 +0200Wamanuz(~wamanuz@78-70-34-81-no84.tbcn.telia.com) (Remote host closed the connection)
2021-04-26 13:03:22 +0200Wamanuz(~wamanuz@78-70-34-81-no84.tbcn.telia.com)
2021-04-26 13:03:33 +0200ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-04-26 13:04:13 +0200ukari(~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 +0200DavidEichmann(~david@147.136.46.217.dyn.plus.net)
2021-04-26 13:07:03 +0200idhugo__(~idhugo@87-49-45-4-mobile.dk.customer.tdc.net) (Ping timeout: 265 seconds)
2021-04-26 13:09:14 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-26 13:09:59 +0200nullifidian(~nullifidi@unaffiliated/nullifidian) (Quit: Leaving)
2021-04-26 13:10:26 +0200Franciman(~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 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
2021-04-26 13:14:20 +0200ces(~ces@fsf/member/ces)
2021-04-26 13:14:33 +0200ces(~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 +0200Guest6509(~laudiacay@45.162.228.190)
2021-04-26 13:15:43 +0200Pickchea(~private@unaffiliated/pickchea)
2021-04-26 13:17:23 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c)
2021-04-26 13:20:06 +0200Guest6509(~laudiacay@45.162.228.190) (Ping timeout: 265 seconds)
2021-04-26 13:20:10 +0200Enrico63(520efe97@cpc92708-cmbg20-2-0-cust150.5-4.cable.virginm.net)
2021-04-26 13:20:13 +0200nineonine(~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8)
2021-04-26 13:20:26 +0200LKoen(~LKoen@22.249.88.92.rev.sfr.net) (Remote host closed the connection)
2021-04-26 13:22:27 +0200hypercube(~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 +0200geowiesnot(~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 +0200nineonine(~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 250 seconds)
2021-04-26 13:26:53 +0200ekrion(~ffx1@181.58.39.182)
2021-04-26 13:28:45 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-04-26 13:34:55 +0200machinedgod(~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 +0200kritzefitz(~kritzefit@212.86.56.80)
2021-04-26 13:41:00 +0200idhugo(~idhugo@87-49-45-4-mobile.dk.customer.tdc.net)
2021-04-26 13:41:07 +0200ddellacosta(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 +0200boogsbunny(1769ab38@23.105.171.56)
2021-04-26 13:44:38 +0200michalz(~user@185.246.204.44) (Read error: Connection reset by peer)
2021-04-26 13:45:49 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 245 seconds)
2021-04-26 13:45:56 +0200nut(~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds)
2021-04-26 13:47:39 +0200rodriga(~quassel@134.204.25.66)
2021-04-26 13:48:25 +0200kritzefitz(~kritzefit@212.86.56.80) (Ping timeout: 268 seconds)
2021-04-26 13:48:45 +0200kritzefitz(~kritzefit@2003:5b:203b:200::10:49)
2021-04-26 13:51:32 +0200frozenErebus(~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 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 268 seconds)
2021-04-26 13:58:20 +0200unyu(~pyon@unaffiliated/pyon)
2021-04-26 13:59:15 +0200urodna(~urodna@unaffiliated/urodna)
2021-04-26 14:03:40 +0200nineonine(~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8)
2021-04-26 14:05:06 +0200edwtjo(~edwtjo@fsf/member/edwtjo) (Ping timeout: 240 seconds)
2021-04-26 14:05:21 +0200CrazyPython(~crazypyth@98.122.164.118)
2021-04-26 14:05:43 +0200michalz(~user@185.246.204.123)
2021-04-26 14:06:08 +0200hypercube(~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com)
2021-04-26 14:07:54 +0200nineonine(~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 245 seconds)
2021-04-26 14:09:39 +0200knupfer(~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 +0200alx741(~alx741@181.196.69.35)
2021-04-26 14:12:20 +0200ddellacosta(~ddellacos@86.106.143.190)
2021-04-26 14:13:30 +0200zmijunkie(~Adium@87.123.51.242)
2021-04-26 14:13:55 +0200zmijunkie1(~Adium@109.90.32.89) (Ping timeout: 252 seconds)
2021-04-26 14:14:53 +0200o1lo01ol1o(~o1lo01ol1@bl11-109-140.dsl.telepac.pt)
2021-04-26 14:16:34 +0200forell(~forell@unaffiliated/forell) (Ping timeout: 260 seconds)
2021-04-26 14:16:41 +0200ddellacosta(~ddellacos@86.106.143.190) (Ping timeout: 240 seconds)
2021-04-26 14:17:32 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-04-26 14:17:44 +0200Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck) (Remote host closed the connection)
2021-04-26 14:18:44 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) (Ping timeout: 245 seconds)
2021-04-26 14:20:35 +0200cods(~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 246 seconds)
2021-04-26 14:21:14 +0200invaser(~Thunderbi@31.148.23.125) (Ping timeout: 245 seconds)
2021-04-26 14:24:45 +0200edwtjo(~edwtjo@h-7-145.A213.priv.bahnhof.se)
2021-04-26 14:24:45 +0200edwtjo(~edwtjo@h-7-145.A213.priv.bahnhof.se) (Changing host)
2021-04-26 14:24:45 +0200edwtjo(~edwtjo@fsf/member/edwtjo)
2021-04-26 14:25:49 +0200acidjnk_new(~acidjnk@p200300d0c72b9563253a50075d84e1af.dip0.t-ipconnect.de)
2021-04-26 14:27:51 +0200Tops21(~Tobias@dyndsl-091-249-083-109.ewe-ip-backbone.de)
2021-04-26 14:28:17 +0200forell(~forell@unaffiliated/forell)
2021-04-26 14:28:32 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds)
2021-04-26 14:30:53 +0200ddellacosta(~ddellacos@86.106.143.112)
2021-04-26 14:30:58 +0200Tops2(~Tobias@dyndsl-091-249-083-109.ewe-ip-backbone.de) (Ping timeout: 252 seconds)
2021-04-26 14:31:16 +0200drbean_(~drbean@TC210-63-209-57.static.apol.com.tw)
2021-04-26 14:31:29 +0200Gardy(51f4b066@102.176-244-81.adsl-dyn.isp.belgacom.be)
2021-04-26 14:37:15 +0200LKoen(~LKoen@22.249.88.92.rev.sfr.net)
2021-04-26 14:38:17 +0200hypercube(~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 250 seconds)
2021-04-26 14:38:56 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-04-26 14:38:58 +0200stree(~stree@68.36.8.116) (Ping timeout: 260 seconds)
2021-04-26 14:40:30 +0200nut(~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-04-26 14:40:56 +0200nut(~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Client Quit)
2021-04-26 14:50:43 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-04-26 14:51:45 +0200stree(~stree@68.36.8.116)
2021-04-26 14:52:35 +0200aVikingTrex(~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 250 seconds)
2021-04-26 14:55:47 +0200coot(~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-04-26 14:58:26 +0200Benzi-Junior(~BenziJuni@dsl-149-64-251.hive.is) (Ping timeout: 240 seconds)
2021-04-26 14:58:28 +0200ph88(~ph88@2a02:8109:9e00:7e5c:d5ef:86b3:afc4:9258)
2021-04-26 14:59:55 +0200kuribas(~user@ptr-25vy0i9m572fxrivl24.18120a2.ip6.access.telenet.be)
2021-04-26 15:00:53 +0200noexcept(~noexcept@2a03:b0c0:3:d0::33:9001) (Read error: Connection reset by peer)
2021-04-26 15:01:29 +0200noexcept(~noexcept@2a03:b0c0:3:d0::33:9001)
2021-04-26 15:03:38 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-26 15:05:14 +0200bitmagie(~Thunderbi@200116b80653e900704c8745b360bdd2.dip.versatel-1u1.de)
2021-04-26 15:05:18 +0200ekrion(~ffx1@181.58.39.182) (Remote host closed the connection)
2021-04-26 15:06:40 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-26 15:07:02 +0200Benzi-Junior(~BenziJuni@88-149-64-251.du.xdsl.is)
2021-04-26 15:09:34 +0200bitmagie(~Thunderbi@200116b80653e900704c8745b360bdd2.dip.versatel-1u1.de) (Client Quit)
2021-04-26 15:09:49 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 268 seconds)
2021-04-26 15:10:18 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-04-26 15:11:18 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-26 15:11:44 +0200hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2021-04-26 15:15:50 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds)
2021-04-26 15:16:59 +0200Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck)
2021-04-26 15:17:57 +0200nineonine(~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8)
2021-04-26 15:22:29 +0200nineonine(~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 250 seconds)
2021-04-26 15:27:35 +0200hypercube(~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com)
2021-04-26 15:27:57 +0200Tario(~Tario@201.192.165.173)
2021-04-26 15:28:24 +0200ClaudiusMaximus(~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net)
2021-04-26 15:28:25 +0200ClaudiusMaximus(~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) (Changing host)
2021-04-26 15:28:25 +0200ClaudiusMaximus(~claude@unaffiliated/claudiusmaximus)
2021-04-26 15:29:09 +0200fiedlr(~fiedlr@83.148.33.254) (Remote host closed the connection)
2021-04-26 15:29:15 +0200vv8(~egp_@2.95.117.163)
2021-04-26 15:30:18 +0200vv8fj
2021-04-26 15:30:24 +0200fjfjMSX
2021-04-26 15:34:01 +0200ddellacosta(~ddellacos@86.106.143.112) (Ping timeout: 252 seconds)
2021-04-26 15:40:03 +0200cods(~fred@82-65-232-44.subs.proxad.net)
2021-04-26 15:40:41 +0200lleb(5c91ba7e@amarseille-158-1-23-126.w92-145.abo.wanadoo.fr)
2021-04-26 15:41:03 +0200Gardy(51f4b066@102.176-244-81.adsl-dyn.isp.belgacom.be) (Quit: Connection closed)
2021-04-26 15:41:39 +0200enoq(~textual@194-208-146-143.lampert.tv)
2021-04-26 15:46:51 +0200ystael(~ystael@209.6.50.55) (Ping timeout: 252 seconds)
2021-04-26 15:48:13 +0200thunderrd(~thunderrd@183.182.114.233) (Ping timeout: 265 seconds)
2021-04-26 15:48:50 +0200ystael(~ystael@209.6.50.55)
2021-04-26 15:51:29 +0200coot(~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl)
2021-04-26 15:53:07 +0200ph88(~ph88@2a02:8109:9e00:7e5c:d5ef:86b3:afc4:9258) (Ping timeout: 260 seconds)
2021-04-26 15:54:08 +0200drbean_(~drbean@TC210-63-209-57.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in)
2021-04-26 15:55:59 +0200Gardy(51f4b066@102.176-244-81.adsl-dyn.isp.belgacom.be)
2021-04-26 15:56:15 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2021-04-26 15:57:21 +0200nineonine(~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8)
2021-04-26 15:58:09 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-04-26 16:05:23 +0200nineonine(~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 250 seconds)
2021-04-26 16:06:35 +0200ddellacosta(~ddellacos@86.106.143.203)
2021-04-26 16:06:53 +0200fiedlr(~fiedlr@83.148.33.254)
2021-04-26 16:07:20 +0200Maxdamantus(~Maxdamant@unaffiliated/maxdamantus) (Ping timeout: 265 seconds)
2021-04-26 16:07:25 +0200ph88(~ph88@ip5f5af6fd.dynamic.kabel-deutschland.de)
2021-04-26 16:08:02 +0200zmijunkie1(~Adium@109.90.32.89)
2021-04-26 16:08:25 +0200zmijunkie(~Adium@87.123.51.242) (Ping timeout: 268 seconds)
2021-04-26 16:09:09 +0200Maxdamantus(~Maxdamant@unaffiliated/maxdamantus)
2021-04-26 16:09:56 +0200martin02(silas@hund.fs.lmu.de) (Ping timeout: 258 seconds)
2021-04-26 16:10:49 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 245 seconds)
2021-04-26 16:11:11 +0200ddellacosta(~ddellacos@86.106.143.203) (Ping timeout: 246 seconds)
2021-04-26 16:11:32 +0200fiedlr(~fiedlr@83.148.33.254) (Ping timeout: 246 seconds)
2021-04-26 16:12:03 +0200Jef1(~Jef@2a02:a03f:e14a:7f00:54c8:d911:27c3:16d4)
2021-04-26 16:13:38 +0200Gardy(51f4b066@102.176-244-81.adsl-dyn.isp.belgacom.be) (Quit: Connection closed)
2021-04-26 16:13:55 +0200Gardy(51f4b066@102.176-244-81.adsl-dyn.isp.belgacom.be)
2021-04-26 16:14:51 +0200Jef1(~Jef@2a02:a03f:e14a:7f00:54c8:d911:27c3:16d4) ()
2021-04-26 16:15:00 +0200Jef1(~Jef@2a02:a03f:e14a:7f00:54c8:d911:27c3:16d4)
2021-04-26 16:15:15 +0200Jef1(~Jef@2a02:a03f:e14a:7f00:54c8:d911:27c3:16d4) ()
2021-04-26 16:16:22 +0200Jef1(~Jef@2a02:a03f:e14a:7f00:54c8:d911:27c3:16d4)
2021-04-26 16:16:26 +0200Jef1(~Jef@2a02:a03f:e14a:7f00:54c8:d911:27c3:16d4) ()
2021-04-26 16:25:03 +0200seven_three(~user@pool-96-233-64-53.bstnma.fios.verizon.net)
2021-04-26 16:25:32 +0200anandprabhu-M(anandprabh@gateway/shell/kde/matrix/x-bzzbuurppcsxzllt) (Quit: Bridge terminating on SIGTERM)
2021-04-26 16:25:32 +0200hyiltiz-M(hyiltizkde@gateway/shell/kde/matrix/x-htrnwcwmekebkeel) (Quit: Bridge terminating on SIGTERM)
2021-04-26 16:27:18 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed)
2021-04-26 16:28:49 +0200Sgeo(~Sgeo@ool-18b9875e.dyn.optonline.net)
2021-04-26 16:30:26 +0200Pickchea(~private@unaffiliated/pickchea) (Ping timeout: 260 seconds)
2021-04-26 16:31:29 +0200renzhi(~renzhi@2607:fa49:6500:bc00::e7b)
2021-04-26 16:31:36 +0200martin02(~martin02@hund.fs.lmu.de)
2021-04-26 16:32:30 +0200johncena(5c0cd4ac@host-92-12-212-172.as13285.net)
2021-04-26 16:33:01 +0200xkapastel(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 +0200jumper149(~jumper149@80.240.31.34)
2021-04-26 16:35:40 +0200anandprabhu-M(anandprabh@gateway/shell/kde/matrix/x-knnbylqxaiupdwue)
2021-04-26 16:35:43 +0200acidjnk_new(~acidjnk@p200300d0c72b9563253a50075d84e1af.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2021-04-26 16:36:45 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-04-26 16:36:54 +0200rj(~x@gateway/tor-sasl/rj)
2021-04-26 16:36:58 +0200idhugo_(~idhugo@80-62-116-231-mobile.dk.customer.tdc.net)
2021-04-26 16:37:44 +0200enoq(~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 +0200berberman_(~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 +0200hyiltiz-M(hyiltizkde@gateway/shell/kde/matrix/x-urtbejfwazafnhmf)
2021-04-26 16:39:09 +0200berberman(~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 +0200seven_three(~user@pool-96-233-64-53.bstnma.fios.verizon.net) ("ERC (IRC client for Emacs 27.2)")
2021-04-26 16:39:40 +0200idhugo(~idhugo@87-49-45-4-mobile.dk.customer.tdc.net) (Ping timeout: 252 seconds)
2021-04-26 16:39:43 +0200boogsbunny(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 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-04-26 16:41:10 +0200ddellacosta(~ddellacos@86.106.143.112)
2021-04-26 16:42:32 +0200nineonine(~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8)
2021-04-26 16:42:53 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-04-26 16:43:46 +0200idhugo_(~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds)
2021-04-26 16:45:32 +0200ddellacosta(~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 +0200nineonine(~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 +0200stef204(~stef204@unaffiliated/stef-204/x-384198)
2021-04-26 16:51:40 +0200Enrico63(520efe97@cpc92708-cmbg20-2-0-cust150.5-4.cable.virginm.net) (Quit: Connection closed)
2021-04-26 16:53:09 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-04-26 16:55:30 +0200Stanley00(~stanley00@unaffiliated/stanley00)
2021-04-26 16:58:23 +0200 <jumper149> sshine: constraints
2021-04-26 16:58:44 +0200xff0x(~xff0x@2001:1a81:53aa:e600:aedf:66c8:4911:fe15) (Ping timeout: 245 seconds)
2021-04-26 16:58:46 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-26 16:59:07 +0200CrazyPyt_(~crazypyth@98.122.164.118)
2021-04-26 16:59:09 +0200rj(~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-04-26 16:59:42 +0200waleee-cl(uid373333@gateway/web/irccloud.com/x-rvemkovqaoswbohn)
2021-04-26 16:59:50 +0200Stanley00(~stanley00@unaffiliated/stanley00) (Ping timeout: 246 seconds)
2021-04-26 17:00:01 +0200stree(~stree@68.36.8.116) (Ping timeout: 265 seconds)
2021-04-26 17:00:34 +0200CrazyPython(~crazypyth@98.122.164.118) (Ping timeout: 252 seconds)
2021-04-26 17:00:55 +0200xff0x(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 +0200jao(~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 +0200rj(~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 +0200fiedlr(~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 +0200zmijunkie1(~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 +0200heatsink(~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 +0200royal_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 +0200xff0x(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 +0200xff0x(~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 +0200stree(~stree@68.36.8.116)
2021-04-26 17:13:13 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
2021-04-26 17:13:16 +0200zebrag(~inkbottle@aaubervilliers-654-1-79-166.w86-212.abo.wanadoo.fr)
2021-04-26 17:14:15 +0200nineonine(~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8)
2021-04-26 17:15:01 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-04-26 17:15:33 +0200nineonine(~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Remote host closed the connection)
2021-04-26 17:15:57 +0200Guest6509(~laudiacay@45.162.228.190)
2021-04-26 17:16:24 +0200nineonine(~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8)
2021-04-26 17:17:28 +0200thunderrd(~thunderrd@183.182.110.191)
2021-04-26 17:17:39 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-26 17:18:43 +0200nineonine(~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Remote host closed the connection)
2021-04-26 17:19:00 +0200nineonine(~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8)
2021-04-26 17:20:21 +0200Guest6509(~laudiacay@45.162.228.190) (Ping timeout: 252 seconds)
2021-04-26 17:21:36 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c)
2021-04-26 17:21:41 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-04-26 17:22:12 +0200o1lo01ol1o(~o1lo01ol1@bl11-109-140.dsl.telepac.pt) (Read error: Connection reset by peer)
2021-04-26 17:22:48 +0200o1lo01ol1o(~o1lo01ol1@bl11-109-140.dsl.telepac.pt)
2021-04-26 17:23:19 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-04-26 17:25:15 +0200zebrag(~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 +0200nicholasbulka(~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 +0200zebrag(~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 +0200merijn(~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 +0200zebrag(~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 +0200rekahsoft(~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 +0200Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 2.8)
2021-04-26 17:31:42 +0200nicholasbulka(~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 +0200Guest45273(sid175221@gateway/web/irccloud.com/x-xfqbqidhzrwpebvs) ()
2021-04-26 17:32:46 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-26 17:33:27 +0200ericsagn1(~ericsagne@2405:6580:0:5100:f023:81fa:fbf5:ef93) (Ping timeout: 260 seconds)
2021-04-26 17:33:30 +0200Guest45273(sid175221@gateway/web/irccloud.com/x-uaihrvmovkrsrqze)
2021-04-26 17:34:16 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-26 17:34:20 +0200Guest45273(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 +0200rann(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 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser)
2021-04-26 17:40:04 +0200seven_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 +0200martin02(~martin02@hund.fs.lmu.de) (Quit: WeeChat 2.3)
2021-04-26 17:42:39 +0200seven_three(~user@pool-96-233-64-53.bstnma.fios.verizon.net) ()
2021-04-26 17:43:48 +0200chomwitt(~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 +0200lleb(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 +0200ericsagn1(~ericsagne@2405:6580:0:5100:8cfe:e2c:fb24:3adc)
2021-04-26 17:47:17 +0200ep1ctetus(~epictetus@ip72-194-54-201.sb.sd.cox.net)
2021-04-26 17:47:49 +0200v01d4lph4(~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 +0200idhugo_(~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 +0200kritzefitz(~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection)
2021-04-26 17:51:50 +0200invaser(~Thunderbi@31.148.23.125)
2021-04-26 17:52:15 +0200ddellac__(~ddellacos@83.143.246.104)
2021-04-26 17:53:43 +0200Sgeo(~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 +0200Ariakenom(~Ariakenom@2001:9b1:efb:fc00:31ab:25d9:5d24:c8be)
2021-04-26 17:56:10 +0200Sgeo(~Sgeo@ool-18b9875e.dyn.optonline.net)
2021-04-26 17:56:41 +0200ddellac__(~ddellacos@83.143.246.104) (Ping timeout: 240 seconds)
2021-04-26 17:57:18 +0200Sgeo(~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer)
2021-04-26 17:57:32 +0200guest7682358928(c9dbe902@gateway/web/cgi-irc/kiwiirc.com/ip.201.219.233.2)
2021-04-26 17:57:33 +0200rj(~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-04-26 17:58:19 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 252 seconds)
2021-04-26 17:58:41 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 240 seconds)
2021-04-26 17:58:48 +0200Sgeo(~Sgeo@ool-18b9875e.dyn.optonline.net)
2021-04-26 17:59:44 +0200rj(~x@gateway/tor-sasl/rj)
2021-04-26 17:59:53 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) (Remote host closed the connection)
2021-04-26 18:02:37 +0200Pickchea(~private@unaffiliated/pickchea)
2021-04-26 18:04:07 +0200Sgeo(~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer)
2021-04-26 18:05:14 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c)
2021-04-26 18:06:16 +0200Sgeo(~Sgeo@ool-18b9875e.dyn.optonline.net)
2021-04-26 18:09:45 +0200coot(~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-04-26 18:10:19 +0200cfricke(~cfricke@unaffiliated/cfricke) (Ping timeout: 260 seconds)
2021-04-26 18:11:00 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2021-04-26 18:15:25 +0200alexander(~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d)
2021-04-26 18:15:36 +0200machinedgod(~machinedg@24.105.81.50)
2021-04-26 18:15:54 +0200alexanderGuest44573
2021-04-26 18:16:02 +0200Deide(~Deide@217.155.19.23)
2021-04-26 18:18:06 +0200v01d4lph4(~v01d4lph4@27.57.103.213) (Remote host closed the connection)
2021-04-26 18:18:35 +0200jgt(~jgt@78.162.43.217) (Ping timeout: 246 seconds)
2021-04-26 18:23:47 +0200kuribas(~user@ptr-25vy0i9m572fxrivl24.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2021-04-26 18:29:10 +0200proofofkeags(~proofofke@205.209.28.54)
2021-04-26 18:29:25 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-26 18:29:32 +0200ddellac__(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 +0200esp32_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 +0200ddellac__(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-04-26 18:34:06 +0200kritzefitz(~kritzefit@212.86.56.80)
2021-04-26 18:34:49 +0200vicfred(~vicfred@unaffiliated/vicfred)
2021-04-26 18:36:54 +0200 <maerwald> also consider asking in #ghc
2021-04-26 18:40:41 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-26 18:40:42 +0200invaser(~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 +0200v01d4lph4(~v01d4lph4@27.57.103.213)
2021-04-26 18:44:50 +0200v01d4lph4(~v01d4lph4@27.57.103.213) (Read error: Connection reset by peer)
2021-04-26 18:45:24 +0200v01d4lph4(~v01d4lph4@27.57.103.213)
2021-04-26 18:45:50 +0200kiweun(~kiweun@2607:fea8:2a62:9600:71f6:aee0:3a4e:496c) ()
2021-04-26 18:47:41 +0200horatiohb(~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 +0200v01d4lph4(~v01d4lph4@27.57.103.213) (Ping timeout: 252 seconds)
2021-04-26 18:50:46 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-04-26 18:52:46 +0200s00pcan(~chris@107.181.165.217) (Ping timeout: 240 seconds)
2021-04-26 18:52:53 +0200jgt(~jgt@78.162.43.217)
2021-04-26 18:53:39 +0200cfricke(~cfricke@unaffiliated/cfricke)
2021-04-26 18:55:02 +0200s00pcan(~chris@075-133-056-178.res.spectrum.com)
2021-04-26 18:55:54 +0200P_B1(~P_B@139.28.218.148)
2021-04-26 18:56:02 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-26 18:56:10 +0200gnumonic(~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net)
2021-04-26 18:59:22 +0200jgt(~jgt@78.162.43.217) (Ping timeout: 252 seconds)
2021-04-26 18:59:57 +0200Gardy(51f4b066@102.176-244-81.adsl-dyn.isp.belgacom.be) (Quit: Connection closed)
2021-04-26 19:00:01 +0200coot(~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl)
2021-04-26 19:00:01 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-04-26 19:02:42 +0200ddellac__(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-26 19:05:23 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 268 seconds)
2021-04-26 19:05:24 +0200idhugo_(~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Ping timeout: 268 seconds)
2021-04-26 19:06:00 +0200amerigo(uid331857@gateway/web/irccloud.com/x-ihzxbomyjkylusyy)
2021-04-26 19:06:07 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-04-26 19:06:32 +0200hypercube(~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Quit: WeeChat 3.1)
2021-04-26 19:07:04 +0200ddellac__(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
2021-04-26 19:07:21 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) (Remote host closed the connection)
2021-04-26 19:08:59 +0200pavonia(~user@unaffiliated/siracusa) (Quit: Bye!)
2021-04-26 19:10:16 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds)
2021-04-26 19:10:19 +0200fjMSX(~egp_@2.95.117.163) (Quit: EXIT)
2021-04-26 19:11:56 +0200heatsink(~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 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-04-26 19:16:59 +0200 <tempate> Great, thanks, monochrom
2021-04-26 19:17:25 +0200hypercube(~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 +0200anandprabhu(~anandprab@94.203.71.143)
2021-04-26 19:19:07 +0200zmijunkie(~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 +0200rodriga(~quassel@134.204.25.66) (Read error: Connection reset by peer)
2021-04-26 19:20:31 +0200rodriga(~quassel@134.204.25.66)
2021-04-26 19:20:40 +0200Sgeo_(~Sgeo@ool-18b9875e.dyn.optonline.net)
2021-04-26 19:20:44 +0200Sgeo(~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer)
2021-04-26 19:21:05 +0200zmijunkie1(~Adium@87.123.51.242)
2021-04-26 19:21:12 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 240 seconds)
2021-04-26 19:21:18 +0200stree(~stree@68.36.8.116) (Ping timeout: 260 seconds)
2021-04-26 19:21:39 +0200zmijunkie1(~Adium@87.123.51.242) (Client Quit)
2021-04-26 19:21:57 +0200zmijunkie1(~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 +0200tzh(~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 +0200zmijunkie(~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 +0200Sheilong(uid293653@gateway/web/irccloud.com/x-rcsvshxqwuthdgbo)
2021-04-26 19:23:55 +0200jrp(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 +0200johncena(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 +0200merijn(~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 +0200zmijunkie1(~Adium@87.123.51.242) (Quit: Leaving.)
2021-04-26 19:31:45 +0200zmijunkie(~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 +0200Narinas(~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 +0200stree(~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 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-04-26 19:35:40 +0200 <tempate> Yes, that I know
2021-04-26 19:35:42 +0200Narinas(~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 +0200fivebox(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 +0200ddellac__(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-26 19:40:06 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 240 seconds)
2021-04-26 19:40:12 +0200anandprabhu(~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 +0200kiweun(~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 +0200ddellac__(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 +0200nicholasbulka(~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 +0200rajivr(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 +0200jgt(~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 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) (Ping timeout: 250 seconds)
2021-04-26 19:49:32 +0200kritzefitz(~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 +0200pbgc(~pbgc@a89-152-234-147.cpe.netcabo.pt)
2021-04-26 19:49:55 +0200lleb(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 +0200ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-04-26 19:51:09 +0200juuandyy(~juuandyy@90.106.228.121)
2021-04-26 19:51:09 +0200hendursa1(~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds)
2021-04-26 19:51:23 +0200ADG1089(~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 +0200ukari(~ukari@unaffiliated/ukari)
2021-04-26 19:52:34 +0200jgt(~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 +0200untakenstupidnic(~user@5.114.130.12)
2021-04-26 19:52:44 +0200hendursa1(~weechat@gateway/tor-sasl/hendursaga)
2021-04-26 19:53:10 +0200geekosaur(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 +0200chimera(~chimera@168-182-134-95.pool.ukrtel.net)
2021-04-26 19:55:58 +0200usr25(~usr25@unaffiliated/usr25)
2021-04-26 20:00:22 +0200maralorn(maralornma@gateway/shell/matrix.org/x-taapglyfnhcaxlmi) ("User left")
2021-04-26 20:01:03 +0200maralorn(maralornma@gateway/shell/matrix.org/x-taapglyfnhcaxlmi)
2021-04-26 20:02:32 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-04-26 20:05:17 +0200maralorn(maralornma@gateway/shell/matrix.org/x-taapglyfnhcaxlmi) ("User left")
2021-04-26 20:07:12 +0200AkechiShiro(~AkechiShi@2a01:e0a:5f9:9681:9dbe:b42:df17:bf9c)
2021-04-26 20:08:24 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c)
2021-04-26 20:11:50 +0200maralorn(maralornma@gateway/shell/matrix.org/x-taapglyfnhcaxlmi)
2021-04-26 20:12:54 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) (Ping timeout: 245 seconds)
2021-04-26 20:14:46 +0200nvmd(~nvmd@177.30.111.232)
2021-04-26 20:14:47 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-04-26 20:15:05 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-04-26 20:15:23 +0200lleb(5c91ba7e@amarseille-158-1-23-126.w92-145.abo.wanadoo.fr) (Ping timeout: 240 seconds)
2021-04-26 20:16:23 +0200Synthetica(uid199651@gateway/web/irccloud.com/x-njxepqszlnawpkda)
2021-04-26 20:16:32 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832)
2021-04-26 20:18:32 +0200ddellac__(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-26 20:19:38 +0200s00pcan(~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 260 seconds)
2021-04-26 20:19:39 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) (Remote host closed the connection)
2021-04-26 20:19:56 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c)
2021-04-26 20:20:13 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-26 20:21:13 +0200s00pcan(~chris@107.181.165.217)
2021-04-26 20:22:58 +0200ddellac__(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
2021-04-26 20:23:27 +0200kritzefitz(~kritzefit@212.86.56.80)
2021-04-26 20:25:10 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-04-26 20:27:12 +0200dyeplexer(~lol@unaffiliated/terpin) (Remote host closed the connection)
2021-04-26 20:27:32 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds)
2021-04-26 20:27:41 +0200ADG1089(~aditya@171.76.29.233) (Quit: Konversation terminated!)
2021-04-26 20:33:39 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-04-26 20:37:10 +0200timwattenberg(~quassel@hq.wattenberg.me)
2021-04-26 20:39:26 +0200bitmagie(~Thunderbi@200116b8066293008848276d0b5d693d.dip.versatel-1u1.de)
2021-04-26 20:41:41 +0200darjeeling_(~darjeelin@122.245.216.145) (Ping timeout: 240 seconds)
2021-04-26 20:42:11 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed)
2021-04-26 20:42:13 +0200ystael(~ystael@209.6.50.55) (Ping timeout: 252 seconds)
2021-04-26 20:42:32 +0200bennofs_(~quassel@dynamic-089-012-155-245.89.12.pool.telefonica.de) (Read error: Connection reset by peer)
2021-04-26 20:42:45 +0200bennofs_(~quassel@dynamic-089-012-155-245.89.12.pool.telefonica.de)
2021-04-26 20:44:04 +0200ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-04-26 20:44:42 +0200ukari(~ukari@unaffiliated/ukari)
2021-04-26 20:45:37 +0200guest7682358928(c9dbe902@gateway/web/cgi-irc/kiwiirc.com/ip.201.219.233.2) (Quit: Ping timeout (120 seconds))
2021-04-26 20:46:01 +0200bitmagie(~Thunderbi@200116b8066293008848276d0b5d693d.dip.versatel-1u1.de) (Quit: bitmagie)
2021-04-26 20:46:31 +0200guest7682358928(c9dbe902@gateway/web/cgi-irc/kiwiirc.com/ip.201.219.233.2)
2021-04-26 20:48:14 +0200jrp(0550efe4@5.80.239.228) (Quit: Connection closed)
2021-04-26 20:53:34 +0200Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-04-26 20:55:05 +0200darjeeling_(~darjeelin@122.245.217.205)
2021-04-26 20:55:32 +0200coot(~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-04-26 20:56:20 +0200ddellac__(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-26 20:57:06 +0200guest7682358928(c9dbe902@gateway/web/cgi-irc/kiwiirc.com/ip.201.219.233.2) (Ping timeout: 240 seconds)
2021-04-26 20:57:36 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-04-26 20:59:06 +0200jrp(0550efe4@5.80.239.228)
2021-04-26 21:00:55 +0200ddellac__(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
2021-04-26 21:01:06 +0200LKoen(~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 +0200LKoen(~LKoen@22.249.88.92.rev.sfr.net)
2021-04-26 21:04:17 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-04-26 21:06:47 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-26 21:07:45 +0200chateau(~chateau@71.215.110.96)
2021-04-26 21:09:03 +0200chateau(~chateau@71.215.110.96) (Quit: Leaving)
2021-04-26 21:09:51 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2021-04-26 21:13:44 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 245 seconds)
2021-04-26 21:15:14 +0200brandonhamilton(~brandonha@151.36.60.188)
2021-04-26 21:16:36 +0200Guest6509(~laudiacay@45.162.228.190)
2021-04-26 21:17:15 +0200brandonhamilton(~brandonha@151.36.60.188) (Client Quit)
2021-04-26 21:18:15 +0200jijimofo(~cmo@S010610561191f5d6.lb.shawcable.net)
2021-04-26 21:19:39 +0200jijimofo(~cmo@S010610561191f5d6.lb.shawcable.net) (Client Quit)
2021-04-26 21:21:16 +0200Guest6509(~laudiacay@45.162.228.190) (Ping timeout: 252 seconds)
2021-04-26 21:23:50 +0200TorNATO(~TorNATO@2601:603:1f7e:3f50:4c3c:ad73:f93e:9611)
2021-04-26 21:24:24 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-04-26 21:24:27 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-26 21:28:30 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2021-04-26 21:29:31 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 252 seconds)
2021-04-26 21:30:39 +0200ddellac__(~ddellacos@86.106.143.190)
2021-04-26 21:32:41 +0200ech(~user@gateway/tor-sasl/ech)
2021-04-26 21:32:53 +0200Pickchea(~private@unaffiliated/pickchea) (Quit: Leaving)
2021-04-26 21:33:09 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser)
2021-04-26 21:33:49 +0200__minoru__shirae(~shiraeesh@109.166.59.124)
2021-04-26 21:34:04 +0200minoru_shiraeesh(~shiraeesh@109.166.59.190) (Ping timeout: 265 seconds)
2021-04-26 21:34:43 +0200TorNATO(~TorNATO@2601:603:1f7e:3f50:4c3c:ad73:f93e:9611) (Ping timeout: 250 seconds)
2021-04-26 21:35:11 +0200ddellac__(~ddellacos@86.106.143.190) (Ping timeout: 252 seconds)
2021-04-26 21:40:07 +0200pbgc(~pbgc@a89-152-234-147.cpe.netcabo.pt) (Quit: Computer has gone to sleep.)
2021-04-26 21:40:32 +0200juuandyy(~juuandyy@90.106.228.121) (Quit: Konversation terminated!)
2021-04-26 21:41:41 +0200stree(~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-04-26 21:42:59 +0200howdoi(uid224@gateway/web/irccloud.com/x-trxxyompkioojjhk)
2021-04-26 21:43:09 +0200pbgc(~pbgc@a89-152-234-147.cpe.netcabo.pt)
2021-04-26 21:44:06 +0200fivebox(x@unaffiliated/fivebox) (Remote host closed the connection)
2021-04-26 21:44:52 +0200DavidEichmann(~david@147.136.46.217.dyn.plus.net) (Ping timeout: 240 seconds)
2021-04-26 21:46:16 +0200Thom2503(~Thom2503@49-135-166-62.ftth.glasoperator.nl) (Quit: Leaving)
2021-04-26 21:48:30 +0200jgt(~jgt@78.162.43.217)
2021-04-26 21:53:24 +0200jgt(~jgt@78.162.43.217) (Ping timeout: 265 seconds)
2021-04-26 21:55:19 +0200stree(~stree@68.36.8.116)
2021-04-26 21:59:12 +0200merijn(~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 +0200Lord_of_Life_(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-04-26 22:01:53 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-04-26 22:03:07 +0200ddellac__(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-26 22:03:44 +0200Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 245 seconds)
2021-04-26 22:03:51 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) (Remote host closed the connection)
2021-04-26 22:04:49 +0200Lord_of_Life_Lord_of_Life
2021-04-26 22:05:16 +0200petersen(~petersen@redhat/juhp) (Ping timeout: 252 seconds)
2021-04-26 22:06:32 +0200jumper149(~jumper149@80.240.31.34) (Quit: WeeChat 3.1)
2021-04-26 22:07:29 +0200petersen(~petersen@redhat/juhp)
2021-04-26 22:07:55 +0200ddellac__(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds)
2021-04-26 22:15:38 +0200Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-04-26 22:16:24 +0200Tario(~Tario@201.192.165.173)
2021-04-26 22:19:23 +0200zebrag(~inkbottle@aaubervilliers-654-1-79-166.w86-212.abo.wanadoo.fr)
2021-04-26 22:20:23 +0200kritzefitz(~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 +0200shaprlaughs
2021-04-26 22:22:41 +0200p8m(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 +0200dmytrish(~mitra@2a02:8084:a82:d900:6010:2869:d10:372c)
2021-04-26 22:23:51 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 265 seconds)
2021-04-26 22:27:47 +0200turlando(~turlando@93-42-250-112.ip89.fastwebnet.it) (Quit: Leaving)
2021-04-26 22:28:19 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 245 seconds)
2021-04-26 22:28:35 +0200shailangsa(~shailangs@host86-186-132-95.range86-186.btcentralplus.com) (Read error: Connection reset by peer)
2021-04-26 22:28:53 +0200malumore(~malumore@151.62.121.252) (Ping timeout: 268 seconds)
2021-04-26 22:30:28 +0200jrp(0550efe4@5.80.239.228) (Quit: Connection closed)
2021-04-26 22:31:16 +0200p8m(p8m@gateway/vpn/protonvpn/p8m)
2021-04-26 22:32:52 +0200wonko7(~wonko7@62.115.229.50) (Ping timeout: 240 seconds)
2021-04-26 22:33:16 +0200epicte7us(~epictetus@ip72-194-54-201.sb.sd.cox.net)
2021-04-26 22:33:17 +0200jgt(~jgt@78.162.43.217)
2021-04-26 22:33:49 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-04-26 22:35:16 +0200ddellac__(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-26 22:36:11 +0200ep1ctetus(~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 240 seconds)
2021-04-26 22:36:12 +0200p8m(p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 246 seconds)
2021-04-26 22:36:46 +0200nicholasbulka(~nicholasb@c-73-21-82-200.hsd1.ga.comcast.net)
2021-04-26 22:39:41 +0200ddellac__(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds)
2021-04-26 22:40:47 +0200CrazyPyt_(~crazypyth@98.122.164.118) ()
2021-04-26 22:41:01 +0200pbgc(~pbgc@a89-152-234-147.cpe.netcabo.pt) (Quit: Computer has gone to sleep.)
2021-04-26 22:41:15 +0200nicholasbulka(~nicholasb@c-73-21-82-200.hsd1.ga.comcast.net) (Ping timeout: 265 seconds)
2021-04-26 22:41:40 +0200kiweun(~kiweun@2607:fea8:2a62:9600:d0dd:ef94:ca28:e17b) (Remote host closed the connection)
2021-04-26 22:41:48 +0200vdukhovni(6b4de296@mobile-107-77-226-150.mobile.att.net)
2021-04-26 22:43:24 +0200acidjnk_new(~acidjnk@p200300d0c72b9588801bc51b53461c8c.dip0.t-ipconnect.de)
2021-04-26 22:43:45 +0200p8m(p8m@gateway/vpn/protonvpn/p8m)
2021-04-26 22:44:17 +0200LKoen(~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 +0200rodriga(~quassel@134.204.25.66) (Ping timeout: 265 seconds)
2021-04-26 22:45:35 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-04-26 22:46:49 +0200Gardy(51f4b066@102.176-244-81.adsl-dyn.isp.belgacom.be)
2021-04-26 22:46:55 +0200Gardy(51f4b066@102.176-244-81.adsl-dyn.isp.belgacom.be) (Client Quit)
2021-04-26 22:48:27 +0200pbgc(~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 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2021-04-26 22:52:41 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2021-04-26 22:53:35 +0200ClaudiusMaximus(~claude@unaffiliated/claudiusmaximus) (Quit: ->)
2021-04-26 22:54:54 +0200landonf(landonf@mac68k.info) (Excess Flood)
2021-04-26 22:55:21 +0200shailangsa(~shailangs@host86-186-132-95.range86-186.btcentralplus.com)
2021-04-26 22:55:23 +0200landonf(landonf@mac68k.info)
2021-04-26 22:57:12 +0200knupfer(~Thunderbi@i59F67B5E.versanet.de) (Ping timeout: 260 seconds)
2021-04-26 22:57:47 +0200jrm(~jrm@freebsd/developer/jrm) (Ping timeout: 260 seconds)
2021-04-26 22:58:27 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-26 22:59:37 +0200machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-04-26 22:59:45 +0200CrazyPython(~crazypyth@98.122.164.118)
2021-04-26 23:01:37 +0200lawid(~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) (Quit: lawid)
2021-04-26 23:02:11 +0200s00pcan(~chris@107.181.165.217) (Ping timeout: 268 seconds)
2021-04-26 23:02:24 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-26 23:03:36 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2021-04-26 23:03:40 +0200s00pcan(~chris@075-133-056-178.res.spectrum.com)
2021-04-26 23:03:45 +0200lawid(~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8)
2021-04-26 23:05:15 +0200hiroaki(~hiroaki@2a02:8108:8c40:2bb8:9a90:9232:6a1d:a2e3) (Ping timeout: 260 seconds)
2021-04-26 23:06:02 +0200Lowl3v3l(~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) (Remote host closed the connection)
2021-04-26 23:07:08 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2021-04-26 23:07:37 +0200perrier-jouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.1)
2021-04-26 23:09:52 +0200jgt(~jgt@78.162.43.217) (Ping timeout: 240 seconds)
2021-04-26 23:10:36 +0200jgt(~jgt@78.162.43.217)
2021-04-26 23:13:03 +0200hiroaki(~hiroaki@2a02:8108:8c40:2bb8:e3b4:fd1e:412e:c217)
2021-04-26 23:13:58 +0200ddellac__(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-26 23:14:47 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-26 23:15:03 +0200dmytrish(~mitra@2a02:8084:a82:d900:6010:2869:d10:372c) (Ping timeout: 260 seconds)
2021-04-26 23:17:24 +0200Tops21(~Tobias@dyndsl-091-249-083-109.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2021-04-26 23:17:51 +0200Sgeo(~Sgeo@ool-18b9875e.dyn.optonline.net)
2021-04-26 23:18:12 +0200ddellac__(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
2021-04-26 23:20:02 +0200Ariakenom(~Ariakenom@2001:9b1:efb:fc00:31ab:25d9:5d24:c8be) (Quit: Leaving)
2021-04-26 23:20:04 +0200Sgeo_(~Sgeo@ool-18b9875e.dyn.optonline.net) (Ping timeout: 268 seconds)
2021-04-26 23:20:42 +0200hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 260 seconds)
2021-04-26 23:21:41 +0200CrazyPython(~crazypyth@98.122.164.118) (Ping timeout: 246 seconds)
2021-04-26 23:22:26 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c)
2021-04-26 23:23:08 +0200CrazyPython(~crazypyth@98.122.164.118)
2021-04-26 23:24:33 +0200dhil(~dhil@80.208.56.181)
2021-04-26 23:27:06 +0200johnw(~johnw@haskell/developer/johnw) (Quit: ZNC - http://znc.in)
2021-04-26 23:29:16 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2021-04-26 23:30:57 +0200ddellac__(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-26 23:32:11 +0200ph88(~ph88@ip5f5af6fd.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds)
2021-04-26 23:33:41 +0200ADG1089(~aditya@171.76.29.233)
2021-04-26 23:33:43 +0200hiroaki(~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 +0200solidus-river(~mike@174.127.249.180)
2021-04-26 23:37:43 +0200vdukhovni(6b4de296@mobile-107-77-226-150.mobile.att.net) (Ping timeout: 240 seconds)
2021-04-26 23:39:44 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-04-26 23:39:54 +0200michalz(~user@185.246.204.123) (Remote host closed the connection)
2021-04-26 23:40:53 +0200ph88(~ph88@2a02:8109:9e00:7e5c:d5ef:86b3:afc4:9258)
2021-04-26 23:41:28 +0200hiroaki(~hiroaki@2a02:8108:8c40:2bb8:8bd4:3e0a:68:465c)
2021-04-26 23:42:41 +0200notzmv(~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 +0200jess(jess@freenode/staff/jess) ()
2021-04-26 23:46:48 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-26 23:46:56 +0200fiedlr(~fiedlr@83.148.33.254) (Remote host closed the connection)
2021-04-26 23:48:40 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-04-26 23:50:46 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer)
2021-04-26 23:52:04 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-04-26 23:53:37 +0200wroathe(~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 +0200coot(~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl)
2021-04-26 23:56:45 +0200rj(~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-04-26 23:57:05 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-04-26 23:57:21 +0200ddellac__(ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection)
2021-04-26 23:57:31 +0200ddellac__(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-26 23:59:01 +0200mounty(~mounty@236.216.214.218.sta.wbroadband.net.au)
2021-04-26 23:59:20 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)