IRCBrowse

2021/08/29

2021-08-29 00:00:12 +0200fresheyeball(~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net)
2021-08-29 00:00:28 +0200 <fresheyeball> hey is there any reason why servant is treating status 401 as a success?
2021-08-29 00:02:48 +0200jrm(~jrm@156.34.187.65)
2021-08-29 00:03:24 +0200enab2(~a@p200300ef970830b945b8de8f8152bf35.dip0.t-ipconnect.de)
2021-08-29 00:04:27 +0200 <pavonia> fresheyeball: In what way is it treating it a success?
2021-08-29 00:05:38 +0200 <enab2> In ghci i did "x = [1, 2, 3]; seq x (); :sprint x". I expected to see "x = _:_" but it said "x = _". Why is x not evaluated to whnf?
2021-08-29 00:05:50 +0200martin02(~silas@141.84.69.76)
2021-08-29 00:06:08 +0200 <c_wraith> enab2: try x = [1, 2, 3] :: [Int]
2021-08-29 00:08:23 +0200dsrt^(~dsrt@12.16.129.111) (Remote host closed the connection)
2021-08-29 00:11:17 +0200 <enab2> c_wraith: x = [1, 2, 3] :: [Int]; :sprint x returns x = [1, 2, 3], fully evaluated. Without using seq or anything. Is this a ghci thing? Or a top-level special case?
2021-08-29 00:11:41 +0200 <c_wraith> enab2: neither. it's got to do with typeclasses being implemented as functions
2021-08-29 00:16:43 +0200 <c_wraith> enab2: if you have a typeclass-polymorphic value, it's implemented as a function that takes the class dictionary as a hidden argument that the compiler fills in. But it means that any evaluation isn't shared, because it's evaluation of the result of applying a function, not a value that's stored.
2021-08-29 00:17:34 +0200azeem(~azeem@5.168.106.177) (Ping timeout: 252 seconds)
2021-08-29 00:17:49 +0200azeem(~azeem@5.168.106.177)
2021-08-29 00:24:01 +0200azeem(~azeem@5.168.106.177) (Ping timeout: 248 seconds)
2021-08-29 00:24:16 +0200azeem(~azeem@5.168.106.177)
2021-08-29 00:24:28 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-08-29 00:25:58 +0200Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-131-126.cust.tzulo.com)
2021-08-29 00:26:17 +0200jlamothe(~jlamothe@104.158.48.100) (Ping timeout: 245 seconds)
2021-08-29 00:31:06 +0200oxide(~lambda@user/oxide)
2021-08-29 00:32:25 +0200d0ku(~d0ku@178.43.56.75.ipv4.supernova.orange.pl) (Ping timeout: 252 seconds)
2021-08-29 00:34:40 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2021-08-29 00:36:12 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 276 seconds)
2021-08-29 00:38:25 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex)
2021-08-29 00:38:57 +0200minimario(~minimario@2603:900a:1600:ba00:f194:27a7:3a07:9cc5) (Ping timeout: 256 seconds)
2021-08-29 00:42:09 +0200fendor_(~fendor@178.165.164.244.wireless.dyn.drei.com) (Ping timeout: 248 seconds)
2021-08-29 00:43:50 +0200acidjnk_new(~acidjnk@p200300d0c72b95318d14906cff331aba.dip0.t-ipconnect.de)
2021-08-29 00:46:30 +0200 <enab2> c_wraith: I understand. If a function is typeclass polymorphic will this hidden argument be the first or the last argument of the function?
2021-08-29 00:46:49 +0200 <c_wraith> first. GHC actually compiles => as -> in core
2021-08-29 00:47:29 +0200acidjnk(~acidjnk@p200300d0c72b9531c50f6552fc7b880d.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2021-08-29 00:51:03 +0200haykam(~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection)
2021-08-29 00:51:17 +0200haykam(~haykam@static.100.2.21.65.clients.your-server.de)
2021-08-29 00:54:49 +0200enoq(~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq)
2021-08-29 00:58:12 +0200kimjetwav(~user@2607:fea8:235f:9730:4718:18aa:30c8:2ab8) (Ping timeout: 250 seconds)
2021-08-29 01:02:39 +0200qbt(~edun@user/edun) (Ping timeout: 250 seconds)
2021-08-29 01:03:21 +0200asthasr(~asthasr@162.210.28.151) (Remote host closed the connection)
2021-08-29 01:04:40 +0200asthasr(~asthasr@162.210.28.151)
2021-08-29 01:06:00 +0200hendi(sid489601@id-489601.tooting.irccloud.com) (Ping timeout: 250 seconds)
2021-08-29 01:06:21 +0200jtomas(~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) (Remote host closed the connection)
2021-08-29 01:11:12 +0200hendi(sid489601@tooting.irccloud.com)
2021-08-29 01:11:48 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-08-29 01:12:00 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi)
2021-08-29 01:12:46 +0200d0ku(~d0ku@178.43.56.75.ipv4.supernova.orange.pl)
2021-08-29 01:14:01 +0200hnOsmium0001(uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-08-29 01:15:52 +0200Gurkenglas(~Gurkengla@dslb-088-064-053-140.088.064.pools.vodafone-ip.de) (Ping timeout: 252 seconds)
2021-08-29 01:18:02 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-29 01:19:40 +0200idnar(sid12240@debian/mithrandi) (Ping timeout: 258 seconds)
2021-08-29 01:19:57 +0200yaroot(~yaroot@6.3.30.125.dy.iij4u.or.jp) (Quit: The Lounge - https://thelounge.chat)
2021-08-29 01:20:11 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-08-29 01:20:11 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-08-29 01:20:11 +0200wroathe(~wroathe@user/wroathe)
2021-08-29 01:20:34 +0200 <janus> if you have multiple constraints, will there be multiple dictionaries? or one for the whole combination?
2021-08-29 01:21:25 +0200lavaman(~lavaman@98.38.249.169)
2021-08-29 01:21:53 +0200idnar(sid12240@debian/mithrandi)
2021-08-29 01:23:50 +0200 <janus> i always imagined there would be one dictionary per instance chosen, but there can be only one =>. so are the dictionaries put in a tuple?
2021-08-29 01:24:38 +0200hendi(sid489601@tooting.irccloud.com) (Ping timeout: 250 seconds)
2021-08-29 01:25:04 +0200Pent(sid313808@id-313808.tooting.irccloud.com) (Ping timeout: 250 seconds)
2021-08-29 01:25:20 +0200 <geekosaur> actually there can be more than one => (there's not supposed to be, it's a side effect of how ghc implements it)
2021-08-29 01:25:27 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 240 seconds)
2021-08-29 01:26:22 +0200d0ku(~d0ku@178.43.56.75.ipv4.supernova.orange.pl) (Ping timeout: 250 seconds)
2021-08-29 01:26:23 +0200 <hpc> higher-ranked types can have more (=>) without being weird
2021-08-29 01:27:32 +0200zebrag(~chris@user/zebrag)
2021-08-29 01:28:05 +0200Pent(sid313808@tooting.irccloud.com)
2021-08-29 01:28:09 +0200hendi(sid489601@tooting.irccloud.com)
2021-08-29 01:28:13 +0200 <janus> hpc: oh, do you know of an example? it's hard to hoogle or google
2021-08-29 01:29:31 +0200acidjnk_new(~acidjnk@p200300d0c72b95318d14906cff331aba.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2021-08-29 01:32:04 +0200 <monochrom> execute :: MonadIO m => (forall n. MyMonadClass n => n a) -> m a
2021-08-29 01:32:27 +0200 <hpc> foo :: IsString s => (forall s' a. (Show a, IsString s') => a -> s') -> s
2021-08-29 01:32:42 +0200 <hpc> foo f = (f "this", f 5)
2021-08-29 01:32:46 +0200 <hpc> or something along those lines
2021-08-29 01:32:50 +0200 <hpc> too lazy to ghci :P
2021-08-29 01:35:35 +0200enab2(~a@p200300ef970830b945b8de8f8152bf35.dip0.t-ipconnect.de) (Quit: WeeChat 3.0.1)
2021-08-29 01:37:40 +0200tllp(~tllp@69.233.98.238) (Quit: nyaa~)
2021-08-29 01:38:04 +0200Adeon(sid418992@id-418992.tooting.irccloud.com) (Ping timeout: 250 seconds)
2021-08-29 01:38:41 +0200NemesisD(sid24071@tooting.irccloud.com) (Ping timeout: 248 seconds)
2021-08-29 01:39:05 +0200vysn(~vysn@user/vysn) (Remote host closed the connection)
2021-08-29 01:39:07 +0200idnar(sid12240@debian/mithrandi) (Ping timeout: 240 seconds)
2021-08-29 01:39:22 +0200dajoer(~david@user/gvx)
2021-08-29 01:39:31 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2021-08-29 01:40:49 +0200Pent(sid313808@tooting.irccloud.com) (Ping timeout: 248 seconds)
2021-08-29 01:40:57 +0200Guest|50(~Guest|50@cpe-94-253-166-65.zg.cable.xnet.hr)
2021-08-29 01:41:53 +0200NemesisD(sid24071@tooting.irccloud.com)
2021-08-29 01:42:32 +0200Adeon(sid418992@tooting.irccloud.com)
2021-08-29 01:42:37 +0200enemeth79(sid309041@tooting.irccloud.com) (Ping timeout: 245 seconds)
2021-08-29 01:42:44 +0200idnar(sid12240@debian/mithrandi)
2021-08-29 01:43:42 +0200hsiktas(sid224847@id-224847.tooting.irccloud.com) (Ping timeout: 250 seconds)
2021-08-29 01:44:18 +0200Pent(sid313808@tooting.irccloud.com)
2021-08-29 01:44:30 +0200Guest|50(~Guest|50@cpe-94-253-166-65.zg.cable.xnet.hr) (Client Quit)
2021-08-29 01:44:56 +0200yaroot(~yaroot@6.3.30.125.dy.iij4u.or.jp)
2021-08-29 01:45:07 +0200martin02(~silas@141.84.69.76) (Ping timeout: 240 seconds)
2021-08-29 01:45:07 +0200enemeth79(sid309041@tooting.irccloud.com)
2021-08-29 01:47:07 +0200integral(sid296274@user/integral) (Ping timeout: 240 seconds)
2021-08-29 01:48:02 +0200integral(sid296274@user/integral)
2021-08-29 01:48:02 +0200nrr(sid20938@id-20938.tooting.irccloud.com) (Ping timeout: 250 seconds)
2021-08-29 01:48:39 +0200hsiktas(sid224847@tooting.irccloud.com)
2021-08-29 01:49:53 +0200azeem(~azeem@5.168.106.177) (Ping timeout: 248 seconds)
2021-08-29 01:49:53 +0200hsiktas(sid224847@tooting.irccloud.com) (Max SendQ exceeded)
2021-08-29 01:52:03 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds)
2021-08-29 01:52:46 +0200hsiktas(sid224847@tooting.irccloud.com)
2021-08-29 01:55:07 +0200nrr(sid20938@tooting.irccloud.com)
2021-08-29 01:55:25 +0200haykam(~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection)
2021-08-29 01:55:27 +0200Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-131-126.cust.tzulo.com) (Quit: Leaving)
2021-08-29 01:55:31 +0200hendi(sid489601@tooting.irccloud.com) (Ping timeout: 250 seconds)
2021-08-29 01:55:38 +0200haykam(~haykam@static.100.2.21.65.clients.your-server.de)
2021-08-29 01:57:58 +0200hendi(sid489601@id-489601.tooting.irccloud.com)
2021-08-29 01:59:45 +0200azeem(~azeem@5.168.114.19)
2021-08-29 02:08:40 +0200azeem(~azeem@5.168.114.19) (Ping timeout: 240 seconds)
2021-08-29 02:10:47 +0200azeem(~azeem@5.168.114.19)
2021-08-29 02:11:20 +0200jlamothe(~jlamothe@104.158.48.100)
2021-08-29 02:11:47 +0200 <koz> The documentation for Data.Complex.Complex refers to an Ord instance, but that data type lacks one. Is this a typo, or is the instance cleverly hidden someplace?
2021-08-29 02:15:30 +0200 <geekosaur> strictly speaking it shouldn't have one
2021-08-29 02:18:29 +0200 <koz> Agreed, but this documentation suggests it existed once, got removed, but not completely.
2021-08-29 02:18:51 +0200 <koz> I mean, even Gaussian integers don't have a total order that respects arithmetic.
2021-08-29 02:21:06 +0200[_](~itchyjunk@user/itchyjunk/x-7353470)
2021-08-29 02:23:10 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds)
2021-08-29 02:23:50 +0200[_][itchyjunk]
2021-08-29 02:23:52 +0200justsomeguy(~justsomeg@user/justsomeguy)
2021-08-29 02:26:46 +0200justsomeguy(~justsomeg@user/justsomeguy) (Client Quit)
2021-08-29 02:34:10 +0200benin036932(~benin@183.82.206.21) (Ping timeout: 240 seconds)
2021-08-29 02:34:34 +0200benin036932(~benin@183.82.206.21)
2021-08-29 02:38:08 +0200Morrow_(~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Remote host closed the connection)
2021-08-29 02:38:40 +0200Morrow_(~Morrow@bzq-110-168-31-106.red.bezeqint.net)
2021-08-29 02:43:23 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2021-08-29 02:43:48 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2021-08-29 02:46:35 +0200 <monochrom> I think it's just a matter of forgetting to delete a sentence.
2021-08-29 02:53:21 +0200azeem(~azeem@5.168.114.19) (Ping timeout: 248 seconds)
2021-08-29 02:57:03 +0200mud(~mud@user/kadoban) (Ping timeout: 250 seconds)
2021-08-29 02:58:14 +0200azeem(~azeem@5.168.114.19)
2021-08-29 03:04:47 +0200azeem(~azeem@5.168.114.19) (Ping timeout: 240 seconds)
2021-08-29 03:05:04 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-08-29 03:05:28 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-08-29 03:11:30 +0200neurocyte3(~neurocyte@92.119.10.222)
2021-08-29 03:11:30 +0200neurocyte3(~neurocyte@92.119.10.222) (Changing host)
2021-08-29 03:11:30 +0200neurocyte3(~neurocyte@user/neurocyte)
2021-08-29 03:12:28 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-08-29 03:13:10 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 240 seconds)
2021-08-29 03:13:31 +0200neurocyte(~neurocyte@user/neurocyte) (Ping timeout: 250 seconds)
2021-08-29 03:13:31 +0200neurocyte3neurocyte
2021-08-29 03:13:34 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-08-29 03:15:11 +0200xsperry(~as@user/xsperry) (Remote host closed the connection)
2021-08-29 03:20:05 +0200azeem(~azeem@5.168.114.19)
2021-08-29 03:20:13 +0200hnOsmium0001(uid453710@id-453710.stonehaven.irccloud.com)
2021-08-29 03:30:20 +0200martin02(~silas@141.84.69.76)
2021-08-29 03:33:45 +0200egoist(~egoist@186.235.82.117) (Quit: WeeChat 3.2)
2021-08-29 03:37:47 +0200xff0x(~xff0x@2001:1a81:5215:d000:44b2:e3e1:102e:1373) (Ping timeout: 250 seconds)
2021-08-29 03:39:45 +0200xff0x(~xff0x@2001:1a81:524c:1400:ba85:9ec4:3b29:2be0)
2021-08-29 03:42:23 +0200TranquilEcho(~grom@user/tranquilecho) (Quit: WeeChat 2.8)
2021-08-29 03:42:58 +0200MQ-17J(~MQ-17J@8.6.144.209)
2021-08-29 03:48:07 +0200shailangsa(~shailangs@host86-185-102-120.range86-185.btcentralplus.com) (Ping timeout: 240 seconds)
2021-08-29 03:48:40 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-29 03:48:46 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.2)
2021-08-29 03:50:24 +0200misu(~misu@c-24-126-44-70.hsd1.wv.comcast.net)
2021-08-29 03:53:36 +0200misu(~misu@c-24-126-44-70.hsd1.wv.comcast.net) (Quit: Leaving)
2021-08-29 04:01:03 +0200 <iqubic> Why doesn't Complex have an ord instance? Data.Linear's V2 type has one. https://hackage.haskell.org/package/linear-1.21.6/docs/Linear-V2.html
2021-08-29 04:01:11 +0200 <iqubic> I fail to see the difference there.
2021-08-29 04:09:03 +0200 <pavonia> I guess it's only there for practical reasons like storing those numbers in a Map
2021-08-29 04:09:39 +0200 <geekosaur> does V2 have a Num instance?
2021-08-29 04:10:03 +0200 <pavonia> Yes
2021-08-29 04:10:35 +0200t3hyoshi(~snicf@2600:8804:1b96:4900:759f:c8d1:b667:e4fb)
2021-08-29 04:10:41 +0200 <janus> could the reason why V2 has one and Complex doesn't be, that people usually mention the x axis before the y axis? but complex is not for cartesian coordinates
2021-08-29 04:11:20 +0200 <janus> i am not great at math, be kind :P
2021-08-29 04:12:39 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643)
2021-08-29 04:12:39 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (zirconium.libera.chat (Nickname regained by services)))
2021-08-29 04:12:39 +0200finn_elijaFinnElija
2021-08-29 04:13:13 +0200 <janus> or do you think that V2 is not just for cartesian coordinates?
2021-08-29 04:16:21 +0200 <nshepperd> it's a matter of ideology
2021-08-29 04:16:40 +0200 <nshepperd> and the maintainer of linear is different from the maintainers of base
2021-08-29 04:17:40 +0200 <janus> nshepperd: what is an example of an ideological opinion we're seeing here?
2021-08-29 04:18:09 +0200 <nshepperd> that the ordering expressed by Ord must be compatible with arithmetic
2021-08-29 04:19:45 +0200azeem(~azeem@5.168.114.19) (Ping timeout: 248 seconds)
2021-08-29 04:20:20 +0200 <janus> so "class Ord" is underspecified because it doesn't state its opinion? not necessarily sinfully underspecified, but underspecified, right?
2021-08-29 04:22:37 +0200shailangsa(~shailangs@host86-186-127-196.range86-186.btcentralplus.com)
2021-08-29 04:22:57 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds)
2021-08-29 04:23:23 +0200azeem(~azeem@5.168.118.205)
2021-08-29 04:24:29 +0200 <nshepperd> it mentions that there aren't any laws in the haskell report, but does state desiderata that it should at least be a non strict partial order
2021-08-29 04:25:01 +0200 <nshepperd> you could take that as stating an opinion against such a requirement or as stating no opinion i suppose
2021-08-29 04:26:43 +0200td_(~td@muedsl-82-207-238-049.citykom.de) (Ping timeout: 252 seconds)
2021-08-29 04:28:41 +0200td_(~td@muedsl-82-207-238-209.citykom.de)
2021-08-29 04:29:00 +0200HarveyPwca(~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Quit: Leaving)
2021-08-29 04:40:33 +0200azeem(~azeem@5.168.118.205) (Ping timeout: 248 seconds)
2021-08-29 04:41:16 +0200azeem(~azeem@5.168.118.205)
2021-08-29 04:45:18 +0200 <shachaf> Double has an Ord instance, so who knows what it means, really.
2021-08-29 04:54:13 +0200azeem(~azeem@5.168.118.205) (Ping timeout: 252 seconds)
2021-08-29 04:54:31 +0200azeem(~azeem@5.168.118.205)
2021-08-29 04:56:17 +0200alx741(~alx741@186.178.108.114) (Quit: alx741)
2021-08-29 05:00:33 +0200ArctVaulMarsHMPJ(~pjetcetal@128-71-152-79.broadband.corbina.ru) (Ping timeout: 250 seconds)
2021-08-29 05:09:39 +0200azeem(~azeem@5.168.118.205) (Ping timeout: 250 seconds)
2021-08-29 05:15:43 +0200otto_s(~user@p5de2f7f6.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2021-08-29 05:17:19 +0200otto_s(~user@p5b0448eb.dip0.t-ipconnect.de)
2021-08-29 05:19:19 +0200azeem(~azeem@5.168.118.205)
2021-08-29 05:22:33 +0200ArctVaulMarsHMPJ(~pjetcetal@128-71-152-79.broadband.corbina.ru)
2021-08-29 05:23:03 +0200lavaman(~lavaman@98.38.249.169)
2021-08-29 05:26:05 +0200NoidedSuper(~NoidedSup@2601:280:5a81:520::1bab)
2021-08-29 05:27:27 +0200 <NoidedSuper> As horrible as working with type-level stuff in Haskell can be
2021-08-29 05:27:33 +0200 <NoidedSuper> When you get it working it feels so, so good
2021-08-29 05:27:46 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2021-08-29 05:27:58 +0200 <NoidedSuper> (sneak preview of a thing I hope will eventually be really useful to a lot of people: https://gist.github.com/AnthonySuper/eecf08998135685774cfbc17f484327b)
2021-08-29 05:30:28 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-08-29 05:30:34 +0200haykam(~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection)
2021-08-29 05:30:47 +0200haykam(~haykam@static.100.2.21.65.clients.your-server.de)
2021-08-29 05:31:35 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-08-29 05:34:22 +0200falafel(~falafel@205-201-37-90.scinternet.net)
2021-08-29 05:36:10 +0200azeem(~azeem@5.168.118.205) (Ping timeout: 240 seconds)
2021-08-29 05:37:56 +0200lavaman(~lavaman@98.38.249.169)
2021-08-29 05:39:19 +0200cheater(~Username@user/cheater) (Ping timeout: 252 seconds)
2021-08-29 05:43:34 +0200azeem(~azeem@5.168.118.205)
2021-08-29 05:47:47 +0200azeem(~azeem@5.168.118.205) (Ping timeout: 240 seconds)
2021-08-29 05:48:21 +0200NoidedSuper(~NoidedSup@2601:280:5a81:520::1bab) (Ping timeout: 256 seconds)
2021-08-29 05:53:53 +0200AlistairB(~AlistairB@121-200-5-212.79c805.syd.nbn.aussiebb.net) (Quit: Client closed)
2021-08-29 05:55:16 +0200slowButPresent(~slowButPr@user/slowbutpresent) (Quit: leaving)
2021-08-29 05:56:00 +0200azeem(~azeem@5.168.118.205)
2021-08-29 05:57:09 +0200hololeap(~hololeap@user/hololeap) (Remote host closed the connection)
2021-08-29 05:57:49 +0200hololeap(~hololeap@user/hololeap)
2021-08-29 06:09:01 +0200azeem(~azeem@5.168.118.205) (Ping timeout: 252 seconds)
2021-08-29 06:09:24 +0200 <janus> argh why leave right after posting...
2021-08-29 06:13:58 +0200azeem(~azeem@5.168.118.205)
2021-08-29 06:15:05 +0200MQ-17J(~MQ-17J@8.6.144.209) (Ping timeout: 250 seconds)
2021-08-29 06:19:00 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-29 06:19:11 +0200vicfred(~vicfred@user/vicfred)
2021-08-29 06:28:10 +0200azeem(~azeem@5.168.118.205) (Ping timeout: 240 seconds)
2021-08-29 06:28:11 +0200juhp(~juhp@bb116-14-48-29.singnet.com.sg)
2021-08-29 06:32:09 +0200zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2021-08-29 06:32:16 +0200MQ-17J(~MQ-17J@8.6.144.209)
2021-08-29 06:34:19 +0200Morrow_(~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 252 seconds)
2021-08-29 06:36:16 +0200azeem(~azeem@5.168.118.205)
2021-08-29 06:44:59 +0200azeem(~azeem@5.168.118.205) (Ping timeout: 250 seconds)
2021-08-29 06:45:17 +0200azeem(~azeem@5.168.118.205)
2021-08-29 06:46:33 +0200logan__(~logan@ip68-110-229-141.ks.ks.cox.net)
2021-08-29 06:47:35 +0200favonia(~favonia@user/favonia) (Ping timeout: 250 seconds)
2021-08-29 06:47:59 +0200logan__(~logan@ip68-110-229-141.ks.ks.cox.net) (Client Quit)
2021-08-29 06:52:47 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-08-29 06:53:58 +0200azeem(~azeem@5.168.118.205) (Ping timeout: 250 seconds)
2021-08-29 06:54:23 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2021-08-29 06:54:39 +0200dyeplexer(~dyeplexer@user/dyeplexer)
2021-08-29 06:59:13 +0200favonia(~favonia@user/favonia)
2021-08-29 07:01:23 +0200justsomeguy(~justsomeg@user/justsomeguy)
2021-08-29 07:01:47 +0200machinedgod(~machinedg@24.105.81.50)
2021-08-29 07:02:58 +0200azeem(~azeem@5.168.51.37)
2021-08-29 07:12:15 +0200sjb0(~stephen@1.145.85.239)
2021-08-29 07:18:19 +0200azeem(~azeem@5.168.51.37) (Ping timeout: 252 seconds)
2021-08-29 07:20:42 +0200Adran(~adran@botters/adran) (Remote host closed the connection)
2021-08-29 07:22:01 +0200azeem(~azeem@5.168.51.37)
2021-08-29 07:25:10 +0200martin02(~silas@141.84.69.76) (Ping timeout: 240 seconds)
2021-08-29 07:28:14 +0200Adran(~adran@botters/adran)
2021-08-29 07:33:43 +0200oxide(~lambda@user/oxide) (Ping timeout: 252 seconds)
2021-08-29 07:34:57 +0200mud(~mud@user/kadoban)
2021-08-29 07:35:20 +0200oxide(~lambda@user/oxide)
2021-08-29 07:39:06 +0200martin02(~silas@141.84.69.76)
2021-08-29 07:43:21 +0200mei(~mei@user/mei)
2021-08-29 07:44:47 +0200azeem(~azeem@5.168.51.37) (Ping timeout: 240 seconds)
2021-08-29 07:45:24 +0200azeem(~azeem@5.168.51.37)
2021-08-29 07:46:10 +0200falafel(~falafel@205-201-37-90.scinternet.net) (Ping timeout: 240 seconds)
2021-08-29 07:47:55 +0200falafel(~falafel@205-201-37-90.scinternet.net)
2021-08-29 07:50:24 +0200Morrow_(~Morrow@37.142.145.18)
2021-08-29 07:54:27 +0200Morrow_(~Morrow@37.142.145.18) (Ping timeout: 240 seconds)
2021-08-29 08:04:55 +0200ormaajjaamro
2021-08-29 08:05:02 +0200azeem(~azeem@5.168.51.37) (Ping timeout: 250 seconds)
2021-08-29 08:05:35 +0200desophos(~desophos@2601:249:1680:a570:b9dc:dd21:8c3e:8765) (Quit: Leaving)
2021-08-29 08:05:41 +0200azeem(~azeem@5.168.51.37)
2021-08-29 08:12:07 +0200azeem(~azeem@5.168.51.37) (Ping timeout: 240 seconds)
2021-08-29 08:12:35 +0200azeem(~azeem@176.201.159.42)
2021-08-29 08:15:07 +0200cross(~cross@spitfire.i.gajendra.net) (Ping timeout: 240 seconds)
2021-08-29 08:15:45 +0200cross(~cross@spitfire.i.gajendra.net)
2021-08-29 08:16:25 +0200Guest8166(~lordgrenv@141.226.14.154)
2021-08-29 08:21:04 +0200azeem(~azeem@176.201.159.42) (Ping timeout: 250 seconds)
2021-08-29 08:21:14 +0200azeem(~azeem@176.201.159.42)
2021-08-29 08:30:29 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-08-29 08:31:35 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-08-29 08:33:47 +0200spruit11(~quassel@2a02:a467:ccd6:1:8c29:d071:7a1c:6a79) (Ping timeout: 240 seconds)
2021-08-29 08:34:13 +0200Guest8166(~lordgrenv@141.226.14.154) (Ping timeout: 252 seconds)
2021-08-29 08:35:52 +0200falafel(~falafel@205-201-37-90.scinternet.net) (Ping timeout: 252 seconds)
2021-08-29 08:40:10 +0200justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 240 seconds)
2021-08-29 08:47:48 +0200spruit11(~quassel@2a02:a467:ccd6:1:8013:5e37:15b2:f034)
2021-08-29 08:48:29 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 250 seconds)
2021-08-29 08:49:56 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-29 08:52:07 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2021-08-29 08:52:23 +0200spruit11(~quassel@2a02:a467:ccd6:1:8013:5e37:15b2:f034) (Ping timeout: 250 seconds)
2021-08-29 08:57:23 +0200burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk)
2021-08-29 09:00:41 +0200burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk) (Remote host closed the connection)
2021-08-29 09:01:14 +0200burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk)
2021-08-29 09:04:04 +0200max22-(~maxime@2a01cb0883359800d8e17a9d5fe0c8a1.ipv6.abo.wanadoo.fr)
2021-08-29 09:05:01 +0200MQ-17J(~MQ-17J@8.6.144.209) (Ping timeout: 252 seconds)
2021-08-29 09:05:34 +0200burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk) (Ping timeout: 252 seconds)
2021-08-29 09:05:46 +0200MQ-17J(~MQ-17J@8.6.144.209)
2021-08-29 09:10:17 +0200vicfred(~vicfred@user/vicfred) (Quit: Leaving)
2021-08-29 09:17:41 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2021-08-29 09:20:57 +0200Sgeo(~Sgeo@user/sgeo)
2021-08-29 09:22:02 +0200spruit11(~quassel@2a02:a467:ccd6:1:8013:5e37:15b2:f034)
2021-08-29 09:24:17 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds)
2021-08-29 09:26:56 +0200spruit11(~quassel@2a02:a467:ccd6:1:8013:5e37:15b2:f034) (Ping timeout: 250 seconds)
2021-08-29 09:29:14 +0200Cajun(~Cajun@user/cajun) (Quit: Client closed)
2021-08-29 09:32:21 +0200burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk)
2021-08-29 09:33:44 +0200mikoto-chan(~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be)
2021-08-29 09:36:27 +0200burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk) (Ping timeout: 240 seconds)
2021-08-29 09:41:02 +0200spruit11(~quassel@2a02:a467:ccd6:1:8013:5e37:15b2:f034)
2021-08-29 09:42:39 +0200Lycurgus(~juan@cpe-45-46-140-49.buffalo.res.rr.com)
2021-08-29 09:45:07 +0200spruit11(~quassel@2a02:a467:ccd6:1:8013:5e37:15b2:f034) (Ping timeout: 240 seconds)
2021-08-29 09:47:08 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2021-08-29 09:47:47 +0200Gurkenglas(~Gurkengla@dslb-088-064-053-140.088.064.pools.vodafone-ip.de)
2021-08-29 09:52:20 +0200dajoer(~david@user/gvx) (Quit: leaving)
2021-08-29 09:57:57 +0200burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk)
2021-08-29 10:00:01 +0200azeem(~azeem@176.201.159.42) (Ping timeout: 248 seconds)
2021-08-29 10:00:32 +0200azeem(~azeem@176.201.159.42)
2021-08-29 10:04:11 +0200mikoto-chan(~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Quit: mikoto-chan)
2021-08-29 10:04:31 +0200mikoto-chan(~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be)
2021-08-29 10:05:49 +0200hendursa1(~weechat@user/hendursaga)
2021-08-29 10:07:20 +0200qbt(~edun@user/edun)
2021-08-29 10:08:47 +0200mikoto-chan(~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 240 seconds)
2021-08-29 10:09:30 +0200hendursaga(~weechat@user/hendursaga) (Ping timeout: 276 seconds)
2021-08-29 10:10:07 +0200Erutuon(~Erutuon@user/erutuon) (Ping timeout: 240 seconds)
2021-08-29 10:16:12 +0200Lycurgus(~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt)
2021-08-29 10:17:39 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2021-08-29 10:17:39 +0200allbery_b(~geekosaur@xmonad/geekosaur)
2021-08-29 10:17:42 +0200allbery_bgeekosaur
2021-08-29 10:18:21 +0200_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-08-29 10:18:39 +0200fendor_(~fendor@178.165.164.244.wireless.dyn.drei.com)
2021-08-29 10:19:40 +0200favonia(~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-08-29 10:20:22 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2021-08-29 10:31:22 +0200azeem(~azeem@176.201.159.42) (Ping timeout: 252 seconds)
2021-08-29 10:32:47 +0200azeem(~azeem@176.201.159.42)
2021-08-29 10:35:58 +0200 <tomsmeding> I have a haskell program (ircbrowse) that clearly has a memory leak: if I spam it with requests, memory usage steadily grows. However, I've tried all of -hc -hm -hd -hy -hr (also -hb but that crashes?) and while they all break the memory usage down in different ways, in all breakdowns, all categories grow ~equally fast over time, so they give me 0 information. How do I debug this?
2021-08-29 10:37:21 +0200azeem(~azeem@176.201.159.42) (Ping timeout: 248 seconds)
2021-08-29 10:38:58 +0200azeem(~azeem@176.201.159.42)
2021-08-29 10:39:44 +0200 <DigitalKiwi> quick everyone respond so that tomsmeding gets OOMed
2021-08-29 10:40:31 +0200 <maerwald[m]> tomsmeding: enabled StrictData yet :p
2021-08-29 10:40:50 +0200 <tomsmeding> no :p
2021-08-29 10:40:56 +0200 <maerwald[m]> Do it
2021-08-29 10:40:58 +0200 <tomsmeding> like, I can also do git bisect
2021-08-29 10:41:11 +0200 <tomsmeding> but I'm curious if I can get _some_ diagnostics on this
2021-08-29 10:43:11 +0200mikoto-chan(~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be)
2021-08-29 10:45:27 +0200azeem(~azeem@176.201.159.42) (Ping timeout: 240 seconds)
2021-08-29 10:45:33 +0200jakalx(~jakalx@base.jakalx.net)
2021-08-29 10:46:11 +0200 <fendor_> tomsmeding, probably ghc-debug?
2021-08-29 10:46:15 +0200fendor_fendor
2021-08-29 10:46:29 +0200spruit11(~quassel@2a02:a467:ccd6:1:8013:5e37:15b2:f034)
2021-08-29 10:47:15 +0200azeem(~azeem@158.148.84.71)
2021-08-29 10:47:47 +0200Topsi(~Tobias@dyndsl-095-033-090-188.ewe-ip-backbone.de)
2021-08-29 10:48:00 +0200 <tomsmeding> isn't that only ghc 9.2?
2021-08-29 10:48:13 +0200 <tomsmeding> (I could try that, sure)
2021-08-29 10:49:33 +0200 <fendor> yeah, but it was written with that purpose in mind
2021-08-29 10:50:41 +0200spruit11(~quassel@2a02:a467:ccd6:1:8013:5e37:15b2:f034) (Ping timeout: 250 seconds)
2021-08-29 10:52:31 +0200 <tomsmeding> maerwald[m]: ghc-options: -XStrictData doesn't help
2021-08-29 10:54:41 +0200 <tomsmeding> is there a guide to using ghc-debug?
2021-08-29 10:54:45 +0200 <tomsmeding> fendor: ^
2021-08-29 10:55:14 +0200 <fendor> tomsmeding, https://www.youtube.com/watch?v=9zuAsGk9xoM
2021-08-29 10:55:44 +0200 <tomsmeding> heh yeah that's still on my watchlist
2021-08-29 10:56:00 +0200 <fendor> https://github.com/well-typed/memory-usage-zurihac-2021
2021-08-29 10:56:08 +0200 <fendor> now you have an excuse!
2021-08-29 11:02:40 +0200burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk) (Remote host closed the connection)
2021-08-29 11:04:01 +0200hnOsmium0001(uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-08-29 11:04:25 +0200burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk)
2021-08-29 11:04:45 +0200burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk) (Remote host closed the connection)
2021-08-29 11:05:02 +0200sjb0(~stephen@1.145.85.239) (Read error: Connection timed out)
2021-08-29 11:05:13 +0200burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk)
2021-08-29 11:07:54 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 250 seconds)
2021-08-29 11:09:38 +0200burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk) (Ping timeout: 250 seconds)
2021-08-29 11:11:31 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 252 seconds)
2021-08-29 11:12:16 +0200acidjnk_new(~acidjnk@p200300d0c72b95318d14906cff331aba.dip0.t-ipconnect.de)
2021-08-29 11:12:28 +0200chris(~chris@81.96.113.213)
2021-08-29 11:12:31 +0200chrisGuest6436
2021-08-29 11:18:45 +0200Morrow(~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Quit: ZNC 1.8.2 - https://znc.in)
2021-08-29 11:19:00 +0200Morrow(~Morrow@bzq-110-168-31-106.red.bezeqint.net)
2021-08-29 11:19:03 +0200sjb0(~stephen@2001:8004:2738:35de:a1a3:a1c1:6e62:ba62)
2021-08-29 11:19:27 +0200azeem(~azeem@158.148.84.71) (Ping timeout: 240 seconds)
2021-08-29 11:20:16 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-29 11:20:31 +0200azeem(~azeem@158.148.84.71)
2021-08-29 11:21:21 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:45ef:351a:e045:ed35) (Remote host closed the connection)
2021-08-29 11:22:28 +0200frobnicator(~frobnicat@185-227-75-147.dsl.cambrium.nl) (Quit: WeeChat 3.0)
2021-08-29 11:22:32 +0200sjb0(~stephen@2001:8004:2738:35de:a1a3:a1c1:6e62:ba62) (Read error: Connection reset by peer)
2021-08-29 11:22:59 +0200kenran(~kenran@200116b82b597200b32d497d5189e8bc.dip.versatel-1u1.de)
2021-08-29 11:23:17 +0200andinus(andinus@tilde.institute) (Quit: ERC (IRC client for Emacs 27.1))
2021-08-29 11:31:27 +0200azeem(~azeem@158.148.84.71) (Ping timeout: 240 seconds)
2021-08-29 11:31:50 +0200azeem(~azeem@158.148.84.71)
2021-08-29 11:36:11 +0200azeem(~azeem@158.148.84.71) (Ping timeout: 250 seconds)
2021-08-29 11:36:44 +0200azeem(~azeem@158.148.84.71)
2021-08-29 11:37:49 +0200burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk)
2021-08-29 11:41:17 +0200sjb0(~stephen@1.145.100.97)
2021-08-29 11:43:07 +0200burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk) (Ping timeout: 250 seconds)
2021-08-29 11:45:11 +0200betelgeuse(~betelgeus@94-225-47-8.access.telenet.be) (Quit: Ping timeout (120 seconds))
2021-08-29 11:45:27 +0200burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk)
2021-08-29 11:46:34 +0200andinus(andinus@tilde.institute)
2021-08-29 11:46:34 +0200betelgeuse(~betelgeus@94-225-47-8.access.telenet.be)
2021-08-29 11:54:14 +0200sjb0(~stephen@1.145.100.97) (Quit: Leaving.)
2021-08-29 11:54:25 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-08-29 11:56:25 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2021-08-29 11:57:06 +0200goepsilongo(~chacho@2603-7000-ab00-62ed-0000-0000-0000-0bd0.res6.spectrum.com)
2021-08-29 11:59:22 +0200kenran(~kenran@200116b82b597200b32d497d5189e8bc.dip.versatel-1u1.de) (Quit: WeeChat info:version)
2021-08-29 12:02:54 +0200mastarija(~mastarija@78-3-210-70.adsl.net.t-com.hr)
2021-08-29 12:03:23 +0200mastarija(~mastarija@78-3-210-70.adsl.net.t-com.hr) (Client Quit)
2021-08-29 12:06:18 +0200cheater(~Username@user/cheater)
2021-08-29 12:07:27 +0200neo2(~neo3@cpe-292712.ip.primehome.com)
2021-08-29 12:11:48 +0200Guest6436(~chris@81.96.113.213) (Remote host closed the connection)
2021-08-29 12:12:24 +0200chris(~chris@81.96.113.213)
2021-08-29 12:12:28 +0200chrisGuest3002
2021-08-29 12:12:47 +0200hyiltiz(~quassel@31.220.5.250) (Ping timeout: 240 seconds)
2021-08-29 12:13:12 +0200hyiltiz(~quassel@31.220.5.250)
2021-08-29 12:15:24 +0200gehmehgeh(~user@user/gehmehgeh)
2021-08-29 12:15:51 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-29 12:16:58 +0200Guest3002(~chris@81.96.113.213) (Ping timeout: 252 seconds)
2021-08-29 12:17:23 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-08-29 12:19:43 +0200mikoto-chan(~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 252 seconds)
2021-08-29 12:20:56 +0200xsperry(~as@user/xsperry)
2021-08-29 12:21:41 +0200spruit11(~quassel@2a02:a467:ccd6:1:8013:5e37:15b2:f034)
2021-08-29 12:21:45 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:45ef:351a:e045:ed35)
2021-08-29 12:25:46 +0200tdslaeaoyi^(~tdslaeaoy@wsip-98-188-244-188.mc.at.cox.net)
2021-08-29 12:26:07 +0200spruit11(~quassel@2a02:a467:ccd6:1:8013:5e37:15b2:f034) (Ping timeout: 240 seconds)
2021-08-29 12:26:10 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:45ef:351a:e045:ed35) (Ping timeout: 240 seconds)
2021-08-29 12:27:16 +0200burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk) (Remote host closed the connection)
2021-08-29 12:27:22 +0200burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk)
2021-08-29 12:28:32 +0200mikoto-chan(~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be)
2021-08-29 12:30:33 +0200__monty__(~toonn@user/toonn)
2021-08-29 12:37:40 +0200mikoto-chan(~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 240 seconds)
2021-08-29 12:42:13 +0200mikoto-chan(~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be)
2021-08-29 12:48:19 +0200mikoto-chan(~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 252 seconds)
2021-08-29 12:53:08 +0200spruit11(~quassel@2a02:a467:ccd6:1:8013:5e37:15b2:f034)
2021-08-29 12:57:39 +0200spruit11(~quassel@2a02:a467:ccd6:1:8013:5e37:15b2:f034) (Ping timeout: 250 seconds)
2021-08-29 12:59:26 +0200ubert(~Thunderbi@77.119.192.190.wireless.dyn.drei.com)
2021-08-29 13:01:03 +0200alx741(~alx741@186.178.108.114)
2021-08-29 13:01:28 +0200fendor(~fendor@178.165.164.244.wireless.dyn.drei.com) (Read error: Connection reset by peer)
2021-08-29 13:01:45 +0200fendor(~fendor@178.165.164.244.wireless.dyn.drei.com)
2021-08-29 13:02:45 +0200jumper149(~jumper149@80.240.31.34)
2021-08-29 13:05:27 +0200gehmehgeh(~user@user/gehmehgeh) (Remote host closed the connection)
2021-08-29 13:06:12 +0200gehmehgeh(~user@user/gehmehgeh)
2021-08-29 13:07:01 +0200azeem(~azeem@158.148.84.71) (Ping timeout: 252 seconds)
2021-08-29 13:07:11 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-08-29 13:07:20 +0200jtomas(~jtomas@233.red-83-34-2.dynamicip.rima-tde.net)
2021-08-29 13:07:50 +0200lavaman(~lavaman@98.38.249.169)
2021-08-29 13:10:34 +0200azeem(~azeem@158.148.84.71)
2021-08-29 13:14:41 +0200azeem(~azeem@158.148.84.71) (Ping timeout: 248 seconds)
2021-08-29 13:15:22 +0200azeem(~azeem@5.168.150.11)
2021-08-29 13:16:29 +0200benin0369324(~benin@183.82.27.230)
2021-08-29 13:17:21 +0200fendor(~fendor@178.165.164.244.wireless.dyn.drei.com) (Read error: Connection reset by peer)
2021-08-29 13:17:46 +0200fendor(~fendor@178.165.164.244.wireless.dyn.drei.com)
2021-08-29 13:18:27 +0200benin036932(~benin@183.82.206.21) (Ping timeout: 250 seconds)
2021-08-29 13:18:57 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2021-08-29 13:22:10 +0200fendor(~fendor@178.165.164.244.wireless.dyn.drei.com) (Ping timeout: 240 seconds)
2021-08-29 13:23:07 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:44d2:fabf:4572:a77d)
2021-08-29 13:23:33 +0200tdslaeaoyi^(~tdslaeaoy@wsip-98-188-244-188.mc.at.cox.net) (Remote host closed the connection)
2021-08-29 13:25:20 +0200fendor(~fendor@178.165.182.151.wireless.dyn.drei.com)
2021-08-29 13:25:21 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds)
2021-08-29 13:27:33 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:44d2:fabf:4572:a77d) (Ping timeout: 250 seconds)
2021-08-29 13:28:41 +0200emliunix(~emliunix@61-216-165-205.HINET-IP.hinet.net) (Remote host closed the connection)
2021-08-29 13:29:40 +0200azeem(~azeem@5.168.150.11) (Ping timeout: 240 seconds)
2021-08-29 13:30:17 +0200azeem(~azeem@5.168.150.11)
2021-08-29 13:30:32 +0200goepsilongo(~chacho@2603-7000-ab00-62ed-0000-0000-0000-0bd0.res6.spectrum.com) (Quit: Konversation terminated!)
2021-08-29 13:30:35 +0200d0ku(~d0ku@178.43.56.75.ipv4.supernova.orange.pl)
2021-08-29 13:32:20 +0200_xor(~xor@74.215.232.67) (Read error: Connection reset by peer)
2021-08-29 13:32:54 +0200_xor(~xor@74.215.232.67)
2021-08-29 13:35:02 +0200dsrt^(~dsrt@wsip-98-188-244-188.mc.at.cox.net)
2021-08-29 13:35:29 +0200kenran(~kenran@200116b82b5972006299df1431f6d6db.dip.versatel-1u1.de)
2021-08-29 13:36:27 +0200d0ku(~d0ku@178.43.56.75.ipv4.supernova.orange.pl) (Ping timeout: 240 seconds)
2021-08-29 13:40:40 +0200Heisen(~Heisen@77.240.67.20)
2021-08-29 13:41:56 +0200ubert1(~Thunderbi@77.119.192.190.wireless.dyn.drei.com)
2021-08-29 13:43:26 +0200Heisen(~Heisen@77.240.67.20) (Client Quit)
2021-08-29 13:43:47 +0200burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk) (Remote host closed the connection)
2021-08-29 13:44:18 +0200burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk)
2021-08-29 13:48:40 +0200burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk) (Ping timeout: 240 seconds)
2021-08-29 13:51:07 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2021-08-29 13:52:02 +0200aman(~aman@user/aman) ()
2021-08-29 13:52:44 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2021-08-29 13:53:29 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Quit: ChaiTRex)
2021-08-29 13:58:12 +0200azeem(~azeem@5.168.150.11) (Ping timeout: 250 seconds)
2021-08-29 14:00:07 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-08-29 14:00:19 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi)
2021-08-29 14:00:20 +0200favonia(~favonia@user/favonia)
2021-08-29 14:00:29 +0200oxide(~lambda@user/oxide) (Ping timeout: 250 seconds)
2021-08-29 14:00:36 +0200azeem(~azeem@5.168.150.11)
2021-08-29 14:01:24 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-08-29 14:02:24 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-08-29 14:02:35 +0200oxide(~lambda@user/oxide)
2021-08-29 14:03:26 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi)
2021-08-29 14:04:37 +0200acidjnk_new3(~acidjnk@p200300d0c72b95201ca15888cf4b6c82.dip0.t-ipconnect.de)
2021-08-29 14:05:37 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-08-29 14:08:10 +0200acidjnk_new(~acidjnk@p200300d0c72b95318d14906cff331aba.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2021-08-29 14:09:10 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi)
2021-08-29 14:10:45 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2021-08-29 14:12:28 +0200neo2(~neo3@cpe-292712.ip.primehome.com) (Ping timeout: 252 seconds)
2021-08-29 14:16:52 +0200kenran(~kenran@200116b82b5972006299df1431f6d6db.dip.versatel-1u1.de) (Quit: WeeChat info:version)
2021-08-29 14:18:47 +0200azeem(~azeem@5.168.150.11) (Ping timeout: 240 seconds)
2021-08-29 14:19:35 +0200azeem(~azeem@5.168.150.11)
2021-08-29 14:28:17 +0200azeem(~azeem@5.168.150.11) (Ping timeout: 248 seconds)
2021-08-29 14:28:58 +0200azeem(~azeem@5.168.150.11)
2021-08-29 14:31:33 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-08-29 14:31:33 +0200cryptomonad(~cryptomon@194.191.225.149)
2021-08-29 14:33:11 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi)
2021-08-29 14:33:22 +0200azeem(~azeem@5.168.150.11) (Ping timeout: 252 seconds)
2021-08-29 14:33:55 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-08-29 14:34:06 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi)
2021-08-29 14:34:25 +0200azeem(~azeem@5.168.150.11)
2021-08-29 14:34:42 +0200phma(~phma@host-67-44-208-218.hnremote.net) (Read error: Connection reset by peer)
2021-08-29 14:34:58 +0200oxide(~lambda@user/oxide) (Quit: oxide)
2021-08-29 14:35:26 +0200oxide(~lambda@user/oxide)
2021-08-29 14:35:30 +0200phma(~phma@host-67-44-208-231.hnremote.net)
2021-08-29 14:39:53 +0200cryptomonad(~cryptomon@194.191.225.149) (Quit: Quit)
2021-08-29 14:40:00 +0200cryptomonad(~cryptomon@194.191.225.149)
2021-08-29 14:43:53 +0200PinealGlandOptic(~PinealGla@37.115.210.35)
2021-08-29 14:47:17 +0200oxide(~lambda@user/oxide) (Quit: oxide)
2021-08-29 14:47:17 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-08-29 14:48:29 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi)
2021-08-29 14:48:53 +0200Codaraxis_(~Codaraxis@user/codaraxis)
2021-08-29 14:51:26 +0200cryptomonad(~cryptomon@194.191.225.149) (Quit: Quit)
2021-08-29 14:51:34 +0200cryptomonad(~cryptomon@194.191.225.149)
2021-08-29 14:52:34 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-08-29 14:52:37 +0200Codaraxis__(~Codaraxis@user/codaraxis) (Ping timeout: 252 seconds)
2021-08-29 14:52:48 +0200Vajb(~Vajb@2001:999:65:a818:f418:a5b8:e792:8650)
2021-08-29 14:54:49 +0200dsrt^(~dsrt@wsip-98-188-244-188.mc.at.cox.net) (Ping timeout: 252 seconds)
2021-08-29 14:57:41 +0200Vajb(~Vajb@2001:999:65:a818:f418:a5b8:e792:8650) (Read error: Connection reset by peer)
2021-08-29 14:57:44 +0200cryptomonad(~cryptomon@194.191.225.149) (Read error: Connection reset by peer)
2021-08-29 14:58:19 +0200cryptomonad(~cryptomon@194.191.225.149)
2021-08-29 14:58:28 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi)
2021-08-29 15:00:52 +0200cryptomonadcryptomonad_
2021-08-29 15:01:59 +0200cryptomonad(~cryptomon@194.191.225.149)
2021-08-29 15:05:05 +0200burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk)
2021-08-29 15:05:13 +0200hannessteffenhag(~hannesste@ip4d14ffee.dynamic.kabel-deutschland.de)
2021-08-29 15:05:49 +0200azeem(~azeem@5.168.150.11) (Ping timeout: 252 seconds)
2021-08-29 15:09:21 +0200burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk) (Ping timeout: 248 seconds)
2021-08-29 15:15:29 +0200azeem(~azeem@176.201.91.107)
2021-08-29 15:22:06 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-29 15:23:15 +0200nvmd(~nvmd@user/nvmd) (Ping timeout: 250 seconds)
2021-08-29 15:25:00 +0200nvmd(~nvmd@user/nvmd)
2021-08-29 15:27:51 +0200dsrt^(~dsrt@wsip-98-188-244-188.mc.at.cox.net)
2021-08-29 15:33:23 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2021-08-29 15:33:50 +0200earthy(~arthurvl@2001:984:275b:1:ba27:ebff:fea0:40b0)
2021-08-29 15:34:40 +0200hannessteffenhag(~hannesste@ip4d14ffee.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
2021-08-29 15:34:45 +0200img(~img@user/img)
2021-08-29 15:39:28 +0200acidjnk_new(~acidjnk@p200300d0c72b952094eaf2f81a5b0fde.dip0.t-ipconnect.de)
2021-08-29 15:42:06 +0200burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk)
2021-08-29 15:43:11 +0200acidjnk_new3(~acidjnk@p200300d0c72b95201ca15888cf4b6c82.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2021-08-29 15:48:10 +0200martin02(~silas@141.84.69.76) (Ping timeout: 252 seconds)
2021-08-29 15:51:07 +0200goepsilongo(~goepsilon@2603-7000-ab00-62ed-71d9-8352-a788-43f1.res6.spectrum.com)
2021-08-29 15:51:17 +0200mikoto-chan(~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be)
2021-08-29 15:53:19 +0200burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk) (Remote host closed the connection)
2021-08-29 15:56:04 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds)
2021-08-29 15:57:52 +0200cryptomonad_(~cryptomon@194.191.225.149) (Quit: Quit)
2021-08-29 15:58:43 +0200elf_fortrez(~elf_fortr@adsl-72-50-7-254.prtc.net)
2021-08-29 16:00:02 +0200hannessteffenhag(~hannesste@ip4d14ffee.dynamic.kabel-deutschland.de)
2021-08-29 16:05:34 +0200martin02(~silas@141.84.69.76)
2021-08-29 16:05:46 +0200hannessteffenhag(~hannesste@ip4d14ffee.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2021-08-29 16:06:20 +0200chomwitt(~chomwitt@2a02:587:dc09:9800:12c3:7bff:fe6d:d374)
2021-08-29 16:07:34 +0200random-jellyfish(~random-je@user/random-jellyfish)
2021-08-29 16:08:14 +0200elf_fortrez(~elf_fortr@adsl-72-50-7-254.prtc.net) (Quit: Client closed)
2021-08-29 16:12:32 +0200qrpnxz(~qrpnxz@user/qrpnxz) (Ping timeout: 250 seconds)
2021-08-29 16:28:49 +0200azeem(~azeem@176.201.91.107) (Ping timeout: 248 seconds)
2021-08-29 16:29:24 +0200azeem(~azeem@176.201.91.107)
2021-08-29 16:29:36 +0200qrpnxz(~qrpnxz@user/qrpnxz)
2021-08-29 16:31:32 +0200burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk)
2021-08-29 16:32:10 +0200dsrt^(~dsrt@wsip-98-188-244-188.mc.at.cox.net) (Ping timeout: 240 seconds)
2021-08-29 16:33:31 +0200slowButPresent(~slowButPr@user/slowbutpresent)
2021-08-29 16:34:34 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2021-08-29 16:34:54 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.2)
2021-08-29 16:35:50 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-08-29 16:37:07 +0200burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk) (Ping timeout: 252 seconds)
2021-08-29 16:38:16 +0200spruit11(~quassel@2a02:a467:ccd6:1:8013:5e37:15b2:f034)
2021-08-29 16:42:47 +0200spruit11(~quassel@2a02:a467:ccd6:1:8013:5e37:15b2:f034) (Ping timeout: 240 seconds)
2021-08-29 16:43:33 +0200oxide(~lambda@user/oxide)
2021-08-29 16:49:15 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-08-29 16:49:15 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-08-29 16:49:15 +0200wroathe(~wroathe@user/wroathe)
2021-08-29 16:51:24 +0200dsrt^(~dsrt@wsip-98-188-244-188.mc.at.cox.net)
2021-08-29 16:56:43 +0200justsomeguy(~justsomeg@user/justsomeguy)
2021-08-29 16:58:28 +0200machinedgod(~machinedg@24.105.81.50)
2021-08-29 16:59:12 +0200acidjnk_new(~acidjnk@p200300d0c72b952094eaf2f81a5b0fde.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2021-08-29 17:01:33 +0200kenran(~kenran@200116b82b59720074ec92b473a42299.dip.versatel-1u1.de)
2021-08-29 17:04:29 +0200zebrag(~chris@user/zebrag)
2021-08-29 17:06:36 +0200kayprish(~kayprish@cable-188-2-229-172.dynamic.sbb.rs)
2021-08-29 17:08:17 +0200cross(~cross@spitfire.i.gajendra.net) (Quit: leaving)
2021-08-29 17:08:40 +0200martin02(~silas@141.84.69.76) (Ping timeout: 240 seconds)
2021-08-29 17:08:49 +0200cross(~cross@spitfire.i.gajendra.net)
2021-08-29 17:14:15 +0200max22-(~maxime@2a01cb0883359800d8e17a9d5fe0c8a1.ipv6.abo.wanadoo.fr) (Remote host closed the connection)
2021-08-29 17:16:10 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-08-29 17:16:25 +0200lavaman(~lavaman@98.38.249.169)
2021-08-29 17:16:32 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-08-29 17:19:55 +0200elf-fortrez(~elf-fortr@adsl-72-50-7-254.prtc.net)
2021-08-29 17:26:24 +0200spruit11(~quassel@2a02:a467:ccd6:1:8013:5e37:15b2:f034)
2021-08-29 17:27:30 +0200amahl(~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi)
2021-08-29 17:27:43 +0200chisui(~chisui@200116b8685a11007429fb4030e28bf0.dip.versatel-1u1.de)
2021-08-29 17:30:00 +0200oxide(~lambda@user/oxide) (Quit: oxide)
2021-08-29 17:31:10 +0200spruit11(~quassel@2a02:a467:ccd6:1:8013:5e37:15b2:f034) (Ping timeout: 240 seconds)
2021-08-29 17:32:27 +0200xff0x(~xff0x@2001:1a81:524c:1400:ba85:9ec4:3b29:2be0) (Ping timeout: 240 seconds)
2021-08-29 17:32:46 +0200xff0x(~xff0x@2001:1a81:524c:1400:ba85:9ec4:3b29:2be0)
2021-08-29 17:39:19 +0200chomwitt(~chomwitt@2a02:587:dc09:9800:12c3:7bff:fe6d:d374) (Ping timeout: 250 seconds)
2021-08-29 17:41:50 +0200PinealGlandOpticEveryone
2021-08-29 17:42:38 +0200EveryoneEverything
2021-08-29 17:44:15 +0200Everything(~PinealGla@37.115.210.35) (Quit: leaving)
2021-08-29 17:44:29 +0200Everything(~Everythin@37.115.210.35)
2021-08-29 17:46:18 +0200spruit11(~quassel@2a02:a467:ccd6:1:8013:5e37:15b2:f034)
2021-08-29 17:46:28 +0200martin02(~silas@2001:4ca0:0:fe00:0:5efe:a96:1bc1)
2021-08-29 17:47:18 +0200lavaman(~lavaman@98.38.249.169)
2021-08-29 17:50:38 +0200gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2021-08-29 17:51:07 +0200spruit11(~quassel@2a02:a467:ccd6:1:8013:5e37:15b2:f034) (Ping timeout: 240 seconds)
2021-08-29 17:51:43 +0200hnOsmium0001(uid453710@id-453710.stonehaven.irccloud.com)
2021-08-29 17:51:55 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2021-08-29 17:53:02 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-29 17:54:19 +0200chomwitt(~chomwitt@2a02:587:dc09:9800:12c3:7bff:fe6d:d374)
2021-08-29 17:54:43 +0200asthasr(~asthasr@162.210.28.151) (Quit: asthasr)
2021-08-29 17:54:47 +0200justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 240 seconds)
2021-08-29 18:01:19 +0200spruit11(~quassel@2a02:a467:ccd6:1:8013:5e37:15b2:f034)
2021-08-29 18:15:10 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 250 seconds)
2021-08-29 18:16:50 +0200zaquest(~notzaques@5.128.210.178) (Quit: Leaving)
2021-08-29 18:18:15 +0200zaquest(~notzaques@5.128.210.178)
2021-08-29 18:19:48 +0200justsomeguy(~justsomeg@user/justsomeguy)
2021-08-29 18:22:55 +0200max22-(~maxime@2a01cb088335980041b62e3fe7894c02.ipv6.abo.wanadoo.fr)
2021-08-29 18:26:51 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:44d2:fabf:4572:a77d)
2021-08-29 18:27:07 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-08-29 18:28:27 +0200Philonous(~Philonous@user/philonous) (Quit: ZNC - https://znc.in)
2021-08-29 18:28:58 +0200Philonous(~Philonous@user/philonous)
2021-08-29 18:28:59 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:44d2:fabf:4572:a77d) (Remote host closed the connection)
2021-08-29 18:29:02 +0200son0p(~ff@181.136.122.143) (Ping timeout: 250 seconds)
2021-08-29 18:29:14 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:44d2:fabf:4572:a77d)
2021-08-29 18:34:25 +0200theproffesor(~theproffe@2601:282:847f:8010::f411)
2021-08-29 18:34:25 +0200theproffesor(~theproffe@2601:282:847f:8010::f411) (Changing host)
2021-08-29 18:34:25 +0200theproffesor(~theproffe@user/theproffesor)
2021-08-29 18:35:36 +0200goepsilongo(~goepsilon@2603-7000-ab00-62ed-71d9-8352-a788-43f1.res6.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com)
2021-08-29 18:38:38 +0200justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2)
2021-08-29 18:40:09 +0200theproffesor(~theproffe@user/theproffesor) (Leaving)
2021-08-29 18:41:06 +0200Boomerang(~Boomerang@xd520f68c.cust.hiper.dk)
2021-08-29 18:41:27 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 240 seconds)
2021-08-29 18:45:56 +0200azeem(~azeem@176.201.91.107) (Ping timeout: 250 seconds)
2021-08-29 18:46:50 +0200azeem(~azeem@176.201.91.107)
2021-08-29 18:52:58 +0200 <siers> tomsmeding, I learned more about GADTs and your gdiff implementation for a list now makes more sense. \o/
2021-08-29 18:55:14 +0200 <siers> tomsmeding, gdiff I think was initially written for agda, so all the dependent typeish machinery in haskell stands in the way of 'getting it' for me
2021-08-29 18:56:50 +0200elf-fortrez(~elf-fortr@adsl-72-50-7-254.prtc.net) (Quit: Client closed)
2021-08-29 18:59:10 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2021-08-29 19:07:29 +0200gehmehgeh(~user@user/gehmehgeh)
2021-08-29 19:09:32 +0200Sgeo(~Sgeo@user/sgeo)
2021-08-29 19:11:26 +0200Lycurgus(~juan@cpe-45-46-140-49.buffalo.res.rr.com)
2021-08-29 19:14:40 +0200lbseale(~lbseale@user/ep1ctetus)
2021-08-29 19:14:58 +0200lbseale(~lbseale@user/ep1ctetus) (Read error: Connection reset by peer)
2021-08-29 19:17:31 +0200kenran(~kenran@200116b82b59720074ec92b473a42299.dip.versatel-1u1.de) (Quit: WeeChat info:version)
2021-08-29 19:18:05 +0200kenran(~kenran@200116b82b59720051f2433385ad7a5b.dip.versatel-1u1.de)
2021-08-29 19:23:45 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 248 seconds)
2021-08-29 19:23:50 +0200notzmv(~zmv@user/notzmv)
2021-08-29 19:31:37 +0200 <siers> does reflex frp have some runnable examples in the browser?
2021-08-29 19:31:45 +0200azeem(~azeem@176.201.91.107) (Ping timeout: 248 seconds)
2021-08-29 19:32:18 +0200azeem(~azeem@176.201.91.107)
2021-08-29 19:35:07 +0200fresheyeball(~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9)
2021-08-29 19:41:53 +0200 <Cale> I have some random bits and pieces accumulated by helping people with random things. https://cale.l5.ca/Demos/
2021-08-29 19:42:18 +0200 <Cale> I'm a bit sad that the PrismataUnits one no longer works...
2021-08-29 19:42:19 +0200oxide(~lambda@user/oxide)
2021-08-29 19:43:07 +0200 <siers> nice!
2021-08-29 19:49:04 +0200peterhil(~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi) (Ping timeout: 252 seconds)
2021-08-29 19:52:05 +0200t3hyoshi(~snicf@2600:8804:1b96:4900:759f:c8d1:b667:e4fb) (Quit: Konversation terminated!)
2021-08-29 19:53:37 +0200azeem(~azeem@176.201.91.107) (Ping timeout: 248 seconds)
2021-08-29 19:56:39 +0200random-jellyfish(~random-je@user/random-jellyfish) (Ping timeout: 256 seconds)
2021-08-29 19:57:55 +0200mastarija(~mastarija@78-3-210-70.adsl.net.t-com.hr)
2021-08-29 19:58:41 +0200 <mastarija> Do we have any markdown parser that also supports those yaml headers? And isn't pandoc / pandoc dependent?
2021-08-29 19:59:41 +0200 <sm> could you rephrase that ?
2021-08-29 19:59:47 +0200 <Rembane_> mastarija: Do you need a markdown parser that isn't Pandoc? Because Pandoc supports it.
2021-08-29 20:00:13 +0200 <mastarija> Rembane_, yes, something that isn't Pandoc
2021-08-29 20:00:18 +0200 <mastarija> something small
2021-08-29 20:00:42 +0200 <sm> search hackage for "markdown" with google (some packages don't have it in their name IIRC)
2021-08-29 20:01:06 +0200 <mastarija> sm, will try
2021-08-29 20:01:39 +0200vicfred(~vicfred@user/vicfred)
2021-08-29 20:01:41 +0200 <mastarija> all I've found on hackage so far was pure markdown, but I want some metadata with my markdown
2021-08-29 20:02:02 +0200 <Lycurgus> is pandoc still a thing?
2021-08-29 20:02:12 +0200 <mastarija> Lycurgus, a big thing
2021-08-29 20:02:41 +0200 <Lycurgus> ah good just checking
2021-08-29 20:03:29 +0200 <Rembane_> mastarija: If you don't find anything that supports YAML headers you can parse out the header first yourself and then send the rest to the markdown parser
2021-08-29 20:03:39 +0200 <mastarija> Yes, that's my backup plan
2021-08-29 20:03:50 +0200 <mastarija> But I've found mmark now
2021-08-29 20:04:03 +0200 <mastarija> Put markdown and yaml in google and that came out
2021-08-29 20:04:18 +0200lavaman(~lavaman@98.38.249.169)
2021-08-29 20:04:28 +0200 <sm> mastarija, cmark or cheapskate seem the way to go
2021-08-29 20:04:40 +0200 <davean> mastarija: you don't do metadata with markdown, yaml the spec has a thing for trailing data that you would THEN feed into markdown processors
2021-08-29 20:04:48 +0200 <sm> or mmark
2021-08-29 20:04:54 +0200 <mastarija> davean, ah... yes
2021-08-29 20:05:08 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-08-29 20:05:08 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-08-29 20:05:08 +0200wroathe(~wroathe@user/wroathe)
2021-08-29 20:05:09 +0200 <mastarija> I was thinking that maybe I'm going about it the wrong way
2021-08-29 20:05:19 +0200 <davean> mastarija: yep
2021-08-29 20:05:23 +0200Lycurgus(~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt)
2021-08-29 20:05:24 +0200 <mastarija> but then again, I'm looking for out of the box experience
2021-08-29 20:05:26 +0200 <davean> Nice and easy actually
2021-08-29 20:05:53 +0200 <mastarija> davean, so maybe I can use cmark + yaml package
2021-08-29 20:07:10 +0200 <mastarija> davean, do you maybe know of an example, how does one access the trailing data, is it a special YAML field name?
2021-08-29 20:07:11 +0200 <davean> mastarija: yep
2021-08-29 20:07:34 +0200 <davean> Oh god, I haven't done this in a few years lets see if I remember
2021-08-29 20:07:52 +0200 <mastarija> :)
2021-08-29 20:08:33 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 248 seconds)
2021-08-29 20:08:35 +0200 <davean> I stopped using YAML bcause of how insane the spec is
2021-08-29 20:09:38 +0200 <mastarija> I always heard about the spec being insane, but for me it's just JSON without braces
2021-08-29 20:10:11 +0200[exa]makes a wish for a decent bencode editor
2021-08-29 20:10:14 +0200 <davean> ITS VERY MUCH NOT and you can't safely expect thats what it is
2021-08-29 20:10:31 +0200 <davean> mastarija: Your files can extremely violate that idea
2021-08-29 20:10:35 +0200 <davean> and no, I don't recall sadly
2021-08-29 20:10:59 +0200 <davean> Theres a reason there are multiple CSVs of "used yaml as a file format"
2021-08-29 20:11:15 +0200 <mastarija> I meant, it's JSON for me because how I use it. I'm sure others might have some horror stories :D
2021-08-29 20:11:32 +0200 <davean> A fully compliant YAML parser can cause arbitrary code execution during decoding :-p
2021-08-29 20:11:57 +0200 <mastarija> Lol
2021-08-29 20:12:00 +0200 <davean> if you only get YAML files from yourself thats fine
2021-08-29 20:12:05 +0200 <davean> but if someone else can create them?
2021-08-29 20:12:08 +0200 <davean> Uh
2021-08-29 20:12:15 +0200 <davean> Enjoy being their cloud provider? :)
2021-08-29 20:13:25 +0200 <davean> Luckily I don't think theres any YAML parsers that can even do that in Haskell because Haskell doesn't make hooking like that make sense
2021-08-29 20:13:43 +0200 <davean> but its happened a large number of times in practice
2021-08-29 20:13:47 +0200 <mastarija> Honestly, I was always a bit skeptical about configuration "languages". Maybe because I don't do very complicated stuff, but things like nix or dhall always look like complications, rather than solutions to me
2021-08-29 20:15:02 +0200 <davean> oh, no I mean YAML is a data format
2021-08-29 20:15:19 +0200 <davean> that dataformat can just happen to call constructors in your language with arbitrary parameters
2021-08-29 20:15:29 +0200 <davean> so like Grovy("heres the script I want to run")
2021-08-29 20:15:47 +0200max22-(~maxime@2a01cb088335980041b62e3fe7894c02.ipv6.abo.wanadoo.fr) (Ping timeout: 240 seconds)
2021-08-29 20:16:12 +0200 <mastarija> davean, yes, that execution just reminded me of nix / dhall
2021-08-29 20:16:12 +0200 <davean> Thats your data
2021-08-29 20:16:15 +0200 <davean> Ah
2021-08-29 20:16:28 +0200 <mastarija> So I went on a mini rant :D
2021-08-29 20:19:30 +0200thyriaen(~thyriaen@x4dbfddec.dyn.telefonica.de)
2021-08-29 20:20:40 +0200 <sm> like backfiring.. set off a mini rant to stop the big rant :)
2021-08-29 20:23:52 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-29 20:27:24 +0200neurocyte2(~neurocyte@45.143.79.183)
2021-08-29 20:27:24 +0200neurocyte2(~neurocyte@45.143.79.183) (Changing host)
2021-08-29 20:27:24 +0200neurocyte2(~neurocyte@user/neurocyte)
2021-08-29 20:27:53 +0200neurocyte(~neurocyte@user/neurocyte) (Ping timeout: 250 seconds)
2021-08-29 20:27:53 +0200neurocyte2neurocyte
2021-08-29 20:29:56 +0200martin02(~silas@2001:4ca0:0:fe00:0:5efe:a96:1bc1) (Quit: WeeChat 3.2)
2021-08-29 20:34:10 +0200dyeplexer(~dyeplexer@user/dyeplexer) (Ping timeout: 240 seconds)
2021-08-29 20:36:27 +0200mikoto-chan(~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 240 seconds)
2021-08-29 20:40:40 +0200max22-(~maxime@2a01cb0883359800468c3975aa62b651.ipv6.abo.wanadoo.fr)
2021-08-29 20:44:31 +0200jess(~jess@libera/staff/jess) ()
2021-08-29 20:44:36 +0200EverythingEveryone
2021-08-29 20:45:11 +0200Everyone(~Everythin@37.115.210.35) (Quit: leaving)
2021-08-29 20:52:14 +0200burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk)
2021-08-29 20:53:07 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 240 seconds)
2021-08-29 20:56:21 +0200burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk) (Remote host closed the connection)
2021-08-29 20:57:24 +0200fendor(~fendor@178.165.182.151.wireless.dyn.drei.com) (Remote host closed the connection)
2021-08-29 20:58:22 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-08-29 20:58:37 +0200fendor(~fendor@178.165.182.151.wireless.dyn.drei.com)
2021-08-29 20:58:59 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:44d2:fabf:4572:a77d) (Remote host closed the connection)
2021-08-29 20:59:13 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:44d2:fabf:4572:a77d)
2021-08-29 20:59:47 +0200Pickchea(~private@user/pickchea)
2021-08-29 21:07:35 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2021-08-29 21:07:48 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2021-08-29 21:11:02 +0200y04nn(~y04nn@91.193.4.154)
2021-08-29 21:11:18 +0200 <siers> could you make a excel-kind spreadsheet program with frp?
2021-08-29 21:12:30 +0200 <maerwald> with frp? :D
2021-08-29 21:12:41 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:44d2:fabf:4572:a77d) (Remote host closed the connection)
2021-08-29 21:12:45 +0200 <siers> react frp, I suppose
2021-08-29 21:16:34 +0200Xnuk(~xnuk@45.76.202.58) (Quit: ZNC - https://znc.in)
2021-08-29 21:16:50 +0200Xnuk(~xnuk@vultr.xnu.kr)
2021-08-29 21:16:53 +0200ub(~Thunderbi@178.165.168.136.wireless.dyn.drei.com)
2021-08-29 21:18:03 +0200 <maerwald> siers: https://i.imgflip.com/5l7mel.jpg
2021-08-29 21:18:06 +0200 <maerwald> couldn't resist
2021-08-29 21:18:07 +0200ubert(~Thunderbi@77.119.192.190.wireless.dyn.drei.com) (Ping timeout: 240 seconds)
2021-08-29 21:18:07 +0200ububert
2021-08-29 21:19:10 +0200ubert1(~Thunderbi@77.119.192.190.wireless.dyn.drei.com) (Ping timeout: 240 seconds)
2021-08-29 21:21:00 +0200kayprish(~kayprish@cable-188-2-229-172.dynamic.sbb.rs) (Read error: Connection reset by peer)
2021-08-29 21:22:07 +0200kenran(~kenran@200116b82b59720051f2433385ad7a5b.dip.versatel-1u1.de) (Ping timeout: 240 seconds)
2021-08-29 21:22:08 +0200burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk)
2021-08-29 21:23:17 +0200kenran(~kenran@200116b82b597200c49c746a42f32f39.dip.versatel-1u1.de)
2021-08-29 21:23:40 +0200tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 250 seconds)
2021-08-29 21:25:32 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:44d2:fabf:4572:a77d)
2021-08-29 21:26:19 +0200burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk) (Remote host closed the connection)
2021-08-29 21:26:53 +0200chomwitt(~chomwitt@2a02:587:dc09:9800:12c3:7bff:fe6d:d374) (Read error: Connection reset by peer)
2021-08-29 21:27:14 +0200chomwitt(~chomwitt@2a02:587:dc09:9800:12c3:7bff:fe6d:d374)
2021-08-29 21:27:36 +0200kayprish(~kayprish@cable-188-2-229-172.dynamic.sbb.rs)
2021-08-29 21:29:11 +0200pavonia(~user@user/siracusa)
2021-08-29 21:30:17 +0200arjun(~Srain@user/arjun)
2021-08-29 21:31:04 +0200 <hololeap> siers: you might want to check out elm
2021-08-29 21:31:23 +0200 <hololeap> if you're making something like that for the browser
2021-08-29 21:31:43 +0200 <carbolymer> I'm trying to start vim from my shake script: https://bpa.st/SVTA - but I think I need to allocate terminal to make it work interactively - how can I do that?
2021-08-29 21:32:00 +0200 <siers> hololeap, I would really rather want to try haskell + ghcjs, since it's nothing serious
2021-08-29 21:32:40 +0200sts-q(~sts-q@91.200.108.136)
2021-08-29 21:32:47 +0200 <hololeap> do you, but I found elm quite fun to work with
2021-08-29 21:33:07 +0200 <hololeap> once you get used to the restrictions (e.g. no typeclasses)
2021-08-29 21:33:49 +0200 <maerwald> siers: miso
2021-08-29 21:34:05 +0200chisui(~chisui@200116b8685a11007429fb4030e28bf0.dip.versatel-1u1.de) (Quit: Client closed)
2021-08-29 21:34:30 +0200sleblanc(~sleblanc@user/sleblanc)
2021-08-29 21:39:46 +0200tomboy64(~tomboy64@user/tomboy64)
2021-08-29 21:40:56 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2021-08-29 21:42:22 +0200Topsi(~Tobias@dyndsl-095-033-090-188.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2021-08-29 21:43:28 +0200mei(~mei@user/mei) (Ping timeout: 252 seconds)
2021-08-29 21:50:34 +0200qbt(~edun@user/edun) (Remote host closed the connection)
2021-08-29 21:50:57 +0200machinedgod(~machinedg@24.105.81.50)
2021-08-29 21:51:13 +0200burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk)
2021-08-29 21:52:39 +0200mikoto-chan(~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be)
2021-08-29 21:55:38 +0200notzmv(~zmv@user/notzmv)
2021-08-29 21:56:35 +0200burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk) (Remote host closed the connection)
2021-08-29 21:56:48 +0200jtomas_(~jtomas@233.red-83-34-2.dynamicip.rima-tde.net)
2021-08-29 21:58:10 +0200jtomas(~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) (Ping timeout: 240 seconds)
2021-08-29 21:59:31 +0200_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-08-29 22:08:45 +0200 <_bin> Good afternoon, this code is failing to compile, saying, "Couldn't match expected type 'Toml.Key' with actual type '[Char]': https://paste.tomsmeding.com/DaT48aj9 It closely matches the example code listed for this library, so I'm unsure as to why this might be happening: https://hackage.haskell.org/package/tomland
2021-08-29 22:09:37 +0200benin036932(~benin@183.82.27.230) (Ping timeout: 248 seconds)
2021-08-29 22:10:25 +0200jtomas_(~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) (Ping timeout: 252 seconds)
2021-08-29 22:10:28 +0200benin036932(~benin@183.82.206.204)
2021-08-29 22:12:46 +0200acidjnk_new(~acidjnk@p200300d0c72b952094eaf2f81a5b0fde.dip0.t-ipconnect.de)
2021-08-29 22:15:18 +0200 <c_wraith> _bin: well.. long odds the problem code isn't what you pasted
2021-08-29 22:16:49 +0200hendursa1(~weechat@user/hendursaga) (Quit: hendursa1)
2021-08-29 22:17:12 +0200 <c_wraith> _bin: oh, nevermind! here's your problem: https://hackage.haskell.org/package/tomland-1.3.3.0/docs/Toml-Codec-Combinator-Primitive.html#v:int
2021-08-29 22:17:40 +0200hendursaga(~weechat@user/hendursaga)
2021-08-29 22:18:25 +0200 <_bin> c_wraith: Right, it appears to take a Key, but the example code shows using just string literals and doesn't mention directly creating a Key.
2021-08-29 22:18:34 +0200 <_bin> Or is there something else?
2021-08-29 22:18:46 +0200 <c_wraith> _bin: I'd blame out of date examples. (Examples are always out of date)
2021-08-29 22:19:26 +0200 <c_wraith> the next line looks probably-wrong too
2021-08-29 22:20:19 +0200 <_bin> c_wraith: I lost a prior version of the code where it was working, I believe... Another example, updated this February, shows similar: https://github.com/kowainik/tomland/blob/main/examples/Main.hs#L107
2021-08-29 22:20:25 +0200 <_bin> Next line has the same error, yes.
2021-08-29 22:20:39 +0200Ariakenom(~Ariakenom@2001:9b1:efd:c800:3061:d615:b40a:a206)
2021-08-29 22:22:04 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2021-08-29 22:23:55 +0200 <c_wraith> yeah, you're basing it on the comment in https://hackage.haskell.org/package/tomland-1.3.3.0/docs/Toml-Codec-Di.html#v:.-61- ?
2021-08-29 22:23:58 +0200 <c_wraith> that's clearly out of date
2021-08-29 22:24:04 +0200 <c_wraith> Toml.str doesn't exist
2021-08-29 22:24:17 +0200 <c_wraith> examples always lie
2021-08-29 22:25:23 +0200 <c_wraith> Ah. It expects you to have OverloadedStrings enabled.
2021-08-29 22:25:39 +0200 <c_wraith> I'd skip that and just call fromString so that inference remains sane
2021-08-29 22:26:40 +0200thyriaen(~thyriaen@x4dbfddec.dyn.telefonica.de) (Remote host closed the connection)
2021-08-29 22:29:15 +0200burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk)
2021-08-29 22:29:39 +0200Boomerang(~Boomerang@xd520f68c.cust.hiper.dk) (Ping timeout: 250 seconds)
2021-08-29 22:31:22 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.2)
2021-08-29 22:33:04 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-29 22:33:37 +0200burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk) (Ping timeout: 248 seconds)
2021-08-29 22:34:31 +0200d0ku(~d0ku@178.43.56.75.ipv4.supernova.orange.pl)
2021-08-29 22:35:06 +0200arjun(~Srain@user/arjun) (Remote host closed the connection)
2021-08-29 22:36:26 +0200 <_bin> Thanks, I appreciate it
2021-08-29 22:39:41 +0200 <_bin> c_wraith: Weirdly, it's still not working with OverloadedStrings. How would I go about using `fromString` to resolve this?
2021-08-29 22:40:16 +0200 <c_wraith> same code, just enabled OverloadedStrings? What error is it giving you now?
2021-08-29 22:42:49 +0200 <_bin> Yes, exact same but with OverloadedStrings. Same error: "Couldn't match expected type ‘Toml.Key’ with actual type ‘[Char]’"
2021-08-29 22:43:29 +0200 <c_wraith> That suggests you didn't actually enable OverloadedStrings. It would give an error message about IsString a => a instead of [Char]
2021-08-29 22:44:13 +0200 <_bin> Oh dang, you're right. It appears I accidentally put my language directive after the module where line. My bad.
2021-08-29 22:44:29 +0200 <c_wraith> easy mistake to make, really. I've done it several times.
2021-08-29 22:45:14 +0200 <maerwald> you can also just use `fromString`
2021-08-29 22:45:24 +0200 <maerwald> it may be more hygienic
2021-08-29 22:45:59 +0200 <c_wraith> You'll note that was my original recommendation. :P
2021-08-29 22:46:08 +0200zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2021-08-29 22:46:17 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2021-08-29 22:46:45 +0200 <c_wraith> _bin: in case you're curious.. The OverloadedStrings extension just adds fromString calls to all string *literals* in the code. You can apply those calls yourself, if you so desire.
2021-08-29 22:46:52 +0200 <maerwald> yeah, overloadedstrings can confuse type inference etc
2021-08-29 22:47:16 +0200 <_bin> Oh, handy to know, thanks. I'll give that a shot instead.
2021-08-29 22:47:18 +0200 <maerwald> it would be cool if you could specify for which literals it works
2021-08-29 22:48:40 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds)
2021-08-29 22:48:41 +0200Lord_of_Life_Lord_of_Life
2021-08-29 22:49:11 +0200jtomas_(~jtomas@233.red-83-34-2.dynamicip.rima-tde.net)
2021-08-29 22:49:47 +0200 <maerwald> that would also solve half of the bytestring debacle, because you could just ban the instance
2021-08-29 22:50:34 +0200ubert(~Thunderbi@178.165.168.136.wireless.dyn.drei.com) (Ping timeout: 252 seconds)
2021-08-29 22:50:40 +0200 <Cale> I think a default declaration might work?
2021-08-29 22:51:22 +0200 <Cale> At least, if what you want is the same as annotating all the ambiguous stuff with :: Text or some such.
2021-08-29 22:52:04 +0200elf_fortrezz(~elf_fortr@adsl-72-50-5-53.prtc.net)
2021-08-29 22:52:36 +0200 <c_wraith> Not by itself. Maybe with ExtendedDefaultRules that would work
2021-08-29 22:53:46 +0200 <Cale> Haskell’s defaulting mechanism (Haskell Report, Section 4.3.4) is extended to cover string literals, when OverloadedStrings is specified. Specifically:
2021-08-29 22:53:46 +0200 <Cale> Each type in a default declaration must be an instance of Num or of IsString.
2021-08-29 22:53:46 +0200 <Cale> If no default declaration is given, then it is just as if the module contained the declaration default( Integer, Double, String).
2021-08-29 22:53:46 +0200 <Cale> The standard defaulting rule is extended thus: defaulting applies when all the unresolved constraints involve standard classes or IsString; and at least one is a numeric class or IsString.
2021-08-29 22:54:06 +0200 <c_wraith> oh, huh. I didn't realize OverloadedStrings included that
2021-08-29 22:55:26 +0200 <Cale> I didn't know about it either, just suspected that someone might've done it due to the purpose of defaulting in the first place.
2021-08-29 22:58:14 +0200 <_bin> Cale: Oh cool, thanks for mentioning that.
2021-08-29 23:00:49 +0200mikoto-chan(~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 248 seconds)
2021-08-29 23:01:15 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2021-08-29 23:01:54 +0200ubert(~Thunderbi@178.165.168.136.wireless.dyn.drei.com)
2021-08-29 23:02:40 +0200__monty__(~toonn@user/toonn)
2021-08-29 23:03:27 +0200elf_fortrezz(~elf_fortr@adsl-72-50-5-53.prtc.net) (Quit: Client closed)
2021-08-29 23:07:04 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-08-29 23:07:18 +0200cryptomonad(~cryptomon@194.191.225.149) (Remote host closed the connection)
2021-08-29 23:09:48 +0200Codaraxis__(~Codaraxis@user/codaraxis)
2021-08-29 23:13:44 +0200Codaraxis_(~Codaraxis@user/codaraxis) (Ping timeout: 250 seconds)
2021-08-29 23:14:01 +0200Codaraxis(~Codaraxis@user/codaraxis)
2021-08-29 23:15:19 +0200jtomas_(~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) (Ping timeout: 252 seconds)
2021-08-29 23:17:31 +0200Codaraxis__(~Codaraxis@user/codaraxis) (Ping timeout: 252 seconds)
2021-08-29 23:23:17 +0200opac(~opac@ip-28-56.sn2.clouditalia.com)
2021-08-29 23:24:00 +0200 <opac> any book/articles/blogs about haskell bug/vulnerabilities?
2021-08-29 23:26:03 +0200Codaraxis_(~Codaraxis@user/codaraxis)
2021-08-29 23:27:21 +0200 <maerwald> opac: we've been pretending that doesn't exist... I'm still waiting for the first big incident
2021-08-29 23:27:22 +0200 <sm> nope, never happens
2021-08-29 23:27:32 +0200 <maerwald> we don't even have a CVE workflow
2021-08-29 23:27:37 +0200Codaraxis__(~Codaraxis@user/codaraxis)
2021-08-29 23:29:07 +0200 <opac> lol
2021-08-29 23:29:25 +0200 <opac> no segfaults ? :(
2021-08-29 23:29:37 +0200Codaraxis(~Codaraxis@user/codaraxis) (Ping timeout: 252 seconds)
2021-08-29 23:30:04 +0200 <davean> opac: how would you get a segv with Haskell? You'd have to really do something thats explicitely a problem
2021-08-29 23:30:34 +0200 <maerwald> easily via borked ffi
2021-08-29 23:31:27 +0200Codaraxis_(~Codaraxis@user/codaraxis) (Ping timeout: 240 seconds)
2021-08-29 23:32:37 +0200 <opac> davean: I dont know. I am interested in learning how those cases happen. Never wrote 1 line of haskell :x
2021-08-29 23:32:54 +0200 <opac> Im young :X
2021-08-29 23:32:57 +0200 <maerwald> https://www.haskell.org/ghc/blog/20210709-capi-usage.html
2021-08-29 23:33:07 +0200 <jpds> opac: Maybe start with a book on Haskell itself then
2021-08-29 23:33:24 +0200janiczek(~janiczek@89-24-215-117.customers.tmcz.cz)
2021-08-29 23:33:27 +0200Codaraxis__(~Codaraxis@user/codaraxis) (Ping timeout: 240 seconds)
2021-08-29 23:34:16 +0200 <opac> jpds will do
2021-08-29 23:36:39 +0200 <monochrom> I don't understand the motivation behind the question. Suppose I had never learned C. I don't suppose it would be productive to read "C bugs/vulnerability blogs". Unless my goal were to look for something to laugh at.
2021-08-29 23:36:50 +0200 <maerwald> :D
2021-08-29 23:37:01 +0200 <maerwald> or win a specific argument
2021-08-29 23:37:57 +0200 <davean> maerwald: yes, ffi is explicitely a problem, as is unsafe coerce
2021-08-29 23:38:16 +0200 <davean> You want to do both sometimes, but its pretty clear that they can be a problem
2021-08-29 23:42:04 +0200 <opac> monochrom: i have interest in security related topics thats why and was looking for a writeup or blog of a haskell's program being exploited (rare) - if I come with one, can I turn to NFT?
2021-08-29 23:42:47 +0200 <opac> davean: you'd say ffi is the source of prior `bugs`?
2021-08-29 23:42:51 +0200 <monochrom> Would you understand it? Do you have the Haskell knowledge to understand it?
2021-08-29 23:43:21 +0200 <monochrom> Like I said, if I hadn't learned C, I would not understand an article that requires knowledge in C.
2021-08-29 23:43:42 +0200 <opac> well depends, which other langs you know
2021-08-29 23:44:10 +0200 <monochrom> Haskell. Pascal.
2021-08-29 23:45:43 +0200 <opac> since the syntax is way simpler... if the writeup is detailed... then I am sure you'd have an enjoyable time reading C
2021-08-29 23:45:52 +0200 <davean> No, I don't think so at all
2021-08-29 23:46:05 +0200 <davean> That misses the poin tof whats important to understand this
2021-08-29 23:46:05 +0200 <maerwald> https://frasertweedale.github.io/blog-fp/posts/2021-02-12-haskell-dependency-confusion.html
2021-08-29 23:46:18 +0200 <davean> The only thing close enough to be useful for me to understand C is probably assembly
2021-08-29 23:47:01 +0200 <janiczek> Hey there, I'm writing manual combined Except+State monad impl in Elm and I can't figure out the ending of andThen (bind). I'm sure it's something silly. Could you take a look? https://gist.github.com/Janiczek/a979c8a8f59d4a5186b2a340991a3aef
2021-08-29 23:47:06 +0200 <maerwald> I believe there was a hacking course too, but I can't find it anymore
2021-08-29 23:47:59 +0200kenran(~kenran@200116b82b597200c49c746a42f32f39.dip.versatel-1u1.de) (Quit: WeeChat info:version)
2021-08-29 23:49:20 +0200fendor(~fendor@178.165.182.151.wireless.dyn.drei.com) (Read error: Connection reset by peer)
2021-08-29 23:50:58 +0200 <opac> thanks for your thoughs
2021-08-29 23:51:12 +0200 <monochrom> janiczek: I understand "s -> Result e (s, a)", and I understand "s -> (s, Result e a)". But I don't understand "Result e (s -> (s, a))". Do you?
2021-08-29 23:52:24 +0200 <janiczek> @monochrom: Um, you're saying State . Except makes sense but Except . State isn't possible?
2021-08-29 23:52:24 +0200 <lambdabot> Unknown command, try @list
2021-08-29 23:57:57 +0200mastarija(~mastarija@78-3-210-70.adsl.net.t-com.hr) (Quit: Leaving)
2021-08-29 23:58:46 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 252 seconds)
2021-08-29 23:58:54 +0200jumper149(~jumper149@80.240.31.34) (Quit: WeeChat 3.2)
2021-08-29 23:59:43 +0200tcard(~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) (Quit: Leaving)