Logs on 2022-03-14 (liberachat/#haskell)
| 00:02:07 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 00:05:06 | × | acidjnk quits (~acidjnk@p200300d0c7049f09a48046c09dc85a06.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 00:06:38 | → | srk- joins (~sorki@user/srk) |
| 00:07:32 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 00:09:25 | × | srk quits (~sorki@user/srk) (Ping timeout: 240 seconds) |
| 00:09:26 | srk- | is now known as srk |
| 00:11:43 | → | lavaman joins (~lavaman@98.38.249.169) |
| 00:11:50 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 00:13:30 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 00:19:43 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 256 seconds) |
| 00:22:27 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 00:23:56 | × | namkeleser quits (~namkelese@101.175.104.107) (Ping timeout: 256 seconds) |
| 00:26:27 | → | yauhsien joins (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 00:26:47 | → | alMalsamo joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 00:31:24 | × | yauhsien quits (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 00:34:12 | × | mreh quits (~matthew@host86-172-33-212.range86-172.btcentralplus.com) (Ping timeout: 252 seconds) |
| 00:34:36 | × | mvk quits (~mvk@2607:fea8:5cc3:7e00::45ee) (Ping timeout: 240 seconds) |
| 00:38:26 | → | kimjetwav joins (~user@2607:fea8:2363:8f00:1c7e:ff3d:8ab5:397a) |
| 00:39:10 | → | meinside joins (uid24933@id-24933.helmsley.irccloud.com) |
| 00:42:54 | × | kimjetwav quits (~user@2607:fea8:2363:8f00:1c7e:ff3d:8ab5:397a) (Remote host closed the connection) |
| 00:46:32 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 00:46:43 | → | lavaman joins (~lavaman@98.38.249.169) |
| 00:54:31 | → | dsrt^ joins (~dsrt@50.232.121.75) |
| 00:56:12 | × | jgeerds quits (~jgeerds@55d4548e.access.ecotel.net) (Ping timeout: 252 seconds) |
| 00:59:28 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Quit: Off to see the wizard.) |
| 01:00:03 | × | cyphase quits (~cyphase@user/cyphase) (Ping timeout: 252 seconds) |
| 01:02:00 | → | merijn joins (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 01:03:37 | × | ph88^ quits (~ph88@84-30-78-253.cable.dynamic.v4.ziggo.nl) (Ping timeout: 240 seconds) |
| 01:05:17 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 01:11:19 | → | mvk joins (~mvk@2607:fea8:5cc3:7e00::45ee) |
| 01:11:24 | × | TonyStone quits (~TonyStone@2603-7080-8607-c36a-0d13-db80-1316-2ed6.res6.spectrum.com) (Remote host closed the connection) |
| 01:12:55 | → | TonyStone joins (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 01:19:45 | → | yauhsien joins (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 01:30:45 | ← | andreabedini[m] parts (~andreabed@2001:470:69fc:105::c821) () |
| 01:31:15 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4) |
| 01:31:24 | × | merijn quits (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 01:34:41 | × | ProfSimm quits (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 01:45:09 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 01:46:33 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 01:46:33 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 01:46:33 | → | wroathe joins (~wroathe@user/wroathe) |
| 01:53:00 | × | dsrt^ quits (~dsrt@50.232.121.75) (Ping timeout: 250 seconds) |
| 01:57:20 | × | CiaoSen quits (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 02:00:57 | × | mvk quits (~mvk@2607:fea8:5cc3:7e00::45ee) (Ping timeout: 240 seconds) |
| 02:05:29 | × | yauhsien quits (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 02:07:11 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 02:08:32 | × | vicfred quits (~vicfred@user/vicfred) (Quit: Leaving) |
| 02:15:11 | InstX1 | is now known as Inst |
| 02:15:43 | → | img joins (~img@user/img) |
| 02:16:03 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 02:24:53 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 02:24:53 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 02:24:53 | → | wroathe joins (~wroathe@user/wroathe) |
| 02:24:53 | × | wroathe quits (~wroathe@user/wroathe) (Client Quit) |
| 02:25:05 | → | wroathe joins (~wroathe@user/wroathe) |
| 02:26:22 | → | arjun joins (~arjun@user/arjun) |
| 02:28:05 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 02:29:21 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 02:33:30 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 02:34:39 | × | rtsn quits (~nstr@h-98-128-229-174.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 02:36:20 | → | yauhsien joins (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 02:41:15 | × | yauhsien quits (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 02:43:17 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 02:45:52 | × | Unicorn_Princess quits (~Unicorn_P@46-54-248-191.static.kate-wing.si) (Quit: Leaving) |
| 02:46:36 | × | ub quits (~Thunderbi@p200300ecdf19b7b7b1fc5a865b2694ae.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 02:46:56 | → | ub joins (~Thunderbi@p200300ecdf19b765b1fc5a865b2694ae.dip0.t-ipconnect.de) |
| 02:47:10 | alMalsamo | is now known as lumberjack123 |
| 02:51:00 | × | ubert quits (~Thunderbi@p200300ecdf19b7b750061d6876d392e8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 02:51:19 | → | ubert joins (~Thunderbi@p200300ecdf19b765379f43bf352ea1c3.dip0.t-ipconnect.de) |
| 02:51:20 | × | TonyStone quits (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Remote host closed the connection) |
| 02:51:51 | → | TonyStone joins (~TonyStone@2603-7080-8607-c36a-0034-44e7-d0a8-40e0.res6.spectrum.com) |
| 02:52:48 | × | TonyStone quits (~TonyStone@2603-7080-8607-c36a-0034-44e7-d0a8-40e0.res6.spectrum.com) (Remote host closed the connection) |
| 02:55:43 | → | yauhsien joins (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 03:04:00 | × | lemonsnicks quits (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 03:04:21 | × | tomku quits (~tomku@user/tomku) (Ping timeout: 252 seconds) |
| 03:05:53 | → | tomku joins (~tomku@user/tomku) |
| 03:17:33 | × | yauhsien quits (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 03:18:09 | → | yauhsien joins (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 03:22:24 | → | lemonsnicks joins (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
| 03:25:06 | × | hololeap quits (~hololeap@user/hololeap) (Read error: Connection reset by peer) |
| 03:26:56 | × | LiaoTao quits (~LiaoTao@gateway/tor-sasl/liaotao) (Ping timeout: 240 seconds) |
| 03:27:36 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds) |
| 03:28:25 | → | merijn joins (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 03:29:57 | × | boborygmy quits (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 240 seconds) |
| 03:29:57 | × | boborygmy_ quits (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 240 seconds) |
| 03:30:09 | × | td_ quits (~td@muedsl-82-207-238-124.citykom.de) (Ping timeout: 272 seconds) |
| 03:35:41 | → | boborygmy_ joins (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 03:35:43 | → | boborygmy joins (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 03:38:15 | → | lavaman joins (~lavaman@98.38.249.169) |
| 03:42:17 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 252 seconds) |
| 03:46:12 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 03:46:57 | → | InstX1 joins (~Liam@2601:6c4:4080:3f80:19b3:b5d4:126:3f1b) |
| 03:48:12 | × | Inst quits (~Liam@2601:6c4:4080:3f80:cd4d:1ad4:b525:ecf8) (Ping timeout: 240 seconds) |
| 03:48:16 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 03:48:16 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 03:48:16 | → | wroathe joins (~wroathe@user/wroathe) |
| 03:49:58 | → | LiaoTao joins (~LiaoTao@gateway/tor-sasl/liaotao) |
| 03:49:59 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 03:50:02 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 03:51:03 | → | rekahsoft joins (~rekahsoft@2607:fea8:44e0:66:a70f:4317:14fd:33d6) |
| 03:54:18 | → | xkuru joins (~xkuru@user/xkuru) |
| 03:59:32 | × | yauhsien quits (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 04:00:00 | × | Taneb quits (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (Quit: I seem to have stopped.) |
| 04:00:41 | → | yauhsien joins (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 04:01:15 | → | Taneb joins (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) |
| 04:01:24 | × | merijn quits (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 04:01:28 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 04:05:10 | × | yauhsien quits (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 250 seconds) |
| 04:05:52 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 04:05:57 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 04:06:29 | → | yauhsien joins (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 04:12:20 | → | img joins (~img@user/img) |
| 04:13:43 | × | liz quits (~liz@2a00:23c5:9680:501:b62e:99ff:fee4:47fa) (Remote host closed the connection) |
| 04:14:42 | × | jao quits (~jao@45.134.142.225) (Ping timeout: 250 seconds) |
| 04:17:18 | → | ph88^ joins (~ph88@2001:1c05:2402:c600:9cf1:b6e0:91f2:fea3) |
| 04:21:41 | × | ph88^ quits (~ph88@2001:1c05:2402:c600:9cf1:b6e0:91f2:fea3) (Ping timeout: 256 seconds) |
| 04:24:57 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds) |
| 04:26:22 | → | deadmarshal_ joins (~deadmarsh@95.38.231.29) |
| 04:30:18 | × | rekahsoft quits (~rekahsoft@2607:fea8:44e0:66:a70f:4317:14fd:33d6) (Remote host closed the connection) |
| 04:31:08 | × | jackson99 quits (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Session timeout)) |
| 04:32:32 | → | bitmapper joins (uid464869@id-464869.lymington.irccloud.com) |
| 04:33:12 | → | lavaman joins (~lavaman@98.38.249.169) |
| 04:33:15 | × | yauhsien quits (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 04:34:00 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 04:34:01 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 04:34:04 | allbery_b | is now known as geekosaur |
| 04:36:39 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 04:36:41 | zero | is now known as zzz |
| 04:39:44 | × | zmt01 quits (~zmt00@user/zmt00) (Quit: Leaving) |
| 04:40:03 | × | arjun quits (~arjun@user/arjun) (Ping timeout: 252 seconds) |
| 04:40:55 | → | zmt00 joins (~zmt00@user/zmt00) |
| 04:41:05 | × | kaph quits (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 04:49:57 | × | swistak quits (~swistak@185.21.216.141) (Ping timeout: 240 seconds) |
| 04:51:36 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds) |
| 04:53:51 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 04:56:34 | → | yauhsien joins (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 04:56:41 | × | yauhsien quits (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 04:56:42 | → | cyphase joins (~cyphase@user/cyphase) |
| 04:58:54 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 250 seconds) |
| 05:00:39 | → | kaph joins (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 05:03:18 | → | yauhsien joins (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 05:04:53 | × | Giovanni quits (~Giovanni@176.55.166.222) (Remote host closed the connection) |
| 05:07:00 | × | EvanR quits (~EvanR@user/evanr) (Quit: Leaving) |
| 05:09:53 | InstX1 | is now known as Inst |
| 05:14:12 | × | boborygmy_ quits (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 240 seconds) |
| 05:14:38 | × | boborygmy quits (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 272 seconds) |
| 05:21:00 | × | shriekingnoise quits (~shrieking@201.231.16.156) (Quit: Quit) |
| 05:21:04 | → | arjun joins (~arjun@user/arjun) |
| 05:21:14 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 05:25:55 | → | boborygmy_ joins (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 05:25:57 | → | boborygmy joins (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 05:26:13 | → | lavaman joins (~lavaman@98.38.249.169) |
| 05:28:39 | → | [_] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 05:31:14 | → | swistak joins (~swistak@185.21.216.141) |
| 05:31:48 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds) |
| 05:37:38 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 05:38:00 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 05:39:24 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 05:41:14 | × | arjun quits (~arjun@user/arjun) (Ping timeout: 272 seconds) |
| 05:44:49 | × | yauhsien quits (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 05:44:50 | × | boborygmy_ quits (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 250 seconds) |
| 05:45:38 | → | yauhsien joins (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 05:45:41 | × | boborygmy quits (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 272 seconds) |
| 05:50:18 | × | kaph quits (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 05:51:00 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 05:57:01 | × | yauhsien quits (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 05:57:35 | → | yauhsien joins (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 05:58:21 | → | merijn joins (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 06:02:42 | → | Chai-T-Rex joins (~ChaiTRex@user/chaitrex) |
| 06:03:56 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds) |
| 06:04:46 | × | ski quits (~ski@remote12.chalmers.se) (Quit: Lost terminal) |
| 06:07:33 | × | yauhsien quits (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 06:09:31 | → | yauhsien joins (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 06:09:44 | → | ski joins (~ski@remote12.chalmers.se) |
| 06:11:42 | → | weeezes[m] joins (~weeezesma@2001:470:69fc:105::1:da65) |
| 06:14:38 | → | vglfr joins (~vglfr@88.155.84.15) |
| 06:15:02 | → | parsnip joins (~parsnip0m@user/parsnip) |
| 06:18:16 | ← | parsnip parts (~parsnip0m@user/parsnip) () |
| 06:19:04 | → | lavaman joins (~lavaman@98.38.249.169) |
| 06:19:53 | × | unyu quits (~pyon@user/pyon) (Quit: WeeChat 3.4) |
| 06:20:35 | → | vicfred joins (~vicfred@user/vicfred) |
| 06:21:46 | → | vicfred_ joins (~vicfred@user/vicfred) |
| 06:23:33 | × | vicfred_ quits (~vicfred@user/vicfred) (Client Quit) |
| 06:24:52 | × | yauhsien quits (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 06:25:06 | × | vicfred quits (~vicfred@user/vicfred) (Ping timeout: 252 seconds) |
| 06:25:24 | → | yauhsien joins (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 06:25:53 | × | slaydr quits (~seriley@75.164.66.230) (Quit: leaving) |
| 06:30:39 | × | yauhsien quits (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 06:33:11 | × | merijn quits (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 06:37:08 | → | ajb joins (~ajb@cupid.whatbox.ca) |
| 06:38:49 | × | nurupo quits (~nurupo.ga@user/nurupo) (Quit: nurupo.ga) |
| 06:39:20 | → | nurupo joins (~nurupo.ga@user/nurupo) |
| 06:42:02 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 06:43:47 | → | nexus_ joins (~nexus@fibhost-67-47-22.fibernet.hu) |
| 06:45:29 | → | kaph joins (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 06:47:10 | → | arjun joins (~arjun@user/arjun) |
| 06:50:17 | × | shapr quits (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
| 06:52:25 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 06:54:58 | → | coot joins (~coot@213.134.190.95) |
| 06:57:10 | → | bahamas joins (~lucian@84.232.140.52) |
| 06:59:39 | → | michalz joins (~michalz@185.246.204.93) |
| 07:07:41 | → | yauhsien joins (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 07:09:19 | → | lavaman joins (~lavaman@98.38.249.169) |
| 07:10:33 | → | mmhat joins (~mmh@55d4c3ac.access.ecotel.net) |
| 07:16:56 | × | m1dnight_ quits (~christoph@78-22-9-5.access.telenet.be) (Quit: WeeChat 3.4) |
| 07:17:17 | → | m1dnight joins (~christoph@78-22-9-5.access.telenet.be) |
| 07:20:30 | → | solomon[m] joins (~solomonco@2001:470:69fc:105::1:6000) |
| 07:28:21 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 252 seconds) |
| 07:31:32 | → | dyeplexer joins (~dyeplexer@user/dyeplexer) |
| 07:32:45 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 07:36:05 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:e9d9:d179:7feb:e279) |
| 07:36:36 | × | yauhsien quits (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 07:37:47 | × | Natch quits (~natch@c-67bae255.014-297-73746f25.bbcust.telenor.se) (Remote host closed the connection) |
| 07:42:04 | → | thevishy joins (~Nishant@49.37.242.151) |
| 07:42:50 | → | cfricke joins (~cfricke@user/cfricke) |
| 07:43:10 | → | Natch joins (~natch@c-67bae255.014-297-73746f25.bbcust.telenor.se) |
| 07:43:21 | × | toulene quits (~toulene@user/toulene) (Quit: Ping timeout (120 seconds)) |
| 07:44:46 | → | toulene joins (~toulene@user/toulene) |
| 07:46:24 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 07:48:45 | × | mmhat quits (~mmh@55d4c3ac.access.ecotel.net) (Ping timeout: 256 seconds) |
| 07:49:08 | × | thevishy quits (~Nishant@49.37.242.151) (Quit: Leaving) |
| 07:50:08 | → | nishant joins (~Nishant@49.37.242.151) |
| 07:51:01 | → | acidjnk joins (~acidjnk@p200300d0c7049f8431258c04711cd36e.dip0.t-ipconnect.de) |
| 07:52:16 | → | MajorBiscuit joins (~MajorBisc@c-001-018-036.client.tudelft.eduvpn.nl) |
| 07:53:30 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 07:53:37 | × | toulene quits (~toulene@user/toulene) (Ping timeout: 272 seconds) |
| 07:54:53 | → | kuribas joins (~user@ptr-25vy0i6vc7g38qqigba.18120a2.ip6.access.telenet.be) |
| 07:55:42 | → | toulene joins (~toulene@user/toulene) |
| 07:56:09 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 272 seconds) |
| 08:01:37 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 08:01:55 | × | nexus_ quits (~nexus@fibhost-67-47-22.fibernet.hu) (Read error: Connection reset by peer) |
| 08:02:15 | → | mmhat joins (~mmh@55d4b6b1.access.ecotel.net) |
| 08:02:49 | × | arjun quits (~arjun@user/arjun) (Quit: Leaving) |
| 08:03:39 | → | nexus_ joins (~nexus@178-164-208-88.pool.digikabel.hu) |
| 08:03:55 | → | fendor joins (~fendor@178.115.62.26.wireless.dyn.drei.com) |
| 08:12:49 | → | alp joins (~alp@user/alp) |
| 08:13:15 | × | vglfr quits (~vglfr@88.155.84.15) (Ping timeout: 272 seconds) |
| 08:15:34 | → | merijn joins (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 08:25:56 | → | yauhsien joins (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 08:33:42 | × | toulene quits (~toulene@user/toulene) (Quit: The Lounge - https://thelounge.chat) |
| 08:34:43 | × | yauhsien quits (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 08:37:38 | → | yauhsien joins (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 08:38:04 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 08:38:06 | → | dhouthoo joins (~dhouthoo@178-117-36-167.access.telenet.be) |
| 08:40:45 | × | m1dnight quits (~christoph@78-22-9-5.access.telenet.be) (Quit: WeeChat 3.4.1) |
| 08:41:24 | → | m1dnight joins (~christoph@78-22-9-5.access.telenet.be) |
| 08:43:01 | × | yauhsien quits (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 08:44:05 | → | toulene joins (~toulene@user/toulene) |
| 08:44:13 | × | acidjnk quits (~acidjnk@p200300d0c7049f8431258c04711cd36e.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 08:45:09 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 08:51:18 | × | Inst quits (~Liam@2601:6c4:4080:3f80:19b3:b5d4:126:3f1b) (Quit: Leaving) |
| 08:51:19 | → | ph88^ joins (~ph88@2001:1c05:2402:c600:9cf1:b6e0:91f2:fea3) |
| 08:52:59 | → | ardell joins (~ardell@user/ardell) |
| 08:54:42 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 08:55:31 | → | acidjnk joins (~acidjnk@p200300d0c7049f845552850e41000a61.dip0.t-ipconnect.de) |
| 08:55:55 | → | chele joins (~chele@user/chele) |
| 08:56:36 | → | Inst joins (~Liam@2601:6c4:4080:3f80:dc06:54f2:d0a:6b8c) |
| 08:57:06 | <Inst> | hi guys |
| 09:00:05 | → | mbuf joins (~Shakthi@223.178.86.208) |
| 09:00:09 | × | Drew[m] quits (~drewefenw@2001:470:69fc:105::c8c4) (Quit: You have been kicked for being idle) |
| 09:00:10 | × | justAstache quits (~justache@user/justache) (Read error: Connection reset by peer) |
| 09:01:10 | → | justAstache joins (~justache@user/justache) |
| 09:01:41 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 09:04:18 | × | rembo10 quits (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 09:05:12 | → | rembo10 joins (~rembo10@main.remulis.com) |
| 09:06:57 | × | dyeplexer quits (~dyeplexer@user/dyeplexer) (Ping timeout: 240 seconds) |
| 09:08:45 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 09:08:48 | × | [_] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 09:09:49 | → | dyeplexer joins (~dyeplexer@user/dyeplexer) |
| 09:11:57 | × | ph88^ quits (~ph88@2001:1c05:2402:c600:9cf1:b6e0:91f2:fea3) (Ping timeout: 240 seconds) |
| 09:14:01 | → | Pickchea joins (~private@user/pickchea) |
| 09:15:52 | × | agumonke` quits (~user@88.163.231.79) (Ping timeout: 250 seconds) |
| 09:16:33 | <kuribas> | Morning. |
| 09:16:48 | <kuribas> | convinced your cleaning lady yet to use haskell? |
| 09:17:07 | <kuribas> | It was you who wanted to convert everyone to haskell right? |
| 09:19:54 | <kuribas> | I see a lot of rust jobs for crypto now. Does rust have the same curse as haskell now? |
| 09:20:46 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 09:21:39 | × | Akiva quits (~Akiva@user/Akiva) (Ping timeout: 252 seconds) |
| 09:22:23 | <Inst> | hi guys |
| 09:22:32 | <Inst> | I'm willing to pay 20-80 USD an hour |
| 09:22:37 | <Inst> | for tutoring in Haskell and Computer Science |
| 09:22:46 | <Inst> | contact me if interested, we can set something up on an accredited tutoring website |
| 09:24:03 | → | yauhsien joins (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 09:24:09 | × | ubert quits (~Thunderbi@p200300ecdf19b765379f43bf352ea1c3.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 09:24:09 | ub | is now known as ubert |
| 09:24:28 | → | ubert1 joins (~Thunderbi@p200300ecdf19b7650b46467200086b86.dip0.t-ipconnect.de) |
| 09:24:32 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 250 seconds) |
| 09:26:24 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 09:28:44 | → | ph88 joins (~ph88@84-30-78-253.cable.dynamic.v4.ziggo.nl) |
| 09:30:54 | <[exa]> | O_o |
| 09:31:49 | → | lavaman joins (~lavaman@98.38.249.169) |
| 09:41:29 | → | __monty__ joins (~toonn@user/toonn) |
| 09:51:37 | × | zaquest quits (~notzaques@5.130.79.72) (Quit: Leaving) |
| 09:52:46 | → | zaquest joins (~notzaques@5.130.79.72) |
| 09:53:44 | <maerwald> | kuribas: you can just ignore those jobs if you're not interested |
| 09:56:23 | <merijn> | Sure. I can also ignore jobs in all the other "burn the world down"-industries, but as someone with a vested interest in "not burning the world down", I'd rather complain about them existing and hopefully getting others to reconsider taking those jobs too :) |
| 09:58:30 | <maerwald> | merijn: I contacted reddit mods to remove those troll posts from job postings, but I'm not sure what the verdict is |
| 09:58:39 | <maerwald> | I find it extremely annoying |
| 09:59:34 | <maerwald> | Idc about peoples opinions on industries in job postings. I can make my own decision. Those people can write those things on their own blogs. |
| 10:00:47 | <kuribas> | maerwald: which troll posts? |
| 10:00:48 | → | ProfSimm joins (~ProfSimm@87.227.196.109) |
| 10:01:16 | <maerwald> | kuribas: things like "I hope this is not blockchain or high-speed trading" |
| 10:01:29 | → | jgeerds joins (~jgeerds@55d4548e.access.ecotel.net) |
| 10:01:48 | <kuribas> | maerwald: oh, so now something is a troll-post because it doesn't fit your world-view? |
| 10:01:54 | <merijn> | I mean, high-speed trading is at least several orders of magnitude less harmful |
| 10:01:57 | <maerwald> | kuribas: not at all |
| 10:02:21 | → | mreh joins (~matthew@host86-172-33-212.range86-172.btcentralplus.com) |
| 10:02:55 | <maerwald> | kuribas: my view is that all replies to job postings that don't either engage with the author or ask for more information are troll posts |
| 10:03:00 | <merijn> | I can still respect someone who works in high-frequency trading. |
| 10:03:14 | <kuribas> | maerwald: well, then luckily the moderators are less short minded that you are. |
| 10:03:18 | <kuribas> | reddit is not a job board. |
| 10:03:24 | <maerwald> | if everyone posts their opinion about random industries on every single job post, then no one is gonna post jobs anymore |
| 10:03:38 | <merijn> | maerwald: Why? I think it's fine advertising jobs in the community, but then you can't complain if the community thinks your job is shit |
| 10:03:38 | <maerwald> | I've advised companies before not to post their job postings on r/haskell |
| 10:03:45 | <maerwald> | because it's toxic |
| 10:03:47 | <kuribas> | merijn: isn't that just gambling? |
| 10:04:08 | <kuribas> | merijn: I mean, it doesn't look at all at the added value of the product. |
| 10:04:19 | <kuribas> | it's just gaming the system. |
| 10:04:19 | <merijn> | maerwald: If you don't want criticism on your company/job posts, pay a recruiter and advertise them somewhere else |
| 10:04:30 | <maerwald> | merijn: that's not criticism |
| 10:04:39 | <maerwald> | that's your personal world view |
| 10:04:48 | <maerwald> | you can share that somewhere else |
| 10:04:58 | <kuribas> | maerwald: if reddit was a job board, then I'd agree, but it isn't. |
| 10:05:05 | <merijn> | It's both my personal worldview *and* criticism |
| 10:05:05 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 10:05:11 | <merijn> | kuribas++ |
| 10:05:21 | <maerwald> | sure, I'm not making reddit rules |
| 10:05:33 | <maerwald> | and will continue to advise people not to post jobs there |
| 10:05:34 | <[exa]> | can it be classified as spam? |
| 10:05:45 | <merijn> | kuribas: At least it's gaming the system in ways that aren't actively victimising tons of gullible people >.> |
| 10:06:11 | <merijn> | kuribas: And orders of magnitude less negative environmental impact |
| 10:06:46 | <kuribas> | isn't cardano less impactful on the environment? |
| 10:06:55 | <kuribas> | Because it's proof of stake, not proof of work? |
| 10:07:06 | <maerwald> | yes, but most people don't even think that far |
| 10:07:42 | <merijn> | That's what they claim. But even if it's true, proof of stake still has toxic social problems, so "kudos to at least not burning the world in a literal sense, I guess" |
| 10:08:33 | <maerwald> | I'm anti capitalism, but I don't promote this world view on every job posting, just because 99% of all companies in the world are run by capitalistic principles. That's trolling. |
| 10:09:06 | <maerwald> | And I could also claim this is *criticism*. |
| 10:10:23 | <kuribas> | maerwald: no, it's censorship. |
| 10:11:17 | <Inst> | [exa] |
| 10:11:25 | <Inst> | do you want extra money? I can pay 20-80 USD |
| 10:11:31 | <Inst> | for tutoring in Haskell and computer science |
| 10:11:36 | <Inst> | 2 hours, so 40-160 USD depending on qualifications |
| 10:11:39 | <maerwald> | kuribas: absolutely not |
| 10:11:48 | <[exa]> | Inst: I want extra time and less money |
| 10:11:53 | <Inst> | fuck |
| 10:11:57 | <maerwald> | kuribas: freenode doesn't allow sharing porn. Is that censorship? |
| 10:11:57 | <[exa]> | yeah. |
| 10:11:57 | <Inst> | anyone want extra money and less time? |
| 10:12:02 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 10:12:02 | × | nexus_ quits (~nexus@178-164-208-88.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 10:12:10 | <maerwald> | er, libera =D |
| 10:12:12 | <kuribas> | maerwald: yes, it is. |
| 10:12:18 | <maerwald> | that's nonsense |
| 10:12:22 | <maerwald> | but anyway, nuff said |
| 10:12:28 | <kuribas> | Though it makes sense in some context. |
| 10:13:09 | <[exa]> | Inst: books don't work for you? (I learned most of the stuff that way, usually just following a syllabus for whatever exam I needed to pass) |
| 10:13:44 | <Inst> | [exa]: I have minimum proper computer science experience |
| 10:13:48 | <Inst> | actually, |
| 10:13:50 | <Inst> | @monochrom |
| 10:13:50 | <lambdabot> | Unknown command, try @list |
| 10:13:58 | <Inst> | wanna get me to stop being an idiotic blowhard and be paid for it? |
| 10:14:02 | → | nexus_ joins (~nexus@178-164-208-109.pool.digikabel.hu) |
| 10:14:24 | <Inst> | There are very few books that are oriented at people who are starting computer science with Haskell |
| 10:14:30 | <Inst> | HaskellBook doesn't count, I hate that book |
| 10:15:14 | <kuribas> | btw, I see nothing in https://libera.chat/guidelines/ about pornography... |
| 10:15:26 | <[exa]> | Inst: "basics of computer science" and "haskell" don't have much in common |
| 10:15:43 | <Inst> | thing is, working through Whitington's Haskell From The Very Beginning |
| 10:15:45 | <Inst> | Haskell seemed easy |
| 10:15:57 | <Inst> | it was completely mind-blowing, tbh |
| 10:16:12 | <Inst> | I guess Whitington's going to make a book on Prolog next |
| 10:16:21 | <maerwald> | kuribas: you can try it and see how quickly you get banned :D |
| 10:16:40 | <Inst> | and how long it takes before IRCops listens to your begging and unbans you |
| 10:16:50 | → | kjak joins (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) |
| 10:17:35 | <kuribas> | it does say channels should be on-tipic, which makes sense. |
| 10:18:14 | <maerwald> | does it? that's censorship |
| 10:19:15 | × | ph88 quits (~ph88@84-30-78-253.cable.dynamic.v4.ziggo.nl) (Ping timeout: 268 seconds) |
| 10:19:18 | <merijn> | kuribas: Wrong page |
| 10:19:27 | <merijn> | kuribas: That's the guidelines, not network policies |
| 10:19:34 | <merijn> | kuribas: "Libera.Chat is bound by Swedish law. Unlawful activities and related supporting activities are not allowed. In addition to that, heavy media file trading, pornography, and various forms of antisocial behaviour are forbidden." |
| 10:19:46 | <merijn> | https://libera.chat/policies/ |
| 10:19:57 | <kuribas> | merijn: right, thanks :) |
| 10:20:04 | × | yauhsien quits (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 10:20:07 | <Inst> | so I guess supporting Julian Assange is forbidden |
| 10:20:08 | <Inst> | ;_; |
| 10:20:17 | <kuribas> | maerwald: yes, it is. |
| 10:20:41 | <maerwald> | great we sorted this out |
| 10:21:08 | <kuribas> | maerwald: what you are proposing is censorship, not based on some well defined rules, but arbitrary rules you define based on your own preferences. |
| 10:21:20 | <maerwald> | kuribas: I gave the rules, you missed them |
| 10:21:23 | <maerwald> | and they are well-defined |
| 10:21:23 | → | yauhsien joins (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 10:21:38 | <kuribas> | yeah, your rules. |
| 10:21:47 | <maerwald> | eh? |
| 10:22:04 | <maerwald> | you're just arguing now |
| 10:22:23 | → | romesrf joins (~romes@198.177.63.94.rev.vodafone.pt) |
| 10:23:01 | <maerwald> | I proposed those rules to the mods, we'll see how they decide. |
| 10:24:11 | → | ph88 joins (~ph88@84-30-78-253.cable.dynamic.v4.ziggo.nl) |
| 10:24:21 | <kuribas> | maerwald: what were those rules? |
| 10:24:45 | <maerwald> | I'm not going to repeat myself, you can scroll up |
| 10:25:44 | <kuribas> | I only see a remark about "troll posts". |
| 10:26:04 | × | yauhsien quits (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 250 seconds) |
| 10:26:26 | <romesrf> | Hi, cabal question: when defining a library in the package file, how should I set the ghc-options? What I mean is, if the executable is compiled with -O2, will the library also be compiled with O2? The same for -fllvm, etc |
| 10:26:42 | <romesrf> | How should I set ghc-options in the library to guarantee that? |
| 10:27:08 | × | nishant quits (~Nishant@49.37.242.151) (Quit: Leaving) |
| 10:27:20 | × | ProfSimm quits (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 10:29:44 | <kuribas> | maerwald: BTW, if there should be rules on job-postings, then there should be also a rule to at least show: - what the job is about, - salary range. |
| 10:30:07 | <maerwald> | kuribas: I absolutely agree. It's very annoying to ask for salary expectations all the time. I have better things to do ;) |
| 10:31:08 | <maerwald> | It's like I put "software engineering" on my CV and expect themto ask what exactly I mean |
| 10:32:03 | × | euandreh quits (~euandreh@2804:14c:33:9fe5:2e86:80a5:f58b:d1a4) (Ping timeout: 252 seconds) |
| 10:32:31 | → | cosimone joins (~user@93-44-187-176.ip98.fastwebnet.it) |
| 10:32:59 | → | euandreh joins (~euandreh@2804:14c:33:9fe5:a4f7:3458:36c4:ffd7) |
| 10:33:09 | <Inst> | anyone want a 20-80 USD tutoring job? |
| 10:33:49 | <maerwald> | Inst: maybe you have more success posting this on discourse |
| 10:33:56 | <maerwald> | (don't use reddit) |
| 10:34:06 | <maerwald> | https://discourse.haskell.org/ |
| 10:34:16 | <Inst> | merci |
| 10:34:34 | <Inst> | or should it be bedankt? |
| 10:34:57 | <xerox> | Inst: what is it about? |
| 10:35:07 | <Inst> | Haskell / Comp Sci tutoring |
| 10:37:09 | <kuribas> | Inst: nederlands? |
| 10:37:39 | <Inst> | was trying to guess maerwald's origin (Ospald more implies German / Austrian, or perhaps Scandinavian country) |
| 10:37:45 | <Inst> | and try to say thank you in his native language |
| 10:38:17 | <Inst> | 谢谢，arigato,kangsamnida, danke, etc... |
| 10:38:33 | <Inst> | gracias, grazie, etc |
| 10:41:09 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 10:41:16 | → | yauhsien joins (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 10:47:33 | <romesrf> | Inst: 20-80 USD per hour? |
| 10:48:25 | <kuribas> | Inst: -60? So I pay you 60$, and I teach you? |
| 10:48:51 | <Inst> | sounds like a good deal! |
| 10:49:27 | → | ProfSimm joins (~ProfSimm@87.227.196.109) |
| 10:51:58 | <kuribas> | Inst: indeed! Let me know if you find someone. |
| 10:54:40 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 250 seconds) |
| 10:56:20 | → | agumonkey joins (~user@88.163.231.79) |
| 10:56:32 | ← | Lucretia parts (~laguest@user/lucretia) (Konversation terminated!) |
| 10:57:15 | <Inst> | https://discourse.haskell.org/t/looking-for-haskell-comp-sci-tutor/4195 |
| 11:00:03 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 11:00:36 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 11:03:04 | → | razetime joins (~quassel@117.254.35.152) |
| 11:03:25 | <maerwald> | Inst: maybe also add your timezone there |
| 11:09:33 | <Inst> | thanks |
| 11:10:57 | × | razetime quits (~quassel@117.254.35.152) (Ping timeout: 240 seconds) |
| 11:11:16 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:64ad:f021:a34e:c231) |
| 11:11:46 | → | razetime joins (~quassel@117.254.35.152) |
| 11:12:27 | → | coot joins (~coot@213.134.190.95) |
| 11:16:02 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:64ad:f021:a34e:c231) (Ping timeout: 252 seconds) |
| 11:16:42 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Quit: Off to see the wizard.) |
| 11:17:39 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 11:18:06 | → | fendor_ joins (~fendor@77.119.195.147.wireless.dyn.drei.com) |
| 11:19:54 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 252 seconds) |
| 11:20:21 | × | fendor quits (~fendor@178.115.62.26.wireless.dyn.drei.com) (Ping timeout: 245 seconds) |
| 11:22:23 | × | merijn quits (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 11:22:30 | → | merijn joins (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 11:24:24 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 11:24:56 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 11:25:57 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 11:33:53 | × | ardell quits (~ardell@user/ardell) (Quit: Konversation terminated!) |
| 11:38:28 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 11:39:30 | → | yaroot_ joins (~yaroot@2409:12:ac0:2300:680e:dbff:fe1e:4953) |
| 11:39:43 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 11:41:02 | × | yaroot quits (~yaroot@2409:12:ac0:2300:680e:dbff:fe1e:4953) (Ping timeout: 250 seconds) |
| 11:41:03 | yaroot_ | is now known as yaroot |
| 11:41:23 | → | Midjak joins (~Midjak@82.66.147.146) |
| 11:41:49 | → | tremon joins (~tremon@83-84-18-241.cable.dynamic.v4.ziggo.nl) |
| 11:55:33 | × | merijn quits (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 11:56:10 | → | rtsn joins (~nstr@h-98-128-229-174.NA.cust.bahnhof.se) |
| 11:56:50 | → | merijn joins (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 11:58:05 | → | unyu joins (~pyon@user/pyon) |
| 11:58:47 | → | jackson99 joins (~bc8147f2@cerf.good1.com) |
| 12:00:25 | × | romesrf quits (~romes@198.177.63.94.rev.vodafone.pt) (Quit: WeeChat 3.4) |
| 12:03:46 | → | lavaman joins (~lavaman@98.38.249.169) |
| 12:10:04 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 250 seconds) |
| 12:12:00 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 12:16:42 | → | boborygmy_ joins (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 12:16:42 | → | boborygmy joins (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 12:33:00 | → | CiaoSen joins (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 12:35:08 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 12:39:02 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 12:43:52 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 250 seconds) |
| 12:44:09 | → | Pickchea joins (~private@user/pickchea) |
| 12:45:32 | → | shapr joins (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 12:47:57 | × | acidjnk quits (~acidjnk@p200300d0c7049f845552850e41000a61.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 12:50:17 | → | sprout_ joins (~quassel@2a02:a467:ccd6:1:dc5b:897:dfbc:2d30) |
| 12:53:41 | × | sprout quits (~quassel@2a02:a467:ccd6:1:fc09:57a0:d89c:b417) (Ping timeout: 245 seconds) |
| 12:56:59 | × | nexus_ quits (~nexus@178-164-208-109.pool.digikabel.hu) (Ping timeout: 272 seconds) |
| 12:57:58 | → | nexus_ joins (~nexus@91-83-1-220.pool.digikabel.hu) |
| 12:59:42 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 13:01:36 | → | sprout joins (~quassel@2a02:a467:ccd6:1:dc5b:897:dfbc:2d30) |
| 13:03:17 | × | sprout_ quits (~quassel@2a02:a467:ccd6:1:dc5b:897:dfbc:2d30) (Ping timeout: 252 seconds) |
| 13:05:14 | → | shriekingnoise joins (~shrieking@201.231.16.156) |
| 13:08:47 | × | razetime quits (~quassel@117.254.35.152) (Ping timeout: 252 seconds) |
| 13:12:39 | → | FilipKalan joins (~FilipKala@77.28.128.234) |
| 13:16:43 | → | lavaman joins (~lavaman@98.38.249.169) |
| 13:17:26 | × | raym quits (~raym@user/raym) (Quit: technical problems, rebooting...) |
| 13:19:16 | → | raym joins (~raym@user/raym) |
| 13:20:05 | → | razetime joins (~quassel@117.254.34.245) |
| 13:22:04 | → | geranim0 joins (~geranim0@modemcable242.171-178-173.mc.videotron.ca) |
| 13:22:26 | × | geranim0 quits (~geranim0@modemcable242.171-178-173.mc.videotron.ca) (Read error: Connection reset by peer) |
| 13:22:45 | → | geranim0 joins (~geranim0@modemcable242.171-178-173.mc.videotron.ca) |
| 13:22:47 | → | toulene7 joins (~toulene@user/toulene) |
| 13:23:04 | × | toulene quits (~toulene@user/toulene) (Read error: Connection reset by peer) |
| 13:23:05 | toulene7 | is now known as toulene |
| 13:35:43 | → | bahamas joins (~lucian@84.232.140.52) |
| 13:47:01 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 13:51:02 | × | alp quits (~alp@user/alp) (Ping timeout: 240 seconds) |
| 13:52:32 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 240 seconds) |
| 13:54:12 | → | zebrag joins (~chris@user/zebrag) |
| 13:57:10 | → | alx741 joins (~alx741@host-181-198-243-130.netlife.ec) |
| 14:06:57 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 14:07:24 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 14:08:44 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 252 seconds) |
| 14:09:10 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3) |
| 14:15:18 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 14:19:43 | → | bahamas joins (~lucian@86.120.77.115) |
| 14:25:52 | → | alp joins (~alp@user/alp) |
| 14:31:21 | × | bitmapper quits (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 14:35:20 | → | briandaed joins (~root@109.95.142.93.r.toneticgroup.pl) |
| 14:37:00 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 14:40:42 | × | lottaquestions quits (~nick@104.221.94.126) (Quit: Konversation terminated!) |
| 14:46:38 | <FilipKalan> | [Hiring] Remote Haskell Engineer |
| 14:46:38 | <FilipKalan> | Adeva - a global talent network that enables work without boundaries by connecting high-scale companies with distributed tech talent across the world is hiring Haskell Engineers. The position is fully remote, time-flexible and the wages start at around 9000$ monthly. |
| 14:46:39 | <FilipKalan> | If you are interested, you can easily apply at the following link: |
| 14:46:39 | <FilipKalan> | https://adevait.com/careers/job-openings/2RlkV5WePY |
| 14:47:41 | <geekosaur> | this is probably better done on discourse.haskell.org or reddit. not that it's wrong to do it here but fewer people will notice |
| 14:49:48 | <FilipKalan> | Thank you for your recommendation! |
| 14:51:24 | <shapr> | wat |
| 14:53:17 | <geekosaur> | hm? |
| 14:53:56 | × | lumberjack123 quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 14:55:55 | → | notzmv joins (~zmv@user/notzmv) |
| 15:00:07 | → | rekahsoft joins (~rekahsoft@2607:fea8:44e0:66:a70f:4317:14fd:33d6) |
| 15:01:17 | × | lechner quits (~lechner@debian/lechner) (Ping timeout: 240 seconds) |
| 15:02:26 | × | FilipKalan quits (~FilipKala@77.28.128.234) (Quit: Client closed) |
| 15:02:29 | → | Pickchea joins (~private@user/pickchea) |
| 15:02:33 | → | lechner joins (~lechner@debian/lechner) |
| 15:02:43 | × | dextaa_ quits (~dextaa@user/dextaa) (Remote host closed the connection) |
| 15:03:48 | × | marquis_andras quits (~marquis_a@61.69.224.60) (Ping timeout: 240 seconds) |
| 15:05:26 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) |
| 15:05:48 | → | marquis_andras joins (~marquis_a@14-201-230-116.tpgi.com.au) |
| 15:06:26 | <janus> | @tell romesrf you can put the options in the 'common' stanza and they will apply to all.if you have multiple cabal files i guess you need to use cabal.project/.local |
| 15:06:26 | <lambdabot> | Consider it noted. |
| 15:06:42 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) (Remote host closed the connection) |
| 15:07:20 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 15:09:31 | × | jgeerds quits (~jgeerds@55d4548e.access.ecotel.net) (Ping timeout: 245 seconds) |
| 15:12:20 | → | dextaa_ joins (~dextaa@user/dextaa) |
| 15:13:16 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds) |
| 15:14:02 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 15:15:44 | → | Unicorn_Princess joins (~Unicorn_P@46-54-248-191.static.kate-wing.si) |
| 15:18:41 | × | agumonkey quits (~user@88.163.231.79) (Read error: Connection reset by peer) |
| 15:19:02 | → | unit73e joins (~ecouto@2001:818:e8dd:7c00:68a7:58c1:6b19:bf7d) |
| 15:19:05 | <unit73e> | hello |
| 15:19:40 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 15:20:08 | <unit73e> | I'm trying to have a ByteString that can skip bytes but it seems like Get will have to be it just not to repeat code, though it's not the intended use case |
| 15:20:36 | → | agumonkey joins (~user@37.165.146.191) |
| 15:20:39 | <unit73e> | Reason being that xp3 files first check were the file ranges are located, and then get the files |
| 15:20:46 | <unit73e> | unless someone here has a better idea |
| 15:20:54 | × | agumonkey quits (~user@37.165.146.191) (Read error: Connection reset by peer) |
| 15:21:10 | × | razetime quits (~quassel@117.254.34.245) (Ping timeout: 250 seconds) |
| 15:21:34 | <unit73e> | I could use the good old drop, take, etc but that would end up just being something like Get |
| 15:23:42 | <lortabac> | unit73e: there is a 'skip' function in Data.Binary.Get, is it what you need? |
| 15:23:44 | → | agumonkey joins (~user@37.175.209.151) |
| 15:24:06 | → | alMalsamo joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 15:30:03 | × | bsdbandit quits (~bwell@users.757.org) (Ping timeout: 268 seconds) |
| 15:30:37 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 240 seconds) |
| 15:31:01 | → | razetime joins (~quassel@117.254.35.152) |
| 15:32:08 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3) |
| 15:36:27 | × | shapr quits (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 15:36:43 | → | shapr joins (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 15:37:40 | → | jao joins (~jao@45.134.142.199) |
| 15:38:11 | × | yauhsien quits (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 15:39:59 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 15:40:24 | → | zincy_ joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 15:40:38 | → | Vajb joins (~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813) |
| 15:41:12 | <unit73e> | lortabac, that's what I'm using right now. I think it's good enough. |
| 15:41:41 | <unit73e> | not sure what will happen since it's the idea is to extract, so Get (IO ()) |
| 15:41:43 | <unit73e> | but we'll see |
| 15:42:13 | × | samhh quits (7569f027cf@2604:bf00:561:2000::e4) (Remote host closed the connection) |
| 15:42:13 | × | sm2n quits (ae95cb1267@user/sm2n) (Write error: Broken pipe) |
| 15:42:13 | × | dawdler quits (035b60b5aa@user/dawdler) (Write error: Broken pipe) |
| 15:42:13 | × | pranaysashank quits (ef3e56ca8b@2604:bf00:561:2000::3c4) (Remote host closed the connection) |
| 15:42:13 | × | Ankhers quits (e99e97ef8e@2604:bf00:561:2000::2a2) (Remote host closed the connection) |
| 15:42:13 | × | jleightcap quits (7bc4014b62@user/jleightcap) (Remote host closed the connection) |
| 15:42:13 | × | jakzale quits (6291399afa@user/jakzale) (Remote host closed the connection) |
| 15:42:13 | × | shreyasminocha quits (51fdc93eda@user/shreyasminocha) (Remote host closed the connection) |
| 15:42:13 | × | filwisher quits (2e6936c793@2604:bf00:561:2000::170) (Remote host closed the connection) |
| 15:42:13 | × | evanrelf quits (3addc196af@2604:bf00:561:2000::f0) (Remote host closed the connection) |
| 15:42:13 | × | zoglesby quits (f0f8ca1525@user/zoglesby) (Remote host closed the connection) |
| 15:42:14 | × | jkoshy quits (99b9359beb@2604:bf00:561:2000::10f) (Remote host closed the connection) |
| 15:42:14 | × | bsima1 quits (9d7e39c8ad@2604:bf00:561:2000::dd) (Remote host closed the connection) |
| 15:42:14 | × | tdmm quits (1c9b9145fc@2604:bf00:561:2000::1c8) (Remote host closed the connection) |
| 15:42:14 | × | lukec quits (9dfd4d094e@2604:bf00:561:2000::10e) (Remote host closed the connection) |
| 15:42:15 | × | fluffyballoon quits (45ce440a48@2604:bf00:561:2000::e2) (Remote host closed the connection) |
| 15:42:17 | × | raghavgururajan quits (ea769b8000@user/raghavgururajan) (Remote host closed the connection) |
| 15:42:19 | <lortabac> | unit73e: sorry I don't understand |
| 15:42:33 | → | filwisher joins (2e6936c793@2604:bf00:561:2000::170) |
| 15:42:34 | → | samhh joins (7569f027cf@2604:bf00:561:2000::e4) |
| 15:42:34 | → | bsima1 joins (9d7e39c8ad@2604:bf00:561:2000::dd) |
| 15:42:34 | → | lukec joins (9dfd4d094e@2604:bf00:561:2000::10e) |
| 15:42:39 | → | dawdler joins (035b60b5aa@2604:bf00:561:2000::3b6) |
| 15:42:41 | → | zoglesby joins (f0f8ca1525@user/zoglesby) |
| 15:42:41 | → | jakzale joins (6291399afa@user/jakzale) |
| 15:42:41 | → | fluffyballoon joins (45ce440a48@2604:bf00:561:2000::e2) |
| 15:42:47 | × | dawdler quits (035b60b5aa@2604:bf00:561:2000::3b6) (Changing host) |
| 15:42:47 | → | dawdler joins (035b60b5aa@user/dawdler) |
| 15:42:48 | → | evanrelf joins (3addc196af@2604:bf00:561:2000::f0) |
| 15:42:48 | → | jkoshy joins (99b9359beb@2604:bf00:561:2000::10f) |
| 15:42:48 | → | tdmm joins (1c9b9145fc@2604:bf00:561:2000::1c8) |
| 15:42:49 | → | shreyasminocha joins (51fdc93eda@user/shreyasminocha) |
| 15:42:50 | → | sm2n joins (ae95cb1267@user/sm2n) |
| 15:42:50 | → | raghavgururajan joins (ea769b8000@user/raghavgururajan) |
| 15:43:03 | → | Ankhers joins (e99e97ef8e@2604:bf00:561:2000::2a2) |
| 15:43:03 | → | jleightcap joins (7bc4014b62@user/jleightcap) |
| 15:43:03 | → | pranaysashank joins (ef3e56ca8b@2604:bf00:561:2000::3c4) |
| 15:43:23 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 15:44:30 | <unit73e> | lortabac, I need to do copies of ranges of a bytestring, so I need to know how much I read. that's why I need something like Get or something that tells me how much I read already. At least that makes sense to me. Now Get is supposed to transform a ByteString into something else, but I'm using it to get ranges. |
| 15:44:41 | <unit73e> | I don't think it's a problem, but I'll find out |
| 15:45:06 | → | lavaman joins (~lavaman@98.38.249.169) |
| 15:45:28 | → | yauhsien joins (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 15:45:30 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 15:45:58 | <lortabac> | unit73e: so you want to define an instance 'Get (IO ())'? |
| 15:46:44 | <unit73e> | lortabac, that's what I need to do. It's not like I don't know what to do, it's just that I don't know a better way. |
| 15:46:55 | <unit73e> | if there's a better way at all |
| 15:47:01 | × | nexus_ quits (~nexus@91-83-1-220.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 15:47:08 | <lortabac> | sorry I meant 'Binary (IO ())' |
| 15:48:13 | <lortabac> | I think it's often a good idea to create some intermediate structured type before executing IO |
| 15:48:36 | <lortabac> | it allows you to separate the pure seralization part from the side effects |
| 15:48:51 | × | bahamas quits (~lucian@86.120.77.115) (Ping timeout: 252 seconds) |
| 15:49:00 | → | nexus_ joins (~nexus@80-95-69-192.pool.digikabel.hu) |
| 15:50:39 | <unit73e> | so something like this example: https://wiki.haskell.org/Serialisation_and_compression_with_Data_Binary |
| 15:51:13 | × | yauhsien quits (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 15:51:20 | <unit73e> | but in my case I need to get sub-strings of the bytestring. the xp3 file has many files in it. |
| 15:51:35 | <unit73e> | in general the idea would be the same though |
| 15:52:08 | <lortabac> | yes, I would define a Ranges data type with all the substrings that you need |
| 15:52:42 | <lortabac> | then you may define a Binary instance for that type (or you can do it without the type class) |
| 15:53:43 | <unit73e> | hum, ok. that sounds like a good idea. |
| 15:54:00 | <unit73e> | better than cheating with Get. thanks |
| 15:55:09 | → | benin joins (~benin@183.82.26.94) |
| 15:56:53 | <merijn> | Why is Get cheating? |
| 15:57:05 | <merijn> | I would personally highly recommend explicit use of Get over Binary |
| 15:59:16 | → | coot joins (~coot@213.134.190.95) |
| 16:00:03 | → | lbseale joins (~ep1ctetus@user/ep1ctetus) |
| 16:00:11 | alMalsamo | is now known as lumberjack123 |
| 16:01:25 | <unit73e> | merijn, because it's supposed to be used for building structures, but I shouldn't really care about that I guess |
| 16:01:52 | <unit73e> | if all I want to copy data, so be it |
| 16:02:13 | <merijn> | Get is basically a parser combinator monad for byte data |
| 16:02:40 | <unit73e> | yes, I successfuly used it to parse the xp3 index |
| 16:02:47 | <unit73e> | that part works very well |
| 16:03:21 | <unit73e> | the xp3 index has items, which are files, and then segments, which are the ranges were the binary data actually is in the xp3 file |
| 16:03:38 | <unit73e> | each range can be compressed or not |
| 16:04:05 | <unit73e> | so I could use Get anyway, skip to the ranges I want, and copy the data to files |
| 16:04:22 | → | EvanR joins (~EvanR@user/evanr) |
| 16:04:33 | <unit73e> | does that sound kind a dumb or not really? |
| 16:05:54 | <unit73e> | of course I need the segments to be sorted but that's easy |
| 16:06:51 | <lortabac> | unit73e: I'd say if it works then it's not dumb :) |
| 16:07:03 | <unit73e> | :) yeah |
| 16:07:22 | <lortabac> | it's just that if you separate the serialization logic from the side effects the code tends to become cleaner |
| 16:08:05 | <unit73e> | I can deal with that later I guess. for now I'll just have it working. At one point I'll publish it in hackage. |
| 16:08:12 | <unit73e> | when it does something useful |
| 16:08:52 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 16:11:54 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:e9d9:d179:7feb:e279) (Quit: WeeChat 2.8) |
| 16:12:25 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:64ad:f021:a34e:c231) |
| 16:14:54 | → | Akiva joins (~Akiva@user/Akiva) |
| 16:16:12 | × | Vajb quits (~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813) (Read error: Connection reset by peer) |
| 16:16:59 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 16:17:48 | × | agumonkey quits (~user@37.175.209.151) (Ping timeout: 240 seconds) |
| 16:19:38 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.3) |
| 16:22:12 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 16:22:28 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 16:23:52 | → | v0rpun1 joins (~pvorp@2001:861:3881:c690:cdf8:3ec7:b816:ed30) |
| 16:24:00 | × | kjak quits (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) (Ping timeout: 250 seconds) |
| 16:24:28 | × | v0rpun1 quits (~pvorp@2001:861:3881:c690:cdf8:3ec7:b816:ed30) (Client Quit) |
| 16:25:03 | → | kjak joins (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) |
| 16:26:08 | → | jgeerds joins (~jgeerds@55d4548e.access.ecotel.net) |
| 16:26:38 | → | yauhsien joins (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 16:29:55 | → | Giovanni joins (~Giovanni@176.55.166.222) |
| 16:30:58 | → | Lizarus joins (~Lizarus@178.89.163.184) |
| 16:31:07 | <Lizarus> | Guys |
| 16:31:20 | <Lizarus> | what's the best hackage library to work with gtk |
| 16:31:46 | <Lizarus> | i just want to create some simple gui apps |
| 16:31:47 | → | mvk joins (~mvk@2607:fea8:5cc3:7e00::45ee) |
| 16:33:27 | <Hecate> | Lizarus: I think monomer is nice |
| 16:33:29 | <Hecate> | check it out |
| 16:35:41 | <[exa]> | Lizarus: gi-gtk seems like the "maintained" bindings, but ^ very recommendable |
| 16:36:21 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Remote host closed the connection) |
| 16:37:14 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 16:41:28 | × | yauhsien quits (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 16:42:01 | → | yauhsien joins (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 16:42:42 | × | mud quits (~mud@user/kadoban) (Remote host closed the connection) |
| 16:43:07 | → | mud joins (~mud@user/kadoban) |
| 16:43:35 | → | doyougnu joins (~doyougnu@cpe-67-249-83-190.twcny.res.rr.com) |
| 16:43:48 | × | jgeerds quits (~jgeerds@55d4548e.access.ecotel.net) (Remote host closed the connection) |
| 16:45:08 | → | jgeerds joins (~jgeerds@55d4548e.access.ecotel.net) |
| 16:46:23 | → | stef204 joins (~stef204@user/stef204) |
| 16:48:44 | <maerwald> | Lizarus: I prefer gtk3 |
| 16:49:54 | × | razetime quits (~quassel@117.254.35.152) (Ping timeout: 252 seconds) |
| 16:50:27 | × | doyougnu quits (~doyougnu@cpe-67-249-83-190.twcny.res.rr.com) (Remote host closed the connection) |
| 16:50:50 | → | doyougnu joins (~doyougnu@cpe-67-249-83-190.twcny.res.rr.com) |
| 16:51:25 | → | zebrag joins (~chris@user/zebrag) |
| 16:52:39 | × | alp quits (~alp@user/alp) (Ping timeout: 252 seconds) |
| 16:57:28 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 17:01:16 | × | merijn quits (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 17:03:00 | → | merijn joins (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 17:08:03 | × | Lizarus quits (~Lizarus@178.89.163.184) (Quit: Connection closed) |
| 17:08:07 | × | zincy_ quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 17:08:42 | × | stef204 quits (~stef204@user/stef204) (Quit: WeeChat 3.4) |
| 17:09:07 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) |
| 17:09:11 | × | merijn quits (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 17:10:12 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 17:10:26 | → | merijn joins (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 17:11:45 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 17:14:16 | × | _xor quits (~xor@dsl-50-5-233-169.fuse.net) (Ping timeout: 250 seconds) |
| 17:15:25 | → | _xor joins (~xor@dsl-50-5-233-169.fuse.net) |
| 17:15:55 | × | doyougnu quits (~doyougnu@cpe-67-249-83-190.twcny.res.rr.com) (Remote host closed the connection) |
| 17:17:11 | → | Guest5114 joins (~Guest51@94.231.133.170) |
| 17:17:28 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 17:18:12 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) (Remote host closed the connection) |
| 17:19:23 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) |
| 17:20:26 | → | econo joins (uid147250@user/econo) |
| 17:21:01 | × | merijn quits (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 17:21:17 | → | merijn joins (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 17:21:31 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) (Remote host closed the connection) |
| 17:21:41 | × | jgeerds quits (~jgeerds@55d4548e.access.ecotel.net) (Remote host closed the connection) |
| 17:21:50 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) |
| 17:23:06 | → | bahamas joins (~lucian@84.232.140.52) |
| 17:24:50 | × | Guest5114 quits (~Guest51@94.231.133.170) (Quit: Client closed) |
| 17:25:46 | → | motherfsck joins (~motherfsc@user/motherfsck) |
| 17:27:25 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 17:27:38 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) (Remote host closed the connection) |
| 17:28:13 | × | merijn quits (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 17:28:26 | → | jgeerds joins (~jgeerds@55d4548e.access.ecotel.net) |
| 17:29:17 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) |
| 17:31:15 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) (Remote host closed the connection) |
| 17:32:15 | → | zincy_ joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 17:32:20 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 17:33:19 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 17:37:32 | × | motherfsck quits (~motherfsc@user/motherfsck) (Quit: quit) |
| 17:38:46 | → | motherfsck joins (~motherfsc@user/motherfsck) |
| 17:39:51 | × | zincy_ quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 17:45:43 | → | pretty_d1 joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 17:46:36 | → | stef204 joins (~stef204@user/stef204) |
| 17:47:15 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 17:47:17 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 17:48:12 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 252 seconds) |
| 17:48:48 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 17:50:02 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 240 seconds) |
| 17:50:42 | → | merijn joins (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 17:52:21 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) |
| 17:53:10 | × | mbuf quits (~Shakthi@223.178.86.208) (Quit: Leaving) |
| 17:54:21 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) (Remote host closed the connection) |
| 17:54:29 | → | x_kuru joins (xkuru@user/xkuru) |
| 17:54:35 | <energizer> | Typeclasses mean that when i want to implement f for both X and Y I need to say X and Y implement typeclass C and f is available to C-implementers. and then C T => g T in terms of f. why is that better than just making f available directly and g in terms of that, without introducing the typeclass at all? assume 1) namespacing such that f can be uniquely identified and 2) the typeclass system that doesn't take proofs of the typeclass laws. In other |
| 17:54:35 | <energizer> | words, the typeclass might as well be called "Hasf" and implemented automatically behind the scences for any type that has f. |
| 17:57:10 | × | xkuru quits (~xkuru@user/xkuru) (Ping timeout: 250 seconds) |
| 17:58:29 | × | merijn quits (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 17:59:03 | → | agumonkey joins (~user@88.163.231.79) |
| 18:00:10 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) |
| 18:01:41 | × | jgeerds quits (~jgeerds@55d4548e.access.ecotel.net) (Ping timeout: 250 seconds) |
| 18:02:09 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) (Remote host closed the connection) |
| 18:05:29 | → | zincy_ joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 18:06:59 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 18:08:58 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 18:09:01 | × | nexus_ quits (~nexus@80-95-69-192.pool.digikabel.hu) (Ping timeout: 256 seconds) |
| 18:09:29 | × | zincy_ quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 18:10:32 | → | nexus_ joins (~nexus@fibhost-67-47-34.fibernet.hu) |
| 18:12:49 | → | belphegor666 joins (~satan@user/belphegor666) |
| 18:13:42 | → | vglfr joins (~vglfr@46.96.161.0) |
| 18:17:55 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 18:18:18 | → | mastarija joins (~mastarija@2a05:4f46:e04:6000:71d1:cc1d:c135:158b) |
| 18:18:57 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 18:18:57 | × | mastarija quits (~mastarija@2a05:4f46:e04:6000:71d1:cc1d:c135:158b) (Client Quit) |
| 18:20:00 | → | lavaman joins (~lavaman@98.38.249.169) |
| 18:20:45 | × | agumonkey quits (~user@88.163.231.79) (Ping timeout: 250 seconds) |
| 18:21:22 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 18:29:48 | → | jinsun joins (~jinsun@user/jinsun) |
| 18:30:26 | → | hololeap joins (~hololeap@user/hololeap) |
| 18:31:25 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 240 seconds) |
| 18:31:47 | × | stef204 quits (~stef204@user/stef204) (Quit: WeeChat 3.4) |
| 18:32:03 | → | merijn joins (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 18:32:12 | × | jinsun__ quits (~jinsun@user/jinsun) (Ping timeout: 240 seconds) |
| 18:33:23 | <Logio> | what is the type of f in the latter case? |
| 18:35:47 | × | dyeplexer quits (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
| 18:36:32 | × | merijn quits (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 18:37:31 | → | v0rpun1 joins (~pvorp@2001:861:3881:c690:4295:9ff7:4e0c:3709) |
| 18:38:45 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 18:40:41 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 18:40:41 | → | stef204 joins (~stef204@user/stef204) |
| 18:41:31 | → | agumonkey joins (~user@88.163.231.79) |
| 18:44:43 | × | rekahsoft quits (~rekahsoft@2607:fea8:44e0:66:a70f:4317:14fd:33d6) (Ping timeout: 256 seconds) |
| 18:58:13 | → | zincy_ joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 18:58:29 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 268 seconds) |
| 18:59:09 | × | jespada quits (~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) (Ping timeout: 252 seconds) |
| 19:00:20 | → | jespada joins (~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) |
| 19:02:20 | → | epolanski joins (uid312403@id-312403.helmsley.irccloud.com) |
| 19:02:31 | × | zincy_ quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Ping timeout: 256 seconds) |
| 19:03:01 | × | jinsun quits (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 19:03:38 | → | jinsun joins (~jinsun@user/jinsun) |
| 19:05:41 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 19:07:04 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 19:20:31 | → | Guest84 joins (~Guest84@2601:602:87f:4220:c3f4:c3dc:6b1f:b324) |
| 19:20:39 | × | deadmarshal_ quits (~deadmarsh@95.38.231.29) (Ping timeout: 256 seconds) |
| 19:21:13 | <Guest84> | Hello! |
| 19:23:17 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 19:23:24 | → | liz_ joins (~liz@2a00:23c5:9680:501:b62e:99ff:fee4:47fa) |
| 19:23:36 | → | rekahsoft joins (~rekahsoft@2607:fea8:44e0:66:a70f:4317:14fd:33d6) |
| 19:24:12 | <[exa]> | \o |
| 19:25:19 | → | Codaraxis joins (~Codaraxis@user/codaraxis) |
| 19:27:24 | <[exa]> | energizer: the typeclass serves as a kind of "general schema" that all overloads of a given function need to respect, without that the type _inference_ gets quite problematic (google: "ad-hoc overloading is np-complete") |
| 19:29:20 | → | bahamas joins (~lucian@84.232.140.52) |
| 19:31:59 | <[exa]> | energizer: compare this eg. with C++, where the tradeoff is a bit different: the type inference in C++ is unidirectional (thus capable of inferring less information), but there are also fewer restrictions on overloading (you don't need the type schemes of the methods, the only thing you have to ensure is that you don't have "ambiguous" return types with the same-parameter overloads) |
| 19:33:24 | → | Tuplanolla joins (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) |
| 19:37:16 | → | jgeerds joins (~jgeerds@55d4548e.access.ecotel.net) |
| 19:38:47 | → | jinsun__ joins (~jinsun@user/jinsun) |
| 19:41:36 | × | jinsun quits (~jinsun@user/jinsun) (Ping timeout: 250 seconds) |
| 19:42:11 | × | vglfr quits (~vglfr@46.96.161.0) (Ping timeout: 256 seconds) |
| 19:44:03 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 19:44:57 | × | rekahsoft quits (~rekahsoft@2607:fea8:44e0:66:a70f:4317:14fd:33d6) (Ping timeout: 240 seconds) |
| 19:48:30 | → | Las[m] joins (~lasmatrix@2001:470:69fc:105::74e) |
| 19:51:03 | <Las[m]> | Is there a way to explicitly add implicit parameters to a type alias? I specifically want to do something like `type A {x} = B x` to essentially create an alias for `B` where the first parameter is hidden. |
| 19:51:31 | → | rekahsoft joins (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 19:52:41 | → | zincy_ joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 19:54:56 | <byorgey> | Las[m]: no, that's not possible. There would be no way for Haskell to infer the hidden parameter. |
| 19:55:47 | → | k8yun joins (~k8yun@user/k8yun) |
| 19:57:48 | <Las[m]> | well I don't expect it to be inferrable |
| 19:58:31 | <energizer> | [exa]: so what is the point of C++'s Concepts? |
| 19:58:44 | <Las[m]> | In my concrete scenario I have two parameters so I'm doing `type A (y :: MyConst Type x) = something @x` |
| 19:59:09 | <Las[m]> | I'd rather not make use of this hack |
| 19:59:13 | <geekosaur> | I was wondering if you'd used the wrong term, from the syntax |
| 19:59:27 | <geekosaur> | an implicit parameter is ?foo :: type |
| 19:59:36 | <energizer> | [exa]: which iiuc is basically typeclasses |
| 19:59:48 | <geekosaur> | you want to hide a type parameter from TypeApplications, correct? |
| 19:59:49 | <energizer> | (maybe i should ask #c++ instead) |
| 19:59:50 | <Las[m]> | ah yeah I don't mean that kind of implicit parameter, I mean like the ones in Idris |
| 20:00:02 | <Las[m]> | Well I want it to be available through TypeApplications |
| 20:00:33 | <geekosaur> | pretty sure all type params have to be explicit |
| 20:01:00 | → | agrosant joins (~agrosant@46.12.50.59.dsl.dyn.forthnet.gr) |
| 20:01:03 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 20:01:20 | <Las[m]> | well the above work-around does work |
| 20:01:32 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds) |
| 20:03:48 | Lord_of_Life_ | is now known as Lord_of_Life |
| 20:04:34 | → | Guest27 joins (~Guest27@2601:281:d47f:1590::6b90) |
| 20:06:39 | <Guest27> | May I ask a noob question about subclassing? |
| 20:08:25 | → | cjb joins (~cjb@user/cjb) |
| 20:09:35 | × | zincy_ quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 20:09:35 | → | lagooned joins (~jme@108-208-149-42.lightspeed.hstntx.sbcglobal.net) |
| 20:09:39 | × | unit73e quits (~ecouto@2001:818:e8dd:7c00:68a7:58c1:6b19:bf7d) (Quit: Leaving) |
| 20:11:49 | <Las[m]> | don't ask to ask, just ask the question |
| 20:11:57 | <Guest27> | Oh okay |
| 20:13:24 | <[exa]> | energizer: concepts are much more like simple interface tests, they mostly allow the typechecker to fail early with a good explanation of what the problem is, instead of hitting a problem in a complex context much deeper in the code. Not sure if you can do anything better with them |
| 20:13:29 | × | fendor_ quits (~fendor@77.119.195.147.wireless.dyn.drei.com) (Remote host closed the connection) |
| 20:13:53 | <[exa]> | the correspondence with typeclasses is AFAIK mostly optical, they describe sensible properties |
| 20:15:09 | <Guest27> | Implementing an Altair BASIC emulator as a learning project. Altair BASIC uses both integers and floating-point and often coerces one into the other for different operations. |
| 20:15:10 | <Guest27> | At the moment I have a BasicNum class that subclasses Num, Integral, etc. and there's lots of boilerplate-looking code like |
| 20:15:10 | <Guest27> | Int i + Dub d = Dub $ fromIntegral i + d |
| 20:15:10 | <Guest27> | Dub d + Int i = Dub $ d + fromIntegral i |
| 20:15:11 | <yushyin> | Guest27: beginner questions are most welcome here (this also applies to any other level of question ofc). |
| 20:15:11 | <Guest27> | etc. |
| 20:15:11 | <Guest27> | Is there a more elegant way to express these coercions in Haskell? |
| 20:15:23 | <[exa]> | Las[m]: why would you need the extra parameter there btw? |
| 20:15:24 | × | MajorBiscuit quits (~MajorBisc@c-001-018-036.client.tudelft.eduvpn.nl) (Ping timeout: 250 seconds) |
| 20:16:08 | → | pavonia joins (~user@user/siracusa) |
| 20:16:50 | <Las[m]> | [exa]: you mean the `y`? It's necessary for other reasons |
| 20:16:50 | → | kenran joins (~kenran@200116b82b398800867f448303c43c5e.dip.versatel-1u1.de) |
| 20:17:03 | <Las[m]> | Or are you asking why I need this implicit type parameter in the first place |
| 20:17:06 | <[exa]> | Guest27: there are a few possibilities, the simplest one is literally to make your `Int` and `Dub` to be constructors of a single type, like `data MyNum = MyInt Int |MyFlt Float | ...` |
| 20:17:18 | × | kenran quits (~kenran@200116b82b398800867f448303c43c5e.dip.versatel-1u1.de) (Client Quit) |
| 20:17:27 | <[exa]> | Las[m]: yeah, what is the situation where the implicit parameter would help? |
| 20:17:31 | <[exa]> | (they generally don't help much) |
| 20:17:47 | <Guest27> | [exa] Oh it already is. data BasicNum = Int Integer | Dub Double. But I still need to pattern match every possibility right? |
| 20:18:27 | → | kenran joins (~kenran@200116b82b398800867f448303c43c5e.dip.versatel-1u1.de) |
| 20:19:15 | <[exa]> | Guest27: yeah, I assumed there aren't that much possibilities |
| 20:19:29 | <Las[m]> | [exa]: the parameter is confusing to users of the API and can in practice always be inferred. It's currently a common practice to just do `B _ y` |
| 20:20:19 | × | briandaed quits (~root@109.95.142.93.r.toneticgroup.pl) (Remote host closed the connection) |
| 20:20:55 | × | immae quits (~immae@2a01:4f8:141:53e7::) (Quit: WeeChat 2.9) |
| 20:21:09 | <Guest27> | [exa] It's not too bad, but if I ever decide to add another number type (e.g. throwing in single-precision Floats as well) the possibilities quickly multiply... |
| 20:21:14 | <[exa]> | if it can be inferred from the other params, can you make a type family for it to autofill it where required? |
| 20:21:18 | <[exa]> | Las[m]: ^ |
| 20:21:45 | <Las[m]> | [exa]: I don't see how that would work |
| 20:22:02 | × | mud quits (~mud@user/kadoban) (Ping timeout: 240 seconds) |
| 20:22:32 | <Las[m]> | Well it's not even inferred from the other params, it's inferred from the usage in practice. The first and second parameter don't constrain each other |
| 20:22:52 | <[exa]> | not sure about the exact usecase but instead of `data My x y z = My x y z` you could write `data My x y = My x y (GetZFor x y)` |
| 20:23:14 | <Las[m]> | yeah that wouldn't work in my case |
| 20:23:20 | <[exa]> | ah ok |
| 20:24:36 | <Las[m]> | so with newtypes you can usually do `newtype A :: forall x. Y` to explicitly introduce an implicit type parameter, but this syntax doesn't work with type aliases AFAICT |
| 20:24:48 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 20:24:56 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 250 seconds) |
| 20:25:13 | <Las[m]> | that is, `newtype A :: forall x. Y where A :: ...` such that it's GADT syntax |
| 20:25:21 | <[exa]> | Guest27: for doing this generically you'd need to encode the whole conversion table (or partial ordering of the subclasses) somehow into the type system. I guess you could do with a bunch of typeclasses |
| 20:26:08 | → | Pickchea joins (~private@user/pickchea) |
| 20:26:35 | → | deadmarshal_ joins (~deadmarsh@95.38.231.29) |
| 20:27:15 | <[exa]> | Las[m]: lenses use type aliases with foralls, although the variable is AFAIK always qualified there |
| 20:27:48 | <Guest27> | [exa] Interesting... thanks for the suggestion/help |
| 20:27:53 | <[exa]> | you need some uncanny extension like Rank2Types or so, but otherwise it should work |
| 20:29:09 | → | mud joins (~mud@user/kadoban) |
| 20:30:33 | <Las[m]> | thanks |
| 20:30:55 | × | deadmarshal_ quits (~deadmarsh@95.38.231.29) (Ping timeout: 256 seconds) |
| 20:32:58 | <[exa]> | Guest27: not sure if that's the best solution but you can code a bit of prolog in multiparameter typeclasses to inductively convert the types at both sides to a common supertype |
| 20:33:27 | × | nexus_ quits (~nexus@fibhost-67-47-34.fibernet.hu) (Ping timeout: 268 seconds) |
| 20:33:28 | <[exa]> | (honestly I guess other folks here might know better ways to do it) |
| 20:34:14 | <geekosaur> | acme-php? (no, don't do that) |
| 20:34:20 | <Guest27> | Is it easy to integrate Prolog into Haskell? That sounds like a fun solution |
| 20:34:50 | <[exa]> | Guest27: if you disable a few safety checks, haskell type system can be used as prolog |
| 20:35:01 | → | nexus_ joins (~nexus@84-236-1-101.pool.digikabel.hu) |
| 20:35:06 | <[exa]> | geekosaur: that's everything via strings but yeah I thought about that. :D |
| 20:36:17 | <[exa]> | Guest27: there's a fun post here https://aphyr.com/posts/342-typing-the-technical-interview |
| 20:37:02 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 20:37:26 | × | dhouthoo quits (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.4) |
| 20:38:18 | × | jackson99 quits (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Session timeout)) |
| 20:38:47 | <Guest27> | [exa] "The walls smell of Slack DMs and conflict avoidance." lol this is great |
| 20:39:03 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 20:43:13 | → | immae joins (~immae@2a01:4f8:141:53e7::) |
| 20:43:23 | → | acidjnk joins (~acidjnk@p200300d0c7049f84692835b345d10091.dip0.t-ipconnect.de) |
| 20:43:51 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 20:44:52 | <[exa]> | Guest27: anyway, I'm not really sure if this will work for normal (+) from Num, at least not easily. Its interface is pretty strict, and you'd need to hide the subtype information somehow. |
| 20:48:20 | × | ec quits (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 20:52:14 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) |
| 20:53:47 | × | sander quits (~sander@user/sander) (Quit: So long! :)) |
| 20:55:33 | → | sander joins (~sander@user/sander) |
| 20:55:50 | → | lavaman joins (~lavaman@98.38.249.169) |
| 20:57:19 | → | bahamas joins (~lucian@84.232.140.52) |
| 21:01:25 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 240 seconds) |
| 21:05:57 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) (Remote host closed the connection) |
| 21:06:03 | <Guest27> | [exa] That article was really cool, thanks for sharing. Now to define BASIC integers as Peano numbers :P |
| 21:08:17 | × | fjmorazan quits (~quassel@user/fjmorazan) (Quit: fjmorazan) |
| 21:08:55 | → | fjmorazan joins (~quassel@user/fjmorazan) |
| 21:15:46 | × | kuribas quits (~user@ptr-25vy0i6vc7g38qqigba.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 21:18:12 | → | x_kuru_ joins (~xkuru@user/xkuru) |
| 21:21:01 | × | cosimone quits (~user@93-44-187-176.ip98.fastwebnet.it) (Quit: ERC (IRC client for Emacs 27.1)) |
| 21:21:27 | × | x_kuru quits (xkuru@user/xkuru) (Ping timeout: 250 seconds) |
| 21:26:30 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3) |
| 21:32:07 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 21:40:59 | → | k8yun_ joins (~k8yun@user/k8yun) |
| 21:41:24 | × | k8yun quits (~k8yun@user/k8yun) (Ping timeout: 252 seconds) |
| 21:42:36 | × | wyrd quits (~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 240 seconds) |
| 21:42:49 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 21:45:27 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 21:49:07 | → | bahamas joins (~lucian@84.232.140.52) |
| 21:49:49 | → | wyrd joins (~wyrd@gateway/tor-sasl/wyrd) |
| 21:54:03 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 252 seconds) |
| 21:57:22 | → | zincy_ joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 21:58:00 | × | zincy_ quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 21:58:11 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) |
| 21:59:53 | × | Guest84 quits (~Guest84@2601:602:87f:4220:c3f4:c3dc:6b1f:b324) (Quit: Client closed) |
| 22:01:22 | × | kenran quits (~kenran@200116b82b398800867f448303c43c5e.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 22:02:26 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 250 seconds) |
| 22:03:44 | × | rekahsoft quits (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 22:07:32 | → | rekahsoft joins (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 22:15:38 | × | k8yun_ quits (~k8yun@user/k8yun) (Quit: Leaving) |
| 22:18:02 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) (Remote host closed the connection) |
| 22:21:00 | × | cjb quits (~cjb@user/cjb) (Ping timeout: 260 seconds) |
| 22:21:12 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 22:22:51 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 22:28:39 | × | rekahsoft quits (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 22:30:41 | → | rekahsoft joins (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 22:32:09 | × | Guest27 quits (~Guest27@2601:281:d47f:1590::6b90) (Quit: Client closed) |
| 22:32:23 | → | Guest27 joins (~Guest27@2601:281:d47f:1590::6b90) |
| 22:33:06 | × | v0rpun1 quits (~pvorp@2001:861:3881:c690:4295:9ff7:4e0c:3709) (Quit: bye) |
| 22:35:31 | × | jao quits (~jao@45.134.142.199) (Remote host closed the connection) |
| 22:41:31 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 22:41:44 | × | ProfSimm quits (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 22:42:04 | → | ProfSimm joins (~ProfSimm@87.227.196.109) |
| 22:42:43 | × | liz_ quits (~liz@2a00:23c5:9680:501:b62e:99ff:fee4:47fa) (Remote host closed the connection) |
| 22:44:40 | → | Topsi joins (~Tobias@dyndsl-095-033-027-018.ewe-ip-backbone.de) |
| 22:48:31 | × | jonathanx quits (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 272 seconds) |
| 22:49:04 | × | Topsi quits (~Tobias@dyndsl-095-033-027-018.ewe-ip-backbone.de) (Client Quit) |
| 22:50:00 | → | TonyStone joins (~TonyStone@2603-7080-8607-c36a-0034-44e7-d0a8-40e0.res6.spectrum.com) |
| 22:53:57 | × | x_kuru_ quits (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 22:54:37 | × | mvk quits (~mvk@2607:fea8:5cc3:7e00::45ee) (Ping timeout: 256 seconds) |
| 22:56:11 | × | stef204 quits (~stef204@user/stef204) (Quit: WeeChat 3.4) |
| 22:57:03 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:57:45 | ← | TonyStone parts (~TonyStone@2603-7080-8607-c36a-0034-44e7-d0a8-40e0.res6.spectrum.com) (Leaving) |
| 22:59:17 | → | merijn joins (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 23:01:58 | × | daemonises quits (uid545329@id-545329.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 23:03:27 | → | Joaquin joins (~Joaquin@14.red-83-51-143.dynamicip.rima-tde.net) |
| 23:05:26 | × | Joaquin quits (~Joaquin@14.red-83-51-143.dynamicip.rima-tde.net) (Client Quit) |
| 23:05:57 | × | nexus_ quits (~nexus@84-236-1-101.pool.digikabel.hu) (Ping timeout: 256 seconds) |
| 23:05:58 | → | tfeb joins (~tfb@cpc102388-sgyl38-2-0-cust817.18-2.cable.virginm.net) |
| 23:06:31 | → | doyougnu joins (~doyougnu@cpe-67-249-83-190.twcny.res.rr.com) |
| 23:07:40 | → | nexus_ joins (~nexus@80-95-70-217.pool.digikabel.hu) |
| 23:11:11 | → | Joaquin joins (~Joaquin@14.red-83-51-143.dynamicip.rima-tde.net) |
| 23:19:13 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 256 seconds) |
| 23:20:37 | × | Joaquin quits (~Joaquin@14.red-83-51-143.dynamicip.rima-tde.net) (Quit: Client closed) |
| 23:20:48 | → | Joaquin joins (~Joaquin@14.red-83-51-143.dynamicip.rima-tde.net) |
| 23:26:26 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 23:26:27 | × | merijn quits (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 23:29:11 | × | acidjnk quits (~acidjnk@p200300d0c7049f84692835b345d10091.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 23:29:44 | → | lavaman joins (~lavaman@98.38.249.169) |
| 23:31:30 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 23:32:16 | × | Joaquin quits (~Joaquin@14.red-83-51-143.dynamicip.rima-tde.net) (Ping timeout: 256 seconds) |
| 23:34:09 | × | jgeerds quits (~jgeerds@55d4548e.access.ecotel.net) (Ping timeout: 252 seconds) |
| 23:34:42 | × | Tuplanolla quits (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:35:19 | × | michalz quits (~michalz@185.246.204.93) (Remote host closed the connection) |
| 23:38:10 | × | tfeb quits (~tfb@cpc102388-sgyl38-2-0-cust817.18-2.cable.virginm.net) (Quit: died) |
| 23:39:57 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 23:58:26 | → | jao joins (~jao@45.134.142.199) |
All times are in UTC on 2022-03-14.