2025/11/12

2025-11-12 00:00:06 +0100Tuplanolla(~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla
2025-11-12 00:00:37 +0100Googulator1(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 00:00:43 +0100Googulator34(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 00:02:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-12 00:03:37 +0100weary-traveler(~user@user/user363627) user363627
2025-11-12 00:05:53 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2025-11-12 00:06:58 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-12 00:15:30 +0100vanishingideal(~vanishing@user/vanishingideal) (Remote host closed the connection)
2025-11-12 00:17:10 +0100mreh(~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 256 seconds)
2025-11-12 00:17:43 +0100deptype_(~deptype@2406:b400:3a:73c2:25ef:e8:f835:b7ce) (Remote host closed the connection)
2025-11-12 00:17:59 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-12 00:18:04 +0100deptype_(~deptype@2406:b400:3a:73c2:7318:13e2:7262:b7a3)
2025-11-12 00:18:14 +0100orizuru(~orizuru@178-79-171-63.ip.linodeusercontent.com)
2025-11-12 00:21:34 +0100xff0x(~xff0x@2405:6580:b080:900:d7c7:2664:9910:68b4) (Ping timeout: 244 seconds)
2025-11-12 00:21:46 +0100fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Quit: fp)
2025-11-12 00:22:40 +0100xff0x(~xff0x@2405:6580:b080:900:fdd3:5259:ca0:eb5c)
2025-11-12 00:23:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-12 00:26:07 +0100LainIwakura(~LainIwaku@user/LainIwakura) (Quit: Client closed)
2025-11-12 00:27:52 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2025-11-12 00:31:43 +0100haltingsolver(~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection)
2025-11-12 00:32:06 +0100haltingsolver(~cmo@2604:3d09:207f:8000::d1dc)
2025-11-12 00:34:51 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-12 00:35:17 +0100acarrico(~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) (Ping timeout: 256 seconds)
2025-11-12 00:39:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-12 00:41:14 +0100emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-11-12 00:49:26 +0100DetourNetworkUK(~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer)
2025-11-12 00:50:57 +0100DetourNetworkUK(~DetourNet@user/DetourNetworkUK) DetourNetworkUK
2025-11-12 00:52:08 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-12 00:53:31 +0100xff0x(~xff0x@2405:6580:b080:900:fdd3:5259:ca0:eb5c) (Quit: xff0x)
2025-11-12 00:55:50 +0100comonad(~comonad@2003:d0:2741:a000:c693:4c09:e8b4:6dfd) (Read error: Connection reset by peer)
2025-11-12 00:56:07 +0100xff0x(~xff0x@2405:6580:b080:900:1fdc:c04d:3012:9e4)
2025-11-12 00:56:16 +0100EvanR(~EvanR@user/evanr) (Quit: Leaving)
2025-11-12 00:56:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-12 01:02:12 +0100comonad(~comonad@p200300d02741a000c6934c09e8b46dfd.dip0.t-ipconnect.de)
2025-11-12 01:04:16 +0100deptype_(~deptype@2406:b400:3a:73c2:7318:13e2:7262:b7a3) (Remote host closed the connection)
2025-11-12 01:04:28 +0100deptype_(~deptype@2406:b400:3a:73c2:a158:6fb5:5891:aa15)
2025-11-12 01:07:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-12 01:08:50 +0100Zemy(~Zemy@2600:100c:b0a7:6e51:1cb1:caff:fe79:900b)
2025-11-12 01:10:55 +0100Zemy_(~Zemy@72.178.108.235) (Ping timeout: 240 seconds)
2025-11-12 01:12:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-12 01:13:38 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-11-12 01:19:35 +0100Zemy_(~Zemy@mobile-107-80-206-85.mycingular.net)
2025-11-12 01:22:20 +0100Zemy(~Zemy@2600:100c:b0a7:6e51:1cb1:caff:fe79:900b) (Ping timeout: 256 seconds)
2025-11-12 01:22:27 +0100Core5465(~Zemy@2600:100c:b0a7:6e51:893:97ff:fef3:337a)
2025-11-12 01:24:18 +0100deptype_(~deptype@2406:b400:3a:73c2:a158:6fb5:5891:aa15) (Remote host closed the connection)
2025-11-12 01:24:33 +0100deptype_(~deptype@2406:b400:3a:73c2:e972:e1ac:37fa:5348)
2025-11-12 01:26:18 +0100Zemy_(~Zemy@mobile-107-80-206-85.mycingular.net) (Ping timeout: 256 seconds)
2025-11-12 01:26:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-12 01:27:59 +0100Zemy(~Zemy@76.184.46.188)
2025-11-12 01:31:24 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-12 01:31:24 +0100Core5465(~Zemy@2600:100c:b0a7:6e51:893:97ff:fef3:337a) (Ping timeout: 256 seconds)
2025-11-12 01:31:32 +0100Zemy_(~Zemy@2600:100c:b0a7:6e51:c4c2:4ff:fe87:76e5)
2025-11-12 01:34:25 +0100Zemy(~Zemy@76.184.46.188) (Ping timeout: 240 seconds)
2025-11-12 01:34:59 +0100AlexNoo_(~AlexNoo@5.139.233.178)
2025-11-12 01:37:52 +0100AlexZenon(~alzenon@5.139.232.215) (Ping timeout: 246 seconds)
2025-11-12 01:38:39 +0100AlexNoo(~AlexNoo@5.139.232.215) (Ping timeout: 252 seconds)
2025-11-12 01:38:51 +0100john4(~John@cpc157419-sotn14-2-0-cust964.15-1.cable.virginm.net)
2025-11-12 01:39:25 +0100 <john4> hai
2025-11-12 01:41:51 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-12 01:42:06 +0100 <john4> why Haskell bad type system
2025-11-12 01:43:29 +0100solar(~sailor@82.222.122.165)
2025-11-12 01:43:32 +0100 <int-e> why the confrontational premise
2025-11-12 01:43:44 +0100 <john4> hello solar
2025-11-12 01:43:48 +0100 <john4> it's me
2025-11-12 01:43:51 +0100 <john4> Dio
2025-11-12 01:44:05 +0100 <john4> because types aren't type safe
2025-11-12 01:44:27 +0100 <john4> Unlike in good dependently typed languages with first class records *wink*
2025-11-12 01:44:31 +0100 <john4> benim gardas
2025-11-12 01:44:47 +0100 <solar> tamamdır
2025-11-12 01:44:50 +0100deptype_(~deptype@2406:b400:3a:73c2:e972:e1ac:37fa:5348) (Remote host closed the connection)
2025-11-12 01:44:58 +0100 <john4> lmao
2025-11-12 01:45:00 +0100 <john4> ozur
2025-11-12 01:45:02 +0100 <solar> :)))
2025-11-12 01:45:03 +0100deptype_(~deptype@2406:b400:3a:73c2:38c9:be26:79f8:86b8)
2025-11-12 01:45:20 +0100 <solar> i hate oop, xml, uml etc
2025-11-12 01:45:27 +0100 <john4> amen
2025-11-12 01:45:35 +0100 <solar> btw i'm not a type of declaretive programmer
2025-11-12 01:45:58 +0100 <solar> just wanted to be see what u all talking
2025-11-12 01:46:14 +0100 <john4> Sunu derim, Turing makinesi'yle lambda kalkulu ikisi de tam komputasyon modelleri
2025-11-12 01:46:16 +0100acidjnk(~acidjnk@p200300d6e7171989dd8db5c7ed4575d8.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2025-11-12 01:46:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-12 01:46:29 +0100 <solar> hahaha ıbdsaıhbıw biliyorum biliyorum
2025-11-12 01:46:35 +0100 <solar> sen hiç elm dilini duydun mu?
2025-11-12 01:46:42 +0100 <john4> duydum
2025-11-12 01:46:43 +0100 <solar> web development yapabilirsin
2025-11-12 01:46:47 +0100acidjnk(~acidjnk@p200300d6e7171961bd4b6122a2993081.dip0.t-ipconnect.de) acidjnk
2025-11-12 01:46:52 +0100 <john4> FRP'ye dalarken
2025-11-12 01:47:28 +0100 <john4> bilmem, J*vascript egilimi var gibi geldi de, ama tekrar bi bakarim
2025-11-12 01:48:02 +0100 <solar> elixir ve phoenix framework u ile de web development yapılabilir çok güçlü aletler
2025-11-12 01:48:21 +0100 <solar> herkes bi gün erlang sanal makinesinin değerini bilecek!
2025-11-12 01:48:35 +0100AlexZenon(~alzenon@5.139.233.178)
2025-11-12 01:49:01 +0100 <solar> couchdb de erlang üzeri çalışıyor diye hatırlıyorum
2025-11-12 01:49:06 +0100 <john4> heh, bir gun herkez dizi bukecek diyon
2025-11-12 01:49:48 +0100 <john4> erlang sanirim duydum da hic dogru duzgun bakmadim
2025-11-12 01:50:14 +0100 <solar> tele komünikasyon firmalarının gözdesi
2025-11-12 01:50:45 +0100 <solar> ulike i said before, i'm not a declaretive programmer not some OOP fanboy either
2025-11-12 01:51:16 +0100 <solar> love the pointer system of golang
2025-11-12 01:51:32 +0100 <john4> errors as values eh?
2025-11-12 01:51:35 +0100 <solar> this is the real purity
2025-11-12 01:51:41 +0100 <solar> idk
2025-11-12 01:52:07 +0100 <john4> heh, aslinda sey
2025-11-12 01:52:17 +0100 <solar> evet?
2025-11-12 01:52:24 +0100 <john4> Fonksiyonel progrmalamayi sevme sebebim cogunlukla matematikten
2025-11-12 01:52:33 +0100 <john4> Curry-Howard'dan duydun mu?
2025-11-12 01:52:55 +0100 <solar> tanımıyorum
2025-11-12 01:53:23 +0100 <solar> daha çok analitik tipte bir matematik tecihimdir, fazla komplike işlemler beynimi yakıyor
2025-11-12 01:53:26 +0100 <solar> basit olmalı
2025-11-12 01:53:50 +0100trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-12 01:54:03 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-12 01:54:06 +0100 <john4> Programlamayla mantigi farkli kurallar ve degerlerle ayni seyi yaptiginin adi
2025-11-12 01:54:18 +0100 <john4> yani gizlice es seyler
2025-11-12 01:54:27 +0100 <solar> bu doğru sadece "aynı şey" pek benlik değil
2025-11-12 01:54:29 +0100Tuplanolla(~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.)
2025-11-12 01:54:34 +0100 <solar> 0101010 lerin mantık çorbası
2025-11-12 01:55:14 +0100 <john4> kafayi iyice karistiriyo mu diyon
2025-11-12 01:55:34 +0100 <john4> yani, fonskiyonel programlamayi sevdigim neden mantik ve programlama arasindaki en basit kopru
2025-11-12 01:55:53 +0100 <solar> mantıklı
2025-11-12 01:56:26 +0100 <solar> oop paradigmasını oldum olalı sevmedim, basit bir yola fazla komplike eylemlerle ulaşma olduğunu düşündüm hep(ve keza öyle)
2025-11-12 01:56:50 +0100 <john4> aslinda, kategori teorisini de bagliyor o da cok daha genel ve guclu structure dili; matematigin gecen yuzyildaki en buyuk kesifleri fikirlerine biraz bagli
2025-11-12 01:57:17 +0100 <solar> bu doğru
2025-11-12 01:57:23 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-12 01:57:29 +0100 <john4> OOP'nin prensiplerininnasil bozuk oldugunu ogrenince terk ettim
2025-11-12 01:57:50 +0100 <john4> Encapsulation 5'ten fazla obje olunca cokuyor
2025-11-12 01:58:10 +0100 <solar> eskiden beridir sevmiyordum üstelik çoğu popüler dil(python gibi) bu işlemi çok komplike yollarla yerine getireiyor
2025-11-12 01:58:22 +0100 <solar> doğru
2025-11-12 01:58:31 +0100 <john4> onlar da daha da karistiroyr OOP'i diyon
2025-11-12 01:58:46 +0100 <solar> en temiz oop sistemi bana göre ruby de fakat balık baştan kokar
2025-11-12 01:59:08 +0100 <solar> pointer lar ile bellek üzerinden işlemler yapmanın verdiği haz bambaşka
2025-11-12 01:59:08 +0100 <john4> hm, gormezden gelmek imkansiz gibi
2025-11-12 01:59:16 +0100 <john4> hehe
2025-11-12 01:59:39 +0100 <john4> neydi, `* (*char) = 0;`
2025-11-12 01:59:43 +0100 <geekosaur> I'd just like to point out that this channel is generally in English, not Türkçe. I don't think there's a #haskell-tu
2025-11-12 01:59:48 +0100 <solar> aynen :)
2025-11-12 01:59:55 +0100 <solar> sorry for that
2025-11-12 01:59:56 +0100 <john4> evil
2025-11-12 02:00:09 +0100 <john4> we have come to carve out a better channel
2025-11-12 02:00:20 +0100 <john4> under a crescent moon
2025-11-12 02:00:45 +0100 <john4> but ye, apologies, y'all mind if we yap in karaboga?
2025-11-12 02:00:48 +0100 <geekosaur> (I can recognize it but know very little, sorry. OTOH enough terminology got lifted from English that I can partially follow it 🙂
2025-11-12 02:01:08 +0100 <geekosaur> you could use #haskell-in-depth since nobody's using it for its original purpose
2025-11-12 02:01:10 +0100 <john4> a few loan words here & there, ya say?
2025-11-12 02:01:21 +0100 <john4> uyar mi gardas?
2025-11-12 02:01:34 +0100 <solar> sounds good
2025-11-12 02:02:34 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-12 02:03:15 +0100 <geekosaur> jargon's always a mess. English FP discussions are actually as bad, but nobody really thinks about it
2025-11-12 02:03:51 +0100 <geekosaur> other fields are worse, Greek / Latin / German / French / etc. all over the place 🙂
2025-11-12 02:04:30 +0100 <solar> nah don't judge them they're just trying to talk eachother we should be thankful that youngster are interested in irc protocol :)
2025-11-12 02:05:10 +0100 <geekosaur> we are bridged to matrix, for those who prefer that (#haskell-irc:matrix.org)
2025-11-12 02:05:22 +0100 <geekosaur> (#haskell-in-depth isn't, though)
2025-11-12 02:10:28 +0100xff0x(~xff0x@2405:6580:b080:900:1fdc:c04d:3012:9e4) (Ping timeout: 265 seconds)
2025-11-12 02:12:52 +0100deptype_(~deptype@2406:b400:3a:73c2:38c9:be26:79f8:86b8) (Remote host closed the connection)
2025-11-12 02:13:10 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-12 02:13:12 +0100deptype_(~deptype@2406:b400:3a:73c2:5306:1d09:fa7a:822c)
2025-11-12 02:17:42 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 272 seconds)
2025-11-12 02:17:51 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-12 02:24:07 +0100Zemy(~Zemy@72.178.108.235)
2025-11-12 02:28:04 +0100Zemy_(~Zemy@2600:100c:b0a7:6e51:c4c2:4ff:fe87:76e5) (Ping timeout: 256 seconds)
2025-11-12 02:28:06 +0100starving_drummer(~berke@user/Starving-Drummer:76786) (Remote host closed the connection)
2025-11-12 02:28:37 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-12 02:32:54 +0100deptype_(~deptype@2406:b400:3a:73c2:5306:1d09:fa7a:822c) (Remote host closed the connection)
2025-11-12 02:33:14 +0100deptype_(~deptype@2406:b400:3a:73c2:f035:6bc2:6fad:c26b)
2025-11-12 02:35:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-12 02:46:40 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-12 02:51:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-12 02:59:49 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-12 03:00:03 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-12 03:00:56 +0100otto_s(~user@p4ff27119.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2025-11-12 03:02:18 +0100otto_s(~user@p5de2f451.dip0.t-ipconnect.de)
2025-11-12 03:02:27 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-12 03:03:12 +0100peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-11-12 03:06:02 +0100haltingsolver(~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds)
2025-11-12 03:06:03 +0100Inline(~inlinE@2001-4dd3-bded-0-719b-11b7-e341-7e20.ipv6dyn.netcologne.de) (Ping timeout: 265 seconds)
2025-11-12 03:07:09 +0100haltingsolver(~cmo@2604:3d09:207f:8000::d1dc)
2025-11-12 03:07:33 +0100Inline(~inlinE@2001-4dd3-bded-0-719b-11b7-e341-7e20.ipv6dyn.netcologne.de) Inline
2025-11-12 03:07:44 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-12 03:14:19 +0100annamalai(~annamalai@2409:4042:dc2:759::9e0a:f200) annamalai
2025-11-12 03:15:29 +0100DetourNe-(DetourNetw@user/DetourNetworkUK) DetourNetworkUK
2025-11-12 03:15:29 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-11-12 03:16:33 +0100DetourNetworkUK(~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer)
2025-11-12 03:17:48 +0100DetourNe-DetourNetworkUK
2025-11-12 03:18:15 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-12 03:23:01 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-12 03:23:02 +0100haltingsolver(~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds)
2025-11-12 03:26:58 +0100solar(~sailor@82.222.122.165) (Leaving)
2025-11-12 03:27:26 +0100john4(~John@cpc157419-sotn14-2-0-cust964.15-1.cable.virginm.net) (Quit: WeeChat 4.7.1)
2025-11-12 03:34:00 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-12 03:38:53 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-12 03:49:48 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-12 03:54:46 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-12 04:05:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-12 04:11:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-12 04:16:52 +0100peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds)
2025-11-12 04:23:20 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-12 04:28:11 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-12 04:29:55 +0100td_(~td@i53870938.versanet.de) (Ping timeout: 240 seconds)
2025-11-12 04:30:45 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-12 04:30:59 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-12 04:31:55 +0100td_(~td@i53870901.versanet.de) td_
2025-11-12 04:39:08 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-12 04:40:05 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds)
2025-11-12 04:41:02 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-11-12 04:41:34 +0100synchromesh(~john@2406:5a00:2412:2c00:ed84:4ebe:de81:99a2) (Quit: WeeChat 4.1.1)
2025-11-12 04:42:44 +0100krjst(~krjst@2a0a:4cc0:2000:789a:b827:c6ff:fed6:bb48) (Quit: bye)
2025-11-12 04:43:11 +0100krjst(~krjst@v2202504264396328666.nicesrv.de) krjst
2025-11-12 04:44:03 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-12 04:44:12 +0100bggd(~bgg@2a01:e0a:819:1510:c077:be4f:997f:e54a) (Remote host closed the connection)
2025-11-12 04:46:33 +0100Googulator34(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 04:46:48 +0100Googulator34(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 04:54:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-12 04:59:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-12 05:01:33 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-12 05:01:47 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-12 05:02:26 +0100peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-11-12 05:05:34 +0100Googulator34(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 05:05:41 +0100Googulator33(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 05:10:44 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-12 05:15:47 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-12 05:17:12 +0100Inline(~inlinE@2001-4dd3-bded-0-719b-11b7-e341-7e20.ipv6dyn.netcologne.de) (Ping timeout: 244 seconds)
2025-11-12 05:20:28 +0100Pozyomka(~pyon@user/pyon) (Ping timeout: 246 seconds)
2025-11-12 05:22:47 +0100Inline(~inlinE@2001-4dd3-bded-0-719b-11b7-e341-7e20.ipv6dyn.netcologne.de) Inline
2025-11-12 05:26:10 +0100Nachtgespenst(~user@user/siracusa) (Quit: Bye!)
2025-11-12 05:30:37 +0100Googulator46(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 05:30:39 +0100Googulator33(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 05:33:53 +0100Square3(~Square@user/square) Square
2025-11-12 05:35:37 +0100Googulator46(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 05:35:47 +0100Googulator46(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 05:42:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-12 05:49:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-12 05:53:14 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-12 05:53:27 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-12 05:59:40 +0100democritus(~democritu@2600:1700:ba69:10:557a:384a:9fd:a3ee)
2025-11-12 06:00:22 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-12 06:00:56 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2025-11-12 06:04:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-12 06:05:40 +0100Googulator46(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 06:05:43 +0100Googulator25(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 06:06:05 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-11-12 06:08:25 +0100Square3(~Square@user/square) (Ping timeout: 240 seconds)
2025-11-12 06:09:09 +0100sp1ff(~user@2601:1c2:4c00:6820::8bad) (Read error: Connection reset by peer)
2025-11-12 06:09:22 +0100sp1ff(~user@2601:1c2:4c00:6820::8bad) sp1ff
2025-11-12 06:16:09 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-12 06:26:03 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-12 06:26:18 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2025-11-12 06:26:27 +0100chexum(~quassel@gateway/tor-sasl/chexum) chexum
2025-11-12 06:30:41 +0100Googulator41(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 06:31:10 +0100Googulator25(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 06:37:01 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-12 06:41:56 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-12 06:42:12 +0100mange(~mange@user/mange) (Quit: Bye!)
2025-11-12 06:42:47 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2025-11-12 06:42:56 +0100chexum(~quassel@gateway/tor-sasl/chexum) chexum
2025-11-12 06:47:30 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 272 seconds)
2025-11-12 06:48:08 +0100trickard__(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-12 06:49:13 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 264 seconds)
2025-11-12 06:49:56 +0100takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-11-12 06:52:35 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-11-12 06:52:48 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-12 06:55:31 +0100jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 256 seconds)
2025-11-12 06:55:44 +0100Googulator85(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 06:55:44 +0100Googulator41(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 06:58:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-12 06:58:55 +0100peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 240 seconds)
2025-11-12 06:59:42 +0100tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard
2025-11-12 07:03:12 +0100michalz(~michalz@185.246.207.203)
2025-11-12 07:03:37 +0100trickard__trickard
2025-11-12 07:07:26 +0100Zemy(~Zemy@72.178.108.235) (Read error: Connection reset by peer)
2025-11-12 07:07:30 +0100Zemy_(~Zemy@2600:100c:b0ac:d2bb:48a0:feff:fec2:ec2f)
2025-11-12 07:08:05 +0100Zemy(~Zemy@72.178.108.235)
2025-11-12 07:08:34 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-12 07:11:58 +0100Zemy_(~Zemy@2600:100c:b0ac:d2bb:48a0:feff:fec2:ec2f) (Ping timeout: 256 seconds)
2025-11-12 07:15:34 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-12 07:15:34 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds)
2025-11-12 07:15:34 +0100orizuru(~orizuru@178-79-171-63.ip.linodeusercontent.com) (Ping timeout: 256 seconds)
2025-11-12 07:15:34 +0100haetsal(~quassel@221.138.168.192) (Ping timeout: 256 seconds)
2025-11-12 07:15:34 +0100dolio(~dolio@130.44.140.168) (Ping timeout: 256 seconds)
2025-11-12 07:15:55 +0100orizuru(~orizuru@178-79-171-63.ip.linodeusercontent.com)
2025-11-12 07:15:58 +0100haetsal(~quassel@221.138.168.192)
2025-11-12 07:16:32 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-11-12 07:16:52 +0100dolio(~dolio@130.44.140.168) dolio
2025-11-12 07:20:39 +0100Googulator55(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 07:20:44 +0100itaipu(~itaipu@168.121.97.28) (Ping timeout: 256 seconds)
2025-11-12 07:20:46 +0100Googulator85(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 07:27:19 +0100jreicher(~user@user/jreicher) (Quit: Meeting)
2025-11-12 07:27:24 +0100notzmv(~umar@user/notzmv) (Ping timeout: 244 seconds)
2025-11-12 07:33:42 +0100itaipu(~itaipu@168.121.97.28) itaipu
2025-11-12 07:42:24 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-12 07:45:37 +0100Googulator52(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 07:45:40 +0100Googulator55(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 07:47:22 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-12 07:48:45 +0100trickard__(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-12 07:49:13 +0100trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 264 seconds)
2025-11-12 07:50:38 +0100Googulator52(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 07:50:40 +0100chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2025-11-12 07:50:45 +0100Googulator52(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 07:51:19 +0100chiselfuse(~chiselfus@user/chiselfuse) chiselfuse
2025-11-12 07:56:56 +0100Pixi(~Pixi@user/pixi) (Quit: Leaving)
2025-11-12 07:58:06 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-12 08:00:00 +0100trickard__trickard
2025-11-12 08:01:54 +0100Pixi(~Pixi@user/pixi) Pixi
2025-11-12 08:03:18 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-11-12 08:13:54 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-12 08:18:05 +0100Googulator52(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 08:18:23 +0100Googulator52(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 08:18:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-12 08:21:55 +0100annamalai(~annamalai@2409:4042:dc2:759::9e0a:f200) (Ping timeout: 240 seconds)
2025-11-12 08:27:12 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-11-12 08:32:02 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-12 08:33:38 +0100democritus(~democritu@2600:1700:ba69:10:557a:384a:9fd:a3ee) (Quit: Leaving)
2025-11-12 08:37:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-12 08:42:30 +0100sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-11-12 08:44:08 +0100annamalai(~annamalai@2409:4042:db3:6ad6::9e8a:4212) annamalai
2025-11-12 08:46:54 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-11-12 08:47:16 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-11-12 08:47:32 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-12 08:47:39 +0100lucabtz(~lucabtz@user/lucabtz) lucabtz
2025-11-12 08:48:30 +0100acidjnk(~acidjnk@p200300d6e7171961bd4b6122a2993081.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-11-12 08:50:27 +0100p3n(~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.10.1 - https://znc.in)
2025-11-12 08:51:28 +0100p3n(~p3n@217.198.124.246) p3n
2025-11-12 08:52:08 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-11-12 08:52:57 +0100tromp(~textual@2001:1c00:3487:1b00:7d:cf52:961a:9343)
2025-11-12 08:59:06 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-11-12 09:03:21 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-12 09:07:26 +0100deptype_(~deptype@2406:b400:3a:73c2:f035:6bc2:6fad:c26b) (Remote host closed the connection)
2025-11-12 09:07:43 +0100deptype_(~deptype@2406:b400:3a:73c2:671f:5333:597d:60b9)
2025-11-12 09:07:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-12 09:10:30 +0100Googulator52(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 09:10:39 +0100Googulator52(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 09:10:59 +0100trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-12 09:11:13 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-12 09:13:44 +0100connrs(~connrs@user/connrs) (Ping timeout: 244 seconds)
2025-11-12 09:21:21 +0100djspacewhale(~djspacewh@user/djspacewhale) djspacewhale
2025-11-12 09:21:38 +0100lbseale(~quassel@user/ep1ctetus) (Ping timeout: 260 seconds)
2025-11-12 09:21:46 +0100lbseale_(~quassel@user/ep1ctetus) ep1ctetus
2025-11-12 09:22:07 +0100djspacewhale(~djspacewh@user/djspacewhale) (Remote host closed the connection)
2025-11-12 09:22:39 +0100connrs(~connrs@user/connrs) connrs
2025-11-12 09:26:47 +0100djspacewhale(~djspacewh@user/djspacewhale) djspacewhale
2025-11-12 09:27:08 +0100djspacewhale(~djspacewh@user/djspacewhale) (Remote host closed the connection)
2025-11-12 09:27:31 +0100deptype_(~deptype@2406:b400:3a:73c2:671f:5333:597d:60b9) (Remote host closed the connection)
2025-11-12 09:27:43 +0100deptype_(~deptype@2406:b400:3a:73c2:aa6f:3f10:cf62:53ea)
2025-11-12 09:30:42 +0100Googulator52(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 09:30:54 +0100Googulator52(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 09:32:01 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 255 seconds)
2025-11-12 09:32:24 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-12 09:36:01 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-11-12 09:39:03 +0100notzmv(~umar@user/notzmv) notzmv
2025-11-12 09:44:27 +0100emmanuelux(~emmanuelu@user/emmanuelux) (Remote host closed the connection)
2025-11-12 09:45:31 +0100Googulator52(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 09:45:41 +0100Googulator52(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 09:49:01 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com) szkl
2025-11-12 09:50:04 +0100__monty__(~toonn@user/toonn) toonn
2025-11-12 09:50:46 +0100ft(~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving)
2025-11-12 10:01:40 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-12 10:05:38 +0100Googulator35(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 10:05:43 +0100Googulator52(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 10:10:27 +0100lbseale_(~quassel@user/ep1ctetus) (Ping timeout: 256 seconds)
2025-11-12 10:10:48 +0100Googulator85(~Googulato@80-95-87-101.pool.digikabel.hu)
2025-11-12 10:10:48 +0100Googulator35(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 10:11:41 +0100lbseale(~quassel@user/ep1ctetus) ep1ctetus
2025-11-12 10:15:19 +0100Miroboru(~myrvoll@84.215.250.50) Miroboru
2025-11-12 10:15:32 +0100mreh(~matthew@host86-146-25-125.range86-146.btcentralplus.com)
2025-11-12 10:25:39 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-12 10:26:29 +0100kuribas(~user@2a02-1810-2825-6000-4bf0-37f8-b4bb-282d.ip6.access.telenet.be) kuribas
2025-11-12 10:27:20 +0100Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63
2025-11-12 10:28:16 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-12 10:28:16 +0100 <Enrico63> Hi there. Does the "HT" in Control.Monad.HT and utility-ht stand for the author's name, HenningThielemann?
2025-11-12 10:31:07 +0100collide29543(~collide29@user/collide2954) collide2954
2025-11-12 10:31:08 +0100 <Enrico63> ... out of curiosity.
2025-11-12 10:33:02 +0100collide2954(~collide29@user/collide2954) (Quit: Ping timeout (120 seconds))
2025-11-12 10:33:02 +0100collide29543collide2954
2025-11-12 10:35:39 +0100Googulator54(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 10:35:51 +0100Googulator85(~Googulato@80-95-87-101.pool.digikabel.hu) (Quit: Client closed)
2025-11-12 10:41:55 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 240 seconds)
2025-11-12 10:42:54 +0100 <kuribas> Enrico63: seems plausible.
2025-11-12 10:45:40 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2025-11-12 10:46:02 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-11-12 10:48:57 +0100acidjnk(~acidjnk@p200300d6e71719864df0570ed0b0e3ba.dip0.t-ipconnect.de) acidjnk
2025-11-12 10:51:22 +0100tromp(~textual@2001:1c00:3487:1b00:7d:cf52:961a:9343) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-11-12 10:55:37 +0100Googulator73(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 10:55:39 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-12 10:55:40 +0100Googulator54(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 11:00:14 +0100 <haskellbridge> <Morj> In some of my old projects you can find a custom prelude named morjlude. A bit more obvious with this one
2025-11-12 11:00:40 +0100Googulator73(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 11:00:48 +0100Googulator38(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 11:02:29 +0100ubert1(~Thunderbi@178.165.182.105.wireless.dyn.drei.com) ubert
2025-11-12 11:05:23 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-12 11:07:56 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-12 11:08:16 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds)
2025-11-12 11:08:35 +0100 <merijn> Enrico63: That would certainly match his...ecclectic...naming habits
2025-11-12 11:09:03 +0100deptype_(~deptype@2406:b400:3a:73c2:aa6f:3f10:cf62:53ea) (Remote host closed the connection)
2025-11-12 11:09:22 +0100deptype_(~deptype@2406:b400:3a:73c2:9a6c:1796:18b4:82bc)
2025-11-12 11:11:01 +0100 <Enrico63> merijn, ahahah, like what? In the list at https://hackage.haskell.org/user/HenningThielemann I see ... "toilet", but not much strange names
2025-11-12 11:12:04 +0100comerijn(~merijn@77.242.116.146) merijn
2025-11-12 11:12:37 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 264 seconds)
2025-11-12 11:14:29 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 256 seconds)
2025-11-12 11:15:37 +0100ubert1(~Thunderbi@178.165.182.105.wireless.dyn.drei.com) (Ping timeout: 264 seconds)
2025-11-12 11:18:01 +0100comerijn(~merijn@77.242.116.146) (Ping timeout: 264 seconds)
2025-11-12 11:24:25 +0100 <mauke> Enrico63: https://hackage.haskell.org/package/unique-logic-0.4.0.1/docs/doc-index.html count the number of classes named 'C' and types named 'T'
2025-11-12 11:25:07 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-12 11:25:25 +0100 <haskellbridge> <Morj> Maybe it's just ocaml-style!
2025-11-12 11:25:51 +0100 <haskellbridge> <Morj> Nah, doesn't look like it
2025-11-12 11:28:24 +0100acidjnk(~acidjnk@p200300d6e71719864df0570ed0b0e3ba.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-11-12 11:29:56 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-12 11:30:39 +0100Googulator38(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 11:30:49 +0100Googulator38(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 11:40:45 +0100fp(~Thunderbi@130.233.70.206) fp
2025-11-12 11:46:27 +0100 <__monty__> Meant to be used fully qualified?
2025-11-12 11:47:29 +0100 <haskellbridge> <Morj> Yeah, ocaml-style. I thought that maybe not because there are other datatype definitions in the same module
2025-11-12 11:48:48 +0100 <merijn> I guess we're still talking Henning's naming? He's a believer you should always use everything qualified and his naming scheme basically forces you too, but it also results in completely unreadable hackage docs >.>
2025-11-12 11:51:06 +0100 <haskellbridge> <Morj> Actually a based opinion if he were writing rust
2025-11-12 11:51:31 +0100Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed)
2025-11-12 11:52:29 +0100 <haskellbridge> <Morj> Though you remind me that I wrote this piece of code yesterday: "mimeRender _ = Data.ByteString.Lazy.fromStrict . Data.Text.Encoding.encodeUtf8" - and then made HLS auto-add the qualified import, and it was nice
2025-11-12 11:53:26 +0100Nachtgespenst(~user@user/siracusa) siracusa
2025-11-12 11:56:11 +0100 <tomsmeding> Morj: HLS even manages to auto-add the qualified import sometimes if you write `Lazy.fromStrict`
2025-11-12 11:58:06 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2025-11-12 11:59:25 +0100 <merijn> Morj: I mean some modules are explicitly intended for qualified imports, but generally people use abbreviations
2025-11-12 11:59:54 +0100 <merijn> I always import ByteString/lazy ByteString as BS and LBS respectictively, T for Data.Text, etc.
2025-11-12 12:00:11 +0100 <merijn> Fully written out qualification is for mad men
2025-11-12 12:00:33 +0100 <__monty__> So you litter your code with expletives instead?! : >
2025-11-12 12:00:37 +0100 <haskellbridge> <Morj> I prefer a way like tоmsmeding said, and using ByteString, LazyByteString, Text instead of abbreviations
2025-11-12 12:03:29 +0100 <merijn> BS/LBS/T and M/IM/S/IS for Map, IntMap, Set, and IntSet from containers are all pretty widely used
2025-11-12 12:07:10 +0100xff0x(~xff0x@2405:6580:b080:900:bad6:34c9:62ae:89f7)
2025-11-12 12:11:16 +0100acidjnk(~acidjnk@p200300d6e717198650058a5e82e156ef.dip0.t-ipconnect.de) acidjnk
2025-11-12 12:12:21 +0100 <bwe> `try` in Megaparsec backtracks on failure, how can I backtrack on succeeding? https://hackage.haskell.org/package/megaparsec-9.7.0/docs/Text-Megaparsec.html#v:try
2025-11-12 12:13:18 +0100 <bwe> (I am trying to write a parser that runs two parsers on the same input and it should return only if both parsers are successful)
2025-11-12 12:15:38 +0100 <merijn> bwe: That sounds like the wrong question. Sounds like the real question is "how can I feed the same input to two parsers"?
2025-11-12 12:16:53 +0100 <bwe> merijn: It is. How do I feed the same input to two parsers (without resorting to call parseMaybe twice in a wrapper function that's no longer :: Parser ParsedResult)?
2025-11-12 12:16:54 +0100 <merijn> Is there something like `lookahead`
2025-11-12 12:19:02 +0100 <bwe> merijn: There is `lookAhead`. Though I feel right now I'm trying the wrong problem, I actually need to parse word for word and based on the list should decide whether I have simultaneous occurence of both: "foo bar A foo bar B" should extract "A" and "B"
2025-11-12 12:19:47 +0100Googulator38(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 12:20:02 +0100Googulator38(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 12:22:58 +0100 <merijn> bwe: Yeah, `lookAhead` does what you described wanting, but the real question is "is what you want sensible for a parser" :p
2025-11-12 12:23:14 +0100 <merijn> bwe: What exactly are you trying to parse?
2025-11-12 12:27:52 +0100Googulator38(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 12:28:07 +0100Googulator38(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 12:28:19 +0100trickard_trickard
2025-11-12 12:28:32 +0100starving_drummer(~berke@user/Starving-Drummer:76786) Starving_Drummer
2025-11-12 12:30:26 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 256 seconds)
2025-11-12 12:34:45 +0100 <__monty__> bwe: Can you be a bit more specific because so far it just sounds like sequencing, no? `lexeme fooParser *> lexeme barParser *> lexeme abParser`
2025-11-12 12:35:05 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-11-12 12:36:26 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-11-12 12:36:33 +0100Pozyomka(~pyon@user/pyon) pyon
2025-11-12 12:37:17 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-11-12 12:42:19 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 256 seconds)
2025-11-12 12:49:05 +0100 <tomsmeding> bwe: taking a guess as to what you need: perhaps parse have a single parser that parses into a [Either A B], and then post-process that list?
2025-11-12 12:49:29 +0100jreicher(~user@user/jreicher) jreicher
2025-11-12 12:50:24 +0100 <bwe> merijn: A list of chemical elements and their compounds. At times, I've got only the elementary form, at times, I've got the compound form, at times both (as multiple words in random order with other words interspersed). I'd like to parse and differentiate the three cases.
2025-11-12 12:50:36 +0100 <tomsmeding> (in effect this is putting one level of concrete syntax between the actual string and your desired abstract representation)
2025-11-12 12:53:44 +0100 <bwe> tomsmeding: I realised recently that I need to parse the given string word for word and then go over the result to construct the three cases. (My frustration basically stem from attempting to read the desired abstract representation right away.)
2025-11-12 12:54:09 +0100 <tomsmeding> parsing in multiple passes has plenty of precedent
2025-11-12 12:54:33 +0100Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-11-12 12:55:31 +0100 <tomsmeding> for a rather horrific example: when GHC first parses a Haskell file, it doesn't care about operator associativity and just plunks them in a tree somehow. Then it finds all the infixl/infixr etc. declarations, and then it goes over the parsed file again and fixes all the operator trees so that they're correctly associated
2025-11-12 12:56:16 +0100 <tomsmeding> "horrific" as in "if you haven't realised this is happening you think 'surely this can be done better'", not as in "this is a bad solution", because it's a very sensible solution to the problem of user-specified operator associativities
2025-11-12 12:56:51 +0100 <tomsmeding> for a somewhat related idea, though not quite the same, see nanopass compilation
2025-11-12 12:56:54 +0100 <Lycurgus> single pass: easy job
2025-11-12 12:56:56 +0100 <bwe> How does the second pass still have the type `:: Parser Result` and refrains from calling functions like `parseMaybe`?
2025-11-12 12:57:08 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-12 12:57:22 +0100 <tomsmeding> bwe: in your case I expect the second pass to be a pure function, not a parser, although that pure function might return an Error String Result
2025-11-12 12:57:38 +0100 <tomsmeding> *Either String Result, of course
2025-11-12 12:57:58 +0100 <Lycurgus> since like forever parsing and compiling has involved a min of 2, lex then parse
2025-11-12 12:58:16 +0100Googulator38Googulator
2025-11-12 12:59:35 +0100 <Lycurgus> the antedeluvian days b4 aho and ullman
2025-11-12 13:03:05 +0100deptype_(~deptype@2406:b400:3a:73c2:9a6c:1796:18b4:82bc) (Remote host closed the connection)
2025-11-12 13:03:19 +0100deptype_(~deptype@2406:b400:3a:73c2:98a2:6042:92fc:d969)
2025-11-12 13:10:40 +0100Googulator(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 13:10:43 +0100Googulator99(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 13:22:16 +0100fp(~Thunderbi@130.233.70.206) (Remote host closed the connection)
2025-11-12 13:23:07 +0100deptype_(~deptype@2406:b400:3a:73c2:98a2:6042:92fc:d969) (Remote host closed the connection)
2025-11-12 13:23:17 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 244 seconds)
2025-11-12 13:23:22 +0100deptype_(~deptype@2406:b400:3a:73c2:5c5a:fd15:b892:dc7c)
2025-11-12 13:23:45 +0100fp(~Thunderbi@2001:708:20:1406::1370) fp
2025-11-12 13:24:48 +0100fp(~Thunderbi@2001:708:20:1406::1370) (Client Quit)
2025-11-12 13:25:08 +0100fp(~Thunderbi@2001:708:20:1406::1370) fp
2025-11-12 13:25:42 +0100Googulator26(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 13:25:43 +0100Googulator99(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 13:28:11 +0100 <kuribas> tomsmeding: that sounds sensible. Multiple phases are easier than putting everything in a single phase.
2025-11-12 13:28:39 +0100 <tomsmeding> then exercise: fuse the passes :p
2025-11-12 13:28:45 +0100 <tomsmeding> (not necessarily a good idea for readability)
2025-11-12 13:29:16 +0100 <kuribas> tomsmeding: and I think haskell parsing is complicated enough :)
2025-11-12 13:31:39 +0100lucabtz(~lucabtz@user/lucabtz) (Ping timeout: 244 seconds)
2025-11-12 13:35:43 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-12 13:36:54 +0100bwewas told that Haskell being a language great for parsing.
2025-11-12 13:37:47 +0100laxmik(~user@pc192b.fzu.cz) laxmik
2025-11-12 13:40:42 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 256 seconds)
2025-11-12 13:40:43 +0100Googulator26(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 13:40:43 +0100Googulator42(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 13:42:27 +0100 <__monty__> Great for parsing but hard to parse.
2025-11-12 13:42:37 +0100 <__monty__> At least for computers.
2025-11-12 13:42:48 +0100 <kuribas> __monty__: not just computers...
2025-11-12 13:43:12 +0100 <kuribas> Look how many people have difficulty with layout-rule.
2025-11-12 13:43:56 +0100 <__monty__> It has some difficult nuances but TBH I think it's a bit of a victim of its own success.
2025-11-12 13:44:31 +0100 <__monty__> It's usually so flexible that when you run into a hard constraint it feels worse.
2025-11-12 13:44:35 +0100lucabtz(~lucabtz@user/lucabtz) lucabtz
2025-11-12 13:45:38 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-12 13:47:40 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds)
2025-11-12 13:48:38 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-11-12 13:51:52 +0100 <lucabtz> do you think writing a pandoc writer could be a good exercise to practice some haskell?
2025-11-12 13:52:33 +0100 <kuribas> lucabtz: sure
2025-11-12 13:52:36 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 256 seconds)
2025-11-12 13:53:51 +0100 <lucabtz> it doesnt seem too hard, but still there seem to be some challenge in having to deal with preexisting code. also i think i could be motivated by the fact it would actually be useful to someone
2025-11-12 13:59:22 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2025-11-12 13:59:46 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-11-12 14:00:44 +0100Googulator29(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 14:00:47 +0100Googulator42(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 14:01:46 +0100Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-11-12 14:06:24 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-12 14:09:37 +0100poscat0x04(~poscat@user/poscat) poscat
2025-11-12 14:11:18 +0100poscat(~poscat@user/poscat) (Ping timeout: 256 seconds)
2025-11-12 14:11:36 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 265 seconds)
2025-11-12 14:23:46 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-12 14:28:17 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 256 seconds)
2025-11-12 14:30:50 +0100Googulator46(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 14:30:50 +0100Googulator29(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 14:31:03 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2025-11-12 14:40:51 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-12 14:41:00 +0100Googulator46(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 14:41:07 +0100Googulator46(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 14:42:36 +0100acarrico(~acarrico@pppoe-209-99-223-51.greenmountainaccess.net)
2025-11-12 14:45:44 +0100Googulator46(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Client Quit)
2025-11-12 14:45:46 +0100Googulator6(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 14:48:01 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 264 seconds)
2025-11-12 14:53:06 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-11-12 14:53:12 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-11-12 14:59:06 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-12 15:00:45 +0100Googulator11(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 15:00:45 +0100Googulator6(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 15:02:19 +0100fp(~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 250 seconds)
2025-11-12 15:07:10 +0100deptype_(~deptype@2406:b400:3a:73c2:5c5a:fd15:b892:dc7c) (Remote host closed the connection)
2025-11-12 15:07:30 +0100deptype_(~deptype@2406:b400:3a:73c2:8a64:f671:f320:9ad9)
2025-11-12 15:10:51 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 244 seconds)
2025-11-12 15:11:36 +0100qqe(~qqq@185.54.21.203)
2025-11-12 15:15:41 +0100Googulator11(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 15:15:44 +0100Googulator80(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 15:20:20 +0100laxmik(~user@pc192b.fzu.cz) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2))
2025-11-12 15:20:44 +0100pr1sm(~pr1sm@24.91.163.31)
2025-11-12 15:23:05 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-12 15:27:13 +0100deptype_(~deptype@2406:b400:3a:73c2:8a64:f671:f320:9ad9) (Remote host closed the connection)
2025-11-12 15:27:25 +0100deptype_(~deptype@2406:b400:3a:73c2:afd8:869:cd95:8471)
2025-11-12 15:27:30 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-11-12 15:29:58 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-12 15:32:17 +0100Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63
2025-11-12 15:32:58 +0100 <Enrico63> Is there a way to silence warnings about head/tail in a single source file?
2025-11-12 15:34:39 +0100 <Leary> Enrico63: `{-# OPTIONS_GHC -Wno-x-partial #-}`
2025-11-12 15:35:08 +0100 <Enrico63> Oh, I tried `{-# OPTIONS_GHC -Wno-partial-functions #-}` and did not work. Let me try this one you say
2025-11-12 15:35:20 +0100 <haskellbridge> <Morj> HLS usually suggests disabling specific warnings as a code action on the line with the warning
2025-11-12 15:35:44 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 256 seconds)
2025-11-12 15:40:34 +0100chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2025-11-12 15:41:11 +0100chiselfuse(~chiselfus@user/chiselfuse) chiselfuse
2025-11-12 15:46:04 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-12 15:47:15 +0100deptype_(~deptype@2406:b400:3a:73c2:afd8:869:cd95:8471) (Remote host closed the connection)
2025-11-12 15:47:35 +0100deptype_(~deptype@2406:b400:3a:73c2:4f2c:123c:692f:dfe1)
2025-11-12 15:55:09 +0100AlexNoo_AlexNoo
2025-11-12 16:03:03 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-11-12 16:05:46 +0100acarrico(~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) (Ping timeout: 256 seconds)
2025-11-12 16:08:17 +0100deptype_(~deptype@2406:b400:3a:73c2:4f2c:123c:692f:dfe1) (Remote host closed the connection)
2025-11-12 16:08:31 +0100deptype_(~deptype@2406:b400:3a:73c2:7fbe:e085:c3d7:8a9b)
2025-11-12 16:13:16 +0100gorignak(~gorignak@user/gorignak) gorignak
2025-11-12 16:14:24 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds)
2025-11-12 16:15:46 +0100Googulator80(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 16:15:51 +0100Googulator4(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 16:16:18 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 265 seconds)
2025-11-12 16:17:42 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-12 16:20:08 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-11-12 16:20:23 +0100gorignak(~gorignak@user/gorignak) gorignak
2025-11-12 16:27:49 +0100deptype_(~deptype@2406:b400:3a:73c2:7fbe:e085:c3d7:8a9b) (Remote host closed the connection)
2025-11-12 16:27:55 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 264 seconds)
2025-11-12 16:28:07 +0100deptype_(~deptype@2406:b400:3a:73c2:9320:cff7:2537:7aca)
2025-11-12 16:33:21 +0100annamalai(~annamalai@2409:4042:db3:6ad6::9e8a:4212) (Read error: Connection reset by peer)
2025-11-12 16:33:36 +0100trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-12 16:33:43 +0100annamalai(~annamalai@157.33.245.31) annamalai
2025-11-12 16:33:50 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-12 16:41:20 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-12 16:47:51 +0100deptype_(~deptype@2406:b400:3a:73c2:9320:cff7:2537:7aca) (Remote host closed the connection)
2025-11-12 16:48:06 +0100deptype_(~deptype@2406:b400:3a:73c2:c14a:23cb:3c60:1412)
2025-11-12 16:54:20 +0100spew(~spew@user/spew) spew
2025-11-12 17:02:25 +0100lbseale(~quassel@user/ep1ctetus) (Ping timeout: 256 seconds)
2025-11-12 17:03:14 +0100califax(~califax@user/califx) (Remote host closed the connection)
2025-11-12 17:05:12 +0100califax(~califax@user/califx) califx
2025-11-12 17:07:54 +0100deptype_(~deptype@2406:b400:3a:73c2:c14a:23cb:3c60:1412) (Remote host closed the connection)
2025-11-12 17:08:14 +0100deptype_(~deptype@2406:b400:3a:73c2:739:bb72:6b1:e3de)
2025-11-12 17:10:26 +0100Googulator4(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 17:10:43 +0100Googulator4(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 17:14:39 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-11-12 17:15:28 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-11-12 17:15:43 +0100gorignak(~gorignak@user/gorignak) gorignak
2025-11-12 17:18:51 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds)
2025-11-12 17:21:44 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-11-12 17:25:44 +0100Googulator80(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 17:25:50 +0100Googulator4(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 17:27:44 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-11-12 17:27:51 +0100deptype_(~deptype@2406:b400:3a:73c2:739:bb72:6b1:e3de) (Remote host closed the connection)
2025-11-12 17:28:29 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds)
2025-11-12 17:29:10 +0100deptype_(~deptype@2406:b400:3a:73c2:e468:406e:b3f8:bcba)
2025-11-12 17:29:21 +0100deptype_(~deptype@2406:b400:3a:73c2:e468:406e:b3f8:bcba) (Remote host closed the connection)
2025-11-12 17:29:38 +0100deptype_(~deptype@2406:b400:3a:73c2:e468:406e:b3f8:bcba)
2025-11-12 17:30:34 +0100Lord_of_Life_Lord_of_Life
2025-11-12 17:33:49 +0100lucabtz(~lucabtz@user/lucabtz) (Remote host closed the connection)
2025-11-12 17:36:36 +0100lbseale(~quassel@user/ep1ctetus) ep1ctetus
2025-11-12 17:40:48 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-11-12 17:41:03 +0100gorignak(~gorignak@user/gorignak) gorignak
2025-11-12 17:44:43 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-11-12 17:45:36 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-11-12 17:45:51 +0100Googulator80(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 17:45:58 +0100Googulator49(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 17:46:04 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 256 seconds)
2025-11-12 17:48:28 +0100deptype_(~deptype@2406:b400:3a:73c2:e468:406e:b3f8:bcba) (Remote host closed the connection)
2025-11-12 17:48:43 +0100deptype_(~deptype@2406:b400:3a:73c2:958:c7f8:2c59:c47b)
2025-11-12 18:01:43 +0100connrs(~connrs@user/connrs) (Remote host closed the connection)
2025-11-12 18:08:30 +0100deptype_(~deptype@2406:b400:3a:73c2:958:c7f8:2c59:c47b) (Remote host closed the connection)
2025-11-12 18:08:43 +0100deptype_(~deptype@2406:b400:3a:73c2:e2f0:fcd3:ea38:db19)
2025-11-12 18:08:59 +0100trickard_trickard
2025-11-12 18:11:08 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-11-12 18:11:23 +0100gorignak(~gorignak@user/gorignak) gorignak
2025-11-12 18:20:44 +0100Googulator9(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 18:20:52 +0100Googulator49(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 18:23:12 +0100acarrico(~acarrico@pppoe-209-99-223-51.greenmountainaccess.net)
2025-11-12 18:24:05 +0100lbseale(~quassel@user/ep1ctetus) (Ping timeout: 244 seconds)
2025-11-12 18:24:19 +0100infinity0(~infinity0@pwned.gg) (Ping timeout: 264 seconds)
2025-11-12 18:28:32 +0100deptype_(~deptype@2406:b400:3a:73c2:e2f0:fcd3:ea38:db19) (Remote host closed the connection)
2025-11-12 18:28:46 +0100deptype_(~deptype@2406:b400:3a:73c2:5aec:3a66:8e2a:59f)
2025-11-12 18:30:45 +0100wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-11-12 18:31:05 +0100Googulator32(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 18:31:30 +0100Googulator9(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 18:35:39 +0100Googulator32(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Client Quit)
2025-11-12 18:35:45 +0100Googulator46(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 18:38:19 +0100trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-12 18:38:32 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-12 18:42:00 +0100aetepe(~aetepe@95.70.207.195) aetepe
2025-11-12 18:44:06 +0100spew(~spew@user/spew) (Quit: WeeChat 4.6.3)
2025-11-12 18:46:52 +0100aetepe(~aetepe@95.70.207.195) (Remote host closed the connection)
2025-11-12 18:49:04 +0100deptype_(~deptype@2406:b400:3a:73c2:5aec:3a66:8e2a:59f) (Remote host closed the connection)
2025-11-12 18:49:17 +0100deptype_(~deptype@2406:b400:3a:73c2:94ed:190a:4816:2643)
2025-11-12 18:50:49 +0100qqe(~qqq@185.54.21.203) (Quit: Lost terminal)
2025-11-12 18:53:55 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds)
2025-11-12 18:54:54 +0100lbseale(~quassel@user/ep1ctetus) ep1ctetus
2025-11-12 18:55:37 +0100Googulator46(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 18:55:45 +0100Googulator46(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 18:55:50 +0100peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-11-12 19:04:35 +0100infinity0(~infinity0@pwned.gg) infinity0
2025-11-12 19:09:06 +0100deptype_(~deptype@2406:b400:3a:73c2:94ed:190a:4816:2643) (Remote host closed the connection)
2025-11-12 19:09:27 +0100deptype_(~deptype@2406:b400:3a:73c2:3d28:2e6:56ef:1b07)
2025-11-12 19:10:29 +0100peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 244 seconds)
2025-11-12 19:11:28 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-11-12 19:11:43 +0100gorignak(~gorignak@user/gorignak) gorignak
2025-11-12 19:12:09 +0100ft(~ft@p4fc2aaeb.dip0.t-ipconnect.de) ft
2025-11-12 19:13:07 +0100 <dutchie> ghc user guide is 503ing :(
2025-11-12 19:13:21 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2025-11-12 19:19:33 +0100haetsal(~quassel@221.138.168.192) (Ping timeout: 256 seconds)
2025-11-12 19:22:08 +0100haetsal(~quassel@221.138.168.192)
2025-11-12 19:25:08 +0100Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed)
2025-11-12 19:25:13 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2025-11-12 19:29:08 +0100deptype_(~deptype@2406:b400:3a:73c2:3d28:2e6:56ef:1b07) (Remote host closed the connection)
2025-11-12 19:29:29 +0100deptype_(~deptype@2406:b400:3a:73c2:498a:3b70:635f:ac7a)
2025-11-12 19:32:35 +0100lbseale(~quassel@user/ep1ctetus) (Ping timeout: 256 seconds)
2025-11-12 19:32:50 +0100m1dnight(~m1dnight@d8D861A17.access.telenet.be) (Ping timeout: 245 seconds)
2025-11-12 19:44:26 +0100peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-11-12 19:45:37 +0100acarrico(~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) (Ping timeout: 256 seconds)
2025-11-12 19:49:10 +0100deptype_(~deptype@2406:b400:3a:73c2:498a:3b70:635f:ac7a) (Remote host closed the connection)
2025-11-12 19:49:30 +0100deptype_(~deptype@2406:b400:3a:73c2:82b8:ff9e:dcb5:bf7c)
2025-11-12 19:52:01 +0100trickard_trickard
2025-11-12 19:53:28 +0100 <dutchie> ah back now
2025-11-12 19:56:14 +0100target_i(~target_i@user/target-i/x-6023099) target_i
2025-11-12 20:01:45 +0100peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 250 seconds)
2025-11-12 20:09:42 +0100deptype_(~deptype@2406:b400:3a:73c2:82b8:ff9e:dcb5:bf7c) (Remote host closed the connection)
2025-11-12 20:10:02 +0100deptype_(~deptype@2406:b400:3a:73c2:7168:71b6:2f46:9e4f)
2025-11-12 20:10:30 +0100lbseale(~quassel@user/ep1ctetus) ep1ctetus
2025-11-12 20:14:25 +0100kuribas(~user@2a02-1810-2825-6000-4bf0-37f8-b4bb-282d.ip6.access.telenet.be) (Ping timeout: 240 seconds)
2025-11-12 20:17:40 +0100 <[exa]> dutchie: it gets occasionally pwned by scrapers
2025-11-12 20:19:33 +0100FANTOM_(~fantom@212.228.181.156)
2025-11-12 20:23:00 +0100EvanR(~EvanR@user/evanr) EvanR
2025-11-12 20:24:19 +0100infinity0(~infinity0@pwned.gg) (Ping timeout: 264 seconds)
2025-11-12 20:26:25 +0100trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 240 seconds)
2025-11-12 20:26:49 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-12 20:29:44 +0100deptype_(~deptype@2406:b400:3a:73c2:7168:71b6:2f46:9e4f) (Remote host closed the connection)
2025-11-12 20:29:57 +0100deptype_(~deptype@2406:b400:3a:73c2:1353:6683:407e:867a)
2025-11-12 20:33:13 +0100qqe(~qqq@185.54.21.203)
2025-11-12 20:36:28 +0100Tuplanolla(~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla
2025-11-12 20:44:35 +0100infinity0(~infinity0@pwned.gg) infinity0
2025-11-12 20:49:47 +0100deptype_(~deptype@2406:b400:3a:73c2:1353:6683:407e:867a) (Remote host closed the connection)
2025-11-12 20:50:06 +0100deptype_(~deptype@2406:b400:3a:73c2:6bd:9ab7:fc8:8ea5)
2025-11-12 20:54:12 +0100infinity0(~infinity0@pwned.gg) (Ping timeout: 252 seconds)
2025-11-12 20:56:33 +0100fgarcia(~lei@user/fgarcia) (Quit: Remote host closed the connection)
2025-11-12 20:57:58 +0100sindu(~sindu@46.67.16.220.tmi.telenormobil.no)
2025-11-12 20:59:51 +0100califax(~califax@user/califx) (Remote host closed the connection)
2025-11-12 21:00:11 +0100califax(~califax@user/califx) califx
2025-11-12 21:00:27 +0100spew(~spew@user/spew) spew
2025-11-12 21:01:11 +0100tromp(~textual@2001:1c00:3487:1b00:7d:cf52:961a:9343)
2025-11-12 21:04:52 +0100karenw(~karenw@user/karenw) karenw
2025-11-12 21:06:47 +0100Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-11-12 21:09:49 +0100deptype_(~deptype@2406:b400:3a:73c2:6bd:9ab7:fc8:8ea5) (Remote host closed the connection)
2025-11-12 21:10:24 +0100deptype_(~deptype@2406:b400:3a:73c2:edfc:4146:f24d:4acc)
2025-11-12 21:14:35 +0100infinity0(~infinity0@pwned.gg) infinity0
2025-11-12 21:17:41 +0100Xe(~Xe@perl/impostor/xe) (Quit: ZNC 1.10.1 - https://znc.in)