2021/05/10

2021-05-10 00:04:34 +0200Rudd0(~Rudd0@185.189.115.108)
2021-05-10 00:04:51 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 265 seconds)
2021-05-10 00:09:20 +0200rond_(5940206b@89-64-32-107.dynamic.chello.pl) (Quit: Connection closed)
2021-05-10 00:15:35 +0200howdoi(uid224@gateway/web/irccloud.com/x-laxwxrhojyoowvvz)
2021-05-10 00:17:24 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 252 seconds)
2021-05-10 00:18:24 +0200ixlun(~matthew@109.249.184.235) (Read error: Connection reset by peer)
2021-05-10 00:19:17 +0200dcoutts_(~duncan@94.186.125.91.dyn.plus.net)
2021-05-10 00:22:31 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-10 00:22:52 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-10 00:24:22 +0200safe(~safe@unaffiliated/safe)
2021-05-10 00:25:51 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-05-10 00:27:33 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2021-05-10 00:30:12 +0200Guest87676(~laudiacay@67.176.215.84)
2021-05-10 00:30:14 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-10 00:30:41 +0200undvrainbowvita8(~egp_@128-71-13-3.broadband.corbina.ru) (Remote host closed the connection)
2021-05-10 00:31:40 +0200__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2021-05-10 00:31:49 +0200jao(~jao@pdpc/supporter/professional/jao) (Remote host closed the connection)
2021-05-10 00:32:24 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-10 00:34:49 +0200Guest87676(~laudiacay@67.176.215.84) (Ping timeout: 265 seconds)
2021-05-10 00:35:25 +0200Lowl3v3l(~Lowl3v3l@dslb-002-203-255-063.002.203.pools.vodafone-ip.de) (Remote host closed the connection)
2021-05-10 00:37:22 +0200slaterr(~bc817c21@1582020-static.lxtnkya3.metronetinc.net) (Quit: CGI:IRC (Session timeout))
2021-05-10 00:40:10 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-05-10 00:40:42 +0200nullniverse(~null@unaffiliated/nullniverse)
2021-05-10 00:41:49 +0200DavidEichmann(~david@156.59.147.147.dyn.plus.net) (Ping timeout: 252 seconds)
2021-05-10 00:42:04 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 265 seconds)
2021-05-10 00:43:02 +0200nullniv38(~null@unaffiliated/nullniverse) (Ping timeout: 265 seconds)
2021-05-10 00:43:48 +0200heebo(~user@cpc97956-croy24-2-0-cust20.19-2.cable.virginm.net)
2021-05-10 00:45:41 +0200 <jackdk> crococodile emoticon
2021-05-10 00:46:34 +0200 <pjb> 🐊
2021-05-10 00:48:17 +0200machinedgod(~machinedg@24.105.81.50)
2021-05-10 00:48:59 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-10 00:51:33 +0200jao(~jao@pdpc/supporter/professional/jao)
2021-05-10 00:51:52 +0200stree(~stree@68.36.8.116) (Ping timeout: 252 seconds)
2021-05-10 00:54:24 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-10 00:56:20 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection)
2021-05-10 00:56:22 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-10 00:57:00 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-10 00:58:19 +0200cfricke(~cfricke@unaffiliated/cfricke) (Ping timeout: 245 seconds)
2021-05-10 01:01:22 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds)
2021-05-10 01:01:25 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 250 seconds)
2021-05-10 01:02:33 +0200jul1u5(~julius@85.206.103.207)
2021-05-10 01:04:20 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-05-10 01:04:29 +0200stree(~stree@68.36.8.116)
2021-05-10 01:07:04 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-10 01:08:11 +0200 <Shuppiluliuma> does anyone know how to implement a zipper for n-ary trees?
2021-05-10 01:09:31 +0200arkho(~ccc@dynamic-acs-24-112-153-241.zoominternet.net) (Remote host closed the connection)
2021-05-10 01:09:52 +0200arkho(~ccc@dynamic-acs-24-112-153-241.zoominternet.net)
2021-05-10 01:10:57 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-05-10 01:14:18 +0200usr25(~usr25@unaffiliated/usr25) (Quit: Leaving)
2021-05-10 01:15:28 +0200ddere(uid110888@gateway/web/irccloud.com/x-rqwfdfncjcxqtnku)
2021-05-10 01:16:31 +0200CrazyPython(~crazypyth@98.122.164.118)
2021-05-10 01:17:00 +0200Synthetica(uid199651@gateway/web/irccloud.com/x-ekuqsqzasggslgwf) (Quit: Connection closed for inactivity)
2021-05-10 01:17:43 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-10 01:18:02 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-10 01:18:42 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-10 01:19:31 +0200 <dibblego> https://hackage.haskell.org/package/rosezipper-0.2/docs/Data-Tree-Zipper.html
2021-05-10 01:23:07 +0200proofofkeags(~proofofke@97-118-239-55.hlrn.qwest.net)
2021-05-10 01:23:09 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds)
2021-05-10 01:25:57 +0200 <Shuppiluliuma> ty
2021-05-10 01:28:25 +0200delimax(max@gateway/vpn/protonvpn/delimax)
2021-05-10 01:31:28 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-10 01:34:23 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-10 01:39:02 +0200Deide(~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2021-05-10 01:39:49 +0200finn_elija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection)
2021-05-10 01:40:32 +0200delimax(max@gateway/vpn/protonvpn/delimax) (Quit: leaving)
2021-05-10 01:43:35 +0200finn_elija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-05-10 01:43:50 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-05-10 01:45:29 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-05-10 01:53:11 +0200undvrainbowvita8(~egp_@128-71-13-3.broadband.corbina.ru)
2021-05-10 01:55:01 +0200zebrag(~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-05-10 01:55:20 +0200zebrag(~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr)
2021-05-10 01:57:48 +0200whataday(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-05-10 01:58:55 +0200whataday(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-05-10 02:00:10 +0200atk(~Arch-TK@ircpuzzles/staff/Arch-TK) (Quit: Well this is unexpected.)
2021-05-10 02:00:32 +0200atk(~Arch-TK@ircpuzzles/staff/Arch-TK)
2021-05-10 02:00:49 +0200whataday(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-05-10 02:01:15 +0200falafel(~falafel@2603-8001-ca00-f555-ad07-6107-3aca-0799.res6.spectrum.com)
2021-05-10 02:01:55 +0200whataday(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-05-10 02:02:09 +0200ambiso99211(~ambiso@209.182.239.205) (Quit: Ping timeout (120 seconds))
2021-05-10 02:03:02 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-10 02:03:14 +0200ambiso99211(~ambiso@209.182.239.205)
2021-05-10 02:04:19 +0200acidjnk_new2(~acidjnk@p200300d0c72b954961c97aa4238b8f7b.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2021-05-10 02:06:48 +0200zebrag(~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Remote host closed the connection)
2021-05-10 02:10:15 +0200chimera(~chimera@168-182-134-95.pool.ukrtel.net) (Quit: Konversation terminated!)
2021-05-10 02:11:50 +0200arkeet(~arkeet@moriya.ca)
2021-05-10 02:13:26 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg)
2021-05-10 02:15:00 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-10 02:15:44 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 246 seconds)
2021-05-10 02:17:24 +0200EvilMagix(~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea)
2021-05-10 02:17:58 +0200pthariensflame(~pthariens@2600:6c52:727f:4200:345a:6e10:866d:3662)
2021-05-10 02:18:02 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 252 seconds)
2021-05-10 02:19:13 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-05-10 02:19:28 +0200pthariensflame(~pthariens@2600:6c52:727f:4200:345a:6e10:866d:3662) (Client Quit)
2021-05-10 02:20:58 +0200m0rphism(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 252 seconds)
2021-05-10 02:23:16 +0200hypercube(~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Quit: WeeChat 3.1)
2021-05-10 02:24:07 +0200bennofs__(~quassel@dynamic-078-055-001-072.78.55.pool.telefonica.de) (Ping timeout: 252 seconds)
2021-05-10 02:24:19 +0200bennofs_(~quassel@x4db709cf.dyn.telefonica.de)
2021-05-10 02:24:25 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-05-10 02:25:13 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7)
2021-05-10 02:26:32 +0200huzaifash(~huzaifash@2401:4900:1af8:2fdf:1:2:9915:7399)
2021-05-10 02:28:41 +0200huzaifash(~huzaifash@2401:4900:1af8:2fdf:1:2:9915:7399) (Quit: CoreIRC for Android - www.coreirc.com)
2021-05-10 02:31:43 +0200sheepduck(~sheepduck@2607:fea8:2a62:9600::5ac6) (Remote host closed the connection)
2021-05-10 02:33:34 +0200kierra(~kierra@195.140.213.38) (Remote host closed the connection)
2021-05-10 02:34:26 +0200sheepduck(~sheepduck@2607:fea8:2a62:9600::5ac6)
2021-05-10 02:39:31 +0200acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 265 seconds)
2021-05-10 02:41:39 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-10 02:41:58 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-10 02:45:50 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 246 seconds)
2021-05-10 02:46:38 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds)
2021-05-10 02:47:02 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds)
2021-05-10 02:54:14 +0200nullniverse(~null@unaffiliated/nullniverse) (Read error: Connection reset by peer)
2021-05-10 02:54:16 +0200CrazyPython(~crazypyth@98.122.164.118) (Read error: Connection reset by peer)
2021-05-10 02:54:39 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-05-10 02:54:46 +0200nullniverse(~null@unaffiliated/nullniverse)
2021-05-10 02:54:48 +0200CrazyPyt_(~crazypyth@98.122.164.118)
2021-05-10 03:00:55 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-10 03:05:03 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood)
2021-05-10 03:07:18 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-05-10 03:07:29 +0200xff0x(~xff0x@2001:1a81:5389:3400:2b01:e41a:6d1e:863a) (Ping timeout: 245 seconds)
2021-05-10 03:09:32 +0200xff0x(~xff0x@2001:1a81:53c1:c00:52cf:4e:85e5:b0c5)
2021-05-10 03:10:30 +0200sszark(~sszark@h-213-180.A392.priv.bahnhof.se) (Quit: WeeChat 3.1)
2021-05-10 03:12:42 +0200stree(~stree@68.36.8.116) (Ping timeout: 268 seconds)
2021-05-10 03:12:49 +0200whataday(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-05-10 03:13:47 +0200sheepduck(~sheepduck@2607:fea8:2a62:9600::5ac6) (Remote host closed the connection)
2021-05-10 03:13:56 +0200whataday(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-05-10 03:14:56 +0200Somf1c(~Somf1c@modemcable159.116-21-96.mc.videotron.ca) (Remote host closed the connection)
2021-05-10 03:15:48 +0200thongpv87(~thongpv87@27.76.236.94) (Remote host closed the connection)
2021-05-10 03:19:10 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-10 03:21:41 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds)
2021-05-10 03:23:46 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2021-05-10 03:25:34 +0200stree(~stree@68.36.8.116)
2021-05-10 03:29:08 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection)
2021-05-10 03:30:18 +0200jul1u5(~julius@85.206.103.207) (Remote host closed the connection)
2021-05-10 03:34:10 +0200kupi(uid212005@gateway/web/irccloud.com/x-lrhowubsvaodihlk) (Quit: Connection closed for inactivity)
2021-05-10 03:34:41 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-05-10 03:35:27 +0200hackagestackcollapse-ghc 0.0.1.4 - Program to fold GHC prof files into flamegraph input https://hackage.haskell.org/package/stackcollapse-ghc-0.0.1.4 (rzeznik)
2021-05-10 03:42:02 +0200HarveyPwca(~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Quit: Leaving)
2021-05-10 03:42:56 +0200drbean_(~drbean@TC210-63-209-65.static.apol.com.tw)
2021-05-10 03:45:26 +0200josef641(~josef64@195.140.213.38)
2021-05-10 03:46:10 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-10 03:47:43 +0200heebo(~user@cpc97956-croy24-2-0-cust20.19-2.cable.virginm.net) (Ping timeout: 252 seconds)
2021-05-10 03:50:25 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 250 seconds)
2021-05-10 03:52:06 +0200Neuromancer(~Neuromanc@unaffiliated/neuromancer) (Ping timeout: 260 seconds)
2021-05-10 03:56:02 +0200dpl_(~dpl@77-121-78-163.chn.volia.net)
2021-05-10 03:56:20 +0200falafel(~falafel@2603-8001-ca00-f555-ad07-6107-3aca-0799.res6.spectrum.com) (Remote host closed the connection)
2021-05-10 03:58:57 +0200dpl(~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 268 seconds)
2021-05-10 03:59:54 +0200urodna(~urodna@unaffiliated/urodna) (Quit: urodna)
2021-05-10 04:01:37 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-10 04:01:38 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-10 04:03:30 +0200vicfred_(~vicfred@unaffiliated/vicfred)
2021-05-10 04:05:50 +0200vicfred(vicfred@gateway/vpn/mullvad/vicfred) (Ping timeout: 252 seconds)
2021-05-10 04:07:24 +0200CrazyPyt_(~crazypyth@98.122.164.118) (Read error: Connection reset by peer)
2021-05-10 04:09:17 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection)
2021-05-10 04:09:52 +0200vicfred_(~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2021-05-10 04:15:15 +0200viluon(uid453725@gateway/web/irccloud.com/x-znzzchzkdvsvanxc) (Quit: Connection closed for inactivity)
2021-05-10 04:19:59 +0200theDon(~td@muedsl-82-207-238-217.citykom.de) (Ping timeout: 246 seconds)
2021-05-10 04:21:06 +0200mrchampion(~mrchampio@38.18.109.23) (Read error: Connection reset by peer)
2021-05-10 04:22:06 +0200theDon(~td@muedsl-82-207-238-124.citykom.de)
2021-05-10 04:23:32 +0200fivebox(x@unaffiliated/fivebox)
2021-05-10 04:24:23 +0200mrchampion(~mrchampio@38.18.109.23)
2021-05-10 04:24:57 +0200hackagepinned-warnings 0.1.0.2 - Preserve warnings in a GHCi session https://hackage.haskell.org/package/pinned-warnings-0.1.0.2 (aaronallen8455)
2021-05-10 04:26:17 +0200gentauro(~gentauro@unaffiliated/gentauro) (Ping timeout: 246 seconds)
2021-05-10 04:28:22 +0200FinnElija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-05-10 04:28:22 +0200finn_elijaGuest83
2021-05-10 04:28:22 +0200FinnElijafinn_elija
2021-05-10 04:29:46 +0200dpl_(~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds)
2021-05-10 04:31:02 +0200Codaraxis_(~Codaraxis@ip68-5-90-227.oc.oc.cox.net)
2021-05-10 04:31:09 +0200Guest83(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds)
2021-05-10 04:33:15 +0200gentauro(~gentauro@unaffiliated/gentauro)
2021-05-10 04:34:13 +0200Codaraxis(Codaraxis@gateway/vpn/mullvad/codaraxis) (Ping timeout: 240 seconds)
2021-05-10 04:44:41 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 240 seconds)
2021-05-10 04:48:11 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-10 04:51:37 +0200mozzarella(~sam@unaffiliated/sam113101) (Read error: Connection reset by peer)
2021-05-10 04:52:02 +0200rajivr(uid269651@gateway/web/irccloud.com/x-jaamvvnjwwqairyx)
2021-05-10 04:52:23 +0200mozzarella(~sam@unaffiliated/sam113101)
2021-05-10 04:52:53 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds)
2021-05-10 04:54:51 +0200howdoi(uid224@gateway/web/irccloud.com/x-laxwxrhojyoowvvz) (Quit: Connection closed for inactivity)
2021-05-10 05:00:00 +0200Taneb(~Taneb@runciman.hacksoc.org) (Quit: I seem to have stopped.)
2021-05-10 05:01:23 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-05-10 05:01:38 +0200Taneb(~Taneb@runciman.hacksoc.org)
2021-05-10 05:08:01 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2021-05-10 05:08:49 +0200gnumonic(~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net)
2021-05-10 05:09:41 +0200e2(e2@sponsored.by.bnc4you.xyz) (Ping timeout: 240 seconds)
2021-05-10 05:11:28 +0200xcmw(~textual@128-092-110-163.biz.spectrum.com)
2021-05-10 05:14:53 +0200rdivyanshu(uid322626@gateway/web/irccloud.com/x-egfomvrlifzxdzqz)
2021-05-10 05:16:37 +0200wei2912(~wei2912@unaffiliated/wei2912)
2021-05-10 05:17:06 +0200hypercube(~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com)
2021-05-10 05:21:49 +0200seven_three(~user@pool-96-233-64-53.bstnma.fios.verizon.net)
2021-05-10 05:24:31 +0200seven_three(~user@pool-96-233-64-53.bstnma.fios.verizon.net) ()
2021-05-10 05:29:45 +0200blacklinux(~blacklinu@131.255.56.62)
2021-05-10 05:30:23 +0200blacklinux(~blacklinu@131.255.56.62) (Remote host closed the connection)
2021-05-10 05:31:34 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-10 05:33:01 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-05-10 05:33:55 +0200stree(~stree@68.36.8.116) (Ping timeout: 268 seconds)
2021-05-10 05:34:11 +0200fdjfdjkg(d4f1106c@gateway/web/cgi-irc/kiwiirc.com/ip.212.241.16.108)
2021-05-10 05:34:30 +0200hgolden(~hgolden2@cpe-172-114-84-61.socal.res.rr.com) (Remote host closed the connection)
2021-05-10 05:38:07 +0200fdjfdjkg(d4f1106c@gateway/web/cgi-irc/kiwiirc.com/ip.212.241.16.108) (Quit: Connection closed)
2021-05-10 05:39:29 +0200falafel(~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com)
2021-05-10 05:40:16 +0200xkapastel(uid17782@gateway/web/irccloud.com/x-fzaqsjhbxqzhfzhw) (Quit: Connection closed for inactivity)
2021-05-10 05:43:01 +0200fivebox(x@unaffiliated/fivebox) (Remote host closed the connection)
2021-05-10 05:46:34 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 265 seconds)
2021-05-10 05:46:42 +0200stree(~stree@68.36.8.116)
2021-05-10 05:51:14 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-05-10 05:52:59 +0200plutoniix(~q@ppp-58-8-175-2.revip2.asianet.co.th)
2021-05-10 05:56:02 +0200Guest_93(6cb97887@cpe-108-185-120-135.socal.res.rr.com)
2021-05-10 05:56:15 +0200nullniverse(~null@unaffiliated/nullniverse) (Remote host closed the connection)
2021-05-10 05:56:32 +0200alx741(~alx741@186.178.108.184) (Quit: alx741)
2021-05-10 05:57:06 +0200jump(~jump@cpe-67-247-15-155.nyc.res.rr.com) ("Leaving")
2021-05-10 05:57:32 +0200 <Guest_93> Hello - sorry for the basic question, but there seems to be some conflicting opinions on how to best install ghc/cabal/stack. Is brew an ok method? Or should I use ghcup?
2021-05-10 05:58:10 +0200 <Axman6> ghcup is definitely the preferred method these days.
2021-05-10 06:00:24 +0200falafel(~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) (Ping timeout: 245 seconds)
2021-05-10 06:01:02 +0200 <Guest_93> For stack, should I use the shell script from get.haskellstack.org as well?
2021-05-10 06:01:58 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7)
2021-05-10 06:05:26 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-05-10 06:06:23 +0200 <Axman6> I would get started with cabal if you can. there's a lot of overlap between what ghcup/cabal offer and stack, and you end up with a lot of duplication on your system, unless you are careful to tell it to use the system (ghcup) installed compiler
2021-05-10 06:10:24 +0200xcmw(~textual@128-092-110-163.biz.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-10 06:13:04 +0200hypercube(~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Quit: WeeChat 3.1)
2021-05-10 06:16:38 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-10 06:17:44 +0200falafel(~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com)
2021-05-10 06:20:41 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-05-10 06:25:31 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-05-10 06:48:14 +0200puke(~vroom@217.138.252.196) (Quit: puke)
2021-05-10 06:49:17 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-10 06:49:53 +0200jao(~jao@pdpc/supporter/professional/jao) (Ping timeout: 265 seconds)
2021-05-10 06:50:46 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-05-10 06:51:30 +0200pounce_pounce
2021-05-10 06:54:06 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2021-05-10 06:57:00 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-10 07:01:32 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-05-10 07:08:07 +0200vicfred(~vicfred@unaffiliated/vicfred)
2021-05-10 07:10:25 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2021-05-10 07:14:48 +0200Wuzzy(~Wuzzy@p5790e74f.dip0.t-ipconnect.de) (Remote host closed the connection)
2021-05-10 07:16:58 +0200ericsagn1(~ericsagne@2405:6580:0:5100:44a9:4dc5:2863:2677) (Ping timeout: 276 seconds)
2021-05-10 07:17:15 +0200alexander(~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d)
2021-05-10 07:17:45 +0200alexanderGuest95727
2021-05-10 07:21:49 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-05-10 07:25:16 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-10 07:26:01 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection)
2021-05-10 07:26:49 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-10 07:30:09 +0200ericsagn1(~ericsagne@2405:6580:0:5100:5a0:c951:bf9:2db8)
2021-05-10 07:30:20 +0200trepanger_(~z@ics141-225.icsincorporated.com)
2021-05-10 07:31:27 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 260 seconds)
2021-05-10 07:34:07 +0200e2(e2@sponsored.by.bnc4you.xyz)
2021-05-10 07:36:49 +0200Codaraxis(Codaraxis@gateway/vpn/mullvad/codaraxis)
2021-05-10 07:38:46 +0200mounty(~mounty@236.216.214.218.sta.wbroadband.net.au) (Ping timeout: 240 seconds)
2021-05-10 07:39:06 +0200electricityZZZZ(~electrici@157-131-250-97.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds)
2021-05-10 07:39:48 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-10 07:39:53 +0200Codaraxis_(~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Ping timeout: 260 seconds)
2021-05-10 07:39:58 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-05-10 07:41:33 +0200Shuppiluliuma(~shuppilul@153.33.68.161) (Ping timeout: 240 seconds)
2021-05-10 07:44:04 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-10 07:44:51 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2021-05-10 07:45:24 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection)
2021-05-10 07:47:05 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-10 07:48:08 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection)
2021-05-10 07:48:22 +0200chimera(~chimera@168-182-134-95.pool.ukrtel.net)
2021-05-10 07:48:24 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-10 07:49:11 +0200todda7(~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Ping timeout: 260 seconds)
2021-05-10 07:52:43 +0200chimera(~chimera@168-182-134-95.pool.ukrtel.net) (Client Quit)
2021-05-10 07:54:33 +0200stree(~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-05-10 07:55:29 +0200josef641(~josef64@195.140.213.38) (Remote host closed the connection)
2021-05-10 07:58:16 +0200Jonno_FTW(~come@api.carswap.me) (Ping timeout: 260 seconds)
2021-05-10 07:58:51 +0200Jonno_FTW(~come@45.248.76.3)
2021-05-10 08:02:10 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-10 08:04:57 +0200hackageunliftio 0.2.16 - The MonadUnliftIO typeclass for unlifting monads to IO (batteries included) https://hackage.haskell.org/package/unliftio-0.2.16 (MichaelSnoyman)
2021-05-10 08:07:28 +0200vgtw_(~vgtw@gateway/tor-sasl/vgtw)
2021-05-10 08:07:55 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2021-05-10 08:07:57 +0200vgtw(~vgtw@gateway/tor-sasl/vgtw) (Ping timeout: 240 seconds)
2021-05-10 08:07:58 +0200vgtw_vgtw
2021-05-10 08:08:11 +0200Jonno_FTW(~come@45.248.76.3) (Ping timeout: 240 seconds)
2021-05-10 08:08:12 +0200stree(~stree@68.36.8.116)
2021-05-10 08:09:28 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-10 08:10:12 +0200 <jackdk> @djinn f a -> f (t a)
2021-05-10 08:10:12 +0200 <lambdabot> -- f cannot be realized.
2021-05-10 08:13:01 +0200cdsmith(~cdsmithus@c-73-207-21-162.hsd1.ga.comcast.net) (Ping timeout: 268 seconds)
2021-05-10 08:13:36 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7)
2021-05-10 08:14:23 +0200Jonno_FTW(~come@api.carswap.me)
2021-05-10 08:16:39 +0200 <ski> @type fmap pure
2021-05-10 08:16:41 +0200 <lambdabot> (Applicative f1, Functor f2) => f2 a -> f2 (f1 a)
2021-05-10 08:16:45 +0200_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-05-10 08:17:03 +0200pmj(~pmj@p4fe156fa.dip0.t-ipconnect.de)
2021-05-10 08:19:02 +0200Jonno_FTW(~come@api.carswap.me) (Ping timeout: 246 seconds)
2021-05-10 08:19:25 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 252 seconds)
2021-05-10 08:19:37 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2021-05-10 08:19:43 +0200mikoto-chan(~mikoto-ch@gateway/tor-sasl/mikoto-chan)
2021-05-10 08:19:59 +0200Jonno_FTW(~come@api.carswap.me)
2021-05-10 08:20:26 +0200drbean_(~drbean@TC210-63-209-65.static.apol.com.tw) (Read error: Connection reset by peer)
2021-05-10 08:20:29 +0200coot(~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl)
2021-05-10 08:20:40 +0200drbean_(~drbean@TC210-63-209-84.static.apol.com.tw)
2021-05-10 08:22:16 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection)
2021-05-10 08:22:52 +0200nut(~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-05-10 08:23:56 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 260 seconds)
2021-05-10 08:26:27 +0200falafel(~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) (Ping timeout: 250 seconds)
2021-05-10 08:26:43 +0200 <jackdk> yeah we found that one, as well as sequenceA . pure and distribute . pure
2021-05-10 08:26:54 +0200 <jackdk> which I think are all the same
2021-05-10 08:26:57 +0200danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2021-05-10 08:26:58 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-10 08:30:54 +0200Sgeo_(~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer)
2021-05-10 08:31:14 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 245 seconds)
2021-05-10 08:31:37 +0200jacks2(~bc817c21@217.29.117.252)
2021-05-10 08:33:56 +0200xsperry(~as@unaffiliated/xsperry) (Quit: quit)
2021-05-10 08:34:31 +0200rdivyanshu(uid322626@gateway/web/irccloud.com/x-egfomvrlifzxdzqz) (Quit: Connection closed for inactivity)
2021-05-10 08:35:06 +0200safe(~safe@unaffiliated/safe) (Quit: Leaving)
2021-05-10 08:36:09 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-10 08:36:26 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-05-10 08:37:41 +0200guriya(a0ee4a9d@160.238.74.157)
2021-05-10 08:38:37 +0200guriya(a0ee4a9d@160.238.74.157) (Changing host)
2021-05-10 08:38:37 +0200guriya(a0ee4a9d@unaffiliated/guriya)
2021-05-10 08:39:08 +0200kuribas(~user@ptr-25vy0i925fk04q1dztp.18120a2.ip6.access.telenet.be)
2021-05-10 08:39:13 +0200cfricke(~cfricke@unaffiliated/cfricke)
2021-05-10 08:41:05 +0200xsperry(~as@unaffiliated/xsperry)
2021-05-10 08:41:55 +0200thc202(~thc202@unaffiliated/thc202)
2021-05-10 08:47:35 +0200 <kuribas> what's the best way to look for a haskell job?
2021-05-10 08:48:33 +0200 <kuribas> I suppose the only chance is remote or relocation.
2021-05-10 08:48:48 +0200 <kuribas> Or I'd need to become freelance.
2021-05-10 08:49:45 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-10 08:49:49 +0200 <Uniaika> kuribas: which continent are you in?
2021-05-10 08:50:21 +0200nut(~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds)
2021-05-10 08:50:32 +0200 <kuribas> Uniaika: Europe (Belgium)
2021-05-10 08:50:44 +0200 <Uniaika> kuribas: Scrive is hiring
2021-05-10 08:51:37 +0200 <kuribas> right
2021-05-10 08:52:05 +0200cantstanya(~chatting@gateway/tor-sasl/cantstanya) (Remote host closed the connection)
2021-05-10 08:52:31 +0200 <sm[m]> kuribas: many jobs seem to show up on /r/haskell
2021-05-10 08:52:34 +0200Varis(~Tadas@unaffiliated/varis)
2021-05-10 08:52:36 +0200 <kuribas> The tought of doing clojure for the rest of my life horrifies me...
2021-05-10 08:52:55 +0200 <dibblego> kuribas ♥ clojure
2021-05-10 08:53:24 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-05-10 08:53:45 +0200 <kuribas> dibblego: you?
2021-05-10 08:53:57 +0200 <dibblego> noyoo
2021-05-10 08:54:33 +0200cantstanya(~chatting@gateway/tor-sasl/cantstanya)
2021-05-10 08:54:57 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 268 seconds)
2021-05-10 08:55:12 +0200m_shiraeeshi(~shiraeesh@46.34.206.81) (Ping timeout: 240 seconds)
2021-05-10 08:59:49 +0200Lowl3v3l(~Lowl3v3l@dslb-002-203-255-063.002.203.pools.vodafone-ip.de)
2021-05-10 09:02:06 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-10 09:07:37 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 250 seconds)
2021-05-10 09:10:15 +0200Xraell(~xraell@45.157.15.145)
2021-05-10 09:13:16 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg)
2021-05-10 09:16:02 +0200guriya(a0ee4a9d@unaffiliated/guriya) (Ping timeout: 240 seconds)
2021-05-10 09:17:43 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 252 seconds)
2021-05-10 09:19:15 +0200hiroaki(~hiroaki@2a02:8108:8c40:2bb8:3f46:104f:9f93:5042) (Ping timeout: 260 seconds)
2021-05-10 09:21:17 +0200m0rphism(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de)
2021-05-10 09:24:45 +0200sedeki(~textual@unaffiliated/sedeki)
2021-05-10 09:29:16 +0200rdivyanshu(uid322626@gateway/web/irccloud.com/x-sqgbdfengdpibalf)
2021-05-10 09:30:52 +0200malumore(~malumore@151.62.127.121)
2021-05-10 09:30:55 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 252 seconds)
2021-05-10 09:31:26 +0200hiroaki(~hiroaki@2a02:8108:8c40:2bb8:3975:4704:86d0:93dc)
2021-05-10 09:35:47 +0200EvilMagix(~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 250 seconds)
2021-05-10 09:41:27 +0200hackageZ-Data 0.8.2.0 - Array, vector and text https://hackage.haskell.org/package/Z-Data-0.8.2.0 (winterland)
2021-05-10 09:43:15 +0200kritzefitz(~kritzefit@212.86.56.80)
2021-05-10 09:45:08 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-10 09:48:50 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg)
2021-05-10 09:56:36 +0200 <pjb> /clear
2021-05-10 09:57:19 +0200mrchampion(~mrchampio@38.18.109.23) (Ping timeout: 252 seconds)
2021-05-10 09:59:49 +0200 <Taneb> kuribas: I found my current job on LinkedIn, they sometimes appear in various places if you're patient
2021-05-10 10:00:03 +0200 <kuribas> Taneb: ah cool
2021-05-10 10:01:46 +0200evanjs(~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer)
2021-05-10 10:02:06 +0200kritzefitz(~kritzefit@212.86.56.80) (Ping timeout: 240 seconds)
2021-05-10 10:02:38 +0200kritzefitz(~kritzefit@2003:5b:203b:200::10:49)
2021-05-10 10:03:35 +0200evanjs(~evanjs@075-129-098-007.res.spectrum.com)
2021-05-10 10:05:05 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-05-10 10:06:07 +0200coeus(~coeus@p200300d02719fc0089b803c6556693c3.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2021-05-10 10:07:19 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds)
2021-05-10 10:07:19 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-05-10 10:08:03 +0200hendursa1(~weechat@gateway/tor-sasl/hendursaga)
2021-05-10 10:08:09 +0200sedeki(~textual@unaffiliated/sedeki) (Quit: Textual IRC Client: www.textualapp.com)
2021-05-10 10:09:30 +0200knupfer(~Thunderbi@2a02:3038:406:c659:d4fd:5d5a:d8dd:f80a)
2021-05-10 10:10:21 +0200hendursaga(~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds)
2021-05-10 10:10:39 +0200ulidtko|kk(~ulidtko@194.54.80.38) (Remote host closed the connection)
2021-05-10 10:10:46 +0200hexfive(~hexfive@50.35.83.177) (Quit: i must go. my people need me.)
2021-05-10 10:10:51 +0200ddere(uid110888@gateway/web/irccloud.com/x-rqwfdfncjcxqtnku) (Quit: Connection closed for inactivity)
2021-05-10 10:11:02 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds)
2021-05-10 10:11:56 +0200is_null(~jpic@pdpc/supporter/professional/is-null)
2021-05-10 10:16:13 +0200stree(~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-05-10 10:20:04 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-05-10 10:20:25 +0200kritzefitz(~kritzefit@2003:5b:203b:200::10:49) (Ping timeout: 250 seconds)
2021-05-10 10:20:51 +0200kritzefitz(~kritzefit@212.86.56.80)
2021-05-10 10:20:51 +0200acidjnk_new2(~acidjnk@p200300d0c72b954961c97aa4238b8f7b.dip0.t-ipconnect.de)
2021-05-10 10:22:27 +0200hackagejukebox 0.5.3 - A first-order reasoning toolbox https://hackage.haskell.org/package/jukebox-0.5.3 (NickSmallbone)
2021-05-10 10:23:17 +0200 <jonathanx> How do I check if a string is a parseable date/time? e.g. "2021-05-10T06:44:35.968082819Z"
2021-05-10 10:23:32 +0200 <Taneb> You could attempt to parse it
2021-05-10 10:25:58 +0200coeus(~coeus@p200300d02708a90071c651138f13aa2e.dip0.t-ipconnect.de)
2021-05-10 10:26:26 +0200 <jonathanx> I have been looking at https://hackage.haskell.org/package/time-1.11.1.2/docs/Data-Time-Format-ISO8601.html but I can't figure out how to actually parse using a ReadP
2021-05-10 10:26:54 +0200 <jonathanx> This feels like rather basic stuff but I'm a bit stuck :s
2021-05-10 10:27:01 +0200malumore(~malumore@151.62.127.121) (Ping timeout: 260 seconds)
2021-05-10 10:28:07 +0200stree(~stree@68.36.8.116)
2021-05-10 10:29:01 +0200 <Taneb> Use iso8501ParseM
2021-05-10 10:29:12 +0200 <Taneb> *iso8601ParseM
2021-05-10 10:32:46 +0200 <jonathanx> giving a MonadFail. hoogle isn't helpful when I'm searching for "MonadFail m => m a -> Bool"
2021-05-10 10:34:28 +0200 <enikar> use Maybe for the Monad?
2021-05-10 10:34:57 +0200 <jonathanx> hm. ofc
2021-05-10 10:34:58 +0200 <jonathanx> :D
2021-05-10 10:35:00 +0200 <jonathanx> ty
2021-05-10 10:38:39 +0200tomboy64(~tomboy64@gateway/tor-sasl/tomboy64) (Remote host closed the connection)
2021-05-10 10:38:44 +0200Aquazi(uid312403@gateway/web/irccloud.com/x-pkpihoadcsprmglz)
2021-05-10 10:41:51 +0200tomboy64(~tomboy64@gateway/tor-sasl/tomboy64)
2021-05-10 10:44:46 +0200cdsmith(~cdsmithus@c-73-207-21-162.hsd1.ga.comcast.net)
2021-05-10 10:45:20 +0200rdd(~user@c-407ce255.012-81-73746f39.cust.ownit.se)
2021-05-10 10:47:47 +0200malumore(~malumore@151.62.127.121)
2021-05-10 10:48:41 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-05-10 10:50:35 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-10 10:50:43 +0200vk3wtf(~doc@61.68.250.44) (Quit: WeeChat 3.0.1)
2021-05-10 10:51:13 +0200vk3wtf(~doc@61.68.250.44)
2021-05-10 10:52:20 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 246 seconds)
2021-05-10 10:52:46 +0200malumore(~malumore@151.62.127.121) (Ping timeout: 240 seconds)
2021-05-10 10:53:08 +0200drbean_(~drbean@TC210-63-209-84.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in)
2021-05-10 10:54:40 +0200clefru(~clefru@unaffiliated/clefru) (Quit: Leaving)
2021-05-10 10:54:41 +0200ram19890(~ram@49.205.84.15)
2021-05-10 10:55:36 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2021-05-10 10:57:17 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-05-10 10:57:18 +0200frobnicator(~frobnicat@185-227-75-147.dsl.cambrium.nl) (Quit: WeeChat 3.0)
2021-05-10 10:58:01 +0200mikoto-chan(~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection)
2021-05-10 10:58:13 +0200kritzefitz(~kritzefit@212.86.56.80) (Ping timeout: 260 seconds)
2021-05-10 10:58:25 +0200mikoto-chan(~mikoto-ch@gateway/tor-sasl/mikoto-chan)
2021-05-10 10:58:33 +0200kritzefitz(~kritzefit@2003:5b:203b:200::10:49)
2021-05-10 10:59:57 +0200finn_elija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection)
2021-05-10 11:00:03 +0200johnnyv[m](badwolf256@gateway/shell/matrix.org/x-snikqtdbljwraqcc) (Quit: Idle for 30+ days)
2021-05-10 11:00:11 +0200TheWizardTower[m(thewizardt@gateway/shell/matrix.org/x-mhynxqoxcylcdnln) (Quit: Idle for 30+ days)
2021-05-10 11:00:11 +0200DavidEichmann(~david@156.59.147.147.dyn.plus.net)
2021-05-10 11:00:15 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-10 11:00:22 +0200finn_elija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-05-10 11:01:47 +0200sphi(~sphi@unaffiliated/sphi)
2021-05-10 11:02:00 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 252 seconds)
2021-05-10 11:02:01 +0200 <sphi> Hi
2021-05-10 11:02:01 +0200 <sphi> > i am new to servant and been going through the docs
2021-05-10 11:02:01 +0200 <sphi> > not sure i still get it tho
2021-05-10 11:02:01 +0200 <sphi> > so my endpoints / routes are, well, types ?
2021-05-10 11:02:03 +0200 <sphi> > and their handlers are functions in those types ?
2021-05-10 11:02:04 +0200 <lambdabot> <hint>:1:29: error: <hint>:1:29: error: parse error on input ‘,’
2021-05-10 11:02:05 +0200 <lambdabot> error:
2021-05-10 11:02:05 +0200 <lambdabot> • Variable not in scope: sure :: Bool
2021-05-10 11:02:05 +0200 <lambdabot> • Perhaps you meant ‘pure’ (imported from Control.Applicative)error: Var...
2021-05-10 11:02:06 +0200 <lambdabot> • Variable not in scope: am
2021-05-10 11:02:08 +0200 <lambdabot> <hint>:1:34: error: <hint>:1:34: error: parse error on input ‘in’
2021-05-10 11:02:10 +0200 <lambdabot> • Perhaps you meant one of these:
2021-05-10 11:03:27 +0200 <[exa]> sphi: `>` triggers some bots here, you don't need to use it
2021-05-10 11:04:36 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 265 seconds)
2021-05-10 11:04:37 +0200 <sphi> [exa]: i see.
2021-05-10 11:04:39 +0200 <[exa]> sphi: the whole API structure in servant is defined by types (so that it can be automatically processed in the compiler). The functions and handlers are the tiny pieces of actual working code that needs to fit into the typed API structure
2021-05-10 11:05:26 +0200 <sphi> [exa]: yea, that's what i could make of it, but wasn't really sure of.
2021-05-10 11:06:19 +0200 <dminuoso> sphi: Small but subtle corrections: A handler is not necessarily a function, it can just be a monadic value.
2021-05-10 11:06:20 +0200 <sphi> [exa]: is there a resource that explains it from a higher / this is what it does POV? or is it more of, follow the tutorials on the docs site till it clicks for you ?
2021-05-10 11:06:32 +0200 <sphi> i am new at this.
2021-05-10 11:06:49 +0200 <tdammers> if you're new to Haskell in general, then servant may be a bit too much to digest
2021-05-10 11:06:54 +0200 <dminuoso> servant is a bit tough on newcomers, I dont know of any good introduction. Just going through the official readthedocs seemed like the best.
2021-05-10 11:07:13 +0200 <dminuoso> It uses some very advanced type level tricks
2021-05-10 11:07:16 +0200 <sphi> tdammers: i checked out scotty.
2021-05-10 11:07:20 +0200 <sphi> meh.
2021-05-10 11:07:33 +0200 <sphi> i can see it being limiting fairly quickly
2021-05-10 11:07:43 +0200 <tdammers> scotty is surprisingly powerful
2021-05-10 11:07:44 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-10 11:07:46 +0200 <sphi> then i though, might as bite the bullet
2021-05-10 11:07:57 +0200 <sphi> and get on the servant wagon from the start
2021-05-10 11:08:15 +0200 <sphi> tdammers: yea?
2021-05-10 11:08:19 +0200 <[exa]> scotty tutorials look surprisingly shaky when compared to what it can do
2021-05-10 11:08:42 +0200 <tdammers> servant isn't a silver bullet. it introduces considerable complexity, and it is actually more limited in what it can do than scotty, the latter being just a thin layer on top of raw WAI
2021-05-10 11:08:44 +0200CrazyPython(~crazypyth@98.122.164.118)
2021-05-10 11:08:46 +0200 <dminuoso> sphi: So my two cents on servant is: I wouldnt use servant without generics anymore, and with generics you have some additional hoops - without understanding some of the type machinery it's very thick and intransparent.
2021-05-10 11:08:46 +0200 <sphi> what do you guys use for your web programming stuff ?
2021-05-10 11:09:04 +0200 <[exa]> now? scotty
2021-05-10 11:09:14 +0200 <dminuoso> I use servant a lot, but Im a seasoned haskeller
2021-05-10 11:09:40 +0200 <dminuoso> To a beginner, Id undoudtedly recommend scotty first probablyt
2021-05-10 11:09:44 +0200 <[exa]> I have 1 servant stuff running though, I wanted the autogenerated API docs and I'm pretty sure it's never going to change and I don't want to touch it again
2021-05-10 11:09:52 +0200 <tdammers> sometimes, the added complexity of servant is worth it, sometimes it's not
2021-05-10 11:10:29 +0200 <dminuoso> sphi: The main usefulness of servant is when you write both server and client in Haskell, and perhaps even generate something like Swagger and/or documentation from it, such that you have type checked guarantee of coherence
2021-05-10 11:10:31 +0200 <[exa]> (btw that's why there are 2 packages, not a single big unifying one :] )
2021-05-10 11:10:41 +0200 <dminuoso> (such that the server/client/docs/openapi all match up)
2021-05-10 11:10:51 +0200 <sphi> so there isn't a "servant is clearly more powerful, but the learning curve cost is sometimes too much, but if you can, you should pick it up thing" ?
2021-05-10 11:10:59 +0200 <tdammers> no
2021-05-10 11:11:13 +0200 <sphi> *pardon the noobness of the quesstions*
2021-05-10 11:11:20 +0200 <dminuoso> sphi: Its rather it has certain advantages for some usage patterns, but it's its very costly to use for no good reason.
2021-05-10 11:11:21 +0200 <tdammers> it's a reasonable question
2021-05-10 11:11:33 +0200 <dminuoso> And its a harsh introduction for newcomers
2021-05-10 11:11:34 +0200knupfer(~Thunderbi@2a02:3038:406:c659:d4fd:5d5a:d8dd:f80a) (Remote host closed the connection)
2021-05-10 11:11:53 +0200 <tdammers> there's also a bit of over-hypedness to servant - even the servant maintainers themselves do not recommend using servant for everything
2021-05-10 11:13:30 +0200 <[exa]> sphi: btw what did you use so far?
2021-05-10 11:14:18 +0200 <sphi> [exa]: scotty
2021-05-10 11:14:53 +0200 <sphi> it seems its more monad transformer style code
2021-05-10 11:15:15 +0200wei2912(~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
2021-05-10 11:15:37 +0200 <dminuoso> Well, you can have monad transformers with servant too.. its just a bit more noise
2021-05-10 11:17:22 +0200 <sphi> i am just trying to get a web thing under my belt for when i have to make APis
2021-05-10 11:17:31 +0200 <sphi> and wondering where do i put my time
2021-05-10 11:18:07 +0200 <sphi> i am fine with learning curves (i rather enjoy them, just not just for the sake of it)
2021-05-10 11:18:52 +0200 <sphi> tl;dr trying to go for the most useful thing to learn (i know, nothing's perfect for everything)
2021-05-10 11:20:05 +0200 <sphi> but since it's haskell, something that gives me the advantange of writing my api's IN haskell (type safety, runtime garuntees, correctness etc) seems a nice thought
2021-05-10 11:22:36 +0200 <[exa]> ah if you already have done some scotty then just try servant, you'll see
2021-05-10 11:23:16 +0200 <[exa]> it originally sounded a bit like you're migrating from Flask or something (sorry :] )
2021-05-10 11:26:50 +0200 <sphi> [exa]: flask was my go-to before i came to haskell-land.
2021-05-10 11:27:26 +0200 <sphi> now the haskell code writing experience suits me so much, id rather do all the new stuff in it.
2021-05-10 11:27:41 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-05-10 11:27:54 +0200 <sphi> and was just looking for the thing to pick up that i could just reach out to when i need to do web stuff.
2021-05-10 11:28:07 +0200 <sphi> and not think about it ?
2021-05-10 11:28:14 +0200 <sphi> if that makes sense ?
2021-05-10 11:28:57 +0200m_shiraeeshi(~shiraeesh@46.34.206.81)
2021-05-10 11:29:11 +0200 <sphi> scotty and servant and maybe yesod seem like the main things in the space.
2021-05-10 11:29:27 +0200 <sphi> was looking to draw on you fine people's wisdom
2021-05-10 11:29:32 +0200 <sphi> : )
2021-05-10 11:30:32 +0200 <sphi> .
2021-05-10 11:31:04 +0200 <[exa]> yesod is a nice TemplateHaskell exercise I heard
2021-05-10 11:32:13 +0200 <dminuoso> sphi: Do you want to write a client or server?
2021-05-10 11:32:18 +0200 <dminuoso> (or both?)
2021-05-10 11:32:49 +0200 <sphi> ideally both.
2021-05-10 11:33:00 +0200 <dminuoso> By both do you mean a client matching the same server?
2021-05-10 11:33:00 +0200 <sphi> realistically, more servers, less clients
2021-05-10 11:33:04 +0200 <dminuoso> Or separate clients?
2021-05-10 11:33:40 +0200 <sphi> dminuoso: i am tired of writing frontend in _insert javascript fw flavour of the year_ here
2021-05-10 11:33:44 +0200jneira[m](~jneira@88.red-37-10-143.dynamicip.rima-tde.net)
2021-05-10 11:34:06 +0200 <sphi> i'd rather use a dsl like lucid and server side render now, if i can help it.
2021-05-10 11:34:30 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-05-10 11:34:39 +0200 <Rembane> sphi: Have you checked out PureScript? ...if you sometimes need something fun for the frontend?
2021-05-10 11:34:41 +0200 <sphi> lucid + clay seem just the thing. not used them tho, look alright on paper tho
2021-05-10 11:35:14 +0200 <sphi> Rembane: i know about it, haven't really given it a serious look
2021-05-10 11:35:17 +0200 <dminuoso> Personally I think the current state of web technology is a bad fit for Haskell.
2021-05-10 11:35:18 +0200 <sphi> should i ?
2021-05-10 11:35:36 +0200 <sphi> dminuoso: current state of web technology is a mistake
2021-05-10 11:35:41 +0200 <dminuoso> Sure
2021-05-10 11:35:42 +0200 <Rembane> sphi: It depends on how much time you have. It is a very deep rabbit hole.
2021-05-10 11:35:50 +0200 <Rembane> dminuoso: Why?
2021-05-10 11:38:43 +0200__monty__(~toonn@unaffiliated/toonn)
2021-05-10 11:42:54 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 245 seconds)
2021-05-10 11:44:25 +0200jneira[m](~jneira@88.red-37-10-143.dynamicip.rima-tde.net) (Remote host closed the connection)
2021-05-10 11:44:31 +0200rdivyanshu(uid322626@gateway/web/irccloud.com/x-sqgbdfengdpibalf) (Quit: Connection closed for inactivity)
2021-05-10 11:45:17 +0200safinaskar(~user@109-252-90-136.nat.spd-mgts.ru)
2021-05-10 11:45:29 +0200 <safinaskar> how to see table of all versions of given hackage package?
2021-05-10 11:45:37 +0200 <safinaskar> with dates of publication
2021-05-10 11:45:37 +0200oxide(~lambda@unaffiliated/mclaren)
2021-05-10 11:45:49 +0200 <safinaskar> and preferably with equations for dependencies
2021-05-10 11:48:23 +0200jb55(~jb55@gateway/tor-sasl/jb55) (Remote host closed the connection)
2021-05-10 11:48:46 +0200jb55(~jb55@gateway/tor-sasl/jb55)
2021-05-10 11:51:08 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-05-10 11:54:00 +0200Katarushisu(~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net)
2021-05-10 11:57:50 +0200 <safinaskar> i am trying to install some old unmaintained package from hackage. some of its dependencies listed without upper bound. I want something like this: "cabal install --today-is=2015-01-01 package-name"
2021-05-10 11:58:14 +0200 <safinaskar> i. e. cabal should install packages uploaded before that day only
2021-05-10 11:58:28 +0200 <safinaskar> (this should apply to all transitive dependencies)
2021-05-10 11:58:30 +0200malumore(~malumore@151.62.127.121)
2021-05-10 11:58:32 +0200 <safinaskar> is this possible?
2021-05-10 11:58:46 +0200 <sclv> that exists. i forget the flag offhand, but cabal update will tell you
2021-05-10 11:59:08 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-05-10 11:59:29 +0200 <dminuoso> Rembane: Because modern web technology usually requires a mixture of various technologies with very poor semantics. There quickly comes a point when some of the DOM semantics become needed or apparent, or you need some quirky animations
2021-05-10 12:00:27 +0200 <dminuoso> For a while I was writing React web pages, and it quickly gets annoying when you need to interact with quirky HTML/CSS semantics
2021-05-10 12:00:54 +0200 <dminuoso> There's so many times you have to break out of your fancy abstraction and write adhoc JavaScript, manipulate the DOM manually, etc
2021-05-10 12:01:01 +0200waleee-cl(uid373333@gateway/web/irccloud.com/x-mkmevptkirixfume) (Quit: Connection closed for inactivity)
2021-05-10 12:01:03 +0200 <safinaskar> sclv: thanks!
2021-05-10 12:01:07 +0200 <dminuoso> Certain animations come to mind
2021-05-10 12:02:18 +0200 <safinaskar> how to see list of versions for some package with publication dates?
2021-05-10 12:02:44 +0200 <sclv> just look on hackage
2021-05-10 12:03:02 +0200 <[exa]> safinaskar: you can parse it out of the index in your ~/.cabal/packages/
2021-05-10 12:03:06 +0200 <sclv> but safinaskar as i said the index state flag you want exists!
2021-05-10 12:05:29 +0200vicfred(~vicfred@unaffiliated/vicfred) (Ping timeout: 246 seconds)
2021-05-10 12:05:44 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-10 12:06:03 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-10 12:07:47 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-10 12:09:16 +0200 <Athas> safinaskar: do you also have an old version of GHC?
2021-05-10 12:09:53 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-05-10 12:11:03 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 268 seconds)
2021-05-10 12:11:56 +0200finn_elija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection)
2021-05-10 12:12:16 +0200finn_elija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-05-10 12:12:51 +0200xff0x(~xff0x@2001:1a81:53c1:c00:52cf:4e:85e5:b0c5) (Ping timeout: 260 seconds)
2021-05-10 12:14:44 +0200xff0x(~xff0x@2001:1a81:53c1:c00:52cf:4e:85e5:b0c5)
2021-05-10 12:16:57 +0200jakalx(~jakalx@base.jakalx.net) ("Error from remote client")
2021-05-10 12:20:00 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-10 12:20:11 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds)
2021-05-10 12:21:51 +0200 <safinaskar> sclv: "just look on hackage" - hackage site is not handy. i need to manually click to every version to see its publication date. i want single table
2021-05-10 12:22:07 +0200 <safinaskar> Athas: yes
2021-05-10 12:23:32 +0200 <sphi> [exa]: tdammers: dminuoso: just ran my first servant program !
2021-05-10 12:23:38 +0200 <sphi> : D
2021-05-10 12:24:09 +0200jakalx(~jakalx@base.jakalx.net)
2021-05-10 12:24:56 +0200sphi(~sphi@unaffiliated/sphi) (Remote host closed the connection)
2021-05-10 12:25:35 +0200sphi(~sphi@unaffiliated/sphi)
2021-05-10 12:25:40 +0200Feuermagier(~Feuermagi@213.178.26.41) (Remote host closed the connection)
2021-05-10 12:27:28 +0200m_shiraeeshi(~shiraeesh@46.34.206.81) (Ping timeout: 252 seconds)
2021-05-10 12:30:44 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-10 12:32:41 +0200whatisRT(~whatisRT@ip5b416a33.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
2021-05-10 12:33:32 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-10 12:33:51 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-10 12:35:43 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2021-05-10 12:35:52 +0200xintron(~xintron@unaffiliated/xintron) (Quit: Ping timeout (120 seconds))
2021-05-10 12:36:15 +0200xintron(~xintron@unaffiliated/xintron)
2021-05-10 12:36:17 +0200 <[exa]> sphi: ...a type-level or term-level program? :D
2021-05-10 12:36:26 +0200stree(~stree@68.36.8.116) (Ping timeout: 265 seconds)
2021-05-10 12:37:50 +0200pmj(~pmj@p4fe156fa.dip0.t-ipconnect.de) (Remote host closed the connection)
2021-05-10 12:38:13 +0200xff0x(~xff0x@2001:1a81:53c1:c00:52cf:4e:85e5:b0c5) (Ping timeout: 250 seconds)
2021-05-10 12:38:23 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds)
2021-05-10 12:38:57 +0200xff0x(~xff0x@2001:1a81:53c1:c00:bd4f:a74d:188b:aac8)
2021-05-10 12:39:21 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-05-10 12:39:46 +0200nut(~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-05-10 12:40:11 +0200LKoen(~LKoen@156.168.9.109.rev.sfr.net)
2021-05-10 12:40:35 +0200plutoniix(~q@ppp-58-8-175-2.revip2.asianet.co.th) (Quit: Leaving)
2021-05-10 12:45:14 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-10 12:45:21 +0200Guest67052(~textual@2603-7000-3040-0000-b56e-d773-5c05-1652.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-10 12:46:22 +0200m_shiraeeshi(~shiraeesh@46.34.206.81)
2021-05-10 12:47:43 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-05-10 12:48:05 +0200stree(~stree@68.36.8.116)
2021-05-10 12:48:27 +0200hackagephonetic-languages-phonetics-basics 0.6.2.0 - A library for working with generalized phonetic languages usage. https://hackage.haskell.org/package/phonetic-languages-phonetics-basics-0.6.2.0 (OleksandrZhabenko)
2021-05-10 12:51:22 +0200timCF(~i.tkachuk@200-149-20-81.sta.estpak.ee)
2021-05-10 12:53:17 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-10 12:53:23 +0200xff0x(~xff0x@2001:1a81:53c1:c00:bd4f:a74d:188b:aac8) (Ping timeout: 250 seconds)
2021-05-10 12:54:09 +0200xff0x(~xff0x@2001:1a81:53c1:c00:be46:b01b:ca6b:895e)
2021-05-10 12:54:36 +0200dpl_(~dpl@77-121-78-163.chn.volia.net)
2021-05-10 12:54:40 +0200safinaskar(~user@109-252-90-136.nat.spd-mgts.ru) ()
2021-05-10 12:55:07 +0200 <timCF> Hello! Any Dhall users here? I'm thinking what is the easiest way to merge 2 records with `Optional` fields without overriding `Some x` values with `None` values. Default way `let res = foo // bar // buz` will produce record with `res.hello == None` in case where `buz.hello == None` regardless what `foo.hello` and `bar.hello` are.
2021-05-10 12:58:56 +0200bennofs_(~quassel@x4db709cf.dyn.telefonica.de) (Read error: Connection reset by peer)
2021-05-10 12:59:20 +0200bennofs_(~quassel@x4db709cf.dyn.telefonica.de)
2021-05-10 12:59:59 +0200Alleria(~textual@2603-7000-3040-0000-b56e-d773-5c05-1652.res6.spectrum.com)
2021-05-10 13:00:23 +0200AlleriaGuest99532
2021-05-10 13:02:32 +0200hyiltiz(~quassel@unaffiliated/hyiltiz) (Ping timeout: 246 seconds)
2021-05-10 13:03:57 +0200hackagephonetic-languages-simplified-generalized-properties-array 0.1.1.0 - Generalization of the functionality of the phonetic-languages-simplified-properties-array. https://hackage.haskell.org/package/phonetic-languages-simplified-generalized-properties-array-0.1… (OleksandrZhabenko)
2021-05-10 13:04:09 +0200Guest99532(~textual@2603-7000-3040-0000-b56e-d773-5c05-1652.res6.spectrum.com) (Ping timeout: 245 seconds)
2021-05-10 13:05:32 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-10 13:05:51 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-10 13:07:57 +0200hackagephonetic-languages-simplified-generalized-examples-common 0.1.1.0 - Some common code for phonetic languages generalized functionality. https://hackage.haskell.org/package/phonetic-languages-simplified-generalized-examples-common-0.1.… (OleksandrZhabenko)
2021-05-10 13:08:36 +0200hyiltiz(~quassel@31.220.5.250)
2021-05-10 13:08:37 +0200hyiltiz(~quassel@31.220.5.250) (Changing host)
2021-05-10 13:08:37 +0200hyiltiz(~quassel@unaffiliated/hyiltiz)
2021-05-10 13:09:04 +0200poljar1(~poljar@78-1-55-96.adsl.net.t-com.hr)
2021-05-10 13:09:05 +0200superstar64(6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net)
2021-05-10 13:10:10 +0200puke(~vroom@217.138.252.196)
2021-05-10 13:10:52 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 268 seconds)
2021-05-10 13:11:13 +0200poljar(~poljar@93-139-14-190.adsl.net.t-com.hr) (Ping timeout: 240 seconds)
2021-05-10 13:13:52 +0200 <Gurkenglas> https://bpa.st/22KA what would cause https://github.com/antalsz/hs-to-coq#building-the-base-library to fail like this? https://github.com/antalsz/hs-to-coq/blob/master/base/GHC/Wf.v has 39 bytes so maybe make didn't expect the file to end where it did? (Is this the right channel?)
2021-05-10 13:17:31 +0200urdh(~urdh@unaffiliated/urdh) (Ping timeout: 252 seconds)
2021-05-10 13:19:12 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-05-10 13:19:44 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-10 13:20:50 +0200todda7(~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f)
2021-05-10 13:21:57 +0200hackagephonetic-languages-simplified-generalized-examples-array 0.1.1.0 - Helps to create texts with the given phonetic properties (e. g. poetic). https://hackage.haskell.org/package/phonetic-languages-simplified-generalized-examples-array-0.1.1.0 (OleksandrZhabenko)
2021-05-10 13:22:52 +0200gnumonic(~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Remote host closed the connection)
2021-05-10 13:23:04 +0200safinaskar(~user@109-252-90-136.nat.spd-mgts.ru)
2021-05-10 13:23:22 +0200 <safinaskar> i still unable to build old unmaintained package
2021-05-10 13:23:40 +0200 <safinaskar> is it possible to download package, edit source manually
2021-05-10 13:23:45 +0200 <safinaskar> and install?
2021-05-10 13:23:56 +0200Benzi-Junior(~BenziJuni@dsl-149-64-251.hive.is)
2021-05-10 13:24:01 +0200 <safinaskar> is there some guide?
2021-05-10 13:24:27 +0200hackageunicode-tricks 0.9.0.0 - Functions to work with unicode blocks more convenient. https://hackage.haskell.org/package/unicode-tricks-0.9.0.0 (wvanonsem90)
2021-05-10 13:24:31 +0200Alleria(~textual@mskresolve-a.mskcc.org)
2021-05-10 13:24:55 +0200AlleriaGuest30199
2021-05-10 13:25:31 +0200berberman(~berberman@unaffiliated/berberman)
2021-05-10 13:25:49 +0200berberman_(~berberman@unaffiliated/berberman) (Ping timeout: 245 seconds)
2021-05-10 13:29:08 +0200nut(~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds)
2021-05-10 13:29:16 +0200 <sphi> [exa]: the kind that serves JSON when i cURL it : P
2021-05-10 13:29:33 +0200hendursa1(~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds)
2021-05-10 13:31:33 +0200 <[exa]> (...type-level json?)
2021-05-10 13:31:49 +0200hendursa1(~weechat@gateway/tor-sasl/hendursaga)
2021-05-10 13:31:57 +0200thunderrd(~thunderrd@183.182.114.223) (Ping timeout: 268 seconds)
2021-05-10 13:32:01 +0200 <sphi> [exa]: not sure : P
2021-05-10 13:33:30 +0200 <dminuoso> safinaskar: Hard to say in general. Usually you'd identify the outdated bounds and try and bump them.
2021-05-10 13:33:39 +0200 <dminuoso> Sometimes you might have to patch some packages
2021-05-10 13:36:22 +0200Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 265 seconds)
2021-05-10 13:37:52 +0200xsperry(~as@unaffiliated/xsperry) (Remote host closed the connection)
2021-05-10 13:42:31 +0200 <safinaskar> is there some tool, which installs package using brute force? i. e. tries one combinations of packages, if build fails, tries another etc. ideally ghc versions should be added to the mix, too. i have lot of time
2021-05-10 13:43:05 +0200 <dminuoso> Well yeah, that's pretty much what cabal does.
2021-05-10 13:44:51 +0200xsperry(~as@unaffiliated/xsperry)
2021-05-10 13:44:59 +0200thunderrd(~thunderrd@183.182.115.120)
2021-05-10 13:46:33 +0200 <safinaskar> dminuoso: no, i mean this: take some package versions, then actually build, if build fails, try another combination, etc
2021-05-10 13:46:44 +0200 <hpc> like hackage's matrix thing?
2021-05-10 13:47:09 +0200 <dminuoso> safinaskar: combination of what exactly?
2021-05-10 13:47:30 +0200 <dminuoso> safinaskar: If its just the versions from hackage, then again, that's exactly what cabal does.
2021-05-10 13:47:55 +0200 <dminuoso> cabal generates a build plan by, essentially, brute forcing all version combinations (it just always starts off with the most recent version)
2021-05-10 13:48:19 +0200 <dminuoso> the first plan that matches all constraints (e.g. version constraints) is accepted
2021-05-10 13:49:14 +0200 <dminuoso> the usually fixed variable is the base dependency, since that depends on which ghc version you have installed locally
2021-05-10 13:50:26 +0200 <dminuoso> (to be precise, cabal is a sat solver)
2021-05-10 13:50:27 +0200hackagevcs-ignore 0.0.1.0 - Library for handling files ignored by VCS systems. https://hackage.haskell.org/package/vcs-ignore-0.0.1.0 (xwinus)
2021-05-10 13:50:29 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-10 13:51:56 +0200fendor(~fendor@91.141.0.25.wireless.dyn.drei.com)
2021-05-10 13:52:14 +0200 <tomsmeding> dminuoso: given that safinaskar wrote "then actually build, if build fails, ...", I think they mean a tool that not only checks the version bounds, but actually tries to build a package using the chosen plan and backtracks if that fails
2021-05-10 13:52:49 +0200 <tomsmeding> I don't think such a tool exists, but if it would exist it would be terribly slow, since there are usually many many possible version combinations
2021-05-10 13:53:01 +0200 <dminuoso> ah
2021-05-10 13:53:02 +0200 <safinaskar> hpc: "hackage's matrix thing" - can it help me to build particular package?
2021-05-10 13:53:45 +0200 <tomsmeding> safinaskar: if you happen to know that a particular version of some dependency would make the build work, you can use the --constraint argument of 'cabal build' to add an extra version constraint to the solver
2021-05-10 13:54:17 +0200 <safinaskar> dminuoso: "If its just the versions from hackage, then again, that's exactly what cabal does" - i want to build package with possibly incorrect bounds. i. e. if "normal" build fails, i want some automatic tool to try to pick some dependency with earlier version
2021-05-10 13:54:18 +0200 <tomsmeding> safinaskar: https://matrix.hackage.haskell.org/ tries to build packages with a number of different ghc versions
2021-05-10 13:54:28 +0200 <tomsmeding> you may want to check out your package to see if it has a successful build listed
2021-05-10 13:55:20 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-05-10 13:55:56 +0200 <safinaskar> tomsmeding: "if you happen to know that a particular version of some dependency would make the build work" - i don't know any good combination
2021-05-10 13:56:00 +0200 <tomsmeding> if the correct set of dependency versions is really outside package-specified bounds, i.e. the bounds are really _incorrect_ (unlikely, since presumably it worked at some point in the past), then you have no choice except building it manually, locally; I'm not sure if there are guides on that, but we could help if this becomes necessary
2021-05-10 13:56:38 +0200 <tomsmeding> safinaskar: even if you don't know a good combination, you can use that '--constraint' argument to experiment :)
2021-05-10 13:56:42 +0200 <tomsmeding> which package are you talking about
2021-05-10 13:57:11 +0200rodriga(~quassel@134.204.25.66)
2021-05-10 13:57:12 +0200boxscape(54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220)
2021-05-10 13:57:14 +0200urodna(~urodna@unaffiliated/urodna)
2021-05-10 13:58:57 +0200 <safinaskar> tomsmeding: "https://matrix.hackage.haskell.org/ tries to build packages with a number of different ghc versions" - wow, thanks
2021-05-10 13:59:17 +0200 <safinaskar> tomsmeding: i need package "syntax". and i actually see some good combinations in table
2021-05-10 13:59:22 +0200 <safinaskar> tomsmeding: thanks, i will try them
2021-05-10 13:59:34 +0200 <tomsmeding> safinaskar: mind that what it does is start with a number of different ghc versions, then solve the bounds using cabal normally, then try to build -- it doesn't do this after-build-fail backtracking that you suggested
2021-05-10 13:59:41 +0200 <tomsmeding> nice!
2021-05-10 14:00:19 +0200 <tomsmeding> safinaskar: hm, only a very old version of that package (0.1.1.0) seems to build
2021-05-10 14:00:36 +0200 <tomsmeding> the "OK (no-ip)" isn't success, it means no install plan was found
2021-05-10 14:01:59 +0200m_shiraeeshi(~shiraeesh@46.34.206.81) (Ping timeout: 265 seconds)
2021-05-10 14:02:22 +0200 <tomsmeding> hpc: I can't seem to load a build log for a failed build on the matrix builder; is that expected? (e.g. https://matrix.hackage.haskell.org/#/package/syntax/1.0.0.0/ghc-8.4.4@1595320698 )
2021-05-10 14:03:28 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-10 14:03:29 +0200 <hpc> maybe?
2021-05-10 14:04:35 +0200fendor(~fendor@91.141.0.25.wireless.dyn.drei.com) (Remote host closed the connection)
2021-05-10 14:04:57 +0200hackagenvfetcher 0.1.0.0 - Generate nix sources expr for the latest version of packages https://hackage.haskell.org/package/nvfetcher-0.1.0.0 (berberman)
2021-05-10 14:05:02 +0200drbean_(~drbean@TC210-63-209-88.static.apol.com.tw)
2021-05-10 14:05:22 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-05-10 14:05:34 +0200 <tomsmeding> hm the corresponding server api response doesn't include a log, perhaps that's why (successful: https://matrix.hackage.haskell.org/api/v2/units/6061cd13-7a63-5383-939f-e4241baee04e ; failing: https://matrix.hackage.haskell.org/api/v2/units/9e955ece-52d8-9803-7636-2399b170fb29 )
2021-05-10 14:06:07 +0200fendor(~fendor@91.141.0.25.wireless.dyn.drei.com)
2021-05-10 14:07:46 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-05-10 14:07:47 +0200 <tomsmeding> ah that package is from pre-MonadFail
2021-05-10 14:09:06 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-10 14:10:07 +0200machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-05-10 14:10:53 +0200 <siers> I'd like to make a work queue (I guess channel) for scheduling computations on multiple processors. I can't just run forkIO willy nilly, because I run out of ram. What should I make it out of?
2021-05-10 14:11:20 +0200EvilMagix(~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea)
2021-05-10 14:11:36 +0200 <hpc> siers: use a Chan and a fixed number of threads maybe?
2021-05-10 14:12:14 +0200 <hpc> you can feed it data for what computations to run and have each thread in a loop
2021-05-10 14:12:33 +0200 <hpc> or you can even feed it the actions themselves, and have it be a Chan (IO ()) or similar
2021-05-10 14:14:53 +0200 <siers> ok, then I need the "process this list (foreverM (readChan chan)) on N processors and start it on a new one, when possible" part
2021-05-10 14:15:44 +0200safinaskar(~user@109-252-90-136.nat.spd-mgts.ru) ()
2021-05-10 14:16:16 +0200cfricke(~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1)
2021-05-10 14:16:19 +0200pagnol(~user@014198154145.ctinets.com)
2021-05-10 14:16:19 +0200 <siers> this might have something like that, but I do not really understand how to use it https://hackage.haskell.org/package/parallel
2021-05-10 14:17:28 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 268 seconds)
2021-05-10 14:17:50 +0200nineonine(~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a)
2021-05-10 14:18:10 +0200todda7(~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Remote host closed the connection)
2021-05-10 14:18:31 +0200todda7(~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f)
2021-05-10 14:18:54 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 265 seconds)
2021-05-10 14:19:46 +0200cfricke(~cfricke@unaffiliated/cfricke)
2021-05-10 14:19:51 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-10 14:21:01 +0200renzhi(~renzhi@2607:fa49:6500:bc00::e7b)
2021-05-10 14:22:43 +0200nineonine(~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) (Ping timeout: 276 seconds)
2021-05-10 14:24:26 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds)
2021-05-10 14:25:11 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-05-10 14:26:30 +0200 <pagnol> Anyone familiar with http-client? I'm getting an exception even though the server responded with 200 and I can't figure out the reason
2021-05-10 14:27:36 +0200nineonine(~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a)
2021-05-10 14:27:47 +0200CrazyPython(~crazypyth@98.122.164.118) ()
2021-05-10 14:30:53 +0200tsaka__(~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f)
2021-05-10 14:33:44 +0200todda7(~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Remote host closed the connection)
2021-05-10 14:34:59 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood)
2021-05-10 14:35:00 +0200 <siers> not sure how to write such a strategy with parallel
2021-05-10 14:35:40 +0200tsaka__(~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Excess Flood)
2021-05-10 14:36:09 +0200tsaka__(~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f)
2021-05-10 14:37:24 +0200timCF(~i.tkachuk@200-149-20-81.sta.estpak.ee) (Quit: leaving)
2021-05-10 14:38:56 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-05-10 14:40:02 +0200malumore_(~malumore@151.62.127.121)
2021-05-10 14:41:56 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 246 seconds)
2021-05-10 14:42:26 +0200malumore(~malumore@151.62.127.121) (Ping timeout: 240 seconds)
2021-05-10 14:42:52 +0200Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-05-10 14:43:37 +0200idhugo(~idhugo@80-62-116-231-mobile.dk.customer.tdc.net)
2021-05-10 14:46:36 +0200troydm(~troydm@unaffiliated/troydm) (Ping timeout: 260 seconds)
2021-05-10 14:47:25 +0200nineonine(~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) (Ping timeout: 276 seconds)
2021-05-10 14:48:13 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-10 14:48:44 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood)
2021-05-10 14:49:57 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2021-05-10 14:49:57 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-05-10 14:52:39 +0200 <tomsmeding> siers: perhaps something like this? parInNThreads nthreads l = concat (withStrategy (parList rpar) (transpose (chunk nthreads l))), where chunk is like in https://hackage.haskell.org/package/parallel-3.2.2.0/docs/src/Control.Parallel.Strategies.html#chunk
2021-05-10 14:52:48 +0200 <tomsmeding> (untested)
2021-05-10 14:54:21 +0200finn_elija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds)
2021-05-10 14:54:46 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-10 14:55:36 +0200 <siers> @hoogle chunk
2021-05-10 14:55:36 +0200 <lambdabot> Data.ByteString.Lazy.Internal chunk :: ByteString -> ByteString -> ByteString
2021-05-10 14:55:36 +0200 <lambdabot> Data.Text.Internal.Lazy chunk :: Text -> Text -> Text
2021-05-10 14:55:36 +0200 <lambdabot> Text.Megaparsec chunk :: MonadParsec e s m => Tokens s -> m (Tokens s)
2021-05-10 14:56:07 +0200stree(~stree@68.36.8.116) (Ping timeout: 265 seconds)
2021-05-10 14:56:18 +0200 <siers> I understand that you're assuming we have some `chunk' that works the way we expect, ok
2021-05-10 14:56:39 +0200finn_elija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-05-10 14:56:51 +0200 <siers> I think haskell's runtime settings also limit the most number of processors it uses, so maybe it's fine to just parList?
2021-05-10 14:57:49 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 276 seconds)
2021-05-10 14:58:04 +0200 <siers> tomsmeding, http://sprunge.us/1AYyH3 what the hell?
2021-05-10 14:59:16 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds)
2021-05-10 15:00:06 +0200 <tomsmeding> siers: what exactly are you trying to show?
2021-05-10 15:00:40 +0200 <siers> it typechecked [a] -> b against a -> Int
2021-05-10 15:00:55 +0200 <tomsmeding> you can try using parList but I believe that will just create N sparks where N is the length of the list; that may work but it might be more efficient to explicitly split it into a number of jobs that is equal to the number of processors you have
2021-05-10 15:01:08 +0200 <tomsmeding> depending on the runtime system performance
2021-05-10 15:01:52 +0200 <dminuoso> pagnol: Compile everything with profiling, and then use `+RTC -xc` ?
2021-05-10 15:02:11 +0200 <tomsmeding> siers: well your ($|| parList rseq) can take any value of type ([a] -> b) for any a and b, and the argument you're giving it, 'tl', has type c -> Int for any c. So c ~ [a] and b ~ Int and it unifies?
2021-05-10 15:02:37 +0200nineonine(~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a)
2021-05-10 15:03:03 +0200 <siers> yikes, you're right
2021-05-10 15:03:23 +0200 <tomsmeding> (just talking about types, not about what anything of this means)
2021-05-10 15:04:00 +0200rj(~x@gateway/tor-sasl/rj)
2021-05-10 15:04:15 +0200poljar(~poljar@78-1-38-154.adsl.net.t-com.hr)
2021-05-10 15:05:11 +0200poljar1(~poljar@78-1-55-96.adsl.net.t-com.hr) (Ping timeout: 240 seconds)
2021-05-10 15:06:06 +0200 <siers> parInNThreads might work
2021-05-10 15:06:51 +0200nineonine(~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) (Ping timeout: 250 seconds)
2021-05-10 15:08:14 +0200nineonine(~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a)
2021-05-10 15:09:28 +0200stree(~stree@68.36.8.116)
2021-05-10 15:10:58 +0200Rudd0(~Rudd0@185.189.115.108) (Ping timeout: 252 seconds)
2021-05-10 15:12:29 +0200nineonine(~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) (Ping timeout: 250 seconds)
2021-05-10 15:13:03 +0200nineonine(~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a)
2021-05-10 15:15:51 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-10 15:16:15 +0200tsaka__(~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Ping timeout: 260 seconds)
2021-05-10 15:16:51 +0200tsaka__(~torstein@178-147-206-209.haap.dm.cosmote.net)
2021-05-10 15:17:15 +0200nineonine(~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) (Ping timeout: 250 seconds)
2021-05-10 15:18:21 +0200sphi(~sphi@unaffiliated/sphi) (Ping timeout: 265 seconds)
2021-05-10 15:18:40 +0200shailangsa(~shailangs@host217-35-224-169.range217-35.btcentralplus.com) (Ping timeout: 252 seconds)
2021-05-10 15:19:26 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-10 15:21:06 +0200 <pagnol> I just wasted 4 hours because I assumed cabal retrieves the most recent version of a package if no version contraint is specified
2021-05-10 15:21:57 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-05-10 15:22:44 +0200 <tomsmeding> siers: I also wrote this at some point: https://paste.tomsmeding.com/dFmuEgZ7
2021-05-10 15:22:46 +0200nineonine(~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a)
2021-05-10 15:23:15 +0200 <tomsmeding> it uses explicit (haskell-)threads using forkIO in order to be a bit more deterministic (in my experience)
2021-05-10 15:23:33 +0200poljar1(~poljar@93-143-148-135.adsl.net.t-com.hr)
2021-05-10 15:23:50 +0200 <tomsmeding> if you don't understand what the (a -> b) projection function is for, just pass 'id'
2021-05-10 15:23:51 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-05-10 15:24:20 +0200 <tomsmeding> also note that it explicitly uses one _less_ than getNumCapabilities because in my experience, using all doesn't work and blocks some of the threads from even spawning
2021-05-10 15:25:09 +0200 <siers> what does the projection function do? :)
2021-05-10 15:25:13 +0200poljar(~poljar@78-1-38-154.adsl.net.t-com.hr) (Ping timeout: 240 seconds)
2021-05-10 15:25:28 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-10 15:26:35 +0200 <tomsmeding> it allows you to evaluate a _component_ of the structure
2021-05-10 15:26:57 +0200 <tomsmeding> e.g. by passing 'fst', you can have of list of pairs where you evaluate the first components in parallel, not touching the second components at all
2021-05-10 15:27:05 +0200 <siers> ah
2021-05-10 15:27:13 +0200nineonine(~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) (Ping timeout: 250 seconds)
2021-05-10 15:27:33 +0200 <tomsmeding> 'parSeq b f l' is equivalent to 'parSeq b id (map f l)' I think
2021-05-10 15:28:04 +0200Iceland_jack(~user@95.147.45.92)
2021-05-10 15:29:18 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 252 seconds)
2021-05-10 15:30:18 +0200xkapastel(uid17782@gateway/web/irccloud.com/x-porhvditswtjxxbh)
2021-05-10 15:30:20 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-10 15:32:21 +0200rj(~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-05-10 15:32:39 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection)
2021-05-10 15:32:56 +0200nineonine(~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a)
2021-05-10 15:33:20 +0200carlomagno(~cararell@148.87.23.4)
2021-05-10 15:33:39 +0200nineonine(~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) (Remote host closed the connection)
2021-05-10 15:34:15 +0200nineonine(~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a)
2021-05-10 15:34:47 +0200st8less(~st8less@inet-167-224-197-181.isp.ozarksgo.net) (Quit: WeeChat 2.9)
2021-05-10 15:35:03 +0200 <dminuoso> pagnol: it does.
2021-05-10 15:35:16 +0200 <siers> tomsmeding, are sparks cooperative?
2021-05-10 15:35:25 +0200 <dminuoso> pagnol: or rather, the most recent version for which cabal can find a suitable build plan, according to all existing constraints.
2021-05-10 15:36:30 +0200 <tomsmeding> siers: I _think_ sparks and forkIO threads are both cooperative, but only at point where they allocate -- so if you have a busy loop on unboxed values that doesn't allocate anything, you might block the thread
2021-05-10 15:36:36 +0200 <tomsmeding> but don't take my word for it
2021-05-10 15:36:56 +0200notzmv(~zmv@unaffiliated/zmv) (Read error: Connection reset by peer)
2021-05-10 15:37:35 +0200rj(~x@gateway/tor-sasl/rj)
2021-05-10 15:37:54 +0200 <siers> should parallel work in ghci -threaded -with-rtsopts='-N8'?
2021-05-10 15:38:00 +0200 <siers> or must I compile it?
2021-05-10 15:38:29 +0200nineonine(~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) (Ping timeout: 250 seconds)
2021-05-10 15:39:28 +0200ram19890(~ram@49.205.84.15) (Quit: Konversation terminated!)
2021-05-10 15:43:43 +0200wei2912(~wei2912@unaffiliated/wei2912)
2021-05-10 15:44:47 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-05-10 15:46:52 +0200son0p(~ff@181.136.122.143) (Remote host closed the connection)
2021-05-10 15:48:13 +0200drbean_(~drbean@TC210-63-209-88.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in)
2021-05-10 15:48:28 +0200drbean_(~drbean@TC210-63-209-34.static.apol.com.tw)
2021-05-10 15:48:57 +0200hackagemnist-idx-conduit 0.1.0.0 - conduit utilities for MNIST IDX files https://hackage.haskell.org/package/mnist-idx-conduit-0.1.0.0 (ocramz)
2021-05-10 15:49:20 +0200vite(~vite@185.204.1.185)
2021-05-10 15:50:11 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-05-10 15:52:56 +0200guriya(a0ee4b7f@unaffiliated/guriya)
2021-05-10 15:54:28 +0200poljar(~poljar@93-143-128-70.adsl.net.t-com.hr)
2021-05-10 15:55:19 +0200drbean_(~drbean@TC210-63-209-34.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in)
2021-05-10 15:56:42 +0200Sheilong(uid293653@gateway/web/irccloud.com/x-uarnrolikdibusqq)
2021-05-10 15:57:22 +0200poljar1(~poljar@93-143-148-135.adsl.net.t-com.hr) (Ping timeout: 268 seconds)
2021-05-10 15:59:27 +0200hackagemnist-idx-conduit 0.2.0.0 - conduit utilities for MNIST IDX files https://hackage.haskell.org/package/mnist-idx-conduit-0.2.0.0 (ocramz)
2021-05-10 16:01:05 +0200Xraell(~xraell@45.157.15.145) (Remote host closed the connection)
2021-05-10 16:01:10 +0200 <pagnol> dminuoso: what you're saying seems to be at odds with my most recent experience, but it's possible there's something I'm missing
2021-05-10 16:01:15 +0200vgtw_(~vgtw@gateway/tor-sasl/vgtw)
2021-05-10 16:01:21 +0200alx741(~alx741@186.178.108.184)
2021-05-10 16:01:27 +0200hackagepseudo-boolean 0.1.10.0 - Reading/Writing OPB/WBO files used in pseudo boolean competition https://hackage.haskell.org/package/pseudo-boolean-0.1.10.0 (MasahiroSakai)
2021-05-10 16:01:33 +0200vgtw(~vgtw@gateway/tor-sasl/vgtw) (Ping timeout: 240 seconds)
2021-05-10 16:01:40 +0200vgtw_vgtw
2021-05-10 16:02:54 +0200Shuppiluliuma(~shuppilul@153.33.68.161)
2021-05-10 16:03:08 +0200shailangsa(~shailangs@host86-186-196-136.range86-186.btcentralplus.com)
2021-05-10 16:04:07 +0200son0p(~ff@181.136.122.143)
2021-05-10 16:07:06 +0200elliott_(~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2021-05-10 16:10:52 +0200zebrag(~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr)
2021-05-10 16:11:06 +0200 <dminuoso> pagnol: Feel free to present an example here or at an issue tracker, should have one.
2021-05-10 16:12:30 +0200mrchampion(~mrchampio@38.18.109.23)
2021-05-10 16:13:51 +0200nineonine(~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a)
2021-05-10 16:14:45 +0200rj(~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-05-10 16:15:19 +0200 <tomsmeding> pagnol: at the very least the claim relies on you having run 'cabal update' recently
2021-05-10 16:15:49 +0200poljar1(~poljar@93-143-164-44.adsl.net.t-com.hr)
2021-05-10 16:16:03 +0200zebrag(~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-05-10 16:16:49 +0200 <dminuoso> Of course, there could be the odd example of where downgrading `foo` would allow cabal to use newer versions of other packages..
2021-05-10 16:17:14 +0200 <dminuoso> But cabal cant find that out, because it doesn't actually do an exhaustive search of all combinations
2021-05-10 16:17:42 +0200poljar(~poljar@93-143-128-70.adsl.net.t-com.hr) (Ping timeout: 252 seconds)
2021-05-10 16:18:04 +0200Jesin(~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Ping timeout: 252 seconds)
2021-05-10 16:18:34 +0200rj(~x@gateway/tor-sasl/rj)
2021-05-10 16:19:13 +0200nineonine(~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) (Ping timeout: 250 seconds)
2021-05-10 16:22:41 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 240 seconds)
2021-05-10 16:23:29 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 260 seconds)
2021-05-10 16:23:53 +0200sh9(~sh9@softbank060116136158.bbtec.net)
2021-05-10 16:24:57 +0200Sgeo(~Sgeo@ool-18b9875e.dyn.optonline.net)
2021-05-10 16:26:21 +0200fre(~freusque@104.238.190.229) (Ping timeout: 260 seconds)
2021-05-10 16:26:57 +0200hackageinterval-algebra 0.6.3 - An implementation of Allen's interval algebra for temporal logic https://hackage.haskell.org/package/interval-algebra-0.6.3 (bradleysaul)
2021-05-10 16:27:39 +0200zebrag(~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr)
2021-05-10 16:28:17 +0200Joshua[m]1(eleos91mat@gateway/shell/matrix.org/x-upvbumeylpbdydvm)
2021-05-10 16:28:49 +0200acidjnk_new2(~acidjnk@p200300d0c72b954961c97aa4238b8f7b.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2021-05-10 16:29:22 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2021-05-10 16:30:24 +0200EvilMagix(~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 246 seconds)
2021-05-10 16:31:20 +0200Arahael(~arahael@124-150-95-173.tpgi.com.au) (Ping timeout: 265 seconds)
2021-05-10 16:31:22 +0200RusAlex(~Chel@unaffiliated/rusalex) (Quit: WeeChat 3.0)
2021-05-10 16:33:06 +0200tempate(~tempate@90.173.107.9)
2021-05-10 16:33:06 +0200tempate(~tempate@90.173.107.9) (Changing host)
2021-05-10 16:33:06 +0200tempate(~tempate@unaffiliated/tempate)
2021-05-10 16:34:38 +0200idhugo(~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Ping timeout: 246 seconds)
2021-05-10 16:36:27 +0200hackagefaktory 1.0.2.2 - Faktory Worker for Haskell https://hackage.haskell.org/package/faktory-1.0.2.2 (PatrickBrisbin)
2021-05-10 16:37:45 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-10 16:38:05 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-10 16:40:02 +0200pagnol(~user@014198154145.ctinets.com) (Ping timeout: 265 seconds)
2021-05-10 16:40:54 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-05-10 16:42:08 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-05-10 16:42:40 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds)
2021-05-10 16:45:49 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-10 16:46:22 +0200electricityZZZZ(~electrici@157-131-250-97.fiber.dynamic.sonic.net)
2021-05-10 16:46:58 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-10 16:50:33 +0200bitmagie(~Thunderbi@200116b80679dc002d9c918d52c6f96d.dip.versatel-1u1.de)
2021-05-10 16:51:01 +0200lambda(~xiretza@2a01:4f8:c010:8b24::1)
2021-05-10 16:51:43 +0200lambda(~xiretza@2a01:4f8:c010:8b24::1) (Client Quit)
2021-05-10 16:53:19 +0200kini(~kini@unaffiliated/kini) (Ping timeout: 245 seconds)
2021-05-10 16:56:02 +0200jao(~jao@pdpc/supporter/professional/jao)
2021-05-10 16:56:44 +0200Arahael(~arahael@114.198.16.164)
2021-05-10 16:58:55 +0200kini(~kini@unaffiliated/kini)
2021-05-10 16:59:07 +0200lambda(~xiretza@irc.xiretza.xyz)
2021-05-10 16:59:33 +0200rj(~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-05-10 16:59:40 +0200lambda(~xiretza@irc.xiretza.xyz) (Client Quit)
2021-05-10 16:59:55 +0200lambda(~xiretza@irc.xiretza.xyz)
2021-05-10 17:02:09 +0200lambda(~xiretza@irc.xiretza.xyz) (Client Quit)
2021-05-10 17:02:20 +0200rj(~x@gateway/tor-sasl/rj)
2021-05-10 17:02:25 +0200idhugo(~idhugo@80-62-116-231-mobile.dk.customer.tdc.net)
2021-05-10 17:02:43 +0200st8less(~st8less@inet-167-224-197-181.isp.ozarksgo.net)
2021-05-10 17:02:59 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7)
2021-05-10 17:03:18 +0200bitmagie(~Thunderbi@200116b80679dc002d9c918d52c6f96d.dip.versatel-1u1.de) (Quit: bitmagie)
2021-05-10 17:04:12 +0200danvet_(~danvet@212-51-149-181.fiber7.init7.net)
2021-05-10 17:06:08 +0200cfricke(~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1)
2021-05-10 17:06:21 +0200cfricke(~cfricke@unaffiliated/cfricke)
2021-05-10 17:08:23 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-10 17:09:54 +0200berberman_(~berberman@unaffiliated/berberman)
2021-05-10 17:09:55 +0200carlomagno(~cararell@148.87.23.4) (Remote host closed the connection)
2021-05-10 17:09:59 +0200berberman(~berberman@unaffiliated/berberman) (Ping timeout: 245 seconds)
2021-05-10 17:10:21 +0200carlomagno(~cararell@148.87.23.12)
2021-05-10 17:10:28 +0200cantstanya(~chatting@gateway/tor-sasl/cantstanya) (Remote host closed the connection)
2021-05-10 17:12:16 +0200acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2021-05-10 17:12:48 +0200cantstanya(~chatting@gateway/tor-sasl/cantstanya)
2021-05-10 17:14:11 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7)
2021-05-10 17:16:23 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-10 17:16:30 +0200sedeki(~textual@unaffiliated/sedeki)
2021-05-10 17:17:06 +0200proofofkeags(~proofofke@97-118-239-55.hlrn.qwest.net) (Ping timeout: 252 seconds)
2021-05-10 17:17:11 +0200stree(~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-05-10 17:19:22 +0200guriya(a0ee4b7f@unaffiliated/guriya) (Ping timeout: 240 seconds)
2021-05-10 17:19:56 +0200guriya(a0ee4ba7@unaffiliated/guriya)
2021-05-10 17:20:09 +0200carlomagno(~cararell@148.87.23.12) (Ping timeout: 265 seconds)
2021-05-10 17:21:13 +0200lambda(~xiretza@irc.xiretza.xyz)
2021-05-10 17:22:14 +0200carlomagno(~cararell@148.87.23.12)
2021-05-10 17:23:19 +0200zebrag(~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Remote host closed the connection)
2021-05-10 17:23:59 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-10 17:24:27 +0200hackagehaskoin-store-data 0.52.9 - Data for Haskoin Store https://hackage.haskell.org/package/haskoin-store-data-0.52.9 (jprupp)
2021-05-10 17:24:38 +0200superstar64(6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) (Quit: Connection closed)
2021-05-10 17:26:18 +0200malumore_(~malumore@151.62.127.121) (Remote host closed the connection)
2021-05-10 17:26:57 +0200sedeki(~textual@unaffiliated/sedeki) (Quit: Textual IRC Client: www.textualapp.com)
2021-05-10 17:29:27 +0200rj(~x@gateway/tor-sasl/rj) (Remote host closed the connection)
2021-05-10 17:29:42 +0200zebrag(~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr)
2021-05-10 17:29:48 +0200rj(~x@gateway/tor-sasl/rj)
2021-05-10 17:30:45 +0200stree(~stree@68.36.8.116)
2021-05-10 17:30:48 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-10 17:30:57 +0200hackagehaskoin-store 0.52.9 - Storage and index for Bitcoin and Bitcoin Cash https://hackage.haskell.org/package/haskoin-store-0.52.9 (jprupp)
2021-05-10 17:31:46 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser)
2021-05-10 17:32:28 +0200malumore(~malumore@151.62.127.121)
2021-05-10 17:34:03 +0200proofofkeags(~proofofke@205.209.28.54)
2021-05-10 17:35:48 +0200Deide(~Deide@217.155.19.23)
2021-05-10 17:36:02 +0200hypercube(~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com)
2021-05-10 17:40:05 +0200jao(~jao@pdpc/supporter/professional/jao) (Ping timeout: 246 seconds)
2021-05-10 17:40:44 +0200hgolden(~hgolden2@cpe-172-114-84-61.socal.res.rr.com)
2021-05-10 17:41:09 +0200andreas303(~andreas@gateway/tor-sasl/andreas303) (Ping timeout: 240 seconds)
2021-05-10 17:41:24 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-10 17:41:56 +0200superstar64(6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net)
2021-05-10 17:42:38 +0200andreas303(~andreas@gateway/tor-sasl/andreas303)
2021-05-10 17:43:57 +0200rj(~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-05-10 17:45:58 +0200ep1ctetus(~epictetus@82.102.31.164)
2021-05-10 17:46:09 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-10 17:46:29 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-10 17:46:56 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-05-10 17:47:05 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2021-05-10 17:47:36 +0200rj(~x@gateway/tor-sasl/rj)
2021-05-10 17:48:41 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-05-10 17:52:53 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7)
2021-05-10 17:53:28 +0200sphalerite(~sphalerit@NixOS/user/lheckemann) (Quit: reeeeebooooooooot)
2021-05-10 17:55:01 +0200zebrag(~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-05-10 17:57:44 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-10 17:58:03 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-10 17:59:25 +0200pavonia(~user@unaffiliated/siracusa) (Quit: Bye!)
2021-05-10 18:00:43 +0200guriya(a0ee4ba7@unaffiliated/guriya) (Ping timeout: 240 seconds)
2021-05-10 18:01:01 +0200dcompoze(~dcompoze@5E98D6D9.static.tld.pl)
2021-05-10 18:01:23 +0200Rudd0(~Rudd0@185.189.115.108)
2021-05-10 18:01:52 +0200ep1ctetus(~epictetus@82.102.31.164) (Ping timeout: 252 seconds)
2021-05-10 18:02:24 +0200ep1ctetus(~epictetus@82.102.31.164)
2021-05-10 18:05:11 +0200malumore(~malumore@151.62.127.121) (Ping timeout: 240 seconds)
2021-05-10 18:06:57 +0200hackagefile-embed 0.0.14.0 - Use Template Haskell to embed file contents directly. https://hackage.haskell.org/package/file-embed-0.0.14.0 (MichaelSnoyman)
2021-05-10 18:06:59 +0200kritzefitz(~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection)
2021-05-10 18:17:35 +0200Jesin(~Jesin@pool-72-66-101-18.washdc.fios.verizon.net)
2021-05-10 18:17:40 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-10 18:17:50 +0200boxscape(54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) (Quit: Connection closed)
2021-05-10 18:18:46 +0200boxscape(86ab2deb@gateway/web/cgi-irc/kiwiirc.com/ip.134.171.45.235)
2021-05-10 18:19:03 +0200m_shiraeeshi(~shiraeesh@46.34.206.81)
2021-05-10 18:19:41 +0200idhugo(~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Ping timeout: 260 seconds)
2021-05-10 18:20:41 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-05-10 18:21:31 +0200sphi(~sphi@unaffiliated/sphi)
2021-05-10 18:22:57 +0200epicte7us(~epictetus@64.44.80.28)
2021-05-10 18:25:13 +0200deviantfero(~deviantfe@190.150.27.58)
2021-05-10 18:25:15 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-10 18:26:18 +0200jamm_(~jamm@unaffiliated/jamm)
2021-05-10 18:26:37 +0200cfricke(~cfricke@unaffiliated/cfricke) (Ping timeout: 250 seconds)
2021-05-10 18:26:38 +0200ep1ctetus(~epictetus@82.102.31.164) (Ping timeout: 246 seconds)
2021-05-10 18:27:26 +0200is_null(~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 240 seconds)
2021-05-10 18:27:57 +0200hackageadblock2privoxy 2.0.2 - Convert adblock config files to privoxy format https://hackage.haskell.org/package/adblock2privoxy-2.0.2 (essandess)
2021-05-10 18:27:57 +0200rj(~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-05-10 18:29:21 +0200husixu(~husixu@137.132.117.40)
2021-05-10 18:29:57 +0200hackagemicrolens-th 0.4.3.10 - Automatic generation of record lenses for microlens https://hackage.haskell.org/package/microlens-th-0.4.3.10 (Artyom)
2021-05-10 18:30:37 +0200elliott_(~elliott_@pool-108-18-30-46.washdc.fios.verizon.net)
2021-05-10 18:30:46 +0200notzmv(~zmv@unaffiliated/zmv)
2021-05-10 18:31:11 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-05-10 18:31:23 +0200deviantfero(~deviantfe@190.150.27.58) (Quit: WeeChat 3.1)
2021-05-10 18:31:42 +0200deviantfero(~deviantfe@190.150.27.58)
2021-05-10 18:32:14 +0200nineonine(~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a)
2021-05-10 18:33:10 +0200rj(~x@gateway/tor-sasl/rj)
2021-05-10 18:33:14 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2021-05-10 18:34:37 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-10 18:34:45 +0200deviantfero(~deviantfe@190.150.27.58) (Client Quit)
2021-05-10 18:34:55 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-10 18:35:03 +0200deviantfero(~deviantfe@190.150.27.58)
2021-05-10 18:37:15 +0200malumore(~malumore@151.62.127.121)
2021-05-10 18:37:18 +0200LKoen(~LKoen@156.168.9.109.rev.sfr.net) (Remote host closed the connection)
2021-05-10 18:38:27 +0200Lycurgus(~niemand@cpe-45-46-140-49.buffalo.res.rr.com)
2021-05-10 18:39:11 +0200nineonine(~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) (Ping timeout: 250 seconds)
2021-05-10 18:39:36 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds)
2021-05-10 18:40:06 +0200LKoen(~LKoen@156.168.9.109.rev.sfr.net)
2021-05-10 18:40:52 +0200carlomagno(~cararell@148.87.23.12) (Ping timeout: 265 seconds)
2021-05-10 18:41:35 +0200kritzefitz(~kritzefit@212.86.56.80)
2021-05-10 18:42:02 +0200carlomagno(~cararell@148.87.23.12)
2021-05-10 18:42:34 +0200cfricke(~cfricke@unaffiliated/cfricke)
2021-05-10 18:42:44 +0200sphi(~sphi@unaffiliated/sphi) (Ping timeout: 246 seconds)
2021-05-10 18:43:09 +0200husixu(~husixu@137.132.117.40) (Quit: Leaving)
2021-05-10 18:44:14 +0200wei2912(~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
2021-05-10 18:44:23 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 252 seconds)
2021-05-10 18:46:21 +0200boxscape(86ab2deb@gateway/web/cgi-irc/kiwiirc.com/ip.134.171.45.235) (Ping timeout: 260 seconds)
2021-05-10 18:46:44 +0200juuandyy(~juuandyy@90.106.228.121)
2021-05-10 18:46:49 +0200jamm__(~jamm@unaffiliated/jamm)
2021-05-10 18:47:11 +0200cfricke(~cfricke@unaffiliated/cfricke) (Ping timeout: 260 seconds)
2021-05-10 18:47:36 +0200dcompoze(~dcompoze@5E98D6D9.static.tld.pl) (Quit: WeeChat 3.1)
2021-05-10 18:48:10 +0200gentauro(~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
2021-05-10 18:49:17 +0200gentauro(~gentauro@unaffiliated/gentauro)
2021-05-10 18:49:47 +0200carlomagno(~cararell@148.87.23.12) (Remote host closed the connection)
2021-05-10 18:50:25 +0200carlomagno(~cararell@148.87.23.12)
2021-05-10 18:50:38 +0200jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds)
2021-05-10 18:50:53 +0200dcompoze(~dcompoze@5E98D6D9.static.tld.pl)
2021-05-10 18:51:53 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-10 18:52:44 +0200gentauro(~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
2021-05-10 18:52:57 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7)
2021-05-10 18:53:20 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-10 18:53:33 +0200mupf(~micha@v22017094964653601.ultrasrv.de) (Quit: WeeChat 3.0)
2021-05-10 18:54:21 +0200mupf(~micha@v22017094964653601.ultrasrv.de)
2021-05-10 18:54:58 +0200troydm(~troydm@unaffiliated/troydm)
2021-05-10 18:58:11 +0200gentauro(~gentauro@unaffiliated/gentauro)
2021-05-10 18:58:58 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-10 18:58:59 +0200gentauro(~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
2021-05-10 18:59:25 +0200bennofs_(~quassel@x4db709cf.dyn.telefonica.de) (Read error: Connection reset by peer)
2021-05-10 19:00:16 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7) (Ping timeout: 276 seconds)
2021-05-10 19:01:06 +0200carlomagno1(~cararell@148.87.23.12)
2021-05-10 19:01:30 +0200nineonine(~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a)
2021-05-10 19:03:10 +0200gentauro(~gentauro@unaffiliated/gentauro)
2021-05-10 19:03:59 +0200bennofs_(~quassel@x4db709cf.dyn.telefonica.de)
2021-05-10 19:04:01 +0200carlomagno(~cararell@148.87.23.12) (Ping timeout: 260 seconds)
2021-05-10 19:04:04 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 246 seconds)
2021-05-10 19:04:34 +0200deviantfero(~deviantfe@190.150.27.58) (Quit: WeeChat 3.1)
2021-05-10 19:04:56 +0200 <Rembane> dminuoso: I agree with that. The semantics of the DOM and API of the DOM are both quite wonky. Isn't Haskell suited for modelling wonky semantics? :)
2021-05-10 19:05:46 +0200gentauro(~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
2021-05-10 19:05:49 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7)
2021-05-10 19:07:01 +0200 <dminuoso> Rembane: If this was just plain HTML, sure. But you dont get to have a single coherent abstraction that spans all the moving parts well enough.
2021-05-10 19:07:44 +0200Guest_93(6cb97887@cpe-108-185-120-135.socal.res.rr.com) (Quit: Connection closed)
2021-05-10 19:08:11 +0200gentauro(~gentauro@unaffiliated/gentauro)
2021-05-10 19:08:26 +0200 <dminuoso> Especially if that abstraction should still be useful, and carry its own semantics
2021-05-10 19:08:32 +0200 <Rembane> dminuoso: Indeed, and there are surprisingly many moving parts.
2021-05-10 19:09:04 +0200deviantfero(~deviantfe@190.150.27.58)
2021-05-10 19:09:05 +0200deviantfero(~deviantfe@190.150.27.58) (Client Quit)
2021-05-10 19:09:30 +0200deviantfero(~deviantfe@190.150.27.58)
2021-05-10 19:09:40 +0200 <dminuoso> webasm was an attempt to introduce something fundamental to at least provide alternatives around JavaScript, but it lacks a few principle ideas such as manual memory management, making it a real PITA to use well enough
2021-05-10 19:10:13 +0200 <dminuoso> Right now webasm is non-ideal for any language that attempts to do its own memory management ontop, like say GHC
2021-05-10 19:11:56 +0200danvet_(~danvet@212-51-149-181.fiber7.init7.net) (Quit: Leaving)
2021-05-10 19:12:13 +0200fresheyeball(~isaac@c-71-237-105-37.hsd1.co.comcast.net)
2021-05-10 19:12:27 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7) (Ping timeout: 246 seconds)
2021-05-10 19:12:33 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-10 19:13:09 +0200rj(~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-05-10 19:13:40 +0200 <Rembane> Indeed. That's a bummer.
2021-05-10 19:14:04 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7)
2021-05-10 19:15:56 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg)
2021-05-10 19:16:24 +0200ixlun(~user@109.249.184.235)
2021-05-10 19:17:06 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-10 19:17:26 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-10 19:18:33 +0200rj(~x@gateway/tor-sasl/rj)
2021-05-10 19:18:35 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-10 19:20:36 +0200coot(~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-05-10 19:22:10 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 252 seconds)
2021-05-10 19:22:46 +0200jamm__(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-05-10 19:22:46 +0200gentauro(~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
2021-05-10 19:23:14 +0200gentauro(~gentauro@unaffiliated/gentauro)
2021-05-10 19:24:02 +0200gentauro(~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
2021-05-10 19:25:06 +0200deviantfero(~deviantfe@190.150.27.58) (Quit: WeeChat 3.1)
2021-05-10 19:25:08 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 258 seconds)
2021-05-10 19:25:17 +0200fresheyeball(~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9)
2021-05-10 19:25:29 +0200deviantfero(~deviantfe@190.150.27.58)
2021-05-10 19:27:17 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7) (Ping timeout: 250 seconds)
2021-05-10 19:27:34 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser)
2021-05-10 19:27:45 +0200jacks2(~bc817c21@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout))
2021-05-10 19:28:18 +0200gentauro(~gentauro@unaffiliated/gentauro)
2021-05-10 19:29:19 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 252 seconds)
2021-05-10 19:30:37 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:692a:95b:a9cd:2f9)
2021-05-10 19:31:38 +0200oxide(~lambda@unaffiliated/mclaren) (Quit: oxide)
2021-05-10 19:32:23 +0200 <juri_> hmm. in ghci, how do i get a string to show after interpolation, instead of before?
2021-05-10 19:34:16 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-10 19:34:36 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-10 19:35:01 +0200yoctocell(~user@h87-96-130-155.cust.a3fiber.se)
2021-05-10 19:36:12 +0200gitgood(~gitgood@80-44-12-75.dynamic.dsl.as9105.com)
2021-05-10 19:36:29 +0200 <[exa]> juri_: for what exact kind of string interpolation? Data.String.Interpolate?
2021-05-10 19:36:59 +0200dcompoze(~dcompoze@5E98D6D9.static.tld.pl) (Ping timeout: 246 seconds)
2021-05-10 19:37:58 +0200justBulljustTest
2021-05-10 19:38:05 +0200 <[exa]> (try adding `:: String`)
2021-05-10 19:38:12 +0200justTestjustBull
2021-05-10 19:38:40 +0200stree(~stree@68.36.8.116) (Ping timeout: 252 seconds)
2021-05-10 19:38:43 +0200marinelli(~marinelli@gateway/tor-sasl/marinelli) (Quit: marinelli)
2021-05-10 19:38:56 +0200dcompoze(~dcompoze@cpc97624-walt24-2-0-cust75.13-2.cable.virginm.net)
2021-05-10 19:39:13 +0200 <juri_> C style interpolation.
2021-05-10 19:39:54 +0200 <juri_> as in, don't put the quotes on the beginning and the end, and do interpolation for \n, \", etc.
2021-05-10 19:39:59 +0200dcompoze_(~dcompoze@5E98D6D9.static.tld.pl)
2021-05-10 19:40:29 +0200 <wz1000> juri_: putStrLn?
2021-05-10 19:41:00 +0200 <juri_> wz1000: perfect, thanks.
2021-05-10 19:41:08 +0200 <[exa]> juri_: ah that's more like "special characters" than interpolation I guess
2021-05-10 19:41:12 +0200Andriamanitra(~mikko@2a02:7b40:d418:6a61::1)
2021-05-10 19:41:25 +0200ixlun(~user@109.249.184.235) (Ping timeout: 252 seconds)
2021-05-10 19:42:14 +0200Shuppiluliuma(~shuppilul@153.33.68.161) (Ping timeout: 246 seconds)
2021-05-10 19:42:23 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-10 19:42:24 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2021-05-10 19:44:11 +0200dcompoze(~dcompoze@cpc97624-walt24-2-0-cust75.13-2.cable.virginm.net) (Ping timeout: 265 seconds)
2021-05-10 19:44:40 +0200daveanofficially_bad_p
2021-05-10 19:45:01 +0200officially_bad_pdavean
2021-05-10 19:45:33 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 240 seconds)
2021-05-10 19:46:12 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-10 19:46:17 +0200Kaiepi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-05-10 19:46:30 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-10 19:46:38 +0200Kaiepi(~Kaiepi@47.54.252.148)
2021-05-10 19:47:18 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-05-10 19:49:02 +0200elliott_(~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2021-05-10 19:49:43 +0200Lycurgus(~niemand@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt)
2021-05-10 19:49:59 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds)
2021-05-10 19:50:09 +0200elliott_(~elliott_@pool-108-18-30-46.washdc.fios.verizon.net)
2021-05-10 19:51:08 +0200superstar64(6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) (Quit: Connection closed)
2021-05-10 19:51:33 +0200stree(~stree@68.36.8.116)
2021-05-10 19:52:27 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-10 19:52:46 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-10 19:54:08 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 246 seconds)
2021-05-10 19:55:19 +0200ep1ctetus_(~epictetus@ip72-194-54-201.sb.sd.cox.net)
2021-05-10 19:55:34 +0200vicfred(~vicfred@unaffiliated/vicfred)
2021-05-10 19:58:49 +0200 <Andriamanitra> i'm reading through https://wiki.haskell.org/Exception and trying to understand how to handle exceptions thrown by the "read" function but i think i'm doing it all wrong because i keep getting errors https://paste.tomsmeding.com/55WK2UiV
2021-05-10 19:58:49 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-10 19:59:01 +0200epicte7us(~epictetus@64.44.80.28) (Ping timeout: 252 seconds)
2021-05-10 19:59:08 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-10 19:59:35 +0200 <Andriamanitra> the end goal is to throw a custom error when an invalid AnimalType is given, is this completely wrong approach?
2021-05-10 20:00:03 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-10 20:01:46 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-05-10 20:02:56 +0200urdh(~urdh@unaffiliated/urdh)
2021-05-10 20:03:20 +0200CrazyPython(~crazypyth@98.122.164.118)
2021-05-10 20:03:46 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2021-05-10 20:04:58 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds)
2021-05-10 20:05:27 +0200 <monochrom> In this case it is much much better to import Text.Read and use readMaybe.
2021-05-10 20:06:12 +0200sayola(~vekto@dslb-088-078-152-174.088.078.pools.vodafone-ip.de)
2021-05-10 20:06:36 +0200 <monochrom> Haskell's exception system works much better for I/O, but parsing is not I/O.
2021-05-10 20:06:51 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 260 seconds)
2021-05-10 20:07:33 +0200apache8080(~rishi@wsip-70-168-153-252.oc.oc.cox.net)
2021-05-10 20:07:42 +0200apache8080(~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Client Quit)
2021-05-10 20:08:03 +0200apache8080(~rishi@wsip-70-168-153-252.oc.oc.cox.net)
2021-05-10 20:08:50 +0200 <Andriamanitra> so anything like this isn't possible unless i import something?
2021-05-10 20:09:43 +0200jil(~user@45.86.162.6)
2021-05-10 20:09:50 +0200 <jil> hello
2021-05-10 20:10:22 +0200thongpv87(~thongpv87@27.76.236.94)
2021-05-10 20:11:18 +0200 <jil> How can I source the content of a .hs file from an org mode haskell code block in an emacs buffer ?
2021-05-10 20:11:32 +0200 <enikar> Andriamanitra: there is no problem with importing. As well Text.Read is in base (or at least with ghc).
2021-05-10 20:11:39 +0200 <monochrom> Huh, the exception system would need importing something, too.
2021-05-10 20:12:25 +0200 <Andriamanitra> i understand that if i have a function that returns "Maybe a" it's easy to pattern match but what if i only had access to function like read that just causes an exception? is there a way to make a function that wraps that exception and returns "Maybe a" instead?
2021-05-10 20:12:48 +0200 <geekosaur> there is but it's in a separate package and it's fugly
2021-05-10 20:12:58 +0200 <monochrom> Demand access to a function that gives you Maybe instead.
2021-05-10 20:12:59 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-10 20:13:15 +0200 <geekosaur> Text.Read.readMaybe is the right solution here
2021-05-10 20:13:21 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg)
2021-05-10 20:13:38 +0200khuldraeseth(~khuldraes@2600:6c48:647f:ea88:8c81:7883:e466:137b)
2021-05-10 20:14:12 +0200 <monochrom> What is the real question?
2021-05-10 20:14:21 +0200rj(~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-05-10 20:14:26 +0200enikarlikes the couple readMaybe/fromMaybe
2021-05-10 20:14:39 +0200 <Andriamanitra> i'm just trying to understand the exception system and how to use it
2021-05-10 20:14:51 +0200 <Andriamanitra> but it seems it's better to avoid it altogether?
2021-05-10 20:15:05 +0200 <Iceland_jack> Andriamanitra: You can reify an exception with 'try' (https://hackage.haskell.org/package/base-4.15.0.0/docs/Control-Exception.html#v:try)
2021-05-10 20:15:06 +0200 <monochrom> But parsing is a wrong example for learning the exception system.
2021-05-10 20:15:19 +0200 <monochrom> <monochrom> Haskell's exception system works much better for I/O, but parsing is not I/O.
2021-05-10 20:15:29 +0200 <enikar> the exception system is usefull when working in IO, for reading/writing files, for example.
2021-05-10 20:16:02 +0200 <ski> Andriamanitra : you could also use `reads' directly (which is exported by `Prelude'), but it's more convenient to use `readMaybe', if you don't intend to continue parsing any trailing remainder
2021-05-10 20:16:07 +0200 <Andriamanitra> i see, i think i got confused because read by default uses errors.. you'd expect standard library to follow conventions
2021-05-10 20:16:23 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed)
2021-05-10 20:16:33 +0200 <ski> Andriamanitra : is there a reason why you want to use `error' for possibly user input ?
2021-05-10 20:16:52 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-05-10 20:16:53 +0200 <monochrom> The standard library follows multiple conventions.
2021-05-10 20:17:07 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-10 20:17:28 +0200 <monochrom> Generally, any evolved-by-committee thing does.
2021-05-10 20:17:36 +0200 <Andriamanitra> ski: probably not but i'm doing an assignment and the spec says i should throw errors.. i guess the assignment is flawed
2021-05-10 20:17:39 +0200rajivr(uid269651@gateway/web/irccloud.com/x-jaamvvnjwwqairyx) (Quit: Connection closed for inactivity)
2021-05-10 20:17:41 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 240 seconds)
2021-05-10 20:17:45 +0200 <enikar> I experiment a little exception in pure code, but they should only be catch in IO. And exception thrown in pure code are ÂŤ imprecise Âť.
2021-05-10 20:18:07 +0200 <ski> Andriamanitra : does it require you to throw any particular error messages ?
2021-05-10 20:18:14 +0200 <Zemyla> You know, readMaybe doesn't necessarily protect against exceptions.
2021-05-10 20:18:15 +0200 <monochrom> Oh, for homework I would instruct students to throw errors and call it a day too.
2021-05-10 20:18:23 +0200 <Zemyla> > readMaybe "1 % 0" :: Maybe Rational
2021-05-10 20:18:25 +0200 <lambdabot> Just *Exception: Ratio has zero denominator
2021-05-10 20:18:33 +0200kupi(uid212005@gateway/web/irccloud.com/x-ovwhwsshlhgdvfva)
2021-05-10 20:18:46 +0200 <monochrom> At least when the error case is beside the point of the homework in question.
2021-05-10 20:18:46 +0200dpl_(~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds)
2021-05-10 20:19:08 +0200 <Andriamanitra> ski: yes, does that make a difference?
2021-05-10 20:19:30 +0200 <monochrom> What you will really learn in Haskell, at a meta level, is that we disbelieve in one-size-fits-all, unlike other cultures out there.
2021-05-10 20:19:52 +0200 <monochrom> If you're looking for "always use exception" or "never use exception" you will be disappointed.
2021-05-10 20:19:57 +0200hackagesimplexmq 0.3.1 - SimpleXMQ message broker https://hackage.haskell.org/package/simplexmq-0.3.1 (epoberezkin)
2021-05-10 20:20:18 +0200idhugo(~idhugo@80-62-116-231-mobile.dk.customer.tdc.net)
2021-05-10 20:20:27 +0200 <ski> Andriamanitra : if you're okay with any error aborting the program, if the user input is invalid, you could use `readIO str' (this has the advantage that it will give the error at the point this is executed, rather than later, when you try to look at the animal)
2021-05-10 20:20:45 +0200 <jil> Ok, Is the same syntax as if I were in ghci :load myfile.hs
2021-05-10 20:20:47 +0200 <Iceland_jack> Haskell's philosophy has evolved, we care about totality a lot more now
2021-05-10 20:20:51 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 260 seconds)
2021-05-10 20:21:08 +0200 <Zemyla> Which is why my read rational example is so galling to me.
2021-05-10 20:21:47 +0200 <Zemyla> I feel like read "1 % 0" should either return 1 :% 0 or fail to parse.
2021-05-10 20:22:03 +0200rj(~x@gateway/tor-sasl/rj)
2021-05-10 20:23:00 +0200 <enikar> instead, it doesn't fail to parse. It fails when evaluating `1 % 0`
2021-05-10 20:24:25 +0200 <Zemyla> See, that's the big problem. If it's going to return an error, it should fail to parse instead.
2021-05-10 20:24:33 +0200Aquazi(uid312403@gateway/web/irccloud.com/x-pkpihoadcsprmglz) (Quit: Connection closed for inactivity)
2021-05-10 20:24:37 +0200thongpv87(~thongpv87@27.76.236.94) (Remote host closed the connection)
2021-05-10 20:24:40 +0200 <monochrom> That is going to be the next great debate.
2021-05-10 20:24:55 +0200 <Zemyla> It can test for zero, because it has an Integral constraint.
2021-05-10 20:26:23 +0200Shuppiluliuma(~shuppilul@153.33.68.161)
2021-05-10 20:26:30 +0200RusAlex(~Chel@unaffiliated/rusalex)
2021-05-10 20:28:12 +0200waleee-cl(uid373333@gateway/web/irccloud.com/x-tgwozfrjgszjeomb)
2021-05-10 20:28:26 +0200 <ski> Andriamanitra : fwiw, the inclusion of `Other' seems dubious
2021-05-10 20:29:41 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-10 20:30:00 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-10 20:30:38 +0200gitgood(~gitgood@80-44-12-75.dynamic.dsl.as9105.com) (Remote host closed the connection)
2021-05-10 20:30:49 +0200 <Andriamanitra> ski: yeah i would agree, but that's just a minimal example of what i'm trying to do, not the actual assignment/code
2021-05-10 20:32:16 +0200 <ski> Andriamanitra : as pertains to `Read', generally i'd prefer `readMaybe' or `reads' (or `readsPrec') over `read', unless you feel confident that you're not going to pass invalid input to it, or, should that happen, you're okay with the computation aborting. however, even in this case, if applicable/reasonable, using `readIO' or `readLn' would usually be preferrable
2021-05-10 20:34:37 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-05-10 20:34:41 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2021-05-10 20:36:37 +0200ixlun(~user@109.249.184.235)
2021-05-10 20:36:54 +0200 <Andriamanitra> ski: ok thanks, i'll be using readMaybe instead from now on - although for this assignment i'm not allowed to import anything outside prelude so i ended up writing my own function to replace read altogether
2021-05-10 20:37:41 +0200RusAlex(~Chel@unaffiliated/rusalex) (Ping timeout: 240 seconds)
2021-05-10 20:38:07 +0200khuldraeseth(~khuldraes@2600:6c48:647f:ea88:8c81:7883:e466:137b) (Quit: Quit)
2021-05-10 20:39:10 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-05-10 20:39:29 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection)
2021-05-10 20:39:46 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-05-10 20:39:48 +0200RusAlex(~Chel@unaffiliated/rusalex)
2021-05-10 20:40:04 +0200sphalerite(~sphalerit@NixOS/user/lheckemann)
2021-05-10 20:43:07 +0200 <ski> readMaybe s0 = case [x | (x,s1) <- reads s0,("","") <- lex s1]
2021-05-10 20:43:21 +0200 <ski> [x] -> Just x
2021-05-10 20:43:22 +0200chimera(~chimera@168-182-134-95.pool.ukrtel.net)
2021-05-10 20:43:28 +0200 <ski> _ -> Nothing
2021-05-10 20:43:44 +0200 <ski> (er, add an ` of' at the end of the first line)
2021-05-10 20:44:13 +0200Jesin(~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2021-05-10 20:44:32 +0200ystael(~ystael@209.6.50.55) (Ping timeout: 246 seconds)
2021-05-10 20:45:15 +0200 <ski> Andriamanitra : ^ takes care of using `reads' for you, then checking that there's nothing (apart from whitespace) after what you parsed, also checking that you get a single definite parse result
2021-05-10 20:45:27 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-10 20:47:38 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-10 20:47:43 +0200 <Andriamanitra> ski: can you explain the `("","") <- lex s1` part?
2021-05-10 20:48:18 +0200 <Andriamanitra> looks like it's putting something into tuple of empty strings but that doesn't make sense
2021-05-10 20:48:26 +0200 <ski> > reads " 23 " :: [(Int,String)]
2021-05-10 20:48:28 +0200 <lambdabot> [(23," ")]
2021-05-10 20:48:36 +0200 <ski> > (reads :: ReadS Int) " 23 "
2021-05-10 20:48:37 +0200 <lambdabot> [(23," ")]
2021-05-10 20:48:57 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg)
2021-05-10 20:48:58 +0200 <ski> `reads' gives a list of pairs of parsed result, and remainder of input
2021-05-10 20:49:34 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood)
2021-05-10 20:49:54 +0200 <ski> so `s1' will be any remainder of the input `s0', after having parsed some initial prefix of it into the value `x'
2021-05-10 20:50:23 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-05-10 20:51:21 +0200 <ski> `lex' parses a single (Haskell) token from a string (also giving back remainder of input, just like `reads'). as a special case, if there is no more tokens (so it's only whitespace, including when the remainder is empty), `lex' will give back `("","")' ("empty token with empty remainder") as result
2021-05-10 20:51:31 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-05-10 20:51:53 +0200 <ski> so, we're using `("","") <- lex s1' here to check that there's nothing more in the remainder, except possibly whitespace
2021-05-10 20:52:18 +0200 <ski> > (reads :: ReadS Int) " 23 abc 7 "
2021-05-10 20:52:20 +0200 <lambdabot> [(23," abc 7 ")]
2021-05-10 20:52:54 +0200landonf(landonf@mac68k.info) (Excess Flood)
2021-05-10 20:52:55 +0200 <Andriamanitra> ah i see, so that's like pattern matching the result of "lex s1", and the reason lex is needed is that s1=="" wouldn't allow trailing whitespace?
2021-05-10 20:53:08 +0200 <ski> yes
2021-05-10 20:53:08 +0200landonf(landonf@mac68k.info)
2021-05-10 20:53:18 +0200carlomagno1(~cararell@148.87.23.12) (Remote host closed the connection)
2021-05-10 20:53:18 +0200coot(~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl)
2021-05-10 20:53:24 +0200 <Andriamanitra> thanks for the explanation
2021-05-10 20:53:27 +0200carlomagno(~cararell@148.87.23.12)
2021-05-10 20:53:37 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-10 20:53:57 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-10 20:53:59 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 246 seconds)
2021-05-10 20:54:34 +0200idhugo(~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Ping timeout: 252 seconds)
2021-05-10 20:54:52 +0200 <ski> (of course, perhaps you'd prefer not allowing trailing whitespace as well. but `reads' already does support initial whitespace, so it seems reasonable to support trailing here, for a function like `readMaybe' that's intended to be used on the "top-level" of parsing, not as a component of further parsing)
2021-05-10 20:56:07 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-10 20:56:17 +0200Kaiepi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-05-10 20:56:37 +0200Kaiepi(~Kaiepi@47.54.252.148)
2021-05-10 20:57:59 +0200 <ski> (`reads' itself, otoh, is intended to be possible to "chain" with other uses of `reads' (or `readsPrec'), e.g. if making an instance of `Read' by hand (something which only rarely is a reasonable thing to do) -- and therefore it would seem useless for `reads' itself to eat trailing whitespace, since the next `reads' will consume it anyway ..)
2021-05-10 20:59:33 +0200rj(~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-05-10 20:59:51 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-10 21:00:18 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood)
2021-05-10 21:00:50 +0200dpl_(~dpl@77-121-78-163.chn.volia.net)
2021-05-10 21:01:37 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-05-10 21:01:57 +0200hackageio-streams 1.5.2.1 - Simple, composable, and easy-to-use stream I/O https://hackage.haskell.org/package/io-streams-1.5.2.1 (DougBeardsley)
2021-05-10 21:02:00 +0200carlomagno1(~cararell@148.87.23.12)
2021-05-10 21:02:17 +0200tomboy64(~tomboy64@gateway/tor-sasl/tomboy64) (Remote host closed the connection)
2021-05-10 21:02:38 +0200ystael(~ystael@60.sub-174-242-64.myvzw.com)
2021-05-10 21:03:32 +0200gitgood(~gitgood@80-44-12-75.dynamic.dsl.as9105.com)
2021-05-10 21:03:37 +0200tomboy64(~tomboy64@gateway/tor-sasl/tomboy64)
2021-05-10 21:04:08 +0200carlomagno(~cararell@148.87.23.12) (Ping timeout: 246 seconds)
2021-05-10 21:07:22 +0200rj(~x@gateway/tor-sasl/rj)
2021-05-10 21:07:39 +0200danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds)
2021-05-10 21:08:12 +0200mouseghost(~draco@87-206-9-185.dynamic.chello.pl)
2021-05-10 21:08:13 +0200mouseghost(~draco@87-206-9-185.dynamic.chello.pl) (Changing host)
2021-05-10 21:08:13 +0200mouseghost(~draco@wikipedia/desperek)
2021-05-10 21:10:59 +0200howdoi(uid224@gateway/web/irccloud.com/x-myfgsmhxtksfsmql)
2021-05-10 21:14:15 +0200dcompoze(~dcompoze@cpc97624-walt24-2-0-cust75.13-2.cable.virginm.net)
2021-05-10 21:15:41 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2021-05-10 21:15:58 +0200pavonia(~user@unaffiliated/siracusa)
2021-05-10 21:16:31 +0200carlomagno1(~cararell@148.87.23.12) (Remote host closed the connection)
2021-05-10 21:16:39 +0200carlomagno(~cararell@148.87.23.12)
2021-05-10 21:16:59 +0200Pickchea(~private@unaffiliated/pickchea)
2021-05-10 21:17:29 +0200dcompoze_(~dcompoze@5E98D6D9.static.tld.pl) (Ping timeout: 260 seconds)
2021-05-10 21:18:53 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-10 21:20:55 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-05-10 21:22:27 +0200hackageunicode-tricks 0.9.1.0 - Functions to work with unicode blocks more convenient. https://hackage.haskell.org/package/unicode-tricks-0.9.1.0 (wvanonsem90)
2021-05-10 21:24:45 +0200mikoto-chan(~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds)
2021-05-10 21:24:55 +0200hiroaki(~hiroaki@2a02:8108:8c40:2bb8:3975:4704:86d0:93dc) (Ping timeout: 260 seconds)
2021-05-10 21:25:25 +0200apache8080(~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 260 seconds)
2021-05-10 21:26:26 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-10 21:26:44 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-10 21:26:48 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg)
2021-05-10 21:27:38 +0200CrazyPython(~crazypyth@98.122.164.118) (Read error: Connection reset by peer)
2021-05-10 21:29:30 +0200Pickchea(~private@unaffiliated/pickchea) (Quit: Leaving)
2021-05-10 21:31:06 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 240 seconds)
2021-05-10 21:31:28 +0200jao(~jao@pdpc/supporter/professional/jao)
2021-05-10 21:32:08 +0200Shuppiluliuma(~shuppilul@153.33.68.161) (Ping timeout: 246 seconds)
2021-05-10 21:32:52 +0200finn_elija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection)
2021-05-10 21:33:30 +0200finn_elija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-05-10 21:36:18 +0200usr25(~J@71.red-83-50-211.dynamicip.rima-tde.net)
2021-05-10 21:36:41 +0200poljar(~poljar@78-3-21-158.adsl.net.t-com.hr)
2021-05-10 21:37:58 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-10 21:39:37 +0200poljar1(~poljar@93-143-164-44.adsl.net.t-com.hr) (Ping timeout: 268 seconds)
2021-05-10 21:40:07 +0200kuribas(~user@ptr-25vy0i925fk04q1dztp.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2021-05-10 21:40:36 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg)
2021-05-10 21:40:57 +0200phaul(~phaul@ruby/staff/phaul)
2021-05-10 21:43:25 +0200frozenErebus(~frozenEre@37.231.244.249) (Quit: leaving)
2021-05-10 21:43:33 +0200rj(~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-05-10 21:43:43 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-05-10 21:45:04 +0200nineonine(~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) (Remote host closed the connection)
2021-05-10 21:45:30 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-10 21:45:42 +0200nineonine(~nineonine@50.216.62.2)
2021-05-10 21:45:48 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2021-05-10 21:45:49 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-10 21:47:23 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-05-10 21:48:46 +0200rj(~x@gateway/tor-sasl/rj)
2021-05-10 21:50:20 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds)
2021-05-10 21:52:06 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2021-05-10 21:53:13 +0200mikoto-chan(~mikoto-ch@gateway/tor-sasl/mikoto-chan)
2021-05-10 21:54:15 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-05-10 21:54:16 +0200ystael(~ystael@60.sub-174-242-64.myvzw.com) (Read error: Connection reset by peer)
2021-05-10 21:55:39 +0200minoru_shiraeesh(~shiraeesh@109.166.58.80)
2021-05-10 21:57:26 +0200m_shiraeeshi(~shiraeesh@46.34.206.81) (Ping timeout: 240 seconds)
2021-05-10 21:59:11 +0200stree(~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-05-10 22:01:01 +0200_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-05-10 22:01:29 +0200kenran(~kenran@mue-88-130-62-246.dsl.tropolys.de)
2021-05-10 22:02:11 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-10 22:03:11 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed)
2021-05-10 22:03:42 +0200Shuppiluliuma(~shuppilul@153.33.68.161)
2021-05-10 22:04:41 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 240 seconds)
2021-05-10 22:05:33 +0200petersen(~petersen@redhat/juhp) (Ping timeout: 260 seconds)
2021-05-10 22:05:48 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2021-05-10 22:07:20 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-05-10 22:08:50 +0200eacameron(uid256985@gateway/web/irccloud.com/x-ysloaedovjwjllrg)
2021-05-10 22:08:51 +0200petersen(~petersen@redhat/juhp)
2021-05-10 22:09:34 +0200xff0x(~xff0x@2001:1a81:53c1:c00:be46:b01b:ca6b:895e) (Ping timeout: 245 seconds)
2021-05-10 22:10:22 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg)
2021-05-10 22:10:28 +0200xff0x(~xff0x@2001:1a81:53c1:c00:d3cf:b4c5:fad:7731)
2021-05-10 22:12:53 +0200stree(~stree@68.36.8.116)
2021-05-10 22:14:41 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 240 seconds)
2021-05-10 22:16:46 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-05-10 22:17:44 +0200hexfive(~hexfive@50.35.83.177)
2021-05-10 22:20:18 +0200acidjnk_new2(~acidjnk@p200300d0c72b9550dd7ca825465ad778.dip0.t-ipconnect.de)
2021-05-10 22:21:20 +0200juuandyy(~juuandyy@90.106.228.121) (Quit: Konversation terminated!)
2021-05-10 22:21:44 +0200kritzefitz(~kritzefit@212.86.56.80) (Remote host closed the connection)
2021-05-10 22:23:33 +0200nut(~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-05-10 22:24:37 +0200 <nut> is there a cabal command to list all flags inside a package?
2021-05-10 22:25:28 +0200Neuromancer(~Neuromanc@unaffiliated/neuromancer)
2021-05-10 22:26:21 +0200rj(~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-05-10 22:31:50 +0200coot(~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-05-10 22:31:50 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-10 22:32:49 +0200Katarushisu7(~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net)
2021-05-10 22:33:02 +0200Katarushisu(~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) (Ping timeout: 246 seconds)
2021-05-10 22:33:03 +0200Katarushisu7Katarushisu
2021-05-10 22:33:59 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-05-10 22:34:48 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds)
2021-05-10 22:35:04 +0200mupf(~micha@v22017094964653601.ultrasrv.de) (Quit: WeeChat 3.0)
2021-05-10 22:35:13 +0200 <Uniaika> nut: cat *.cabal
2021-05-10 22:35:50 +0200mupf(~micha@v22017094964653601.ultrasrv.de)
2021-05-10 22:36:39 +0200 <nut> i'll use grep flag *.cabal :) thx
2021-05-10 22:37:31 +0200rj(~x@gateway/tor-sasl/rj)
2021-05-10 22:38:52 +0200dcompoze(~dcompoze@cpc97624-walt24-2-0-cust75.13-2.cable.virginm.net) (Quit: WeeChat 3.1)
2021-05-10 22:43:19 +0200Jesin(~Jesin@pool-72-66-101-18.washdc.fios.verizon.net)
2021-05-10 22:44:12 +0200rodriga(~quassel@134.204.25.66) (Ping timeout: 240 seconds)
2021-05-10 22:45:57 +0200LKoen(~LKoen@156.168.9.109.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-05-10 22:46:41 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:692a:95b:a9cd:2f9) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-10 22:47:20 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg)
2021-05-10 22:47:44 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-10 22:49:34 +0200Athas(athas@sigkill.dk) (Quit: ZNC - http://znc.sourceforge.net)
2021-05-10 22:51:09 +0200malumore(~malumore@151.62.127.121) (Ping timeout: 268 seconds)
2021-05-10 22:53:32 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 240 seconds)
2021-05-10 22:53:40 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-10 22:54:59 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg)
2021-05-10 22:56:50 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed)
2021-05-10 22:58:32 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-10 23:00:47 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-05-10 23:01:14 +0200apache8080(~rishi@wsip-70-168-153-252.oc.oc.cox.net)
2021-05-10 23:01:41 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-05-10 23:01:44 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-05-10 23:02:26 +0200urdh(~urdh@unaffiliated/urdh) (Ping timeout: 240 seconds)
2021-05-10 23:04:52 +0200Daneel_Olivaw150(~HariSeldo@2a03:4b80:b716:2570:fa59:71ff:fe52:9a18)
2021-05-10 23:08:33 +0200usr25(~J@71.red-83-50-211.dynamicip.rima-tde.net) (Ping timeout: 240 seconds)
2021-05-10 23:10:24 +0200gienah_(~mwright@119-18-0-161.771200.syd.nbn.aussiebb.net)
2021-05-10 23:11:57 +0200rj(~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds)
2021-05-10 23:13:13 +0200falafel(~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com)
2021-05-10 23:13:21 +0200roconnor(~roconnor@host-23-91-186-24.dyn.295.ca) (Ping timeout: 268 seconds)
2021-05-10 23:13:57 +0200gienah(~mwright@gentoo/developer/gienah) (Ping timeout: 265 seconds)
2021-05-10 23:15:09 +0200roconnor(~roconnor@host-23-91-186-24.dyn.295.ca)
2021-05-10 23:17:49 +0200rj(~x@gateway/tor-sasl/rj)
2021-05-10 23:18:28 +0200ixlun(~user@109.249.184.235) (Read error: Connection reset by peer)
2021-05-10 23:19:37 +0200ixlun(~user@109.249.184.235)
2021-05-10 23:21:17 +0200gienah(~mwright@gentoo/developer/gienah)
2021-05-10 23:21:46 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-05-10 23:21:56 +0200Athas(athas@2a01:7c8:aaac:1cf:2394:476b:619f:8554)
2021-05-10 23:23:50 +0200__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2021-05-10 23:24:08 +0200gienah_(~mwright@119-18-0-161.771200.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds)
2021-05-10 23:24:10 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 276 seconds)
2021-05-10 23:24:11 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-10 23:24:43 +0200apache8080(~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 252 seconds)
2021-05-10 23:24:53 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-10 23:30:39 +0200ystael(~ystael@209.6.50.55)
2021-05-10 23:30:44 +0200nut(~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds)
2021-05-10 23:33:35 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 246 seconds)
2021-05-10 23:34:31 +0200cdsmith(~cdsmithus@c-73-207-21-162.hsd1.ga.comcast.net) (Remote host closed the connection)
2021-05-10 23:34:56 +0200cdsmith(~cdsmithus@c-73-207-21-162.hsd1.ga.comcast.net)
2021-05-10 23:35:11 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser)
2021-05-10 23:35:30 +0200proofofkeags(~proofofke@205.209.28.54) (Ping timeout: 252 seconds)
2021-05-10 23:35:41 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-10 23:35:52 +0200kenran(~kenran@mue-88-130-62-246.dsl.tropolys.de) (Quit: leaving)
2021-05-10 23:36:25 +0200fendor(~fendor@91.141.0.25.wireless.dyn.drei.com) (Remote host closed the connection)
2021-05-10 23:36:47 +0200mounty(~mounty@236.216.214.218.sta.wbroadband.net.au)
2021-05-10 23:37:54 +0200mikoto-chan(~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection)
2021-05-10 23:38:13 +0200nut(~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-05-10 23:39:28 +0200mikoto-chan(~mikoto-ch@gateway/tor-sasl/mikoto-chan)
2021-05-10 23:41:24 +0200sheepduck(~sheepduck@2607:fea8:2a62:9600::5ac6)
2021-05-10 23:42:35 +0200Guest95727(~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d) (Ping timeout: 260 seconds)
2021-05-10 23:44:58 +0200falafel(~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) (Ping timeout: 276 seconds)
2021-05-10 23:46:26 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-10 23:49:20 +0200sheepduck(~sheepduck@2607:fea8:2a62:9600::5ac6) (Remote host closed the connection)
2021-05-10 23:49:33 +0200tomboy64(~tomboy64@gateway/tor-sasl/tomboy64) (Ping timeout: 240 seconds)
2021-05-10 23:49:33 +0200andreas303(~andreas@gateway/tor-sasl/andreas303) (Ping timeout: 240 seconds)
2021-05-10 23:50:36 +0200andreas303(~andreas@gateway/tor-sasl/andreas303)
2021-05-10 23:50:37 +0200tomboy64(~tomboy64@gateway/tor-sasl/tomboy64)
2021-05-10 23:50:44 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds)
2021-05-10 23:51:27 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-10 23:52:09 +0200sheepduck(~sheepduck@2607:fea8:2a62:9600::5ac6)
2021-05-10 23:52:35 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-05-10 23:54:27 +0200hackagerealworldhaskell 0.0.1.0 - The Real World Haskell Book https://hackage.haskell.org/package/realworldhaskell-0.0.1.0 (aniketd)
2021-05-10 23:55:19 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-05-10 23:56:20 +0200Lowl3v3l(~Lowl3v3l@dslb-002-203-255-063.002.203.pools.vodafone-ip.de) (Remote host closed the connection)
2021-05-10 23:57:51 +0200elliott_(~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 260 seconds)