IRCBrowse

2023/02/18

2023-02-18 00:04:03 +0100programmeruser(21612@2a01:4f8:141:1272::2) (Quit: WeeChat 3.8)
2023-02-18 00:19:44 +0100bgs(~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection)
2023-02-18 00:20:27 +0100opticblast(~Thunderbi@172.58.82.191) (Ping timeout: 255 seconds)
2023-02-18 00:21:40 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2023-02-18 00:22:32 +0100Inst_(~Inst@2601:6c4:4081:54f0:d621:5cdd:9051:c240)
2023-02-18 00:23:22 +0100bitmapper(uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-02-18 00:23:46 +0100 <eldritchcookie[m> is there any use case for backpack? everything i think about is either untrue or done better by typeclasses
2023-02-18 00:25:44 +0100Inst(~Inst@2601:6c4:4081:54f0:ca9:cf1a:975a:ad95) (Ping timeout: 255 seconds)
2023-02-18 00:28:14 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-02-18 00:31:51 +0100merijn(~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl)
2023-02-18 00:33:44 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-02-18 00:34:53 +0100 <yushyin> shouldn't the phd thesis contain an adequate motivation for backpack, have you read it?
2023-02-18 00:36:01 +0100telser(~quassel@user/telser) (Ping timeout: 246 seconds)
2023-02-18 00:36:22 +0100merijn(~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds)
2023-02-18 00:36:40 +0100telser(~quassel@user/telser)
2023-02-18 00:37:12 +0100johnw(~johnw@2600:1700:cf00:db0:b8eb:e4c3:8b35:7cbb) (Quit: ZNC - http://znc.in)
2023-02-18 00:37:12 +0100jwiegley(~jwiegley@2600:1700:cf00:db0:b8eb:e4c3:8b35:7cbb) (Quit: ZNC - http://znc.in)
2023-02-18 00:39:48 +0100vglfr(~vglfr@145.224.100.62) (Remote host closed the connection)
2023-02-18 00:40:34 +0100vglfr(~vglfr@145.224.100.62)
2023-02-18 00:46:03 +0100perrierjouet(~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.8)
2023-02-18 00:47:31 +0100perrierjouet(~perrier-j@modemcable048.127-56-74.mc.videotron.ca)
2023-02-18 00:48:37 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds)
2023-02-18 00:48:58 +0100falafel(~falafel@2607:fb91:143f:e47f:1b14:6f43:b1d6:67f0) (Ping timeout: 246 seconds)
2023-02-18 00:49:22 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2023-02-18 00:54:34 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-02-18 00:54:39 +0100oldsk00l(~znc@ec2-13-40-71-143.eu-west-2.compute.amazonaws.com) (Ping timeout: 255 seconds)
2023-02-18 00:55:16 +0100opticblast(~Thunderbi@172.58.82.191)
2023-02-18 00:56:35 +0100 <eldritchcookie[m> it does i haven't found but maybe i am reading the wrong document https://plv.mpi-sws.org/backpack/backpack-paper.pdf
2023-02-18 00:56:43 +0100 <eldritchcookie[m> it does?
2023-02-18 01:03:47 +0100 <phaazon> I’m wondering, has anyone tried to do to Haskell’s Generics what Rust did with serde?
2023-02-18 01:04:01 +0100 <phaazon> i.e. have an « interface » package for serializing in a generic way
2023-02-18 01:04:12 +0100 <phaazon> and have specific codec package implementing the interface?
2023-02-18 01:04:37 +0100 <phaazon> back in the days, I used to use aeson and generic instances
2023-02-18 01:05:25 +0100 <phaazon> I remember providing FromJSON and ToJSON instances via the generics interface but I don’t recall using a « bridge » like serde
2023-02-18 01:06:47 +0100 <yushyin> eldritchcookie[m: https://github.com/ezyang/thesis/releases/download/rev20170925/main.pdf
2023-02-18 01:08:03 +0100 <Axman6> eldritchcookie[m: the big one is having type specialised data structures, you can have a Map Int ByteString with both key and value unpacked into the Map constructors, saving a lot of memory and indirection
2023-02-18 01:11:21 +0100emmanuelux(~emmanuelu@user/emmanuelux)
2023-02-18 01:12:50 +0100emmanuelux(~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
2023-02-18 01:13:50 +0100emmanuelux(~emmanuelu@user/emmanuelux)
2023-02-18 01:17:19 +0100Vajb(~Vajb@2001:999:484:9db9:7ff5:c370:5511:7e1c) (Read error: Connection reset by peer)
2023-02-18 01:19:47 +0100mauke_(~mauke@user/mauke)
2023-02-18 01:20:49 +0100mauke(~mauke@user/mauke) (Ping timeout: 246 seconds)
2023-02-18 01:20:49 +0100mauke_mauke
2023-02-18 01:21:46 +0100Vajb(~Vajb@2001:999:484:9db9:7ff5:c370:5511:7e1c)
2023-02-18 01:24:55 +0100 <eldritchcookie[m> sorry that example is unclear to me, how would you have polymorphism?
2023-02-18 01:35:56 +0100oldfashionedcow(~Rahul_San@user/oldfashionedcow) (Ping timeout: 255 seconds)
2023-02-18 01:37:42 +0100oldfashionedcow(Rahul_Sand@user/oldfashionedcow)
2023-02-18 01:38:05 +0100vglfr(~vglfr@145.224.100.62) (Ping timeout: 252 seconds)
2023-02-18 01:46:23 +0100akegalj(~akegalj@lns01-0595.dsl.iskon.hr) (Quit: leaving)
2023-02-18 01:46:23 +0100acidjnk(~acidjnk@p200300d6e715c424f48fc920b5a5fc6d.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2023-02-18 01:47:11 +0100bitmapper(uid464869@id-464869.lymington.irccloud.com)
2023-02-18 01:53:08 +0100yoneda(~mike@193.206.102.122) (Quit: leaving)
2023-02-18 01:56:20 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-02-18 01:56:20 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-02-18 01:56:20 +0100wroathe(~wroathe@user/wroathe)
2023-02-18 01:59:02 +0100harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
2023-02-18 02:00:28 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt)
2023-02-18 02:01:12 +0100dcoutts_(~duncan@host86-167-90-212.range86-167.btcentralplus.com)
2023-02-18 02:01:48 +0100khumba(~khumba@user/khumba)
2023-02-18 02:08:26 +0100 <Axman6> eldritchcookie[m: you use backpack to define the structure, and then you specialise for the types you actually use
2023-02-18 02:09:04 +0100 <Axman6> see https://hackage.haskell.org/package/unpacked-containers
2023-02-18 02:10:58 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-02-18 02:13:59 +0100enoq(~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq)
2023-02-18 02:17:06 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 02:17:26 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds)
2023-02-18 02:19:19 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-02-18 02:20:36 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-02-18 02:30:45 +0100the_proffesor(~theproffe@user/theproffesor) (Ping timeout: 260 seconds)
2023-02-18 02:32:23 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-02-18 02:42:11 +0100ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds)
2023-02-18 02:42:19 +0100johnw(~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net)
2023-02-18 02:42:49 +0100jwiegley(~jwiegley@76-234-69-149.lightspeed.frokca.sbcglobal.net)
2023-02-18 02:43:07 +0100ec(~ec@gateway/tor-sasl/ec)
2023-02-18 02:49:34 +0100vglfr(~vglfr@145.224.100.65)
2023-02-18 02:52:00 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-02-18 02:53:41 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-02-18 02:56:22 +0100vglfr(~vglfr@145.224.100.65) (Ping timeout: 246 seconds)
2023-02-18 02:57:39 +0100vglfr(~vglfr@145.224.100.65)
2023-02-18 03:01:41 +0100 <ghostbuster> omg.. how did i not know that 'set comprehensions' in math are analogous to list comprehensions.. i've used them in multiple math courses without ever knowing they were called that
2023-02-18 03:05:32 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-02-18 03:05:56 +0100cheater(~Username@user/cheater) (Ping timeout: 255 seconds)
2023-02-18 03:06:52 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds)
2023-02-18 03:08:16 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 246 seconds)
2023-02-18 03:09:26 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-02-18 03:11:23 +0100stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2023-02-18 03:12:41 +0100waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 255 seconds)
2023-02-18 03:13:20 +0100cods(~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 260 seconds)
2023-02-18 03:13:34 +0100stiell(~stiell@gateway/tor-sasl/stiell)
2023-02-18 03:16:07 +0100 <albet70> how 'uncurry' is defined?
2023-02-18 03:16:57 +0100 <albet70> since you don't know how many parameters a function would have
2023-02-18 03:19:55 +0100waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-02-18 03:26:07 +0100waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 248 seconds)
2023-02-18 03:26:12 +0100 <monochrom> It assumes two. Exactly two. No more no less.
2023-02-18 03:27:12 +0100 <monochrom> But you could have discovered by just using @type uncurry
2023-02-18 03:27:31 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds)
2023-02-18 03:27:43 +0100xff0x(~xff0x@2405:6580:b080:900:1ef3:42f8:594a:9997) (Ping timeout: 252 seconds)
2023-02-18 03:29:45 +0100xff0x(~xff0x@178.255.149.135)
2023-02-18 03:29:52 +0100emmanuelux_(~emmanuelu@user/emmanuelux)
2023-02-18 03:32:46 +0100emmanuelux(~emmanuelu@user/emmanuelux) (Ping timeout: 246 seconds)
2023-02-18 03:34:17 +0100dcoutts_(~duncan@host86-167-90-212.range86-167.btcentralplus.com) (Ping timeout: 255 seconds)
2023-02-18 03:35:13 +0100zaquest(~notzaques@5.130.79.72)
2023-02-18 03:39:59 +0100xff0x(~xff0x@178.255.149.135) (Ping timeout: 248 seconds)
2023-02-18 03:41:55 +0100xff0x(~xff0x@2405:6580:b080:900:1ef3:42f8:594a:9997)
2023-02-18 03:47:53 +0100vglfr(~vglfr@145.224.100.65) (Ping timeout: 252 seconds)
2023-02-18 03:50:41 +0100vglfr(~vglfr@145.224.100.65)
2023-02-18 04:02:33 +0100 <albet70> f a == apply f a; f a == id f a; apply == id?
2023-02-18 04:03:08 +0100 <albet70> any function is fixed-point on apply or id?
2023-02-18 04:04:02 +0100xkuru(~xkuru@user/xkuru) (Read error: Connection reset by peer)
2023-02-18 04:05:33 +0100jero98772(~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection)
2023-02-18 04:06:42 +0100 <Axman6> @djinn (a -> b -> c) -> (a,b) -> c
2023-02-18 04:06:42 +0100 <lambdabot> f a (b, c) = a b c
2023-02-18 04:14:20 +0100vglfr(~vglfr@145.224.100.65) (Ping timeout: 255 seconds)
2023-02-18 04:14:46 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-02-18 04:16:24 +0100thongpv(~thongpv87@2402:9d80:3aa:dcd6:561b:ebf:2de2:e879)
2023-02-18 04:19:19 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 246 seconds)
2023-02-18 04:22:49 +0100Guest|68(~Guest|68@fixed-187-251-98-10.totalplay.net)
2023-02-18 04:22:51 +0100rembo10(~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in)
2023-02-18 04:23:08 +0100Guest|68(~Guest|68@fixed-187-251-98-10.totalplay.net) (Client Quit)
2023-02-18 04:25:00 +0100rembo10(~rembo10@main.remulis.com)
2023-02-18 04:27:25 +0100cheater(~Username@user/cheater)
2023-02-18 04:31:03 +0100king_gs(~Thunderbi@2806:103e:29:1779:cd70:5f8e:cb4d:63d3)
2023-02-18 04:32:16 +0100thegeekinside(~thegeekin@189.180.66.126) (Ping timeout: 246 seconds)
2023-02-18 04:32:53 +0100falafel(~falafel@2607:fb91:143f:e47f:830e:5e4e:333b:3694)
2023-02-18 04:32:59 +0100cheater_(~Username@user/cheater)
2023-02-18 04:33:43 +0100cheater(~Username@user/cheater) (Ping timeout: 252 seconds)
2023-02-18 04:33:44 +0100cheater_cheater
2023-02-18 04:35:00 +0100abner_gershon(~abner_ger@c-73-4-40-60.hsd1.ct.comcast.net)
2023-02-18 04:40:07 +0100jinsun(~jinsun@user/jinsun)
2023-02-18 04:42:23 +0100npmania1(~Thunderbi@138.199.21.232)
2023-02-18 04:43:12 +0100npmania(~Thunderbi@217.138.252.249) (Ping timeout: 268 seconds)
2023-02-18 04:43:13 +0100npmania1npmania
2023-02-18 04:47:39 +0100abner_gershon(~abner_ger@c-73-4-40-60.hsd1.ct.comcast.net) (Quit: Leaving.)
2023-02-18 04:51:21 +0100td_(~td@i53870917.versanet.de) (Ping timeout: 255 seconds)
2023-02-18 04:53:01 +0100td_(~td@i53870933.versanet.de)
2023-02-18 04:53:37 +0100theproffesor(~theproffe@2601:282:8880:20::351b)
2023-02-18 04:53:37 +0100theproffesor(~theproffe@2601:282:8880:20::351b) (Changing host)
2023-02-18 04:53:37 +0100theproffesor(~theproffe@user/theproffesor)
2023-02-18 04:56:24 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-02-18 04:56:24 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-02-18 04:56:24 +0100finn_elijaFinnElija
2023-02-18 04:59:22 +0100PSY_(~ensyde@104-62-224-96.lightspeed.chrlnc.sbcglobal.net)
2023-02-18 05:00:32 +0100PSY_(~ensyde@104-62-224-96.lightspeed.chrlnc.sbcglobal.net) (Client Quit)
2023-02-18 05:00:49 +0100l0s3r(~ensyde@104-62-224-96.lightspeed.chrlnc.sbcglobal.net)
2023-02-18 05:01:18 +0100l0s3r(~ensyde@104-62-224-96.lightspeed.chrlnc.sbcglobal.net) (Client Quit)
2023-02-18 05:11:35 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds)
2023-02-18 05:14:43 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-02-18 05:18:56 +0100justsomeguy(~justsomeg@user/justsomeguy)
2023-02-18 05:21:51 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2023-02-18 05:24:32 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 255 seconds)
2023-02-18 05:26:16 +0100razetime(~Thunderbi@117.193.4.56)
2023-02-18 05:27:20 +0100falafel(~falafel@2607:fb91:143f:e47f:830e:5e4e:333b:3694) (Remote host closed the connection)
2023-02-18 05:28:48 +0100harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
2023-02-18 05:31:17 +0100shutterbug(~mandalori@112.97.202.104)
2023-02-18 05:34:41 +0100cods(~fred@82-65-232-44.subs.proxad.net)
2023-02-18 05:35:59 +0100p0lyph3m(~polyphem@2a02:810d:840:8754:ad77:3864:324d:fcd8) (Read error: Connection reset by peer)
2023-02-18 05:40:24 +0100shutterbug(~mandalori@112.97.202.104) (WeeChat 3.7.1)
2023-02-18 05:42:49 +0100gdown(~gavin@69.11.148.35) (Remote host closed the connection)
2023-02-18 05:47:41 +0100vglfr(~vglfr@145.224.100.65)
2023-02-18 06:04:18 +0100Mafs(~Mafs@wnpgmb02ydw-ds01-161-63-14.dynamic.bellmts.net)
2023-02-18 06:07:01 +0100 <Mafs> Just watched Mathologer's video about the partition function
2023-02-18 06:07:05 +0100 <Mafs> > fix((1:).map(sum.zipWith(*)(concat$zipWith((.flip replicate 0).(:))(cycle[1,1,-1,-1])$concat$zipWith((.(:[])).(:))[0..][2,4..])).zipWith((reverse.).take)[1..].cycle.(:[]))
2023-02-18 06:07:06 +0100 <lambdabot> [1,1,2,3,5,7,11,15,22,30,42,56,77,101,135,176,231,297,385,490,627,792,1002,1...
2023-02-18 06:07:20 +0100 <Mafs> God, I love this language
2023-02-18 06:10:03 +0100bilegeek(~bilegeek@2600:1008:b02c:70ee:1a73:7190:b436:329b)
2023-02-18 06:13:14 +0100stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 255 seconds)
2023-02-18 06:14:47 +0100stiell(~stiell@gateway/tor-sasl/stiell)
2023-02-18 06:21:09 +0100thegeekinside(~thegeekin@189.180.66.126)
2023-02-18 06:22:36 +0100thegeekinside(~thegeekin@189.180.66.126) (Remote host closed the connection)
2023-02-18 06:34:13 +0100justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6)
2023-02-18 06:36:07 +0100king_gs(~Thunderbi@2806:103e:29:1779:cd70:5f8e:cb4d:63d3) (Quit: king_gs)
2023-02-18 06:42:38 +0100 <Axman6> Mafs: thats regex levels of unreadable XD
2023-02-18 06:42:54 +0100 <Mafs> Axman6: thank you
2023-02-18 06:43:13 +0100 <Mafs> If you watch Mathologer's video it will be somewhat more clear
2023-02-18 06:43:25 +0100 <Mafs> Hm
2023-02-18 06:43:38 +0100 <sm> ha you should come read some haskell tiny games
2023-02-18 06:43:45 +0100 <Mafs> > fix((1:).map(sum.zipWith(*)([1,1]).zipWith((reverse.).take)[1..].cycle.(:[]))
2023-02-18 06:43:47 +0100 <lambdabot> <hint>:1:78: error:
2023-02-18 06:43:47 +0100 <lambdabot> parse error (possibly incorrect indentation or mismatched brackets)
2023-02-18 06:44:10 +0100 <Mafs> > fix((1:).map(sum.zipWith(*)[1,1].zipWith((reverse.).take)[1..].cycle.(:[])))
2023-02-18 06:44:12 +0100 <lambdabot> error:
2023-02-18 06:44:12 +0100 <lambdabot> • No instance for (Num [()]) arising from a use of ‘e_11111’
2023-02-18 06:44:12 +0100 <lambdabot> • In the expression: e_11111
2023-02-18 06:44:18 +0100 <Mafs> nevermind haha
2023-02-18 06:44:28 +0100 <Mafs> sm: where can I read them?
2023-02-18 06:44:31 +0100 <Axman6> you can /msg lambdabot
2023-02-18 06:45:10 +0100 <sm> https://github.com/haskell-game/tiny-games-hs Mafs
2023-02-18 06:45:25 +0100 <sm> or #haskell-game
2023-02-18 06:45:32 +0100gentauro(~gentauro@user/gentauro) (Ping timeout: 255 seconds)
2023-02-18 06:45:33 +0100 <Mafs> Danke
2023-02-18 06:45:52 +0100 <Mafs> This is cute and I like it
2023-02-18 06:46:30 +0100 <sm> also check this out, a wasm in me: https://tristancacqueray.github.io/tiny-game-haskell-wasm
2023-02-18 06:46:46 +0100 <sm> a wasm one. bbl
2023-02-18 06:47:56 +0100balavir(~balavir@136.57.175.185)
2023-02-18 06:48:10 +0100 <Axman6> oh my
2023-02-18 06:51:41 +0100 <Mafs> > fix((1:).map(sum.zipWith(*)[1,1]).zipWith((reverse.).take)[1..].cycle.(:[]))
2023-02-18 06:51:43 +0100 <lambdabot> [1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181,6765,10946,17...
2023-02-18 06:51:46 +0100 <Mafs> There we go :)
2023-02-18 06:51:56 +0100 <Mafs> Fibs for free
2023-02-18 06:52:10 +0100gentauro(~gentauro@user/gentauro)
2023-02-18 06:52:17 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds)
2023-02-18 06:53:12 +0100 <Mafs> Tiny haskell games are maybe a bit too small, but I really think that you could get a program that would dump a full album's worth of electronic music in maybe 32k of haskell
2023-02-18 06:55:16 +0100 <Mafs> Just look at this https://github.com/haskell-game/tiny-games-hs/blob/main/hackage/tetris/tetris-clean.hs
2023-02-18 06:55:35 +0100 <Mafs> Beautiful, thank you guys for introducing me to this
2023-02-18 06:55:52 +0100 <Mafs> It's getting late though, I'll never come back
2023-02-18 06:55:58 +0100Mafs(~Mafs@wnpgmb02ydw-ds01-161-63-14.dynamic.bellmts.net) (Quit: Client closed)
2023-02-18 07:03:07 +0100oldfashionedcow(Rahul_Sand@user/oldfashionedcow) (Quit: WeeChat 3.8)
2023-02-18 07:03:25 +0100oldfashionedcow(~Rahul_San@user/oldfashionedcow)
2023-02-18 07:04:04 +0100merijn(~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl)
2023-02-18 07:07:35 +0100khumba(~khumba@user/khumba) ()
2023-02-18 07:09:02 +0100andrewboltachev(~andrey@178.141.125.176)
2023-02-18 07:09:03 +0100merijn(~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds)
2023-02-18 07:09:35 +0100andrewboltachev(~andrey@178.141.125.176) ()
2023-02-18 07:19:29 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Quit: albet70)
2023-02-18 07:21:03 +0100Kuttenbrunzer(~Kuttenbru@2a02:8108:8b80:1d48::b4f)
2023-02-18 07:24:28 +0100motherfsck(~motherfsc@user/motherfsck) (Ping timeout: 246 seconds)
2023-02-18 07:26:05 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 07:26:05 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 07:29:45 +0100opticblast(~Thunderbi@172.58.82.191) (Ping timeout: 255 seconds)
2023-02-18 07:33:06 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 07:33:06 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 07:33:50 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2023-02-18 07:38:29 +0100lalune(~lalune@216.73.163.233)
2023-02-18 07:38:37 +0100laluneTogooroo
2023-02-18 07:38:42 +0100Togoorootogooroo
2023-02-18 07:40:08 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 07:40:08 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 07:40:22 +0100oldfashionedcow(~Rahul_San@user/oldfashionedcow) (Quit: WeeChat 3.8)
2023-02-18 07:40:49 +0100opticblast(~Thunderbi@172.58.85.230)
2023-02-18 07:47:07 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 07:47:07 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 07:54:03 +0100Inst_Inst
2023-02-18 07:54:08 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 07:54:08 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 07:55:16 +0100opticblast(~Thunderbi@172.58.85.230) (Ping timeout: 246 seconds)
2023-02-18 07:56:18 +0100analoq(~yashi@user/dies) (Ping timeout: 255 seconds)
2023-02-18 07:57:23 +0100 <Inst> this is weird, not sure if it's an issue with my configuration
2023-02-18 07:57:27 +0100 <Inst> -package decided to stop working on me
2023-02-18 07:58:11 +0100analoq(~yashi@user/dies)
2023-02-18 08:01:10 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 08:01:10 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 08:04:49 +0100nek0(~nek0@2a01:4f8:222:2b41::12) (Quit: The Lounge - https://thelounge.chat)
2023-02-18 08:07:52 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 246 seconds)
2023-02-18 08:08:10 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 08:08:10 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 08:09:42 +0100andrewboltachev(~andrey@178.141.125.176)
2023-02-18 08:09:54 +0100trev(~trev@user/trev)
2023-02-18 08:10:05 +0100 <andrewboltachev> Inside of ghci shell, how is it possible to view history?
2023-02-18 08:10:06 +0100thongpv(~thongpv87@2402:9d80:3aa:dcd6:561b:ebf:2de2:e879) (Read error: Connection reset by peer)
2023-02-18 08:10:25 +0100 <andrewboltachev> (instead of just pressing the "up" key)
2023-02-18 08:12:42 +0100 <mauke> :!cat ~/.ghc/ghci_history
2023-02-18 08:13:24 +0100balavir(~balavir@136.57.175.185) (Quit: leaving)
2023-02-18 08:13:36 +0100 <andrewboltachev> thanks :-)
2023-02-18 08:14:20 +0100 <andrewboltachev> I've 5min ago called "tail" on this file and thought "oh, it saves just 10 lines or so", not realizing it's calling tail :-)
2023-02-18 08:14:25 +0100 <andrewboltachev> *I'm calling
2023-02-18 08:15:10 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 08:15:10 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 08:15:18 +0100motherfsck(~motherfsc@user/motherfsck)
2023-02-18 08:19:06 +0100nek0(~nek0@2a01:4f8:222:2b41::12)
2023-02-18 08:22:10 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 08:22:10 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 08:28:24 +0100motherfsck(~motherfsc@user/motherfsck) (Quit: quit)
2023-02-18 08:29:11 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 08:29:12 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 08:36:14 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 08:36:14 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 08:36:45 +0100jakalx(~jakalx@base.jakalx.net) ()
2023-02-18 08:37:03 +0100thongpv(~thongpv87@2402:9d80:3aa:dcd6:364a:f134:53c7:4f6c)
2023-02-18 08:43:13 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 08:43:13 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 08:43:53 +0100akegalj(~akegalj@lns01-0595.dsl.iskon.hr)
2023-02-18 08:45:17 +0100 <akegalj> why `:t (\x -> x) :: a %1 -> a` typechecks but `:t (\x -> let c = x in c) :: a %1 -> a` ? Why is let binding a problem when I am using it exactly once
2023-02-18 08:45:35 +0100Unhammer(~Unhammer@user/unhammer) (Ping timeout: 248 seconds)
2023-02-18 08:45:56 +0100inversed(~inversed@bcdcac82.skybroadband.com) (Read error: No route to host)
2023-02-18 08:46:13 +0100 <Inst> i'm wondering if someone can help me figure out why cabal insnt' installing into global repos
2023-02-18 08:46:58 +0100 <akegalj> Inst: you mean why `cabal install` installs binaries globaly?
2023-02-18 08:47:12 +0100 <Inst> basically, if i do cabal install right now, i get a dist-newstyle folder
2023-02-18 08:47:28 +0100 <Inst> and i can't get -package on ghc or ghci
2023-02-18 08:47:39 +0100inversed(~inversed@bcdcac82.skybroadband.com)
2023-02-18 08:48:23 +0100 <akegalj> Inst: you get local dist-newstyle folder where it builds the project, and then copies built binary to global PATH
2023-02-18 08:48:32 +0100 <Inst> yes, except that there's no project
2023-02-18 08:48:39 +0100 <Inst> if i do it in root, i still get dist-newstyle
2023-02-18 08:48:46 +0100 <akegalj> aha, let me check
2023-02-18 08:49:13 +0100 <mauke> what do you mean by "can't get -package"?
2023-02-18 08:49:48 +0100 <akegalj> Inst: when running cabal install in a fresh directory I get `cabal: Invalid package ID: .`
2023-02-18 08:50:10 +0100 <Inst> on ghci, if i use cabal to install
2023-02-18 08:50:13 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 08:50:14 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 08:50:34 +0100 <akegalj> Inst: what is exact command that you are running ?
2023-02-18 08:50:41 +0100 <mauke> <interactive>:1:1: error: Variable not in scope: cabal
2023-02-18 08:50:43 +0100 <Inst> well, i sued to, it uploaded into a global package repository, but the underlying files were hidden
2023-02-18 08:51:00 +0100 <Inst> so i could unhide it in ghci or ghc with the -package flag
2023-02-18 08:52:40 +0100 <Inst> https://downloads.haskell.org/ghc/latest/docs/users_guide/packages.html
2023-02-18 08:52:48 +0100 <Inst> so i think my cabal isn't adding to ghc-pkg
2023-02-18 08:53:36 +0100 <sclv> correct. cabal install doesn’t do that anymore
2023-02-18 08:53:43 +0100 <sclv> its a whole different
2023-02-18 08:53:46 +0100 <sclv> model
2023-02-18 08:54:44 +0100 <Inst> when did that change?
2023-02-18 08:54:52 +0100 <sclv> cabal v1-install still exists and does that, but i very much encourage you to read cabal documentation and instead use the new model
2023-02-18 08:55:20 +0100 <sclv> v2-install has been around since cabal 2.4 but became the default about two years ago?
2023-02-18 08:55:41 +0100 <Inst> weird, because i had cabal running under old behavior for a long time
2023-02-18 08:56:01 +0100 <Inst> even after repeated nukes of GHCup and GHC
2023-02-18 08:56:03 +0100 <Inst> from 2022
2023-02-18 08:56:07 +0100 <Inst> or even 2021
2023-02-18 08:56:10 +0100 <sclv> well yeah if it was an older cabal and you didn’t update it :-)
2023-02-18 08:56:47 +0100 <Inst> as in, it shouldn't dump to --lib
2023-02-18 08:56:59 +0100 <Inst> but it should dump to global package repository, update ghc-pkg
2023-02-18 08:57:07 +0100 <sclv> i think it became the default with cabal 3, and we’re on 3.8 now
2023-02-18 08:57:14 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 08:57:14 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 08:57:46 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:c515:5d78:dd35:61fc) (Remote host closed the connection)
2023-02-18 08:57:47 +0100 <sclv> yes. it understand what you are saying. that no longer happens. we have v2-install and v2-build now and its way better!
2023-02-18 08:57:53 +0100thongpv87(~thongpv87@2402:9d80:3aa:dcd6:364a:f134:53c7:4f6c)
2023-02-18 08:58:05 +0100Unhammer(~Unhammer@user/unhammer)
2023-02-18 08:58:11 +0100 <Inst> v2 install iirc is bugged
2023-02-18 08:58:39 +0100 <sclv> everyone has been using it for years
2023-02-18 08:58:50 +0100 <sclv> and it is actively developed and fixed
2023-02-18 08:58:58 +0100 <sclv> and v1 will eventually be end of lifed
2023-02-18 08:58:58 +0100 <Inst> oh for chrying out loud
2023-02-18 08:59:05 +0100nshepperd2(nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Quit: The Lounge - https://thelounge.chat)
2023-02-18 08:59:14 +0100 <Inst> i just tried v1 install and a seem to have --libed by default
2023-02-18 08:59:15 +0100nshepperd2(nshepperd@2600:3c03::f03c:92ff:fe28:92c9)
2023-02-18 09:01:09 +0100 <Inst> so i have no freaking clue how i achieved the weird behaviorwherein cabal install doesn't install locally but globally, however, it dumps it into ghc-pkg hidden
2023-02-18 09:01:56 +0100thongpv87(~thongpv87@2402:9d80:3aa:dcd6:364a:f134:53c7:4f6c) (Client Quit)
2023-02-18 09:02:07 +0100 <sclv> are you aware of env files?
2023-02-18 09:02:16 +0100thongpv87(~thongpv87@2402:9d80:3aa:dcd6:364a:f134:53c7:4f6c)
2023-02-18 09:02:21 +0100thongpv(~thongpv87@2402:9d80:3aa:dcd6:364a:f134:53c7:4f6c) (Quit: Leaving)
2023-02-18 09:02:25 +0100 <sclv> perhaps you have one of those lying around
2023-02-18 09:04:07 +0100thongpv87(~thongpv87@2402:9d80:3aa:dcd6:364a:f134:53c7:4f6c) (Remote host closed the connection)
2023-02-18 09:04:15 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 09:04:15 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 09:04:52 +0100 <Inst> no clue where the nev file may be lying around
2023-02-18 09:04:54 +0100merijn(~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl)
2023-02-18 09:08:04 +0100razetime(~Thunderbi@117.193.4.56) (Ping timeout: 246 seconds)
2023-02-18 09:08:07 +0100joeyh(~joeyh@66.228.36.95)
2023-02-18 09:09:01 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-02-18 09:09:03 +0100joeyh_(joeyh@2600:3c03::f03c:91ff:fe73:b0d2) (Ping timeout: 248 seconds)
2023-02-18 09:10:37 +0100togooroo(~lalune@216.73.163.233) (Quit: togooroo)
2023-02-18 09:10:40 +0100landonf(landonf@mac68k.info) (Ping timeout: 248 seconds)
2023-02-18 09:10:50 +0100landonf_(landonf@mac68k.info)
2023-02-18 09:11:12 +0100landonf_landonf
2023-02-18 09:11:15 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 09:11:15 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 09:18:15 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 09:18:15 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 09:24:08 +0100Kuttenbrunzer(~Kuttenbru@2a02:8108:8b80:1d48::b4f) (Quit: Where is it)
2023-02-18 09:25:17 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 09:25:17 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 09:26:45 +0100shriekingnoise(~shrieking@186.137.175.87) (Ping timeout: 255 seconds)
2023-02-18 09:31:00 +0100razetime(~Thunderbi@117.193.4.56)
2023-02-18 09:32:17 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 09:32:17 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 09:38:27 +0100merijn(~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds)
2023-02-18 09:38:29 +0100Vajb(~Vajb@2001:999:484:9db9:7ff5:c370:5511:7e1c) (Read error: Connection reset by peer)
2023-02-18 09:38:42 +0100Vajb(~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi)
2023-02-18 09:39:22 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 09:39:22 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 09:46:23 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 09:46:23 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 09:51:40 +0100merijn(~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl)
2023-02-18 09:53:24 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 09:53:24 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 09:55:43 +0100razetime1(~Thunderbi@117.193.4.56)
2023-02-18 09:56:22 +0100razetime(~Thunderbi@117.193.4.56) (Ping timeout: 246 seconds)
2023-02-18 09:56:22 +0100razetime1razetime
2023-02-18 09:57:32 +0100bilegeek(~bilegeek@2600:1008:b02c:70ee:1a73:7190:b436:329b) (Quit: Leaving)
2023-02-18 09:58:10 +0100Vajb(~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer)
2023-02-18 09:58:15 +0100vglfr(~vglfr@145.224.100.65) (Ping timeout: 255 seconds)
2023-02-18 09:58:15 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:c515:5d78:dd35:61fc)
2023-02-18 10:00:04 +0100JonathanWatson[m(~jjwmatrix@2001:470:69fc:105::2:a544) (Quit: You have been kicked for being idle)
2023-02-18 10:00:24 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 10:00:24 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 10:01:08 +0100Vajb(~Vajb@2001:999:484:9db9:7ff5:c370:5511:7e1c)
2023-02-18 10:02:38 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:c515:5d78:dd35:61fc) (Ping timeout: 255 seconds)
2023-02-18 10:07:24 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 10:07:24 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 10:14:25 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 10:14:25 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 10:15:58 +0100Midjak(~Midjak@82.66.147.146)
2023-02-18 10:20:14 +0100jakalx(~jakalx@base.jakalx.net)
2023-02-18 10:21:28 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 10:21:28 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 10:27:00 +0100oldsk00l(~znc@ec2-3-10-215-70.eu-west-2.compute.amazonaws.com)
2023-02-18 10:28:27 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 10:28:27 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 10:28:35 +0100acidjnk(~acidjnk@p200300d6e715c42481098173da91238f.dip0.t-ipconnect.de)
2023-02-18 10:31:27 +0100bgs(~bgs@212-85-160-171.dynamic.telemach.net)
2023-02-18 10:32:00 +0100akegalj(~akegalj@lns01-0595.dsl.iskon.hr) (Ping timeout: 255 seconds)
2023-02-18 10:32:50 +0100zeenk(~zeenk@2a02:2f04:a214:1e00::7fe)
2023-02-18 10:34:05 +0100Tuplanolla(~Tuplanoll@91-159-68-152.elisa-laajakaista.fi)
2023-02-18 10:35:27 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 10:35:27 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 10:36:56 +0100bitmapper(uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-02-18 10:40:35 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-02-18 10:42:29 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 10:42:29 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 10:46:03 +0100mechap(~mechap@user/mechap)
2023-02-18 10:46:34 +0100mechap(~mechap@user/mechap) (Max SendQ exceeded)
2023-02-18 10:47:02 +0100mechap(~mechap@user/mechap)
2023-02-18 10:48:10 +0100jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds)
2023-02-18 10:48:47 +0100mechap(~mechap@user/mechap) (Max SendQ exceeded)
2023-02-18 10:49:15 +0100mechap(~mechap@user/mechap)
2023-02-18 10:49:29 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 10:49:29 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 10:49:44 +0100mechap(~mechap@user/mechap) (Max SendQ exceeded)
2023-02-18 10:49:45 +0100inversed(~inversed@bcdcac82.skybroadband.com) (Read error: Connection reset by peer)
2023-02-18 10:50:12 +0100mechap(~mechap@user/mechap)
2023-02-18 10:50:40 +0100mechap(~mechap@user/mechap) (Max SendQ exceeded)
2023-02-18 10:51:07 +0100mechap(~mechap@user/mechap)
2023-02-18 10:51:39 +0100mechap(~mechap@user/mechap) (Max SendQ exceeded)
2023-02-18 10:52:46 +0100mauke(~mauke@user/mauke) (Quit: leaving)
2023-02-18 10:54:30 +0100merijn(~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds)
2023-02-18 10:56:29 +0100akegalj(~akegalj@lns01-0595.dsl.iskon.hr)
2023-02-18 10:56:30 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 10:56:30 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 11:01:10 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2023-02-18 11:02:33 +0100gurkenglas(~gurkengla@x5271625d.dyn.telefonica.de)
2023-02-18 11:02:58 +0100wootehfoot(~wootehfoo@user/wootehfoot)
2023-02-18 11:03:30 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 11:03:30 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 11:03:43 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Remote host closed the connection)
2023-02-18 11:04:37 +0100mastarija(~mastarija@188.252.197.230)
2023-02-18 11:06:33 +0100 <mastarija> I'm implementing my own lenses for practice, and I'm currently working on `Ixed` class. Am I correct in understanding that I can only get `ix`-th element of a list if those list elements are `Monoid`s?
2023-02-18 11:06:41 +0100 <mastarija> e.g.
2023-02-18 11:07:02 +0100 <mastarija> view (ix 1) ["hello", "world"] -- works
2023-02-18 11:07:27 +0100 <mastarija> view (ix 1) [1, 2] -- doesn't and complains about not having a monoid instance
2023-02-18 11:08:58 +0100 <mastarija> So, I get that `ix n` results in a traversal which has `Traversal` as a type. And traversal has `Applicative` constraint.
2023-02-18 11:09:16 +0100wootehfoot(~wootehfoo@user/wootehfoot)
2023-02-18 11:09:36 +0100 <mastarija> Since I've specified the type of `view` to:
2023-02-18 11:09:38 +0100 <mastarija> type View r s a = (a -> Const r a) -> s -> Const r s
2023-02-18 11:10:03 +0100 <mastarija> `Const` can only be applicative if `r` is a `Monoid`
2023-02-18 11:10:31 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 11:10:31 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 11:13:41 +0100 <mastarija> So, basically. I can't get an i-th element of a list using `ix i`? Haven't really tried this on a lens library, but looking at the types it seems like it should expect the same `Monoid` constraint on elements of a list.
2023-02-18 11:14:22 +0100 <[Leary]> mastarija: Rather than `Const a`, consider something like `Const (Data.Monoid.First a)`.
2023-02-18 11:17:31 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 11:17:31 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 11:17:47 +0100 <mastarija> [Leary]: you mean, I should specialise my `view` to something like this:
2023-02-18 11:17:50 +0100 <mastarija> view :: ((a -> Const (First a) a) -> s -> Const (First a) s) -> s -> a
2023-02-18 11:18:58 +0100 <mastarija> Or do you mean that I should wrap every element of a list with `First` and unwrap at the end?
2023-02-18 11:20:15 +0100 <[Leary]> I'm not looking at the specifics of the classes and the functions here, just saying that a `Monoid` isn't as restrictive as it looks, since you can conjure them up like this. But I'd presume this detail would be hidden inside of `ix` and consistent with the more general `view`.
2023-02-18 11:24:31 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 11:24:31 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 11:31:33 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 11:31:33 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 11:31:53 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2023-02-18 11:32:50 +0100bgs(~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection)
2023-02-18 11:33:10 +0100dcoutts_(~duncan@host86-167-90-212.range86-167.btcentralplus.com)
2023-02-18 11:34:28 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-02-18 11:34:45 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2023-02-18 11:38:34 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 11:38:34 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 11:41:23 +0100ubert(~Thunderbi@p200300ecdf13012f11fae769624975a6.dip0.t-ipconnect.de)
2023-02-18 11:45:18 +0100wootehfoot(~wootehfoo@user/wootehfoot)
2023-02-18 11:45:35 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 11:45:35 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 11:46:33 +0100L29Ah(~L29Ah@wikipedia/L29Ah) ()
2023-02-18 11:51:21 +0100 <jackdk> :t view
2023-02-18 11:51:22 +0100 <lambdabot> MonadReader s m => Getting a s a -> m a
2023-02-18 11:52:17 +0100econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2023-02-18 11:52:34 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 11:52:35 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 11:53:03 +0100 <jackdk> mastarija: shouldn't need monoid anything to implement view. The apparent monoid requirement is coming from the fact that `ix` returns a `Traversal'`, which induces the constraint `Applicative (Const r)` and therefore `Monoid r`. To get the first (only) element out of a traveral (prism), you should define and use `preview`
2023-02-18 11:53:05 +0100 <jackdk> :t preview
2023-02-18 11:53:06 +0100 <lambdabot> MonadReader s m => Getting (First a) s a -> m (Maybe a)
2023-02-18 11:55:01 +0100 <mastarija> Aha.
2023-02-18 11:57:50 +0100 <mastarija> jackdk: So that means, for something like getting an n-th element from a list of numbers I would need to use `preview` instead of `view`, right?
2023-02-18 11:59:08 +0100 <jackdk> yes, because it may not exist. (`at` returns `Lens' s (Maybe a)` for things like maps where you can write back even if the element is absent). In addition to `preview`, you can also use `toListOf` or anything else that works on `Fold`s.
2023-02-18 11:59:36 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 11:59:36 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 12:00:05 +0100 <jackdk> > toListOf (ix 3) [1, 2]
2023-02-18 12:00:07 +0100 <lambdabot> []
2023-02-18 12:00:18 +0100 <jackdk> > toListOf (ix 0) [1, 2]
2023-02-18 12:00:20 +0100 <lambdabot> [1]
2023-02-18 12:06:01 +0100mechap(~mechap@user/mechap)
2023-02-18 12:06:35 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 12:06:36 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 12:06:36 +0100mechap(~mechap@user/mechap) (Max SendQ exceeded)
2023-02-18 12:07:15 +0100mechap(~mechap@user/mechap)
2023-02-18 12:07:29 +0100zeenk(~zeenk@2a02:2f04:a214:1e00::7fe) (Quit: Konversation terminated!)
2023-02-18 12:08:10 +0100mechap(~mechap@user/mechap) (Max SendQ exceeded)
2023-02-18 12:08:44 +0100mechap(~mechap@user/mechap)
2023-02-18 12:09:32 +0100mechap(~mechap@user/mechap) (Max SendQ exceeded)
2023-02-18 12:12:44 +0100razetime(~Thunderbi@117.193.4.56) (Remote host closed the connection)
2023-02-18 12:13:02 +0100gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2023-02-18 12:13:36 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 12:13:36 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 12:15:03 +0100mechap(~mechap@user/mechap)
2023-02-18 12:15:39 +0100mechap(~mechap@user/mechap) (Max SendQ exceeded)
2023-02-18 12:16:06 +0100mechap(~mechap@user/mechap)
2023-02-18 12:16:41 +0100mechap(~mechap@user/mechap) (Max SendQ exceeded)
2023-02-18 12:17:09 +0100mechap(~mechap@user/mechap)
2023-02-18 12:20:38 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 12:20:38 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 12:27:37 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 12:27:37 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 12:29:32 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-02-18 12:32:41 +0100harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
2023-02-18 12:34:39 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 12:34:39 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 12:39:49 +0100mastarija(~mastarija@188.252.197.230) (Quit: WeeChat 3.7.1)
2023-02-18 12:41:40 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 12:41:40 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 12:43:38 +0100Kuttenbrunzer(~Kuttenbru@2a02:8108:8b80:1d48::597f)
2023-02-18 12:43:48 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt)
2023-02-18 12:48:39 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 12:48:39 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 12:55:41 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 12:55:41 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 12:57:22 +0100jakalx(~jakalx@base.jakalx.net) ()
2023-02-18 12:58:17 +0100akegalj(~akegalj@lns01-0595.dsl.iskon.hr) (Quit: leaving)
2023-02-18 12:59:15 +0100 <eldritchcookie[m> hey can data instances be GADTs ?
2023-02-18 13:00:30 +0100gmg(~user@user/gehmehgeh)
2023-02-18 13:02:41 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 13:02:41 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 13:03:58 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds)
2023-02-18 13:04:11 +0100jakalx(~jakalx@base.jakalx.net)
2023-02-18 13:07:04 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2023-02-18 13:08:34 +0100 <c_wraith> eldritchcookie[m: yes
2023-02-18 13:09:12 +0100 <c_wraith> eldritchcookie[m: the syntax is basically exactly what you'd expect. It should just work.
2023-02-18 13:09:41 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 13:09:41 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 13:10:57 +0100 <c_wraith> eldritchcookie[m: oh, there *is* one caveat. The data family needs to be polymorphic over a different type variable than the GADT is
2023-02-18 13:11:19 +0100 <c_wraith> err. polytypic over.
2023-02-18 13:11:49 +0100 <eldritchcookie[m> thanks, i am thinking right now and besides the friction is there any reason to use a typeclass instead of a backpack interface assuming i don't care about stack?
2023-02-18 13:14:44 +0100 <eldritchcookie[m> it seems like anything a typeclass can do backpack can do better, when should i use a typeclass and when to use backpack?
2023-02-18 13:16:40 +0100 <c_wraith> well, a typeclass can do inference. Chained instance resolution can put together appropriate behaviors for new combinations of types for free.
2023-02-18 13:16:41 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 13:16:41 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 13:17:09 +0100gurkenglas(~gurkengla@x5271625d.dyn.telefonica.de) (Ping timeout: 255 seconds)
2023-02-18 13:19:39 +0100 <eldritchcookie[m> can you give me an example? i think i am really close to getting what you mean, do you mean like instance(Num a,Num b ) Num (a,b)
2023-02-18 13:19:53 +0100 <c_wraith> yeah.
2023-02-18 13:20:17 +0100merijn(~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl)
2023-02-18 13:22:15 +0100 <[Leary]> Can you even use more than one variant(?) of a signature(?) in a given module? That's a big weakness.
2023-02-18 13:22:54 +0100 <c_wraith> You don't have to declare you're going to use Show (Int, Char) and Show (Int, Color) in advance, and you don't have to tell the entire build system about them. The compiler just chains things all around and figures it out mechanically. It's free to do that because it's a much less powerful system.
2023-02-18 13:23:42 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 13:23:42 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 13:23:48 +0100gurkenglas(~gurkengla@x5271625d.dyn.telefonica.de)
2023-02-18 13:24:33 +0100 <eldritchcookie[m> leary: you can just rename the signature and implementation with mixins
2023-02-18 13:25:04 +0100 <[Leary]> I see. It sounds like a pain though.
2023-02-18 13:26:01 +0100merijn(~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds)
2023-02-18 13:26:54 +0100 <eldritchcookie[m> is it really more powerful? like i've yet to see an example where backpack can do anything useful compared to typeclasses, i really like the idea of backpack but it seems as if it is useless in practice beyond some hack to squeeze a little bit more performance in some cases
2023-02-18 13:28:29 +0100 <eldritchcookie[m> it seems like backpack are like injective type families a cool idea but everytime i try to use them i either find i can't or there is a better alternative
2023-02-18 13:30:44 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 13:30:44 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 13:31:11 +0100 <eldritchcookie[m> really sad, reality is unforgiving. to use backpack i think we will need further extensions.
2023-02-18 13:34:54 +0100 <eldritchcookie[m> the only thing i think backpack can currently do better is that backpack can have a closed type family in the interface
2023-02-18 13:37:44 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 13:37:44 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 13:38:07 +0100 <maralorn> I always assumed that the biggest advantage of backpack is guaranteed specialisation?
2023-02-18 13:39:02 +0100 <eldritchcookie[m> yes i mentioned it, performance is temporary, good abstractions are eternal
2023-02-18 13:40:38 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-02-18 13:41:53 +0100 <eldritchcookie[m> fmap is never going away programming in assembly will
2023-02-18 13:43:10 +0100harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Ping timeout: 246 seconds)
2023-02-18 13:43:28 +0100p0lyph3m(~polyphem@2a02:810d:840:8754:ad77:3864:324d:fcd8)
2023-02-18 13:44:01 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-02-18 13:44:45 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 13:44:45 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 13:51:46 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 13:51:46 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 13:54:23 +0100p0lyph3m(~polyphem@2a02:810d:840:8754:ad77:3864:324d:fcd8) (Remote host closed the connection)
2023-02-18 13:54:32 +0100p0lyph3m(~polyphem@2a02:810d:840:8754:ad77:3864:324d:fcd8)
2023-02-18 13:58:45 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 13:58:46 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 14:00:07 +0100merijn(~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl)
2023-02-18 14:05:46 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 14:05:46 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 14:07:41 +0100harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
2023-02-18 14:09:54 +0100sayola(~sayola@ipservice-092-213-087-211.092.213.pools.vodafone-ip.de)
2023-02-18 14:12:46 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 14:12:46 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 14:13:58 +0100hpc(~juzz@ip98-169-35-163.dc.dc.cox.net) (Ping timeout: 246 seconds)
2023-02-18 14:15:48 +0100hpc(~juzz@ip98-169-35-163.dc.dc.cox.net)
2023-02-18 14:19:47 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 14:19:47 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 14:26:48 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 14:26:48 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 14:28:56 +0100Guest72(~Guest72@2001:4653:329:0:10da:a6c4:f893:b56d)
2023-02-18 14:29:50 +0100Guest72(~Guest72@2001:4653:329:0:10da:a6c4:f893:b56d) (Client Quit)
2023-02-18 14:33:50 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 14:33:50 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 14:34:23 +0100merijn(~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds)
2023-02-18 14:35:59 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-02-18 14:35:59 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-02-18 14:35:59 +0100finn_elijaFinnElija
2023-02-18 14:39:46 +0100Sciencentistguy(~sciencent@hacksoc/ordinary-member) (Read error: Connection reset by peer)
2023-02-18 14:40:06 +0100Sciencentistguy(~sciencent@hacksoc/ordinary-member)
2023-02-18 14:40:50 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 14:40:50 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 14:47:50 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 14:47:50 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 14:50:34 +0100__monty__(~toonn@user/toonn)
2023-02-18 14:50:43 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-02-18 14:54:51 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 14:55:44 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-02-18 14:55:48 +0100Lycurgus(~juan@user/Lycurgus)
2023-02-18 14:57:37 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-02-18 14:58:17 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 255 seconds)
2023-02-18 15:01:52 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 15:01:52 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 15:02:51 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:c515:5d78:dd35:61fc)
2023-02-18 15:04:48 +0100Lycurgus(~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz)
2023-02-18 15:07:10 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:c515:5d78:dd35:61fc) (Ping timeout: 246 seconds)
2023-02-18 15:08:54 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 15:08:54 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 15:10:59 +0100vglfr(~vglfr@37.73.92.230)
2023-02-18 15:11:40 +0100Kuttenbrunzer(~Kuttenbru@2a02:8108:8b80:1d48::597f) (Quit: Where is it)
2023-02-18 15:15:53 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 15:15:53 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 15:17:35 +0100vglfr(~vglfr@37.73.92.230) (Ping timeout: 252 seconds)
2023-02-18 15:22:53 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 15:22:54 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 15:29:54 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 15:29:54 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 15:31:27 +0100L29Ah(~L29Ah@wikipedia/L29Ah)
2023-02-18 15:33:31 +0100haritz(~hrtz@user/haritz) (Remote host closed the connection)
2023-02-18 15:33:33 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-02-18 15:34:49 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-02-18 15:36:54 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 15:36:54 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 15:37:43 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2023-02-18 15:41:03 +0100ddellacosta(~ddellacos@146.70.185.10) (Ping timeout: 255 seconds)
2023-02-18 15:41:52 +0100akadude[m](~akadudema@2001:470:69fc:105::2:5bf7)
2023-02-18 15:43:54 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 15:43:54 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 15:48:39 +0100haritz(~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220)
2023-02-18 15:48:39 +0100haritz(~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host)
2023-02-18 15:48:39 +0100haritz(~hrtz@user/haritz)
2023-02-18 15:50:56 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 15:50:56 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 15:52:48 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2023-02-18 15:55:48 +0100jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com)
2023-02-18 15:57:57 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 15:57:57 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 15:59:44 +0100Vajb(~Vajb@2001:999:484:9db9:7ff5:c370:5511:7e1c) (Read error: Connection reset by peer)
2023-02-18 15:59:57 +0100Vajb(~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi)
2023-02-18 16:04:27 +0100jakalx(~jakalx@base.jakalx.net) ()
2023-02-18 16:04:56 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 16:04:56 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 16:08:10 +0100 <p0lyph3m> Axman6 : hey, i read your response on the reddit post about haskell/js suitability for webdevelopment. You mentioned myrecent post twice in your response. My post was the ironic "Haskell is dead" post. At the time i found out that people didn't get that it was ironic, i was already banned from r/haskell so i couldn't even defend myself from accusations nor set things straight. I wonder who was the op that banned me, and my repl
2023-02-18 16:10:06 +0100 <p0lyph3m> ...y was never answered. If you had somthing to do with me beeing banned, i ask you to please unban me.
2023-02-18 16:11:04 +0100 <geekosaur> re "ironic": Poe's Law
2023-02-18 16:11:57 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 16:11:57 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 16:12:26 +0100rettahcay(~kaushikv@c-24-20-37-193.hsd1.or.comcast.net)
2023-02-18 16:14:28 +0100 <p0lyph3m> geekosaur , irony can be a b**ch
2023-02-18 16:14:38 +0100Vajb(~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer)
2023-02-18 16:15:15 +0100Vajb(~Vajb@2001:999:484:9db9:7ff5:c370:5511:7e1c)
2023-02-18 16:17:06 +0100 <p0lyph3m> i referenced an article, that was posted on r/programming and it wasn't of very high quality, it involved haskell and i thought i share on r/haskell , but the messenger got shot :(
2023-02-18 16:18:57 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 16:18:58 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 16:21:12 +0100m1dnight(~christoph@78.22.0.121) (Ping timeout: 255 seconds)
2023-02-18 16:23:19 +0100m1dnight(~christoph@78.22.0.121)
2023-02-18 16:24:31 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-02-18 16:25:22 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt) (Quit: beteigeuze)
2023-02-18 16:25:59 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 16:25:59 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 16:26:28 +0100rettahcay(~kaushikv@c-24-20-37-193.hsd1.or.comcast.net) ()
2023-02-18 16:27:32 +0100jakalx(~jakalx@base.jakalx.net)
2023-02-18 16:28:32 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2023-02-18 16:28:40 +0100machinedgod(~machinedg@198.53.218.113)
2023-02-18 16:29:11 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 255 seconds)
2023-02-18 16:31:16 +0100merijn(~merijn@86.86.29.250)
2023-02-18 16:33:01 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 16:33:01 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 16:33:02 +0100 <raehik> why does `KnownSymbol a` only reflect down to a String >:(
2023-02-18 16:33:43 +0100 <geekosaur> because Symbol is type level String?
2023-02-18 16:34:33 +0100 <raehik> aw so is that how it looks in the compiler, [Char]? no Text then? :(
2023-02-18 16:34:44 +0100 <geekosaur> right
2023-02-18 16:36:03 +0100 <geekosaur> I have a vague recollection that at some point `Symbol` will become a type alias and they'll use `String` directly
2023-02-18 16:36:09 +0100 <raehik> how much can I rely on GHC's optimizer to inline/expand operations on reflected values? I guess my main question is, what gets "inlined" for symbolVal, natVal
2023-02-18 16:36:20 +0100 <geekosaur> that I don't know
2023-02-18 16:37:27 +0100 <raehik> okie dokie. I will have a gander at generated core at some point. cheers
2023-02-18 16:38:06 +0100 <raehik> I kinda understood why type-level nats go to Natural only (since I'd seen how ints are encoded in the compiler) but didn't apply it to symbols
2023-02-18 16:39:24 +0100 <geekosaur> I think originally it worked a little differently for `Symbol`, but adding type level `Char` and operations between them and `Symbol` meant going the whole way to type level `String`
2023-02-18 16:40:00 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 16:40:00 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 16:41:00 +0100 <geekosaur> and in any case they're going that way anyway as they prepare for Dependent Haskell
2023-02-18 16:44:53 +0100_leo___(~emmanuelu@user/emmanuelux)
2023-02-18 16:47:01 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 16:47:01 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 16:47:04 +0100 <raehik> yeah I'm definitely happy with that. I have two wolves inside me one likes abstractions and one likes fast low-level ops sometimes they fight
2023-02-18 16:47:58 +0100emmanuelux_(~emmanuelu@user/emmanuelux) (Ping timeout: 246 seconds)
2023-02-18 16:49:10 +0100harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
2023-02-18 16:52:52 +0100Vajb(~Vajb@2001:999:484:9db9:7ff5:c370:5511:7e1c) (Read error: Connection reset by peer)
2023-02-18 16:54:00 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 16:54:01 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 16:54:15 +0100Vajb(~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi)
2023-02-18 16:54:40 +0100vglfr(~vglfr@37.73.92.230)
2023-02-18 16:55:42 +0100mechap(~mechap@user/mechap) (Quit: WeeChat 3.8)
2023-02-18 16:59:20 +0100vglfr(~vglfr@37.73.92.230) (Ping timeout: 255 seconds)
2023-02-18 17:01:02 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 17:01:02 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 17:05:45 +0100merijn(~merijn@86.86.29.250) (Ping timeout: 252 seconds)
2023-02-18 17:08:03 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 17:08:03 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 17:11:05 +0100pwntips(~user@24-113-98-114.wavecable.com) (Quit: leaving)
2023-02-18 17:15:03 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 17:15:03 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 17:22:05 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 17:22:05 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 17:29:04 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 17:29:04 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 17:29:48 +0100pwntips(~user@24-113-98-114.wavecable.com)
2023-02-18 17:36:04 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 17:36:04 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 17:41:20 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2023-02-18 17:43:05 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 17:43:05 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 17:49:43 +0100razetime(~Thunderbi@117.193.4.56)
2023-02-18 17:50:07 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 17:50:07 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 17:51:06 +0100tremon(~tremon@83-85-213-108.cable.dynamic.v4.ziggo.nl)
2023-02-18 17:56:03 +0100Kuttenbrunzer(~Kuttenbru@2a02:8108:8b80:1d48::597f)
2023-02-18 17:57:07 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 17:57:07 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 17:59:40 +0100oldfashionedcow(~Rahul_San@user/oldfashionedcow)
2023-02-18 18:00:30 +0100oldfashionedcow(~Rahul_San@user/oldfashionedcow) (Max SendQ exceeded)
2023-02-18 18:02:32 +0100gehmehgeh(~user@user/gehmehgeh)
2023-02-18 18:02:53 +0100gmg(~user@user/gehmehgeh) (Ping timeout: 255 seconds)
2023-02-18 18:03:12 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds)
2023-02-18 18:04:07 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 18:04:07 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 18:11:08 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 18:11:08 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 18:14:21 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2023-02-18 18:17:24 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2023-02-18 18:18:08 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 18:18:08 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 18:22:24 +0100 <raehik> What is the {-kind-} pragma in https://hackage.haskell.org/package/base-4.17.0.0/docs/src/GHC.TypeError.html#ErrorMessage ?
2023-02-18 18:23:04 +0100 <raehik> it's not just a comment right? can you put a comment between `data` and the data type name
2023-02-18 18:23:50 +0100 <raehik> you can wow. soz don't worry about that question then
2023-02-18 18:25:09 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 18:25:09 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 18:28:31 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2023-02-18 18:29:21 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2023-02-18 18:29:43 +0100machinedgod(~machinedg@198.53.218.113) (Ping timeout: 252 seconds)
2023-02-18 18:31:10 +0100jmdaemon(~jmdaemon@user/jmdaemon)
2023-02-18 18:31:20 +0100Lord_of_Life_Lord_of_Life
2023-02-18 18:32:10 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 18:32:10 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 18:34:45 +0100gehmehgehgmg
2023-02-18 18:34:57 +0100Lycurgus(~juan@user/Lycurgus)
2023-02-18 18:35:24 +0100dsrt^(~dsrt@c-24-30-76-89.hsd1.ga.comcast.net)
2023-02-18 18:35:28 +0100bitmapper(uid464869@id-464869.lymington.irccloud.com)
2023-02-18 18:35:56 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Remote host closed the connection)
2023-02-18 18:36:19 +0100gurkenglas(~gurkengla@x5271625d.dyn.telefonica.de) (Ping timeout: 268 seconds)
2023-02-18 18:36:20 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2023-02-18 18:37:58 +0100gurkenglas(~gurkengla@46.114.183.40)
2023-02-18 18:38:45 +0100Kuttenbrunzer(~Kuttenbru@2a02:8108:8b80:1d48::597f) (Quit: Where is it)
2023-02-18 18:39:11 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 18:39:11 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 18:41:16 +0100razetime(~Thunderbi@117.193.4.56) (Remote host closed the connection)
2023-02-18 18:44:37 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:c515:5d78:dd35:61fc)
2023-02-18 18:46:12 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 18:46:12 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 18:46:22 +0100Vajb(~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer)
2023-02-18 18:47:16 +0100Vajb(~Vajb@2001:999:484:9db9:7ff5:c370:5511:7e1c)
2023-02-18 18:49:59 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2023-02-18 18:53:12 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 18:53:12 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 18:54:36 +0100Lycurgus(~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz)
2023-02-18 18:56:33 +0100cheater_(~Username@user/cheater)
2023-02-18 18:56:54 +0100dcoutts_(~duncan@host86-167-90-212.range86-167.btcentralplus.com) (Ping timeout: 255 seconds)
2023-02-18 18:57:51 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-02-18 18:59:36 +0100cheater(~Username@user/cheater) (Ping timeout: 255 seconds)
2023-02-18 18:59:38 +0100cheater_cheater
2023-02-18 19:00:13 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 19:00:13 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 19:02:05 +0100merijn(~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl)
2023-02-18 19:03:25 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-02-18 19:04:04 +0100paddymahoney(~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Read error: Connection reset by peer)
2023-02-18 19:07:14 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 19:07:14 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 19:07:20 +0100Yumemi_(~Yumemi@chamoin.net) (Quit: .)
2023-02-18 19:10:16 +0100Yumemi(~Yumemi@chamoin.net)
2023-02-18 19:14:14 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 19:14:14 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 19:15:19 +0100econo(uid147250@user/econo)
2023-02-18 19:21:14 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 19:21:14 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 19:21:39 +0100 <geekosaur> no #s so it'snot a pragma. I think they're planning ahead for `data kind …`
2023-02-18 19:22:35 +0100hpc(~juzz@ip98-169-35-163.dc.dc.cox.net) (Ping timeout: 248 seconds)
2023-02-18 19:24:31 +0100hpc(~juzz@ip98-169-35-163.dc.dc.cox.net)
2023-02-18 19:28:15 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 19:28:15 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 19:29:06 +0100dcoutts_(~duncan@host86-167-90-212.range86-167.btcentralplus.com)
2023-02-18 19:31:47 +0100 <geekosaur> oh, I stand corrected, looks like they went with `type data` instead of `data kind` so that comment probably wants to change at some point
2023-02-18 19:32:15 +0100 <geekosaur> (it's in 9.6.1, which is on alpha3)
2023-02-18 19:32:37 +0100lisq(~quassel@lis.moe) ()
2023-02-18 19:32:38 +0100Feuermagier(~Feuermagi@user/feuermagier)
2023-02-18 19:33:00 +0100 <geekosaur> https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0106-type-data.rst
2023-02-18 19:33:04 +0100lisq(~quassel@lis.moe)
2023-02-18 19:33:04 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-02-18 19:35:15 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 19:35:16 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 19:36:47 +0100merijn(~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) (Ping timeout: 264 seconds)
2023-02-18 19:37:17 +0100dcoutts_(~duncan@host86-167-90-212.range86-167.btcentralplus.com) (Ping timeout: 255 seconds)
2023-02-18 19:42:19 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 19:42:19 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 19:48:08 +0100stef204(~stef204@user/stef204)
2023-02-18 19:48:40 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2023-02-18 19:49:16 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 19:49:16 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 19:50:06 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-02-18 19:52:24 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-02-18 19:53:35 +0100cheater_(~Username@user/cheater)
2023-02-18 19:56:18 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 19:56:18 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 19:56:45 +0100cheater(~Username@user/cheater) (Ping timeout: 255 seconds)
2023-02-18 19:56:51 +0100cheater_cheater
2023-02-18 19:58:24 +0100jero98772(~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff)
2023-02-18 20:01:58 +0100cheater_(~Username@user/cheater)
2023-02-18 20:03:19 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 20:03:19 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 20:05:04 +0100cheater(~Username@user/cheater) (Ping timeout: 248 seconds)
2023-02-18 20:05:12 +0100cheater_cheater
2023-02-18 20:09:49 +0100jakalx(~jakalx@base.jakalx.net) ()
2023-02-18 20:10:18 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 20:10:18 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 20:14:45 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 255 seconds)
2023-02-18 20:17:19 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 20:17:19 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 20:17:45 +0100mauke(~mauke@user/mauke)
2023-02-18 20:20:02 +0100ddellacosta(~ddellacos@143.244.47.71)
2023-02-18 20:24:20 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 20:24:20 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 20:28:04 +0100 <ph88> Where could i add the Eq class to make this type check ? https://bpa.st/73UDK
2023-02-18 20:29:14 +0100Sgeo(~Sgeo@user/sgeo)
2023-02-18 20:29:32 +0100 <ph88> this paste is probably better https://bpa.st/3IKUQ
2023-02-18 20:30:23 +0100 <ph88> hum small mistake in paste #2 this is paste #3 https://bpa.st/QVV3S probably best
2023-02-18 20:30:56 +0100 <ph88> Should i use this type perhaps ? https://www.stackage.org/haddock/nightly-2023-02-14/purescript-bridge-0.15.0.0/Language-PureScript…
2023-02-18 20:31:20 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 20:31:20 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 20:31:20 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-02-18 20:32:42 +0100justsomeguy(~justsomeg@user/justsomeguy)
2023-02-18 20:35:39 +0100 <ph88> paste #4 https://bpa.st/XGDBU sorry for so many pasted i keep making little mistakes in them :/
2023-02-18 20:35:40 +0100 <[exa]> ph88: what's the A there?
2023-02-18 20:35:52 +0100 <ph88> [exa], https://www.stackage.org/haddock/nightly-2023-02-14/purescript-bridge-0.15.0.0/Language-PureScript…
2023-02-18 20:37:27 +0100 <ph88> let me try standalone deriving maybe that works ..
2023-02-18 20:37:54 +0100 <ph88> oh .. that already worked o_O
2023-02-18 20:38:01 +0100 <[exa]> how do you encode typeclasses into that thing?
2023-02-18 20:38:21 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 20:38:21 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 20:40:10 +0100 <ph88> which thing ?
2023-02-18 20:41:55 +0100atwm(~atwm@19-193-28-81.ftth.cust.kwaoo.net)
2023-02-18 20:42:59 +0100justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 255 seconds)
2023-02-18 20:43:13 +0100 <[exa]> into the types that don't have the actual haskell variables but the ABCD..
2023-02-18 20:43:16 +0100atwm(~atwm@19-193-28-81.ftth.cust.kwaoo.net) (Remote host closed the connection)
2023-02-18 20:44:00 +0100 <c_wraith> I still want local data declarations.
2023-02-18 20:44:09 +0100justsomeguy(~justsomeg@user/justsomeguy)
2023-02-18 20:44:23 +0100 <ph88> [exa], i guess some magic with Generic
2023-02-18 20:44:41 +0100 <[exa]> magiiiiiiiiiic
2023-02-18 20:45:02 +0100 <[exa]> interesting though.
2023-02-18 20:45:22 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 20:45:22 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 20:45:35 +0100mechap(~mechap@user/mechap)
2023-02-18 20:45:55 +0100xkuru(~xkuru@user/xkuru)
2023-02-18 20:46:08 +0100mechap(~mechap@user/mechap) (Max SendQ exceeded)
2023-02-18 20:46:38 +0100mechap(~mechap@user/mechap)
2023-02-18 20:47:25 +0100mechap(~mechap@user/mechap) (Max SendQ exceeded)
2023-02-18 20:47:57 +0100mechap(~mechap@user/mechap)
2023-02-18 20:48:09 +0100 <ph88> :D
2023-02-18 20:48:39 +0100mechap(~mechap@user/mechap) (Max SendQ exceeded)
2023-02-18 20:49:55 +0100 <ph88> is Int the same size as Int64 on a 64bits machine ?
2023-02-18 20:50:36 +0100 <geekosaur> yes
2023-02-18 20:51:31 +0100 <gqplox[m]> hello guys
2023-02-18 20:52:12 +0100 <ph88> hi gqplox[m]
2023-02-18 20:52:23 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 20:52:23 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 20:53:31 +0100 <gqplox[m]> hows it going?
2023-02-18 20:53:42 +0100 <gqplox[m]> i am a bit stuck on this question, and although it's not really a haskell question i will ask here anyway because you guys seem smart
2023-02-18 20:54:02 +0100 <gqplox[m]> http://sprunge.us/Mo1jK1
2023-02-18 20:54:04 +0100 <gqplox[m]> here is the code
2023-02-18 20:54:17 +0100iteratee(~kyle@162.218.222.107) (Ping timeout: 246 seconds)
2023-02-18 20:54:34 +0100 <gqplox[m]> basically i am given 10 ciphertexts which have been all encoded with the same pad. and an elevent which i have to try to decode
2023-02-18 20:55:16 +0100 <gqplox[m]> i have tried to write a program to solve it, and i have a kind of solution
2023-02-18 20:55:48 +0100shriekingnoise(~shrieking@186.137.175.87)
2023-02-18 20:56:10 +0100 <gqplox[m]> my program outputs Th__se_uet_mes_ag___s___htn__s__g_w_Gt_eam_cip_er__nege__uQe_th__k_y____e_rhan__n_e from that i can work out it probably is something like The secret message is stream cipher use the key 
2023-02-18 20:56:14 +0100 <gqplox[m]> but i unsure where to go from here
2023-02-18 20:56:47 +0100trev(~trev@user/trev) (Remote host closed the connection)
2023-02-18 20:57:00 +0100iteratee(~kyle@162.218.222.107)
2023-02-18 20:57:49 +0100tremon(~tremon@83-85-213-108.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in)
2023-02-18 20:58:17 +0100ddellacosta(~ddellacos@143.244.47.71) (Ping timeout: 255 seconds)
2023-02-18 20:58:29 +0100 <mauke> if you know the plain version of any part of any ciphertext, that gives you immediate knowledge about the key
2023-02-18 20:58:41 +0100 <mauke> since plain `xor` cipher = key
2023-02-18 20:59:20 +0100 <mauke> you can use the partial key to decode other ciphertexts and guess more words
2023-02-18 20:59:22 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 20:59:22 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 20:59:24 +0100 <[exa]> gqplox[m]: do you know anything about the ciphertexts? such as they are ascii?
2023-02-18 21:00:21 +0100 <gqplox[m]> i am assuming so
2023-02-18 21:00:26 +0100 <gqplox[m]> i think it will be yes
2023-02-18 21:01:19 +0100andrewboltachev(~andrey@178.141.125.176) (Quit: Leaving.)
2023-02-18 21:01:37 +0100 <gqplox[m]> i thought since it is a one time pad (here used multiple times) knowing the decryption of char at pos i will only give me info on the key to decode pos i so it won't help me get the key
2023-02-18 21:02:02 +0100 <mauke> huh?
2023-02-18 21:03:10 +0100 <darkling> It will give you the pad at that point, so you can get a partial decrypt of each of the messages.
2023-02-18 21:03:29 +0100 <darkling> Some of those will give you a good idea of the missing plaintext.
2023-02-18 21:03:55 +0100 <darkling> That then gives you the pad at more points, that you can use to find more plaintext in other messages.
2023-02-18 21:04:15 +0100 <darkling> This isn't going to be a completely automated process, and you'll have to iterate and use some educated guessing.
2023-02-18 21:04:29 +0100 <mauke> in your case you have a good guess that message 11 starts with `The secret message is `. you can xor that into ciphertext 11 to recover a prefix of the cipher stream
2023-02-18 21:05:20 +0100 <gqplox[m]> i only need to figure out what ciphertext 11 says
2023-02-18 21:05:44 +0100 <darkling> Yes, but you've got ten other ciphertexts that all give you context.
2023-02-18 21:05:48 +0100 <mauke> yeah, but you still need to make sure of the other givens
2023-02-18 21:05:53 +0100 <mauke> er, make use*
2023-02-18 21:06:03 +0100 <mauke> it's like solving a crossword puzzle
2023-02-18 21:06:13 +0100 <darkling> Assuming that each of those makes sense in its plaintext, you can do partial decrypts of those as well and use that info to make more guesses.
2023-02-18 21:06:23 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 21:06:23 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 21:06:55 +0100 <gqplox[m]> ohh i get it, so you're saying the same way i did the decode here to get a partial thing of c11 and figured some others out, i can do it for the other ciphertexts and then guess based on those and apply it to c11 again
2023-02-18 21:07:24 +0100 <darkling> Yes, and each iteration you'll get more of the pad.
2023-02-18 21:07:25 +0100 <gqplox[m]> figured some otheres out = guess surround chars in c11
2023-02-18 21:07:25 +0100 <gqplox[m]> oh right i see, ill try that
2023-02-18 21:07:54 +0100 <gqplox[m]> im dumb :/ thx guys ill try it
2023-02-18 21:08:00 +0100 <darkling> You also get good verification of your guesses of the pad -- if the words make sense on all the messages, you've got the right pad. :)
2023-02-18 21:09:31 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2023-02-18 21:12:17 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-02-18 21:13:25 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 21:13:25 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 21:18:12 +0100chexum_(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2023-02-18 21:18:48 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2023-02-18 21:20:12 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Remote host closed the connection)
2023-02-18 21:20:24 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 21:20:24 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 21:24:37 +0100stef204(~stef204@user/stef204) (Quit: WeeChat 3.8)
2023-02-18 21:24:54 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2023-02-18 21:27:26 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 21:27:26 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 21:32:38 +0100merijn(~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl)
2023-02-18 21:34:26 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 21:34:26 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 21:36:49 +0100harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
2023-02-18 21:37:04 +0100merijn(~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds)
2023-02-18 21:37:47 +0100Hammdist(~Hammdist@67.169.114.135)
2023-02-18 21:38:32 +0100 <Hammdist> how do I test if a string ends in "_suffix"?
2023-02-18 21:40:40 +0100 <geekosaur> :t isSuffixOf
2023-02-18 21:40:41 +0100 <lambdabot> Eq a => [a] -> [a] -> Bool
2023-02-18 21:40:54 +0100 <Hammdist> hm ok thanks
2023-02-18 21:41:10 +0100 <xerox> @src isSuffixOf
2023-02-18 21:41:10 +0100 <lambdabot> isSuffixOf x y = reverse x `isPrefixOf` reverse y
2023-02-18 21:41:28 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 21:41:28 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 21:42:29 +0100 <yushyin> ^ is not how it is actually implemented
2023-02-18 21:43:22 +0100justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 246 seconds)
2023-02-18 21:43:28 +0100 <geekosaur> well, that's true of @src in general
2023-02-18 21:43:43 +0100Yumemi(~Yumemi@chamoin.net) (Quit: .)
2023-02-18 21:45:00 +0100 <xerox> :t (. tails) . (any . (==))
2023-02-18 21:45:01 +0100 <lambdabot> Eq a => [a] -> [a] -> Bool
2023-02-18 21:45:26 +0100Yumemi(~Yumemi@chamoin.net)
2023-02-18 21:48:28 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 21:48:28 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 21:52:25 +0100pescvilek(~pescvilek@93-103-164-4.dynamic.t-2.net) (Ping timeout: 268 seconds)
2023-02-18 21:53:54 +0100phma_phma
2023-02-18 21:54:48 +0100Sciencentistguy(~sciencent@hacksoc/ordinary-member) (Quit: o/)
2023-02-18 21:55:08 +0100bitmapper(uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-02-18 21:55:27 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 21:55:27 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 21:57:21 +0100biberu(~biberu@user/biberu) (Read error: Connection reset by peer)
2023-02-18 21:57:43 +0100dcoutts_(~duncan@86.167.90.212)
2023-02-18 22:02:28 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 22:02:28 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 22:03:03 +0100Yumemi(~Yumemi@chamoin.net) (Quit: .)
2023-02-18 22:03:33 +0100wroathe(~wroathe@50.205.197.50)
2023-02-18 22:03:33 +0100wroathe(~wroathe@50.205.197.50) (Changing host)
2023-02-18 22:03:33 +0100wroathe(~wroathe@user/wroathe)
2023-02-18 22:04:18 +0100Yumemi(~Yumemi@chamoin.net)
2023-02-18 22:05:18 +0100Yumemi(~Yumemi@chamoin.net) (Client Quit)
2023-02-18 22:05:37 +0100biberu(~biberu@user/biberu)
2023-02-18 22:09:29 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 22:09:29 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 22:11:36 +0100mechap(~mechap@user/mechap)
2023-02-18 22:12:29 +0100Bocaneri(~sauvin@user/Sauvin)
2023-02-18 22:12:52 +0100BocaneriGuest3260
2023-02-18 22:14:51 +0100Sauvin(~sauvin@user/Sauvin) (Ping timeout: 252 seconds)
2023-02-18 22:15:10 +0100Sciencentistguy(~sciencent@hacksoc/ordinary-member)
2023-02-18 22:16:04 +0100opticblast(~Thunderbi@172.58.82.191)
2023-02-18 22:16:29 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 22:16:29 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 22:17:08 +0100gmg(~user@user/gehmehgeh) (Ping timeout: 255 seconds)
2023-02-18 22:18:10 +0100Yumemi(~Yumemi@chamoin.net)
2023-02-18 22:19:14 +0100gmg(~user@user/gehmehgeh)
2023-02-18 22:20:12 +0100pavonia(~user@user/siracusa)
2023-02-18 22:21:22 +0100Guest3260SenFache
2023-02-18 22:23:19 +0100JonathanWatson[m(~jjwmatrix@2001:470:69fc:105::2:a544)
2023-02-18 22:23:30 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 22:23:30 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 22:26:20 +0100mikoto-chan(~mikoto-ch@2001:999:780:f282:401c:67bd:495d:c664)
2023-02-18 22:26:51 +0100Yumemi(~Yumemi@chamoin.net) (Quit: .)
2023-02-18 22:28:55 +0100Yumemi(~Yumemi@chamoin.net)
2023-02-18 22:30:31 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 22:30:32 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 22:30:59 +0100mikoto-chan(~mikoto-ch@2001:999:780:f282:401c:67bd:495d:c664) (Ping timeout: 255 seconds)
2023-02-18 22:32:59 +0100Yumemi(~Yumemi@chamoin.net) (Client Quit)
2023-02-18 22:35:12 +0100Yumemi(~Yumemi@chamoin.net)
2023-02-18 22:36:27 +0100cods(~fred@82-65-232-44.subs.proxad.net) (Read error: Connection reset by peer)
2023-02-18 22:37:31 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 22:37:32 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 22:40:45 +0100cods(~fred@82-65-232-44.subs.proxad.net)
2023-02-18 22:40:58 +0100vglfr(~vglfr@88.155.56.103)
2023-02-18 22:44:32 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 22:44:32 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 22:49:21 +0100ub(~Thunderbi@p200300ecdf1301b3ab5830a245f8dddb.dip0.t-ipconnect.de)
2023-02-18 22:50:13 +0100ubert(~Thunderbi@p200300ecdf13012f11fae769624975a6.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2023-02-18 22:50:13 +0100ububert
2023-02-18 22:51:32 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 22:51:32 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 22:53:43 +0100telser(~quassel@user/telser) (Ping timeout: 252 seconds)
2023-02-18 22:54:52 +0100telser(~quassel@user/telser)
2023-02-18 22:58:34 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 22:58:34 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 23:05:34 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 23:05:34 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 23:12:34 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 23:12:35 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 23:19:35 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 23:19:35 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 23:22:34 +0100Yumemi(~Yumemi@chamoin.net) (Quit: .)
2023-02-18 23:25:18 +0100Yumemi(~Yumemi@chamoin.net)
2023-02-18 23:25:59 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds)
2023-02-18 23:26:35 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 23:26:35 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 23:26:54 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 255 seconds)
2023-02-18 23:26:55 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2023-02-18 23:32:40 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-02-18 23:32:50 +0100mikoto-chan(~mikoto-ch@2001:999:250:81ee:23c4:8735:cf7a:82c6)
2023-02-18 23:33:14 +0100merijn(~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl)
2023-02-18 23:33:36 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 23:33:36 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 23:37:39 +0100 <gqplox[m]> The secret message is: When using a stream cipher, never use the key more than once
2023-02-18 23:37:39 +0100 <gqplox[m]> :)
2023-02-18 23:38:00 +0100 <darkling> Seems reasonable. :)
2023-02-18 23:38:53 +0100captnemo(~captnemo@193.32.127.226)
2023-02-18 23:39:30 +0100captnemo(~captnemo@193.32.127.226) (Client Quit)
2023-02-18 23:40:36 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 23:40:36 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 23:41:01 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2023-02-18 23:44:33 +0100ddellacosta(~ddellacos@146.70.166.221)
2023-02-18 23:47:38 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 23:47:38 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)
2023-02-18 23:47:53 +0100justsomeguy(~justsomeg@user/justsomeguy)
2023-02-18 23:47:56 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2023-02-18 23:53:41 +0100jakalx(~jakalx@base.jakalx.net)
2023-02-18 23:54:39 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-02-18 23:54:39 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Client Quit)