2021-05-10 00:04:34 +0200 | Rudd0 | (~Rudd0@185.189.115.108) |
2021-05-10 00:04:51 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 265 seconds) |
2021-05-10 00:09:20 +0200 | rond_ | (5940206b@89-64-32-107.dynamic.chello.pl) (Quit: Connection closed) |
2021-05-10 00:15:35 +0200 | howdoi | (uid224@gateway/web/irccloud.com/x-laxwxrhojyoowvvz) |
2021-05-10 00:17:24 +0200 | jgt_ | (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 252 seconds) |
2021-05-10 00:18:24 +0200 | ixlun | (~matthew@109.249.184.235) (Read error: Connection reset by peer) |
2021-05-10 00:19:17 +0200 | dcoutts_ | (~duncan@94.186.125.91.dyn.plus.net) |
2021-05-10 00:22:31 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
2021-05-10 00:22:52 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-10 00:24:22 +0200 | safe | (~safe@unaffiliated/safe) |
2021-05-10 00:25:51 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
2021-05-10 00:27:33 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
2021-05-10 00:30:12 +0200 | Guest87676 | (~laudiacay@67.176.215.84) |
2021-05-10 00:30:14 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-05-10 00:30:41 +0200 | undvrainbowvita8 | (~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 +0200 | jao | (~jao@pdpc/supporter/professional/jao) (Remote host closed the connection) |
2021-05-10 00:32:24 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-10 00:34:49 +0200 | Guest87676 | (~laudiacay@67.176.215.84) (Ping timeout: 265 seconds) |
2021-05-10 00:35:25 +0200 | Lowl3v3l | (~Lowl3v3l@dslb-002-203-255-063.002.203.pools.vodafone-ip.de) (Remote host closed the connection) |
2021-05-10 00:37:22 +0200 | slaterr | (~bc817c21@1582020-static.lxtnkya3.metronetinc.net) (Quit: CGI:IRC (Session timeout)) |
2021-05-10 00:40:10 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
2021-05-10 00:40:42 +0200 | nullniverse | (~null@unaffiliated/nullniverse) |
2021-05-10 00:41:49 +0200 | DavidEichmann | (~david@156.59.147.147.dyn.plus.net) (Ping timeout: 252 seconds) |
2021-05-10 00:42:04 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 265 seconds) |
2021-05-10 00:43:02 +0200 | nullniv38 | (~null@unaffiliated/nullniverse) (Ping timeout: 265 seconds) |
2021-05-10 00:43:48 +0200 | heebo | (~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 +0200 | machinedgod | (~machinedg@24.105.81.50) |
2021-05-10 00:48:59 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
2021-05-10 00:51:33 +0200 | jao | (~jao@pdpc/supporter/professional/jao) |
2021-05-10 00:51:52 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
2021-05-10 00:54:24 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-05-10 00:56:20 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection) |
2021-05-10 00:56:22 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
2021-05-10 00:57:00 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
2021-05-10 00:58:19 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) (Ping timeout: 245 seconds) |
2021-05-10 01:01:22 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds) |
2021-05-10 01:01:25 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 250 seconds) |
2021-05-10 01:02:33 +0200 | jul1u5 | (~julius@85.206.103.207) |
2021-05-10 01:04:20 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
2021-05-10 01:04:29 +0200 | stree | (~stree@68.36.8.116) |
2021-05-10 01:07:04 +0200 | wroathe | (~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 +0200 | arkho | (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) (Remote host closed the connection) |
2021-05-10 01:09:52 +0200 | arkho | (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) |
2021-05-10 01:10:57 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
2021-05-10 01:14:18 +0200 | usr25 | (~usr25@unaffiliated/usr25) (Quit: Leaving) |
2021-05-10 01:15:28 +0200 | ddere | (uid110888@gateway/web/irccloud.com/x-rqwfdfncjcxqtnku) |
2021-05-10 01:16:31 +0200 | CrazyPython | (~crazypyth@98.122.164.118) |
2021-05-10 01:17:00 +0200 | Synthetica | (uid199651@gateway/web/irccloud.com/x-ekuqsqzasggslgwf) (Quit: Connection closed for inactivity) |
2021-05-10 01:17:43 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
2021-05-10 01:18:02 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-10 01:18:42 +0200 | nineonine | (~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 +0200 | proofofkeags | (~proofofke@97-118-239-55.hlrn.qwest.net) |
2021-05-10 01:23:09 +0200 | royal_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 +0200 | delimax | (max@gateway/vpn/protonvpn/delimax) |
2021-05-10 01:31:28 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2021-05-10 01:34:23 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-05-10 01:39:02 +0200 | Deide | (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
2021-05-10 01:39:49 +0200 | finn_elija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection) |
2021-05-10 01:40:32 +0200 | delimax | (max@gateway/vpn/protonvpn/delimax) (Quit: leaving) |
2021-05-10 01:43:35 +0200 | finn_elija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
2021-05-10 01:43:50 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
2021-05-10 01:45:29 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
2021-05-10 01:53:11 +0200 | undvrainbowvita8 | (~egp_@128-71-13-3.broadband.corbina.ru) |
2021-05-10 01:55:01 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
2021-05-10 01:55:20 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) |
2021-05-10 01:57:48 +0200 | whataday | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2021-05-10 01:58:55 +0200 | whataday | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2021-05-10 02:00:10 +0200 | atk | (~Arch-TK@ircpuzzles/staff/Arch-TK) (Quit: Well this is unexpected.) |
2021-05-10 02:00:32 +0200 | atk | (~Arch-TK@ircpuzzles/staff/Arch-TK) |
2021-05-10 02:00:49 +0200 | whataday | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2021-05-10 02:01:15 +0200 | falafel | (~falafel@2603-8001-ca00-f555-ad07-6107-3aca-0799.res6.spectrum.com) |
2021-05-10 02:01:55 +0200 | whataday | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2021-05-10 02:02:09 +0200 | ambiso99211 | (~ambiso@209.182.239.205) (Quit: Ping timeout (120 seconds)) |
2021-05-10 02:03:02 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-10 02:03:14 +0200 | ambiso99211 | (~ambiso@209.182.239.205) |
2021-05-10 02:04:19 +0200 | acidjnk_new2 | (~acidjnk@p200300d0c72b954961c97aa4238b8f7b.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
2021-05-10 02:06:48 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Remote host closed the connection) |
2021-05-10 02:10:15 +0200 | chimera | (~chimera@168-182-134-95.pool.ukrtel.net) (Quit: Konversation terminated!) |
2021-05-10 02:11:50 +0200 | arkeet | (~arkeet@moriya.ca) |
2021-05-10 02:13:26 +0200 | jgt_ | (~jgt@92-247-237-116.spectrumnet.bg) |
2021-05-10 02:15:00 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
2021-05-10 02:15:44 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 246 seconds) |
2021-05-10 02:17:24 +0200 | EvilMagix | (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
2021-05-10 02:17:58 +0200 | pthariensflame | (~pthariens@2600:6c52:727f:4200:345a:6e10:866d:3662) |
2021-05-10 02:18:02 +0200 | jgt_ | (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 252 seconds) |
2021-05-10 02:19:13 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
2021-05-10 02:19:28 +0200 | pthariensflame | (~pthariens@2600:6c52:727f:4200:345a:6e10:866d:3662) (Client Quit) |
2021-05-10 02:20:58 +0200 | m0rphism | (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 252 seconds) |
2021-05-10 02:23:16 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Quit: WeeChat 3.1) |
2021-05-10 02:24:07 +0200 | bennofs__ | (~quassel@dynamic-078-055-001-072.78.55.pool.telefonica.de) (Ping timeout: 252 seconds) |
2021-05-10 02:24:19 +0200 | bennofs_ | (~quassel@x4db709cf.dyn.telefonica.de) |
2021-05-10 02:24:25 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
2021-05-10 02:25:13 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7) |
2021-05-10 02:26:32 +0200 | huzaifash | (~huzaifash@2401:4900:1af8:2fdf:1:2:9915:7399) |
2021-05-10 02:28:41 +0200 | huzaifash | (~huzaifash@2401:4900:1af8:2fdf:1:2:9915:7399) (Quit: CoreIRC for Android - www.coreirc.com) |
2021-05-10 02:31:43 +0200 | sheepduck | (~sheepduck@2607:fea8:2a62:9600::5ac6) (Remote host closed the connection) |
2021-05-10 02:33:34 +0200 | kierra | (~kierra@195.140.213.38) (Remote host closed the connection) |
2021-05-10 02:34:26 +0200 | sheepduck | (~sheepduck@2607:fea8:2a62:9600::5ac6) |
2021-05-10 02:39:31 +0200 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 265 seconds) |
2021-05-10 02:41:39 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
2021-05-10 02:41:58 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-10 02:45:50 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 246 seconds) |
2021-05-10 02:46:38 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds) |
2021-05-10 02:47:02 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds) |
2021-05-10 02:54:14 +0200 | nullniverse | (~null@unaffiliated/nullniverse) (Read error: Connection reset by peer) |
2021-05-10 02:54:16 +0200 | CrazyPython | (~crazypyth@98.122.164.118) (Read error: Connection reset by peer) |
2021-05-10 02:54:39 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
2021-05-10 02:54:46 +0200 | nullniverse | (~null@unaffiliated/nullniverse) |
2021-05-10 02:54:48 +0200 | CrazyPyt_ | (~crazypyth@98.122.164.118) |
2021-05-10 03:00:55 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-05-10 03:05:03 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
2021-05-10 03:07:18 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
2021-05-10 03:07:29 +0200 | xff0x | (~xff0x@2001:1a81:5389:3400:2b01:e41a:6d1e:863a) (Ping timeout: 245 seconds) |
2021-05-10 03:09:32 +0200 | xff0x | (~xff0x@2001:1a81:53c1:c00:52cf:4e:85e5:b0c5) |
2021-05-10 03:10:30 +0200 | sszark | (~sszark@h-213-180.A392.priv.bahnhof.se) (Quit: WeeChat 3.1) |
2021-05-10 03:12:42 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 268 seconds) |
2021-05-10 03:12:49 +0200 | whataday | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2021-05-10 03:13:47 +0200 | sheepduck | (~sheepduck@2607:fea8:2a62:9600::5ac6) (Remote host closed the connection) |
2021-05-10 03:13:56 +0200 | whataday | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2021-05-10 03:14:56 +0200 | Somf1c | (~Somf1c@modemcable159.116-21-96.mc.videotron.ca) (Remote host closed the connection) |
2021-05-10 03:15:48 +0200 | thongpv87 | (~thongpv87@27.76.236.94) (Remote host closed the connection) |
2021-05-10 03:19:10 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-10 03:21:41 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds) |
2021-05-10 03:23:46 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
2021-05-10 03:25:34 +0200 | stree | (~stree@68.36.8.116) |
2021-05-10 03:29:08 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection) |
2021-05-10 03:30:18 +0200 | jul1u5 | (~julius@85.206.103.207) (Remote host closed the connection) |
2021-05-10 03:34:10 +0200 | kupi | (uid212005@gateway/web/irccloud.com/x-lrhowubsvaodihlk) (Quit: Connection closed for inactivity) |
2021-05-10 03:34:41 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2021-05-10 03:35:27 +0200 | hackage | stackcollapse-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 +0200 | HarveyPwca | (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Quit: Leaving) |
2021-05-10 03:42:56 +0200 | drbean_ | (~drbean@TC210-63-209-65.static.apol.com.tw) |
2021-05-10 03:45:26 +0200 | josef641 | (~josef64@195.140.213.38) |
2021-05-10 03:46:10 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
2021-05-10 03:47:43 +0200 | heebo | (~user@cpc97956-croy24-2-0-cust20.19-2.cable.virginm.net) (Ping timeout: 252 seconds) |
2021-05-10 03:50:25 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 250 seconds) |
2021-05-10 03:52:06 +0200 | Neuromancer | (~Neuromanc@unaffiliated/neuromancer) (Ping timeout: 260 seconds) |
2021-05-10 03:56:02 +0200 | dpl_ | (~dpl@77-121-78-163.chn.volia.net) |
2021-05-10 03:56:20 +0200 | falafel | (~falafel@2603-8001-ca00-f555-ad07-6107-3aca-0799.res6.spectrum.com) (Remote host closed the connection) |
2021-05-10 03:58:57 +0200 | dpl | (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 268 seconds) |
2021-05-10 03:59:54 +0200 | urodna | (~urodna@unaffiliated/urodna) (Quit: urodna) |
2021-05-10 04:01:37 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
2021-05-10 04:01:38 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7) (Quit: My MacBook has gone to sleep. ZZZzzzâŚ) |
2021-05-10 04:03:30 +0200 | vicfred_ | (~vicfred@unaffiliated/vicfred) |
2021-05-10 04:05:50 +0200 | vicfred | (vicfred@gateway/vpn/mullvad/vicfred) (Ping timeout: 252 seconds) |
2021-05-10 04:07:24 +0200 | CrazyPyt_ | (~crazypyth@98.122.164.118) (Read error: Connection reset by peer) |
2021-05-10 04:09:17 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection) |
2021-05-10 04:09:52 +0200 | vicfred_ | (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
2021-05-10 04:15:15 +0200 | viluon | (uid453725@gateway/web/irccloud.com/x-znzzchzkdvsvanxc) (Quit: Connection closed for inactivity) |
2021-05-10 04:19:59 +0200 | theDon | (~td@muedsl-82-207-238-217.citykom.de) (Ping timeout: 246 seconds) |
2021-05-10 04:21:06 +0200 | mrchampion | (~mrchampio@38.18.109.23) (Read error: Connection reset by peer) |
2021-05-10 04:22:06 +0200 | theDon | (~td@muedsl-82-207-238-124.citykom.de) |
2021-05-10 04:23:32 +0200 | fivebox | (x@unaffiliated/fivebox) |
2021-05-10 04:24:23 +0200 | mrchampion | (~mrchampio@38.18.109.23) |
2021-05-10 04:24:57 +0200 | hackage | pinned-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 +0200 | gentauro | (~gentauro@unaffiliated/gentauro) (Ping timeout: 246 seconds) |
2021-05-10 04:28:22 +0200 | FinnElija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
2021-05-10 04:28:22 +0200 | finn_elija | Guest83 |
2021-05-10 04:28:22 +0200 | FinnElija | finn_elija |
2021-05-10 04:29:46 +0200 | dpl_ | (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds) |
2021-05-10 04:31:02 +0200 | Codaraxis_ | (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
2021-05-10 04:31:09 +0200 | Guest83 | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
2021-05-10 04:33:15 +0200 | gentauro | (~gentauro@unaffiliated/gentauro) |
2021-05-10 04:34:13 +0200 | Codaraxis | (Codaraxis@gateway/vpn/mullvad/codaraxis) (Ping timeout: 240 seconds) |
2021-05-10 04:44:41 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
2021-05-10 04:48:11 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-10 04:51:37 +0200 | mozzarella | (~sam@unaffiliated/sam113101) (Read error: Connection reset by peer) |
2021-05-10 04:52:02 +0200 | rajivr | (uid269651@gateway/web/irccloud.com/x-jaamvvnjwwqairyx) |
2021-05-10 04:52:23 +0200 | mozzarella | (~sam@unaffiliated/sam113101) |
2021-05-10 04:52:53 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
2021-05-10 04:54:51 +0200 | howdoi | (uid224@gateway/web/irccloud.com/x-laxwxrhojyoowvvz) (Quit: Connection closed for inactivity) |
2021-05-10 05:00:00 +0200 | Taneb | (~Taneb@runciman.hacksoc.org) (Quit: I seem to have stopped.) |
2021-05-10 05:01:23 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
2021-05-10 05:01:38 +0200 | Taneb | (~Taneb@runciman.hacksoc.org) |
2021-05-10 05:08:01 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
2021-05-10 05:08:49 +0200 | gnumonic | (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
2021-05-10 05:09:41 +0200 | e2 | (e2@sponsored.by.bnc4you.xyz) (Ping timeout: 240 seconds) |
2021-05-10 05:11:28 +0200 | xcmw | (~textual@128-092-110-163.biz.spectrum.com) |
2021-05-10 05:14:53 +0200 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-egfomvrlifzxdzqz) |
2021-05-10 05:16:37 +0200 | wei2912 | (~wei2912@unaffiliated/wei2912) |
2021-05-10 05:17:06 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
2021-05-10 05:21:49 +0200 | seven_three | (~user@pool-96-233-64-53.bstnma.fios.verizon.net) |
2021-05-10 05:24:31 +0200 | seven_three | (~user@pool-96-233-64-53.bstnma.fios.verizon.net) () |
2021-05-10 05:29:45 +0200 | blacklinux | (~blacklinu@131.255.56.62) |
2021-05-10 05:30:23 +0200 | blacklinux | (~blacklinu@131.255.56.62) (Remote host closed the connection) |
2021-05-10 05:31:34 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-05-10 05:33:01 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
2021-05-10 05:33:55 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 268 seconds) |
2021-05-10 05:34:11 +0200 | fdjfdjkg | (d4f1106c@gateway/web/cgi-irc/kiwiirc.com/ip.212.241.16.108) |
2021-05-10 05:34:30 +0200 | hgolden | (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) (Remote host closed the connection) |
2021-05-10 05:38:07 +0200 | fdjfdjkg | (d4f1106c@gateway/web/cgi-irc/kiwiirc.com/ip.212.241.16.108) (Quit: Connection closed) |
2021-05-10 05:39:29 +0200 | falafel | (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) |
2021-05-10 05:40:16 +0200 | xkapastel | (uid17782@gateway/web/irccloud.com/x-fzaqsjhbxqzhfzhw) (Quit: Connection closed for inactivity) |
2021-05-10 05:43:01 +0200 | fivebox | (x@unaffiliated/fivebox) (Remote host closed the connection) |
2021-05-10 05:46:34 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 265 seconds) |
2021-05-10 05:46:42 +0200 | stree | (~stree@68.36.8.116) |
2021-05-10 05:51:14 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2021-05-10 05:52:59 +0200 | plutoniix | (~q@ppp-58-8-175-2.revip2.asianet.co.th) |
2021-05-10 05:56:02 +0200 | Guest_93 | (6cb97887@cpe-108-185-120-135.socal.res.rr.com) |
2021-05-10 05:56:15 +0200 | nullniverse | (~null@unaffiliated/nullniverse) (Remote host closed the connection) |
2021-05-10 05:56:32 +0200 | alx741 | (~alx741@186.178.108.184) (Quit: alx741) |
2021-05-10 05:57:06 +0200 | jump | (~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 +0200 | falafel | (~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 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7) |
2021-05-10 06:05:26 +0200 | merijn | (~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 +0200 | xcmw | (~textual@128-092-110-163.biz.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzzâŚ) |
2021-05-10 06:13:04 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Quit: WeeChat 3.1) |
2021-05-10 06:16:38 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
2021-05-10 06:17:44 +0200 | falafel | (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) |
2021-05-10 06:20:41 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
2021-05-10 06:25:31 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) |
2021-05-10 06:48:14 +0200 | puke | (~vroom@217.138.252.196) (Quit: puke) |
2021-05-10 06:49:17 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-10 06:49:53 +0200 | jao | (~jao@pdpc/supporter/professional/jao) (Ping timeout: 265 seconds) |
2021-05-10 06:50:46 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
2021-05-10 06:51:30 +0200 | pounce_ | pounce |
2021-05-10 06:54:06 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
2021-05-10 06:57:00 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-05-10 07:01:32 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
2021-05-10 07:08:07 +0200 | vicfred | (~vicfred@unaffiliated/vicfred) |
2021-05-10 07:10:25 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2021-05-10 07:14:48 +0200 | Wuzzy | (~Wuzzy@p5790e74f.dip0.t-ipconnect.de) (Remote host closed the connection) |
2021-05-10 07:16:58 +0200 | ericsagn1 | (~ericsagne@2405:6580:0:5100:44a9:4dc5:2863:2677) (Ping timeout: 276 seconds) |
2021-05-10 07:17:15 +0200 | alexander | (~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d) |
2021-05-10 07:17:45 +0200 | alexander | Guest95727 |
2021-05-10 07:21:49 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
2021-05-10 07:25:16 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
2021-05-10 07:26:01 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection) |
2021-05-10 07:26:49 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
2021-05-10 07:30:09 +0200 | ericsagn1 | (~ericsagne@2405:6580:0:5100:5a0:c951:bf9:2db8) |
2021-05-10 07:30:20 +0200 | trepanger_ | (~z@ics141-225.icsincorporated.com) |
2021-05-10 07:31:27 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 260 seconds) |
2021-05-10 07:34:07 +0200 | e2 | (e2@sponsored.by.bnc4you.xyz) |
2021-05-10 07:36:49 +0200 | Codaraxis | (Codaraxis@gateway/vpn/mullvad/codaraxis) |
2021-05-10 07:38:46 +0200 | mounty | (~mounty@236.216.214.218.sta.wbroadband.net.au) (Ping timeout: 240 seconds) |
2021-05-10 07:39:06 +0200 | electricityZZZZ | (~electrici@157-131-250-97.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds) |
2021-05-10 07:39:48 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-05-10 07:39:53 +0200 | Codaraxis_ | (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Ping timeout: 260 seconds) |
2021-05-10 07:39:58 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
2021-05-10 07:41:33 +0200 | Shuppiluliuma | (~shuppilul@153.33.68.161) (Ping timeout: 240 seconds) |
2021-05-10 07:44:04 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
2021-05-10 07:44:51 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
2021-05-10 07:45:24 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection) |
2021-05-10 07:47:05 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
2021-05-10 07:48:08 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection) |
2021-05-10 07:48:22 +0200 | chimera | (~chimera@168-182-134-95.pool.ukrtel.net) |
2021-05-10 07:48:24 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
2021-05-10 07:49:11 +0200 | todda7 | (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Ping timeout: 260 seconds) |
2021-05-10 07:52:43 +0200 | chimera | (~chimera@168-182-134-95.pool.ukrtel.net) (Client Quit) |
2021-05-10 07:54:33 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
2021-05-10 07:55:29 +0200 | josef641 | (~josef64@195.140.213.38) (Remote host closed the connection) |
2021-05-10 07:58:16 +0200 | Jonno_FTW | (~come@api.carswap.me) (Ping timeout: 260 seconds) |
2021-05-10 07:58:51 +0200 | Jonno_FTW | (~come@45.248.76.3) |
2021-05-10 08:02:10 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-05-10 08:04:57 +0200 | hackage | unliftio 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 +0200 | vgtw_ | (~vgtw@gateway/tor-sasl/vgtw) |
2021-05-10 08:07:55 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2021-05-10 08:07:57 +0200 | vgtw | (~vgtw@gateway/tor-sasl/vgtw) (Ping timeout: 240 seconds) |
2021-05-10 08:07:58 +0200 | vgtw_ | vgtw |
2021-05-10 08:08:11 +0200 | Jonno_FTW | (~come@45.248.76.3) (Ping timeout: 240 seconds) |
2021-05-10 08:08:12 +0200 | stree | (~stree@68.36.8.116) |
2021-05-10 08:09:28 +0200 | nbloomf | (~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 +0200 | cdsmith | (~cdsmithus@c-73-207-21-162.hsd1.ga.comcast.net) (Ping timeout: 268 seconds) |
2021-05-10 08:13:36 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7) |
2021-05-10 08:14:23 +0200 | Jonno_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 +0200 | pmj | (~pmj@p4fe156fa.dip0.t-ipconnect.de) |
2021-05-10 08:19:02 +0200 | Jonno_FTW | (~come@api.carswap.me) (Ping timeout: 246 seconds) |
2021-05-10 08:19:25 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
2021-05-10 08:19:37 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
2021-05-10 08:19:43 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
2021-05-10 08:19:59 +0200 | Jonno_FTW | (~come@api.carswap.me) |
2021-05-10 08:20:26 +0200 | drbean_ | (~drbean@TC210-63-209-65.static.apol.com.tw) (Read error: Connection reset by peer) |
2021-05-10 08:20:29 +0200 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
2021-05-10 08:20:40 +0200 | drbean_ | (~drbean@TC210-63-209-84.static.apol.com.tw) |
2021-05-10 08:22:16 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection) |
2021-05-10 08:22:52 +0200 | nut | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
2021-05-10 08:23:56 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
2021-05-10 08:26:27 +0200 | falafel | (~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 +0200 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
2021-05-10 08:26:58 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
2021-05-10 08:30:54 +0200 | Sgeo_ | (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer) |
2021-05-10 08:31:14 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 245 seconds) |
2021-05-10 08:31:37 +0200 | jacks2 | (~bc817c21@217.29.117.252) |
2021-05-10 08:33:56 +0200 | xsperry | (~as@unaffiliated/xsperry) (Quit: quit) |
2021-05-10 08:34:31 +0200 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-egfomvrlifzxdzqz) (Quit: Connection closed for inactivity) |
2021-05-10 08:35:06 +0200 | safe | (~safe@unaffiliated/safe) (Quit: Leaving) |
2021-05-10 08:36:09 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7) (Quit: My MacBook has gone to sleep. ZZZzzzâŚ) |
2021-05-10 08:36:26 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
2021-05-10 08:37:41 +0200 | guriya | (a0ee4a9d@160.238.74.157) |
2021-05-10 08:38:37 +0200 | guriya | (a0ee4a9d@160.238.74.157) (Changing host) |
2021-05-10 08:38:37 +0200 | guriya | (a0ee4a9d@unaffiliated/guriya) |
2021-05-10 08:39:08 +0200 | kuribas | (~user@ptr-25vy0i925fk04q1dztp.18120a2.ip6.access.telenet.be) |
2021-05-10 08:39:13 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) |
2021-05-10 08:41:05 +0200 | xsperry | (~as@unaffiliated/xsperry) |
2021-05-10 08:41:55 +0200 | thc202 | (~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 +0200 | royal_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 +0200 | nut | (~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 +0200 | cantstanya | (~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 +0200 | Varis | (~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 +0200 | frozenErebus | (~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 +0200 | cantstanya | (~chatting@gateway/tor-sasl/cantstanya) |
2021-05-10 08:54:57 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 268 seconds) |
2021-05-10 08:55:12 +0200 | m_shiraeeshi | (~shiraeesh@46.34.206.81) (Ping timeout: 240 seconds) |
2021-05-10 08:59:49 +0200 | Lowl3v3l | (~Lowl3v3l@dslb-002-203-255-063.002.203.pools.vodafone-ip.de) |
2021-05-10 09:02:06 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
2021-05-10 09:07:37 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 250 seconds) |
2021-05-10 09:10:15 +0200 | Xraell | (~xraell@45.157.15.145) |
2021-05-10 09:13:16 +0200 | jgt_ | (~jgt@92-247-237-116.spectrumnet.bg) |
2021-05-10 09:16:02 +0200 | guriya | (a0ee4a9d@unaffiliated/guriya) (Ping timeout: 240 seconds) |
2021-05-10 09:17:43 +0200 | jgt_ | (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 252 seconds) |
2021-05-10 09:19:15 +0200 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:3f46:104f:9f93:5042) (Ping timeout: 260 seconds) |
2021-05-10 09:21:17 +0200 | m0rphism | (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
2021-05-10 09:24:45 +0200 | sedeki | (~textual@unaffiliated/sedeki) |
2021-05-10 09:29:16 +0200 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-sqgbdfengdpibalf) |
2021-05-10 09:30:52 +0200 | malumore | (~malumore@151.62.127.121) |
2021-05-10 09:30:55 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 252 seconds) |
2021-05-10 09:31:26 +0200 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:3975:4704:86d0:93dc) |
2021-05-10 09:35:47 +0200 | EvilMagix | (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 250 seconds) |
2021-05-10 09:41:27 +0200 | hackage | Z-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 +0200 | kritzefitz | (~kritzefit@212.86.56.80) |
2021-05-10 09:45:08 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-05-10 09:48:50 +0200 | jgt_ | (~jgt@92-247-237-116.spectrumnet.bg) |
2021-05-10 09:56:36 +0200 | <pjb> | /clear |
2021-05-10 09:57:19 +0200 | mrchampion | (~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 +0200 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
2021-05-10 10:02:06 +0200 | kritzefitz | (~kritzefit@212.86.56.80) (Ping timeout: 240 seconds) |
2021-05-10 10:02:38 +0200 | kritzefitz | (~kritzefit@2003:5b:203b:200::10:49) |
2021-05-10 10:03:35 +0200 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) |
2021-05-10 10:05:05 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
2021-05-10 10:06:07 +0200 | coeus | (~coeus@p200300d02719fc0089b803c6556693c3.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
2021-05-10 10:07:19 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
2021-05-10 10:07:19 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
2021-05-10 10:08:03 +0200 | hendursa1 | (~weechat@gateway/tor-sasl/hendursaga) |
2021-05-10 10:08:09 +0200 | sedeki | (~textual@unaffiliated/sedeki) (Quit: Textual IRC Client: www.textualapp.com) |
2021-05-10 10:09:30 +0200 | knupfer | (~Thunderbi@2a02:3038:406:c659:d4fd:5d5a:d8dd:f80a) |
2021-05-10 10:10:21 +0200 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
2021-05-10 10:10:39 +0200 | ulidtko|kk | (~ulidtko@194.54.80.38) (Remote host closed the connection) |
2021-05-10 10:10:46 +0200 | hexfive | (~hexfive@50.35.83.177) (Quit: i must go. my people need me.) |
2021-05-10 10:10:51 +0200 | ddere | (uid110888@gateway/web/irccloud.com/x-rqwfdfncjcxqtnku) (Quit: Connection closed for inactivity) |
2021-05-10 10:11:02 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds) |
2021-05-10 10:11:56 +0200 | is_null | (~jpic@pdpc/supporter/professional/is-null) |
2021-05-10 10:16:13 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
2021-05-10 10:20:04 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
2021-05-10 10:20:25 +0200 | kritzefitz | (~kritzefit@2003:5b:203b:200::10:49) (Ping timeout: 250 seconds) |
2021-05-10 10:20:51 +0200 | kritzefitz | (~kritzefit@212.86.56.80) |
2021-05-10 10:20:51 +0200 | acidjnk_new2 | (~acidjnk@p200300d0c72b954961c97aa4238b8f7b.dip0.t-ipconnect.de) |
2021-05-10 10:22:27 +0200 | hackage | jukebox 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 +0200 | coeus | (~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 +0200 | malumore | (~malumore@151.62.127.121) (Ping timeout: 260 seconds) |
2021-05-10 10:28:07 +0200 | stree | (~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 +0200 | tomboy64 | (~tomboy64@gateway/tor-sasl/tomboy64) (Remote host closed the connection) |
2021-05-10 10:38:44 +0200 | Aquazi | (uid312403@gateway/web/irccloud.com/x-pkpihoadcsprmglz) |
2021-05-10 10:41:51 +0200 | tomboy64 | (~tomboy64@gateway/tor-sasl/tomboy64) |
2021-05-10 10:44:46 +0200 | cdsmith | (~cdsmithus@c-73-207-21-162.hsd1.ga.comcast.net) |
2021-05-10 10:45:20 +0200 | rdd | (~user@c-407ce255.012-81-73746f39.cust.ownit.se) |
2021-05-10 10:47:47 +0200 | malumore | (~malumore@151.62.127.121) |
2021-05-10 10:48:41 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2021-05-10 10:50:35 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-10 10:50:43 +0200 | vk3wtf | (~doc@61.68.250.44) (Quit: WeeChat 3.0.1) |
2021-05-10 10:51:13 +0200 | vk3wtf | (~doc@61.68.250.44) |
2021-05-10 10:52:20 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 246 seconds) |
2021-05-10 10:52:46 +0200 | malumore | (~malumore@151.62.127.121) (Ping timeout: 240 seconds) |
2021-05-10 10:53:08 +0200 | drbean_ | (~drbean@TC210-63-209-84.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
2021-05-10 10:54:40 +0200 | clefru | (~clefru@unaffiliated/clefru) (Quit: Leaving) |
2021-05-10 10:54:41 +0200 | ram19890 | (~ram@49.205.84.15) |
2021-05-10 10:55:36 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
2021-05-10 10:57:17 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
2021-05-10 10:57:18 +0200 | frobnicator | (~frobnicat@185-227-75-147.dsl.cambrium.nl) (Quit: WeeChat 3.0) |
2021-05-10 10:58:01 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
2021-05-10 10:58:13 +0200 | kritzefitz | (~kritzefit@212.86.56.80) (Ping timeout: 260 seconds) |
2021-05-10 10:58:25 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
2021-05-10 10:58:33 +0200 | kritzefitz | (~kritzefit@2003:5b:203b:200::10:49) |
2021-05-10 10:59:57 +0200 | finn_elija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection) |
2021-05-10 11:00:03 +0200 | johnnyv[m] | (badwolf256@gateway/shell/matrix.org/x-snikqtdbljwraqcc) (Quit: Idle for 30+ days) |
2021-05-10 11:00:11 +0200 | TheWizardTower[m | (thewizardt@gateway/shell/matrix.org/x-mhynxqoxcylcdnln) (Quit: Idle for 30+ days) |
2021-05-10 11:00:11 +0200 | DavidEichmann | (~david@156.59.147.147.dyn.plus.net) |
2021-05-10 11:00:15 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-10 11:00:22 +0200 | finn_elija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
2021-05-10 11:01:47 +0200 | sphi | (~sphi@unaffiliated/sphi) |
2021-05-10 11:02:00 +0200 | frozenErebus | (~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 +0200 | Gurkenglas | (~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 +0200 | nineonine | (~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 +0200 | CrazyPython | (~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 +0200 | knupfer | (~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 +0200 | wei2912 | (~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 +0200 | geowiesnot | (~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 +0200 | m_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 +0200 | jneira[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 +0200 | elfets | (~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 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 245 seconds) |
2021-05-10 11:44:25 +0200 | jneira[m] | (~jneira@88.red-37-10-143.dynamicip.rima-tde.net) (Remote host closed the connection) |
2021-05-10 11:44:31 +0200 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-sqgbdfengdpibalf) (Quit: Connection closed for inactivity) |
2021-05-10 11:45:17 +0200 | safinaskar | (~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 +0200 | oxide | (~lambda@unaffiliated/mclaren) |
2021-05-10 11:45:49 +0200 | <safinaskar> | and preferably with equations for dependencies |
2021-05-10 11:48:23 +0200 | jb55 | (~jb55@gateway/tor-sasl/jb55) (Remote host closed the connection) |
2021-05-10 11:48:46 +0200 | jb55 | (~jb55@gateway/tor-sasl/jb55) |
2021-05-10 11:51:08 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
2021-05-10 11:54:00 +0200 | Katarushisu | (~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 +0200 | malumore | (~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 +0200 | raehik | (~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 +0200 | waleee-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 +0200 | vicfred | (~vicfred@unaffiliated/vicfred) (Ping timeout: 246 seconds) |
2021-05-10 12:05:44 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
2021-05-10 12:06:03 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-10 12:07:47 +0200 | heatsink | (~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 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds) |
2021-05-10 12:11:03 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 268 seconds) |
2021-05-10 12:11:56 +0200 | finn_elija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection) |
2021-05-10 12:12:16 +0200 | finn_elija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
2021-05-10 12:12:51 +0200 | xff0x | (~xff0x@2001:1a81:53c1:c00:52cf:4e:85e5:b0c5) (Ping timeout: 260 seconds) |
2021-05-10 12:14:44 +0200 | xff0x | (~xff0x@2001:1a81:53c1:c00:52cf:4e:85e5:b0c5) |
2021-05-10 12:16:57 +0200 | jakalx | (~jakalx@base.jakalx.net) ("Error from remote client") |
2021-05-10 12:20:00 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-10 12:20:11 +0200 | elfets | (~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 +0200 | jakalx | (~jakalx@base.jakalx.net) |
2021-05-10 12:24:56 +0200 | sphi | (~sphi@unaffiliated/sphi) (Remote host closed the connection) |
2021-05-10 12:25:35 +0200 | sphi | (~sphi@unaffiliated/sphi) |
2021-05-10 12:25:40 +0200 | Feuermagier | (~Feuermagi@213.178.26.41) (Remote host closed the connection) |
2021-05-10 12:27:28 +0200 | m_shiraeeshi | (~shiraeesh@46.34.206.81) (Ping timeout: 252 seconds) |
2021-05-10 12:30:44 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-05-10 12:32:41 +0200 | whatisRT | (~whatisRT@ip5b416a33.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
2021-05-10 12:33:32 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
2021-05-10 12:33:51 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-10 12:35:43 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
2021-05-10 12:35:52 +0200 | xintron | (~xintron@unaffiliated/xintron) (Quit: Ping timeout (120 seconds)) |
2021-05-10 12:36:15 +0200 | xintron | (~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 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
2021-05-10 12:37:50 +0200 | pmj | (~pmj@p4fe156fa.dip0.t-ipconnect.de) (Remote host closed the connection) |
2021-05-10 12:38:13 +0200 | xff0x | (~xff0x@2001:1a81:53c1:c00:52cf:4e:85e5:b0c5) (Ping timeout: 250 seconds) |
2021-05-10 12:38:23 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
2021-05-10 12:38:57 +0200 | xff0x | (~xff0x@2001:1a81:53c1:c00:bd4f:a74d:188b:aac8) |
2021-05-10 12:39:21 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) |
2021-05-10 12:39:46 +0200 | nut | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
2021-05-10 12:40:11 +0200 | LKoen | (~LKoen@156.168.9.109.rev.sfr.net) |
2021-05-10 12:40:35 +0200 | plutoniix | (~q@ppp-58-8-175-2.revip2.asianet.co.th) (Quit: Leaving) |
2021-05-10 12:45:14 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-05-10 12:45:21 +0200 | Guest67052 | (~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 +0200 | m_shiraeeshi | (~shiraeesh@46.34.206.81) |
2021-05-10 12:47:43 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
2021-05-10 12:48:05 +0200 | stree | (~stree@68.36.8.116) |
2021-05-10 12:48:27 +0200 | hackage | phonetic-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 +0200 | timCF | (~i.tkachuk@200-149-20-81.sta.estpak.ee) |
2021-05-10 12:53:17 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-10 12:53:23 +0200 | xff0x | (~xff0x@2001:1a81:53c1:c00:bd4f:a74d:188b:aac8) (Ping timeout: 250 seconds) |
2021-05-10 12:54:09 +0200 | xff0x | (~xff0x@2001:1a81:53c1:c00:be46:b01b:ca6b:895e) |
2021-05-10 12:54:36 +0200 | dpl_ | (~dpl@77-121-78-163.chn.volia.net) |
2021-05-10 12:54:40 +0200 | safinaskar | (~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 +0200 | bennofs_ | (~quassel@x4db709cf.dyn.telefonica.de) (Read error: Connection reset by peer) |
2021-05-10 12:59:20 +0200 | bennofs_ | (~quassel@x4db709cf.dyn.telefonica.de) |
2021-05-10 12:59:59 +0200 | Alleria | (~textual@2603-7000-3040-0000-b56e-d773-5c05-1652.res6.spectrum.com) |
2021-05-10 13:00:23 +0200 | Alleria | Guest99532 |
2021-05-10 13:02:32 +0200 | hyiltiz | (~quassel@unaffiliated/hyiltiz) (Ping timeout: 246 seconds) |
2021-05-10 13:03:57 +0200 | hackage | phonetic-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 +0200 | Guest99532 | (~textual@2603-7000-3040-0000-b56e-d773-5c05-1652.res6.spectrum.com) (Ping timeout: 245 seconds) |
2021-05-10 13:05:32 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
2021-05-10 13:05:51 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-10 13:07:57 +0200 | hackage | phonetic-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 +0200 | hyiltiz | (~quassel@31.220.5.250) |
2021-05-10 13:08:37 +0200 | hyiltiz | (~quassel@31.220.5.250) (Changing host) |
2021-05-10 13:08:37 +0200 | hyiltiz | (~quassel@unaffiliated/hyiltiz) |
2021-05-10 13:09:04 +0200 | poljar1 | (~poljar@78-1-55-96.adsl.net.t-com.hr) |
2021-05-10 13:09:05 +0200 | superstar64 | (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) |
2021-05-10 13:10:10 +0200 | puke | (~vroom@217.138.252.196) |
2021-05-10 13:10:52 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 268 seconds) |
2021-05-10 13:11:13 +0200 | poljar | (~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 +0200 | urdh | (~urdh@unaffiliated/urdh) (Ping timeout: 252 seconds) |
2021-05-10 13:19:12 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2021-05-10 13:19:44 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-10 13:20:50 +0200 | todda7 | (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) |
2021-05-10 13:21:57 +0200 | hackage | phonetic-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 +0200 | gnumonic | (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Remote host closed the connection) |
2021-05-10 13:23:04 +0200 | safinaskar | (~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 +0200 | Benzi-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 +0200 | hackage | unicode-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 +0200 | Alleria | (~textual@mskresolve-a.mskcc.org) |
2021-05-10 13:24:55 +0200 | Alleria | Guest30199 |
2021-05-10 13:25:31 +0200 | berberman | (~berberman@unaffiliated/berberman) |
2021-05-10 13:25:49 +0200 | berberman_ | (~berberman@unaffiliated/berberman) (Ping timeout: 245 seconds) |
2021-05-10 13:29:08 +0200 | nut | (~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 +0200 | hendursa1 | (~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 +0200 | hendursa1 | (~weechat@gateway/tor-sasl/hendursaga) |
2021-05-10 13:31:57 +0200 | thunderrd | (~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 +0200 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 265 seconds) |
2021-05-10 13:37:52 +0200 | xsperry | (~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 +0200 | xsperry | (~as@unaffiliated/xsperry) |
2021-05-10 13:44:59 +0200 | thunderrd | (~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 +0200 | hackage | vcs-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 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
2021-05-10 13:51:56 +0200 | fendor | (~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 +0200 | geowiesnot | (~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 +0200 | rodriga | (~quassel@134.204.25.66) |
2021-05-10 13:57:12 +0200 | boxscape | (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) |
2021-05-10 13:57:14 +0200 | urodna | (~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 +0200 | m_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 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-05-10 14:03:29 +0200 | <hpc> | maybe? |
2021-05-10 14:04:35 +0200 | fendor | (~fendor@91.141.0.25.wireless.dyn.drei.com) (Remote host closed the connection) |
2021-05-10 14:04:57 +0200 | hackage | nvfetcher 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 +0200 | drbean_ | (~drbean@TC210-63-209-88.static.apol.com.tw) |
2021-05-10 14:05:22 +0200 | geekosaur | (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 +0200 | fendor | (~fendor@91.141.0.25.wireless.dyn.drei.com) |
2021-05-10 14:07:46 +0200 | heatsink | (~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 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
2021-05-10 14:10:07 +0200 | machinedgod | (~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 +0200 | EvilMagix | (~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 +0200 | safinaskar | (~user@109-252-90-136.nat.spd-mgts.ru) () |
2021-05-10 14:16:16 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1) |
2021-05-10 14:16:19 +0200 | pagnol | (~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 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 268 seconds) |
2021-05-10 14:17:50 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) |
2021-05-10 14:18:10 +0200 | todda7 | (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Remote host closed the connection) |
2021-05-10 14:18:31 +0200 | todda7 | (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) |
2021-05-10 14:18:54 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 265 seconds) |
2021-05-10 14:19:46 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) |
2021-05-10 14:19:51 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
2021-05-10 14:21:01 +0200 | renzhi | (~renzhi@2607:fa49:6500:bc00::e7b) |
2021-05-10 14:22:43 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) (Ping timeout: 276 seconds) |
2021-05-10 14:24:26 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds) |
2021-05-10 14:25:11 +0200 | star_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 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) |
2021-05-10 14:27:47 +0200 | CrazyPython | (~crazypyth@98.122.164.118) () |
2021-05-10 14:30:53 +0200 | tsaka__ | (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) |
2021-05-10 14:33:44 +0200 | todda7 | (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Remote host closed the connection) |
2021-05-10 14:34:59 +0200 | star_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 +0200 | tsaka__ | (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Excess Flood) |
2021-05-10 14:36:09 +0200 | tsaka__ | (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) |
2021-05-10 14:37:24 +0200 | timCF | (~i.tkachuk@200-149-20-81.sta.estpak.ee) (Quit: leaving) |
2021-05-10 14:38:56 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
2021-05-10 14:40:02 +0200 | malumore_ | (~malumore@151.62.127.121) |
2021-05-10 14:41:56 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 246 seconds) |
2021-05-10 14:42:26 +0200 | malumore | (~malumore@151.62.127.121) (Ping timeout: 240 seconds) |
2021-05-10 14:42:52 +0200 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) |
2021-05-10 14:43:37 +0200 | idhugo | (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
2021-05-10 14:46:36 +0200 | troydm | (~troydm@unaffiliated/troydm) (Ping timeout: 260 seconds) |
2021-05-10 14:47:25 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) (Ping timeout: 276 seconds) |
2021-05-10 14:48:13 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
2021-05-10 14:48:44 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
2021-05-10 14:49:57 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
2021-05-10 14:49:57 +0200 | star_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 +0200 | finn_elija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
2021-05-10 14:54:46 +0200 | ddellacosta | (~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 +0200 | stree | (~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 +0200 | finn_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 +0200 | nineonine | (~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 +0200 | ddellacosta | (~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 +0200 | nineonine | (~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 +0200 | rj | (~x@gateway/tor-sasl/rj) |
2021-05-10 15:04:15 +0200 | poljar | (~poljar@78-1-38-154.adsl.net.t-com.hr) |
2021-05-10 15:05:11 +0200 | poljar1 | (~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 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) (Ping timeout: 250 seconds) |
2021-05-10 15:08:14 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) |
2021-05-10 15:09:28 +0200 | stree | (~stree@68.36.8.116) |
2021-05-10 15:10:58 +0200 | Rudd0 | (~Rudd0@185.189.115.108) (Ping timeout: 252 seconds) |
2021-05-10 15:12:29 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) (Ping timeout: 250 seconds) |
2021-05-10 15:13:03 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) |
2021-05-10 15:15:51 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-05-10 15:16:15 +0200 | tsaka__ | (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Ping timeout: 260 seconds) |
2021-05-10 15:16:51 +0200 | tsaka__ | (~torstein@178-147-206-209.haap.dm.cosmote.net) |
2021-05-10 15:17:15 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) (Ping timeout: 250 seconds) |
2021-05-10 15:18:21 +0200 | sphi | (~sphi@unaffiliated/sphi) (Ping timeout: 265 seconds) |
2021-05-10 15:18:40 +0200 | shailangsa | (~shailangs@host217-35-224-169.range217-35.btcentralplus.com) (Ping timeout: 252 seconds) |
2021-05-10 15:19:26 +0200 | ddellacosta | (~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 +0200 | frozenErebus | (~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 +0200 | nineonine | (~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 +0200 | poljar1 | (~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 +0200 | ddellacosta | (~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 +0200 | poljar | (~poljar@78-1-38-154.adsl.net.t-com.hr) (Ping timeout: 240 seconds) |
2021-05-10 15:25:28 +0200 | ddellaco_ | (~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 +0200 | nineonine | (~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 +0200 | Iceland_jack | (~user@95.147.45.92) |
2021-05-10 15:29:18 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 252 seconds) |
2021-05-10 15:30:18 +0200 | xkapastel | (uid17782@gateway/web/irccloud.com/x-porhvditswtjxxbh) |
2021-05-10 15:30:20 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
2021-05-10 15:32:21 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
2021-05-10 15:32:39 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection) |
2021-05-10 15:32:56 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) |
2021-05-10 15:33:20 +0200 | carlomagno | (~cararell@148.87.23.4) |
2021-05-10 15:33:39 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) (Remote host closed the connection) |
2021-05-10 15:34:15 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) |
2021-05-10 15:34:47 +0200 | st8less | (~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 +0200 | notzmv | (~zmv@unaffiliated/zmv) (Read error: Connection reset by peer) |
2021-05-10 15:37:35 +0200 | rj | (~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 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) (Ping timeout: 250 seconds) |
2021-05-10 15:39:28 +0200 | ram19890 | (~ram@49.205.84.15) (Quit: Konversation terminated!) |
2021-05-10 15:43:43 +0200 | wei2912 | (~wei2912@unaffiliated/wei2912) |
2021-05-10 15:44:47 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
2021-05-10 15:46:52 +0200 | son0p | (~ff@181.136.122.143) (Remote host closed the connection) |
2021-05-10 15:48:13 +0200 | drbean_ | (~drbean@TC210-63-209-88.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
2021-05-10 15:48:28 +0200 | drbean_ | (~drbean@TC210-63-209-34.static.apol.com.tw) |
2021-05-10 15:48:57 +0200 | hackage | mnist-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 +0200 | vite | (~vite@185.204.1.185) |
2021-05-10 15:50:11 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
2021-05-10 15:52:56 +0200 | guriya | (a0ee4b7f@unaffiliated/guriya) |
2021-05-10 15:54:28 +0200 | poljar | (~poljar@93-143-128-70.adsl.net.t-com.hr) |
2021-05-10 15:55:19 +0200 | drbean_ | (~drbean@TC210-63-209-34.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
2021-05-10 15:56:42 +0200 | Sheilong | (uid293653@gateway/web/irccloud.com/x-uarnrolikdibusqq) |
2021-05-10 15:57:22 +0200 | poljar1 | (~poljar@93-143-148-135.adsl.net.t-com.hr) (Ping timeout: 268 seconds) |
2021-05-10 15:59:27 +0200 | hackage | mnist-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 +0200 | Xraell | (~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 +0200 | vgtw_ | (~vgtw@gateway/tor-sasl/vgtw) |
2021-05-10 16:01:21 +0200 | alx741 | (~alx741@186.178.108.184) |
2021-05-10 16:01:27 +0200 | hackage | pseudo-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 +0200 | vgtw | (~vgtw@gateway/tor-sasl/vgtw) (Ping timeout: 240 seconds) |
2021-05-10 16:01:40 +0200 | vgtw_ | vgtw |
2021-05-10 16:02:54 +0200 | Shuppiluliuma | (~shuppilul@153.33.68.161) |
2021-05-10 16:03:08 +0200 | shailangsa | (~shailangs@host86-186-196-136.range86-186.btcentralplus.com) |
2021-05-10 16:04:07 +0200 | son0p | (~ff@181.136.122.143) |
2021-05-10 16:07:06 +0200 | elliott_ | (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
2021-05-10 16:10:52 +0200 | zebrag | (~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 +0200 | mrchampion | (~mrchampio@38.18.109.23) |
2021-05-10 16:13:51 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) |
2021-05-10 16:14:45 +0200 | rj | (~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 +0200 | poljar1 | (~poljar@93-143-164-44.adsl.net.t-com.hr) |
2021-05-10 16:16:03 +0200 | zebrag | (~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 +0200 | poljar | (~poljar@93-143-128-70.adsl.net.t-com.hr) (Ping timeout: 252 seconds) |
2021-05-10 16:18:04 +0200 | Jesin | (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
2021-05-10 16:18:34 +0200 | rj | (~x@gateway/tor-sasl/rj) |
2021-05-10 16:19:13 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) (Ping timeout: 250 seconds) |
2021-05-10 16:22:41 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 240 seconds) |
2021-05-10 16:23:29 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
2021-05-10 16:23:53 +0200 | sh9 | (~sh9@softbank060116136158.bbtec.net) |
2021-05-10 16:24:57 +0200 | Sgeo | (~Sgeo@ool-18b9875e.dyn.optonline.net) |
2021-05-10 16:26:21 +0200 | fre | (~freusque@104.238.190.229) (Ping timeout: 260 seconds) |
2021-05-10 16:26:57 +0200 | hackage | interval-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 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) |
2021-05-10 16:28:17 +0200 | Joshua[m]1 | (eleos91mat@gateway/shell/matrix.org/x-upvbumeylpbdydvm) |
2021-05-10 16:28:49 +0200 | acidjnk_new2 | (~acidjnk@p200300d0c72b954961c97aa4238b8f7b.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
2021-05-10 16:29:22 +0200 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) |
2021-05-10 16:30:24 +0200 | EvilMagix | (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 246 seconds) |
2021-05-10 16:31:20 +0200 | Arahael | (~arahael@124-150-95-173.tpgi.com.au) (Ping timeout: 265 seconds) |
2021-05-10 16:31:22 +0200 | RusAlex | (~Chel@unaffiliated/rusalex) (Quit: WeeChat 3.0) |
2021-05-10 16:33:06 +0200 | tempate | (~tempate@90.173.107.9) |
2021-05-10 16:33:06 +0200 | tempate | (~tempate@90.173.107.9) (Changing host) |
2021-05-10 16:33:06 +0200 | tempate | (~tempate@unaffiliated/tempate) |
2021-05-10 16:34:38 +0200 | idhugo | (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Ping timeout: 246 seconds) |
2021-05-10 16:36:27 +0200 | hackage | faktory 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 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
2021-05-10 16:38:05 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-10 16:40:02 +0200 | pagnol | (~user@014198154145.ctinets.com) (Ping timeout: 265 seconds) |
2021-05-10 16:40:54 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
2021-05-10 16:42:08 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
2021-05-10 16:42:40 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds) |
2021-05-10 16:45:49 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
2021-05-10 16:46:22 +0200 | electricityZZZZ | (~electrici@157-131-250-97.fiber.dynamic.sonic.net) |
2021-05-10 16:46:58 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-10 16:50:33 +0200 | bitmagie | (~Thunderbi@200116b80679dc002d9c918d52c6f96d.dip.versatel-1u1.de) |
2021-05-10 16:51:01 +0200 | lambda | (~xiretza@2a01:4f8:c010:8b24::1) |
2021-05-10 16:51:43 +0200 | lambda | (~xiretza@2a01:4f8:c010:8b24::1) (Client Quit) |
2021-05-10 16:53:19 +0200 | kini | (~kini@unaffiliated/kini) (Ping timeout: 245 seconds) |
2021-05-10 16:56:02 +0200 | jao | (~jao@pdpc/supporter/professional/jao) |
2021-05-10 16:56:44 +0200 | Arahael | (~arahael@114.198.16.164) |
2021-05-10 16:58:55 +0200 | kini | (~kini@unaffiliated/kini) |
2021-05-10 16:59:07 +0200 | lambda | (~xiretza@irc.xiretza.xyz) |
2021-05-10 16:59:33 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
2021-05-10 16:59:40 +0200 | lambda | (~xiretza@irc.xiretza.xyz) (Client Quit) |
2021-05-10 16:59:55 +0200 | lambda | (~xiretza@irc.xiretza.xyz) |
2021-05-10 17:02:09 +0200 | lambda | (~xiretza@irc.xiretza.xyz) (Client Quit) |
2021-05-10 17:02:20 +0200 | rj | (~x@gateway/tor-sasl/rj) |
2021-05-10 17:02:25 +0200 | idhugo | (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
2021-05-10 17:02:43 +0200 | st8less | (~st8less@inet-167-224-197-181.isp.ozarksgo.net) |
2021-05-10 17:02:59 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7) |
2021-05-10 17:03:18 +0200 | bitmagie | (~Thunderbi@200116b80679dc002d9c918d52c6f96d.dip.versatel-1u1.de) (Quit: bitmagie) |
2021-05-10 17:04:12 +0200 | danvet_ | (~danvet@212-51-149-181.fiber7.init7.net) |
2021-05-10 17:06:08 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1) |
2021-05-10 17:06:21 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) |
2021-05-10 17:08:23 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7) (Quit: My MacBook has gone to sleep. ZZZzzzâŚ) |
2021-05-10 17:09:54 +0200 | berberman_ | (~berberman@unaffiliated/berberman) |
2021-05-10 17:09:55 +0200 | carlomagno | (~cararell@148.87.23.4) (Remote host closed the connection) |
2021-05-10 17:09:59 +0200 | berberman | (~berberman@unaffiliated/berberman) (Ping timeout: 245 seconds) |
2021-05-10 17:10:21 +0200 | carlomagno | (~cararell@148.87.23.12) |
2021-05-10 17:10:28 +0200 | cantstanya | (~chatting@gateway/tor-sasl/cantstanya) (Remote host closed the connection) |
2021-05-10 17:12:16 +0200 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
2021-05-10 17:12:48 +0200 | cantstanya | (~chatting@gateway/tor-sasl/cantstanya) |
2021-05-10 17:14:11 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7) |
2021-05-10 17:16:23 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-05-10 17:16:30 +0200 | sedeki | (~textual@unaffiliated/sedeki) |
2021-05-10 17:17:06 +0200 | proofofkeags | (~proofofke@97-118-239-55.hlrn.qwest.net) (Ping timeout: 252 seconds) |
2021-05-10 17:17:11 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
2021-05-10 17:19:22 +0200 | guriya | (a0ee4b7f@unaffiliated/guriya) (Ping timeout: 240 seconds) |
2021-05-10 17:19:56 +0200 | guriya | (a0ee4ba7@unaffiliated/guriya) |
2021-05-10 17:20:09 +0200 | carlomagno | (~cararell@148.87.23.12) (Ping timeout: 265 seconds) |
2021-05-10 17:21:13 +0200 | lambda | (~xiretza@irc.xiretza.xyz) |
2021-05-10 17:22:14 +0200 | carlomagno | (~cararell@148.87.23.12) |
2021-05-10 17:23:19 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Remote host closed the connection) |
2021-05-10 17:23:59 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-05-10 17:24:27 +0200 | hackage | haskoin-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 +0200 | superstar64 | (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) (Quit: Connection closed) |
2021-05-10 17:26:18 +0200 | malumore_ | (~malumore@151.62.127.121) (Remote host closed the connection) |
2021-05-10 17:26:57 +0200 | sedeki | (~textual@unaffiliated/sedeki) (Quit: Textual IRC Client: www.textualapp.com) |
2021-05-10 17:29:27 +0200 | rj | (~x@gateway/tor-sasl/rj) (Remote host closed the connection) |
2021-05-10 17:29:42 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) |
2021-05-10 17:29:48 +0200 | rj | (~x@gateway/tor-sasl/rj) |
2021-05-10 17:30:45 +0200 | stree | (~stree@68.36.8.116) |
2021-05-10 17:30:48 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7) (Quit: My MacBook has gone to sleep. ZZZzzzâŚ) |
2021-05-10 17:30:57 +0200 | hackage | haskoin-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 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
2021-05-10 17:32:28 +0200 | malumore | (~malumore@151.62.127.121) |
2021-05-10 17:34:03 +0200 | proofofkeags | (~proofofke@205.209.28.54) |
2021-05-10 17:35:48 +0200 | Deide | (~Deide@217.155.19.23) |
2021-05-10 17:36:02 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
2021-05-10 17:40:05 +0200 | jao | (~jao@pdpc/supporter/professional/jao) (Ping timeout: 246 seconds) |
2021-05-10 17:40:44 +0200 | hgolden | (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) |
2021-05-10 17:41:09 +0200 | andreas303 | (~andreas@gateway/tor-sasl/andreas303) (Ping timeout: 240 seconds) |
2021-05-10 17:41:24 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2021-05-10 17:41:56 +0200 | superstar64 | (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) |
2021-05-10 17:42:38 +0200 | andreas303 | (~andreas@gateway/tor-sasl/andreas303) |
2021-05-10 17:43:57 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
2021-05-10 17:45:58 +0200 | ep1ctetus | (~epictetus@82.102.31.164) |
2021-05-10 17:46:09 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
2021-05-10 17:46:29 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-05-10 17:46:56 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
2021-05-10 17:47:05 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
2021-05-10 17:47:36 +0200 | rj | (~x@gateway/tor-sasl/rj) |
2021-05-10 17:48:41 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
2021-05-10 17:52:53 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7) |
2021-05-10 17:53:28 +0200 | sphalerite | (~sphalerit@NixOS/user/lheckemann) (Quit: reeeeebooooooooot) |
2021-05-10 17:55:01 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
2021-05-10 17:57:44 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
2021-05-10 17:58:03 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-10 17:59:25 +0200 | pavonia | (~user@unaffiliated/siracusa) (Quit: Bye!) |
2021-05-10 18:00:43 +0200 | guriya | (a0ee4ba7@unaffiliated/guriya) (Ping timeout: 240 seconds) |
2021-05-10 18:01:01 +0200 | dcompoze | (~dcompoze@5E98D6D9.static.tld.pl) |
2021-05-10 18:01:23 +0200 | Rudd0 | (~Rudd0@185.189.115.108) |
2021-05-10 18:01:52 +0200 | ep1ctetus | (~epictetus@82.102.31.164) (Ping timeout: 252 seconds) |
2021-05-10 18:02:24 +0200 | ep1ctetus | (~epictetus@82.102.31.164) |
2021-05-10 18:05:11 +0200 | malumore | (~malumore@151.62.127.121) (Ping timeout: 240 seconds) |
2021-05-10 18:06:57 +0200 | hackage | file-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 +0200 | kritzefitz | (~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection) |
2021-05-10 18:17:35 +0200 | Jesin | (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) |
2021-05-10 18:17:40 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-05-10 18:17:50 +0200 | boxscape | (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) (Quit: Connection closed) |
2021-05-10 18:18:46 +0200 | boxscape | (86ab2deb@gateway/web/cgi-irc/kiwiirc.com/ip.134.171.45.235) |
2021-05-10 18:19:03 +0200 | m_shiraeeshi | (~shiraeesh@46.34.206.81) |
2021-05-10 18:19:41 +0200 | idhugo | (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Ping timeout: 260 seconds) |
2021-05-10 18:20:41 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
2021-05-10 18:21:31 +0200 | sphi | (~sphi@unaffiliated/sphi) |
2021-05-10 18:22:57 +0200 | epicte7us | (~epictetus@64.44.80.28) |
2021-05-10 18:25:13 +0200 | deviantfero | (~deviantfe@190.150.27.58) |
2021-05-10 18:25:15 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
2021-05-10 18:26:18 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
2021-05-10 18:26:37 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) (Ping timeout: 250 seconds) |
2021-05-10 18:26:38 +0200 | ep1ctetus | (~epictetus@82.102.31.164) (Ping timeout: 246 seconds) |
2021-05-10 18:27:26 +0200 | is_null | (~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 240 seconds) |
2021-05-10 18:27:57 +0200 | hackage | adblock2privoxy 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 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
2021-05-10 18:29:21 +0200 | husixu | (~husixu@137.132.117.40) |
2021-05-10 18:29:57 +0200 | hackage | microlens-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 +0200 | elliott_ | (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) |
2021-05-10 18:30:46 +0200 | notzmv | (~zmv@unaffiliated/zmv) |
2021-05-10 18:31:11 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
2021-05-10 18:31:23 +0200 | deviantfero | (~deviantfe@190.150.27.58) (Quit: WeeChat 3.1) |
2021-05-10 18:31:42 +0200 | deviantfero | (~deviantfe@190.150.27.58) |
2021-05-10 18:32:14 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) |
2021-05-10 18:33:10 +0200 | rj | (~x@gateway/tor-sasl/rj) |
2021-05-10 18:33:14 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
2021-05-10 18:34:37 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
2021-05-10 18:34:45 +0200 | deviantfero | (~deviantfe@190.150.27.58) (Client Quit) |
2021-05-10 18:34:55 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-10 18:35:03 +0200 | deviantfero | (~deviantfe@190.150.27.58) |
2021-05-10 18:37:15 +0200 | malumore | (~malumore@151.62.127.121) |
2021-05-10 18:37:18 +0200 | LKoen | (~LKoen@156.168.9.109.rev.sfr.net) (Remote host closed the connection) |
2021-05-10 18:38:27 +0200 | Lycurgus | (~niemand@cpe-45-46-140-49.buffalo.res.rr.com) |
2021-05-10 18:39:11 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) (Ping timeout: 250 seconds) |
2021-05-10 18:39:36 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds) |
2021-05-10 18:40:06 +0200 | LKoen | (~LKoen@156.168.9.109.rev.sfr.net) |
2021-05-10 18:40:52 +0200 | carlomagno | (~cararell@148.87.23.12) (Ping timeout: 265 seconds) |
2021-05-10 18:41:35 +0200 | kritzefitz | (~kritzefit@212.86.56.80) |
2021-05-10 18:42:02 +0200 | carlomagno | (~cararell@148.87.23.12) |
2021-05-10 18:42:34 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) |
2021-05-10 18:42:44 +0200 | sphi | (~sphi@unaffiliated/sphi) (Ping timeout: 246 seconds) |
2021-05-10 18:43:09 +0200 | husixu | (~husixu@137.132.117.40) (Quit: Leaving) |
2021-05-10 18:44:14 +0200 | wei2912 | (~wei2912@unaffiliated/wei2912) (Remote host closed the connection) |
2021-05-10 18:44:23 +0200 | jgt_ | (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 252 seconds) |
2021-05-10 18:46:21 +0200 | boxscape | (86ab2deb@gateway/web/cgi-irc/kiwiirc.com/ip.134.171.45.235) (Ping timeout: 260 seconds) |
2021-05-10 18:46:44 +0200 | juuandyy | (~juuandyy@90.106.228.121) |
2021-05-10 18:46:49 +0200 | jamm__ | (~jamm@unaffiliated/jamm) |
2021-05-10 18:47:11 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) (Ping timeout: 260 seconds) |
2021-05-10 18:47:36 +0200 | dcompoze | (~dcompoze@5E98D6D9.static.tld.pl) (Quit: WeeChat 3.1) |
2021-05-10 18:48:10 +0200 | gentauro | (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
2021-05-10 18:49:17 +0200 | gentauro | (~gentauro@unaffiliated/gentauro) |
2021-05-10 18:49:47 +0200 | carlomagno | (~cararell@148.87.23.12) (Remote host closed the connection) |
2021-05-10 18:50:25 +0200 | carlomagno | (~cararell@148.87.23.12) |
2021-05-10 18:50:38 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds) |
2021-05-10 18:50:53 +0200 | dcompoze | (~dcompoze@5E98D6D9.static.tld.pl) |
2021-05-10 18:51:53 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7) (Quit: My MacBook has gone to sleep. ZZZzzzâŚ) |
2021-05-10 18:52:44 +0200 | gentauro | (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
2021-05-10 18:52:57 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7) |
2021-05-10 18:53:20 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-10 18:53:33 +0200 | mupf | (~micha@v22017094964653601.ultrasrv.de) (Quit: WeeChat 3.0) |
2021-05-10 18:54:21 +0200 | mupf | (~micha@v22017094964653601.ultrasrv.de) |
2021-05-10 18:54:58 +0200 | troydm | (~troydm@unaffiliated/troydm) |
2021-05-10 18:58:11 +0200 | gentauro | (~gentauro@unaffiliated/gentauro) |
2021-05-10 18:58:58 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
2021-05-10 18:58:59 +0200 | gentauro | (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
2021-05-10 18:59:25 +0200 | bennofs_ | (~quassel@x4db709cf.dyn.telefonica.de) (Read error: Connection reset by peer) |
2021-05-10 19:00:16 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7) (Ping timeout: 276 seconds) |
2021-05-10 19:01:06 +0200 | carlomagno1 | (~cararell@148.87.23.12) |
2021-05-10 19:01:30 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) |
2021-05-10 19:03:10 +0200 | gentauro | (~gentauro@unaffiliated/gentauro) |
2021-05-10 19:03:59 +0200 | bennofs_ | (~quassel@x4db709cf.dyn.telefonica.de) |
2021-05-10 19:04:01 +0200 | carlomagno | (~cararell@148.87.23.12) (Ping timeout: 260 seconds) |
2021-05-10 19:04:04 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 246 seconds) |
2021-05-10 19:04:34 +0200 | deviantfero | (~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 +0200 | gentauro | (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
2021-05-10 19:05:49 +0200 | nbloomf | (~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 +0200 | Guest_93 | (6cb97887@cpe-108-185-120-135.socal.res.rr.com) (Quit: Connection closed) |
2021-05-10 19:08:11 +0200 | gentauro | (~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 +0200 | deviantfero | (~deviantfe@190.150.27.58) |
2021-05-10 19:09:05 +0200 | deviantfero | (~deviantfe@190.150.27.58) (Client Quit) |
2021-05-10 19:09:30 +0200 | deviantfero | (~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 +0200 | danvet_ | (~danvet@212-51-149-181.fiber7.init7.net) (Quit: Leaving) |
2021-05-10 19:12:13 +0200 | fresheyeball | (~isaac@c-71-237-105-37.hsd1.co.comcast.net) |
2021-05-10 19:12:27 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7) (Ping timeout: 246 seconds) |
2021-05-10 19:12:33 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2021-05-10 19:13:09 +0200 | rj | (~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 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7) |
2021-05-10 19:15:56 +0200 | jgt_ | (~jgt@92-247-237-116.spectrumnet.bg) |
2021-05-10 19:16:24 +0200 | ixlun | (~user@109.249.184.235) |
2021-05-10 19:17:06 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
2021-05-10 19:17:26 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-10 19:18:33 +0200 | rj | (~x@gateway/tor-sasl/rj) |
2021-05-10 19:18:35 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-05-10 19:20:36 +0200 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
2021-05-10 19:22:10 +0200 | jgt_ | (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 252 seconds) |
2021-05-10 19:22:46 +0200 | jamm__ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
2021-05-10 19:22:46 +0200 | gentauro | (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
2021-05-10 19:23:14 +0200 | gentauro | (~gentauro@unaffiliated/gentauro) |
2021-05-10 19:24:02 +0200 | gentauro | (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
2021-05-10 19:25:06 +0200 | deviantfero | (~deviantfe@190.150.27.58) (Quit: WeeChat 3.1) |
2021-05-10 19:25:08 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 258 seconds) |
2021-05-10 19:25:17 +0200 | fresheyeball | (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
2021-05-10 19:25:29 +0200 | deviantfero | (~deviantfe@190.150.27.58) |
2021-05-10 19:27:17 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7) (Ping timeout: 250 seconds) |
2021-05-10 19:27:34 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
2021-05-10 19:27:45 +0200 | jacks2 | (~bc817c21@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout)) |
2021-05-10 19:28:18 +0200 | gentauro | (~gentauro@unaffiliated/gentauro) |
2021-05-10 19:29:19 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 252 seconds) |
2021-05-10 19:30:37 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:692a:95b:a9cd:2f9) |
2021-05-10 19:31:38 +0200 | oxide | (~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 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
2021-05-10 19:34:36 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-10 19:35:01 +0200 | yoctocell | (~user@h87-96-130-155.cust.a3fiber.se) |
2021-05-10 19:36:12 +0200 | gitgood | (~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 +0200 | dcompoze | (~dcompoze@5E98D6D9.static.tld.pl) (Ping timeout: 246 seconds) |
2021-05-10 19:37:58 +0200 | justBull | justTest |
2021-05-10 19:38:05 +0200 | <[exa]> | (try adding `:: String`) |
2021-05-10 19:38:12 +0200 | justTest | justBull |
2021-05-10 19:38:40 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
2021-05-10 19:38:43 +0200 | marinelli | (~marinelli@gateway/tor-sasl/marinelli) (Quit: marinelli) |
2021-05-10 19:38:56 +0200 | dcompoze | (~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 +0200 | dcompoze_ | (~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 +0200 | Andriamanitra | (~mikko@2a02:7b40:d418:6a61::1) |
2021-05-10 19:41:25 +0200 | ixlun | (~user@109.249.184.235) (Ping timeout: 252 seconds) |
2021-05-10 19:42:14 +0200 | Shuppiluliuma | (~shuppilul@153.33.68.161) (Ping timeout: 246 seconds) |
2021-05-10 19:42:23 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
2021-05-10 19:42:24 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
2021-05-10 19:44:11 +0200 | dcompoze | (~dcompoze@cpc97624-walt24-2-0-cust75.13-2.cable.virginm.net) (Ping timeout: 265 seconds) |
2021-05-10 19:44:40 +0200 | davean | officially_bad_p |
2021-05-10 19:45:01 +0200 | officially_bad_p | davean |
2021-05-10 19:45:33 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
2021-05-10 19:46:12 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
2021-05-10 19:46:17 +0200 | Kaiepi | (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
2021-05-10 19:46:30 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-10 19:46:38 +0200 | Kaiepi | (~Kaiepi@47.54.252.148) |
2021-05-10 19:47:18 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
2021-05-10 19:49:02 +0200 | elliott_ | (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
2021-05-10 19:49:43 +0200 | Lycurgus | (~niemand@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
2021-05-10 19:49:59 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds) |
2021-05-10 19:50:09 +0200 | elliott_ | (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) |
2021-05-10 19:51:08 +0200 | superstar64 | (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) (Quit: Connection closed) |
2021-05-10 19:51:33 +0200 | stree | (~stree@68.36.8.116) |
2021-05-10 19:52:27 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
2021-05-10 19:52:46 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-10 19:54:08 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 246 seconds) |
2021-05-10 19:55:19 +0200 | ep1ctetus_ | (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
2021-05-10 19:55:34 +0200 | vicfred | (~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 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
2021-05-10 19:59:01 +0200 | epicte7us | (~epictetus@64.44.80.28) (Ping timeout: 252 seconds) |
2021-05-10 19:59:08 +0200 | royal_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 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
2021-05-10 20:01:46 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
2021-05-10 20:02:56 +0200 | urdh | (~urdh@unaffiliated/urdh) |
2021-05-10 20:03:20 +0200 | CrazyPython | (~crazypyth@98.122.164.118) |
2021-05-10 20:03:46 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
2021-05-10 20:04:58 +0200 | tromp | (~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 +0200 | sayola | (~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 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 260 seconds) |
2021-05-10 20:07:33 +0200 | apache8080 | (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
2021-05-10 20:07:42 +0200 | apache8080 | (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Client Quit) |
2021-05-10 20:08:03 +0200 | apache8080 | (~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 +0200 | jil | (~user@45.86.162.6) |
2021-05-10 20:09:50 +0200 | <jil> | hello |
2021-05-10 20:10:22 +0200 | thongpv87 | (~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 +0200 | royal_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 +0200 | jgt_ | (~jgt@92-247-237-116.spectrumnet.bg) |
2021-05-10 20:13:38 +0200 | khuldraeseth | (~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 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
2021-05-10 20:14:26 +0200 | enikar | likes 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 +0200 | geekosaur | (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 +0200 | geekosaur | (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 +0200 | merijn | (~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 +0200 | rajivr | (uid269651@gateway/web/irccloud.com/x-jaamvvnjwwqairyx) (Quit: Connection closed for inactivity) |
2021-05-10 20:17:41 +0200 | jgt_ | (~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 +0200 | kupi | (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 +0200 | dpl_ | (~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 +0200 | hackage | simplexmq 0.3.1 - SimpleXMQ message broker https://hackage.haskell.org/package/simplexmq-0.3.1 (epoberezkin) |
2021-05-10 20:20:18 +0200 | idhugo | (~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 +0200 | star_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 +0200 | rj | (~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 +0200 | Aquazi | (uid312403@gateway/web/irccloud.com/x-pkpihoadcsprmglz) (Quit: Connection closed for inactivity) |
2021-05-10 20:24:37 +0200 | thongpv87 | (~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 +0200 | Shuppiluliuma | (~shuppilul@153.33.68.161) |
2021-05-10 20:26:30 +0200 | RusAlex | (~Chel@unaffiliated/rusalex) |
2021-05-10 20:28:12 +0200 | waleee-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 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
2021-05-10 20:30:00 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-10 20:30:38 +0200 | gitgood | (~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 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
2021-05-10 20:34:41 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
2021-05-10 20:36:37 +0200 | ixlun | (~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 +0200 | RusAlex | (~Chel@unaffiliated/rusalex) (Ping timeout: 240 seconds) |
2021-05-10 20:38:07 +0200 | khuldraeseth | (~khuldraes@2600:6c48:647f:ea88:8c81:7883:e466:137b) (Quit: Quit) |
2021-05-10 20:39:10 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
2021-05-10 20:39:29 +0200 | star_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 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
2021-05-10 20:39:48 +0200 | RusAlex | (~Chel@unaffiliated/rusalex) |
2021-05-10 20:40:04 +0200 | sphalerite | (~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 +0200 | chimera | (~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 +0200 | Jesin | (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
2021-05-10 20:44:32 +0200 | ystael | (~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 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
2021-05-10 20:47:38 +0200 | royal_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 +0200 | jgt_ | (~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 +0200 | star_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 +0200 | star_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 +0200 | merijn | (~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 +0200 | landonf | (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 +0200 | landonf | (landonf@mac68k.info) |
2021-05-10 20:53:18 +0200 | carlomagno1 | (~cararell@148.87.23.12) (Remote host closed the connection) |
2021-05-10 20:53:18 +0200 | coot | (~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 +0200 | carlomagno | (~cararell@148.87.23.12) |
2021-05-10 20:53:37 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
2021-05-10 20:53:57 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-10 20:53:59 +0200 | jgt_ | (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 246 seconds) |
2021-05-10 20:54:34 +0200 | idhugo | (~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 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2021-05-10 20:56:17 +0200 | Kaiepi | (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
2021-05-10 20:56:37 +0200 | Kaiepi | (~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 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
2021-05-10 20:59:51 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
2021-05-10 21:00:18 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
2021-05-10 21:00:50 +0200 | dpl_ | (~dpl@77-121-78-163.chn.volia.net) |
2021-05-10 21:01:37 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
2021-05-10 21:01:57 +0200 | hackage | io-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 +0200 | carlomagno1 | (~cararell@148.87.23.12) |
2021-05-10 21:02:17 +0200 | tomboy64 | (~tomboy64@gateway/tor-sasl/tomboy64) (Remote host closed the connection) |
2021-05-10 21:02:38 +0200 | ystael | (~ystael@60.sub-174-242-64.myvzw.com) |
2021-05-10 21:03:32 +0200 | gitgood | (~gitgood@80-44-12-75.dynamic.dsl.as9105.com) |
2021-05-10 21:03:37 +0200 | tomboy64 | (~tomboy64@gateway/tor-sasl/tomboy64) |
2021-05-10 21:04:08 +0200 | carlomagno | (~cararell@148.87.23.12) (Ping timeout: 246 seconds) |
2021-05-10 21:07:22 +0200 | rj | (~x@gateway/tor-sasl/rj) |
2021-05-10 21:07:39 +0200 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds) |
2021-05-10 21:08:12 +0200 | mouseghost | (~draco@87-206-9-185.dynamic.chello.pl) |
2021-05-10 21:08:13 +0200 | mouseghost | (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
2021-05-10 21:08:13 +0200 | mouseghost | (~draco@wikipedia/desperek) |
2021-05-10 21:10:59 +0200 | howdoi | (uid224@gateway/web/irccloud.com/x-myfgsmhxtksfsmql) |
2021-05-10 21:14:15 +0200 | dcompoze | (~dcompoze@cpc97624-walt24-2-0-cust75.13-2.cable.virginm.net) |
2021-05-10 21:15:41 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
2021-05-10 21:15:58 +0200 | pavonia | (~user@unaffiliated/siracusa) |
2021-05-10 21:16:31 +0200 | carlomagno1 | (~cararell@148.87.23.12) (Remote host closed the connection) |
2021-05-10 21:16:39 +0200 | carlomagno | (~cararell@148.87.23.12) |
2021-05-10 21:16:59 +0200 | Pickchea | (~private@unaffiliated/pickchea) |
2021-05-10 21:17:29 +0200 | dcompoze_ | (~dcompoze@5E98D6D9.static.tld.pl) (Ping timeout: 260 seconds) |
2021-05-10 21:18:53 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
2021-05-10 21:20:55 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2021-05-10 21:22:27 +0200 | hackage | unicode-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 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
2021-05-10 21:24:55 +0200 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:3975:4704:86d0:93dc) (Ping timeout: 260 seconds) |
2021-05-10 21:25:25 +0200 | apache8080 | (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 260 seconds) |
2021-05-10 21:26:26 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
2021-05-10 21:26:44 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-10 21:26:48 +0200 | jgt_ | (~jgt@92-247-237-116.spectrumnet.bg) |
2021-05-10 21:27:38 +0200 | CrazyPython | (~crazypyth@98.122.164.118) (Read error: Connection reset by peer) |
2021-05-10 21:29:30 +0200 | Pickchea | (~private@unaffiliated/pickchea) (Quit: Leaving) |
2021-05-10 21:31:06 +0200 | jgt_ | (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 240 seconds) |
2021-05-10 21:31:28 +0200 | jao | (~jao@pdpc/supporter/professional/jao) |
2021-05-10 21:32:08 +0200 | Shuppiluliuma | (~shuppilul@153.33.68.161) (Ping timeout: 246 seconds) |
2021-05-10 21:32:52 +0200 | finn_elija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection) |
2021-05-10 21:33:30 +0200 | finn_elija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
2021-05-10 21:36:18 +0200 | usr25 | (~J@71.red-83-50-211.dynamicip.rima-tde.net) |
2021-05-10 21:36:41 +0200 | poljar | (~poljar@78-3-21-158.adsl.net.t-com.hr) |
2021-05-10 21:37:58 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-05-10 21:39:37 +0200 | poljar1 | (~poljar@93-143-164-44.adsl.net.t-com.hr) (Ping timeout: 268 seconds) |
2021-05-10 21:40:07 +0200 | kuribas | (~user@ptr-25vy0i925fk04q1dztp.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
2021-05-10 21:40:36 +0200 | jgt_ | (~jgt@92-247-237-116.spectrumnet.bg) |
2021-05-10 21:40:57 +0200 | phaul | (~phaul@ruby/staff/phaul) |
2021-05-10 21:43:25 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Quit: leaving) |
2021-05-10 21:43:33 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
2021-05-10 21:43:43 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
2021-05-10 21:45:04 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:7199:d608:f167:a45a) (Remote host closed the connection) |
2021-05-10 21:45:30 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
2021-05-10 21:45:42 +0200 | nineonine | (~nineonine@50.216.62.2) |
2021-05-10 21:45:48 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
2021-05-10 21:45:49 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-10 21:47:23 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
2021-05-10 21:48:46 +0200 | rj | (~x@gateway/tor-sasl/rj) |
2021-05-10 21:50:20 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
2021-05-10 21:52:06 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
2021-05-10 21:53:13 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
2021-05-10 21:54:15 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2021-05-10 21:54:16 +0200 | ystael | (~ystael@60.sub-174-242-64.myvzw.com) (Read error: Connection reset by peer) |
2021-05-10 21:55:39 +0200 | minoru_shiraeesh | (~shiraeesh@109.166.58.80) |
2021-05-10 21:57:26 +0200 | m_shiraeeshi | (~shiraeesh@46.34.206.81) (Ping timeout: 240 seconds) |
2021-05-10 21:59:11 +0200 | stree | (~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 +0200 | kenran | (~kenran@mue-88-130-62-246.dsl.tropolys.de) |
2021-05-10 22:02:11 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
2021-05-10 22:03:11 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
2021-05-10 22:03:42 +0200 | Shuppiluliuma | (~shuppilul@153.33.68.161) |
2021-05-10 22:04:41 +0200 | jgt_ | (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 240 seconds) |
2021-05-10 22:05:33 +0200 | petersen | (~petersen@redhat/juhp) (Ping timeout: 260 seconds) |
2021-05-10 22:05:48 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2021-05-10 22:07:20 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
2021-05-10 22:08:50 +0200 | eacameron | (uid256985@gateway/web/irccloud.com/x-ysloaedovjwjllrg) |
2021-05-10 22:08:51 +0200 | petersen | (~petersen@redhat/juhp) |
2021-05-10 22:09:34 +0200 | xff0x | (~xff0x@2001:1a81:53c1:c00:be46:b01b:ca6b:895e) (Ping timeout: 245 seconds) |
2021-05-10 22:10:22 +0200 | jgt_ | (~jgt@92-247-237-116.spectrumnet.bg) |
2021-05-10 22:10:28 +0200 | xff0x | (~xff0x@2001:1a81:53c1:c00:d3cf:b4c5:fad:7731) |
2021-05-10 22:12:53 +0200 | stree | (~stree@68.36.8.116) |
2021-05-10 22:14:41 +0200 | jgt_ | (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 240 seconds) |
2021-05-10 22:16:46 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
2021-05-10 22:17:44 +0200 | hexfive | (~hexfive@50.35.83.177) |
2021-05-10 22:20:18 +0200 | acidjnk_new2 | (~acidjnk@p200300d0c72b9550dd7ca825465ad778.dip0.t-ipconnect.de) |
2021-05-10 22:21:20 +0200 | juuandyy | (~juuandyy@90.106.228.121) (Quit: Konversation terminated!) |
2021-05-10 22:21:44 +0200 | kritzefitz | (~kritzefit@212.86.56.80) (Remote host closed the connection) |
2021-05-10 22:23:33 +0200 | nut | (~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 +0200 | Neuromancer | (~Neuromanc@unaffiliated/neuromancer) |
2021-05-10 22:26:21 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
2021-05-10 22:31:50 +0200 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
2021-05-10 22:31:50 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-05-10 22:32:49 +0200 | Katarushisu7 | (~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) |
2021-05-10 22:33:02 +0200 | Katarushisu | (~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) (Ping timeout: 246 seconds) |
2021-05-10 22:33:03 +0200 | Katarushisu7 | Katarushisu |
2021-05-10 22:33:59 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
2021-05-10 22:34:48 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds) |
2021-05-10 22:35:04 +0200 | mupf | (~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 +0200 | mupf | (~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 +0200 | rj | (~x@gateway/tor-sasl/rj) |
2021-05-10 22:38:52 +0200 | dcompoze | (~dcompoze@cpc97624-walt24-2-0-cust75.13-2.cable.virginm.net) (Quit: WeeChat 3.1) |
2021-05-10 22:43:19 +0200 | Jesin | (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) |
2021-05-10 22:44:12 +0200 | rodriga | (~quassel@134.204.25.66) (Ping timeout: 240 seconds) |
2021-05-10 22:45:57 +0200 | LKoen | (~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 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:692a:95b:a9cd:2f9) (Quit: My MacBook has gone to sleep. ZZZzzzâŚ) |
2021-05-10 22:47:20 +0200 | jgt_ | (~jgt@92-247-237-116.spectrumnet.bg) |
2021-05-10 22:47:44 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-05-10 22:49:34 +0200 | Athas | (athas@sigkill.dk) (Quit: ZNC - http://znc.sourceforge.net) |
2021-05-10 22:51:09 +0200 | malumore | (~malumore@151.62.127.121) (Ping timeout: 268 seconds) |
2021-05-10 22:53:32 +0200 | jgt_ | (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 240 seconds) |
2021-05-10 22:53:40 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
2021-05-10 22:54:59 +0200 | jgt_ | (~jgt@92-247-237-116.spectrumnet.bg) |
2021-05-10 22:56:50 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
2021-05-10 22:58:32 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
2021-05-10 23:00:47 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2021-05-10 23:01:14 +0200 | apache8080 | (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
2021-05-10 23:01:41 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds) |
2021-05-10 23:01:44 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
2021-05-10 23:02:26 +0200 | urdh | (~urdh@unaffiliated/urdh) (Ping timeout: 240 seconds) |
2021-05-10 23:04:52 +0200 | Daneel_Olivaw150 | (~HariSeldo@2a03:4b80:b716:2570:fa59:71ff:fe52:9a18) |
2021-05-10 23:08:33 +0200 | usr25 | (~J@71.red-83-50-211.dynamicip.rima-tde.net) (Ping timeout: 240 seconds) |
2021-05-10 23:10:24 +0200 | gienah_ | (~mwright@119-18-0-161.771200.syd.nbn.aussiebb.net) |
2021-05-10 23:11:57 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
2021-05-10 23:13:13 +0200 | falafel | (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) |
2021-05-10 23:13:21 +0200 | roconnor | (~roconnor@host-23-91-186-24.dyn.295.ca) (Ping timeout: 268 seconds) |
2021-05-10 23:13:57 +0200 | gienah | (~mwright@gentoo/developer/gienah) (Ping timeout: 265 seconds) |
2021-05-10 23:15:09 +0200 | roconnor | (~roconnor@host-23-91-186-24.dyn.295.ca) |
2021-05-10 23:17:49 +0200 | rj | (~x@gateway/tor-sasl/rj) |
2021-05-10 23:18:28 +0200 | ixlun | (~user@109.249.184.235) (Read error: Connection reset by peer) |
2021-05-10 23:19:37 +0200 | ixlun | (~user@109.249.184.235) |
2021-05-10 23:21:17 +0200 | gienah | (~mwright@gentoo/developer/gienah) |
2021-05-10 23:21:46 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2021-05-10 23:21:56 +0200 | Athas | (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 +0200 | gienah_ | (~mwright@119-18-0-161.771200.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
2021-05-10 23:24:10 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 276 seconds) |
2021-05-10 23:24:11 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
2021-05-10 23:24:43 +0200 | apache8080 | (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 252 seconds) |
2021-05-10 23:24:53 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
2021-05-10 23:30:39 +0200 | ystael | (~ystael@209.6.50.55) |
2021-05-10 23:30:44 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds) |
2021-05-10 23:33:35 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 246 seconds) |
2021-05-10 23:34:31 +0200 | cdsmith | (~cdsmithus@c-73-207-21-162.hsd1.ga.comcast.net) (Remote host closed the connection) |
2021-05-10 23:34:56 +0200 | cdsmith | (~cdsmithus@c-73-207-21-162.hsd1.ga.comcast.net) |
2021-05-10 23:35:11 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
2021-05-10 23:35:30 +0200 | proofofkeags | (~proofofke@205.209.28.54) (Ping timeout: 252 seconds) |
2021-05-10 23:35:41 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
2021-05-10 23:35:52 +0200 | kenran | (~kenran@mue-88-130-62-246.dsl.tropolys.de) (Quit: leaving) |
2021-05-10 23:36:25 +0200 | fendor | (~fendor@91.141.0.25.wireless.dyn.drei.com) (Remote host closed the connection) |
2021-05-10 23:36:47 +0200 | mounty | (~mounty@236.216.214.218.sta.wbroadband.net.au) |
2021-05-10 23:37:54 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
2021-05-10 23:38:13 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
2021-05-10 23:39:28 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
2021-05-10 23:41:24 +0200 | sheepduck | (~sheepduck@2607:fea8:2a62:9600::5ac6) |
2021-05-10 23:42:35 +0200 | Guest95727 | (~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d) (Ping timeout: 260 seconds) |
2021-05-10 23:44:58 +0200 | falafel | (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) (Ping timeout: 276 seconds) |
2021-05-10 23:46:26 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-05-10 23:49:20 +0200 | sheepduck | (~sheepduck@2607:fea8:2a62:9600::5ac6) (Remote host closed the connection) |
2021-05-10 23:49:33 +0200 | tomboy64 | (~tomboy64@gateway/tor-sasl/tomboy64) (Ping timeout: 240 seconds) |
2021-05-10 23:49:33 +0200 | andreas303 | (~andreas@gateway/tor-sasl/andreas303) (Ping timeout: 240 seconds) |
2021-05-10 23:50:36 +0200 | andreas303 | (~andreas@gateway/tor-sasl/andreas303) |
2021-05-10 23:50:37 +0200 | tomboy64 | (~tomboy64@gateway/tor-sasl/tomboy64) |
2021-05-10 23:50:44 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
2021-05-10 23:51:27 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
2021-05-10 23:52:09 +0200 | sheepduck | (~sheepduck@2607:fea8:2a62:9600::5ac6) |
2021-05-10 23:52:35 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2021-05-10 23:54:27 +0200 | hackage | realworldhaskell 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 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
2021-05-10 23:56:20 +0200 | Lowl3v3l | (~Lowl3v3l@dslb-002-203-255-063.002.203.pools.vodafone-ip.de) (Remote host closed the connection) |
2021-05-10 23:57:51 +0200 | elliott_ | (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |