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