2025/09/29

Newest at the top

2025-09-29 16:51:21 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2025-09-29 16:50:38 +0200Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-09-29 16:33:25 +0200tromp(~textual@2001:1c00:3487:1b00:5d4:dfa6:7d7:2af3) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-09-29 16:30:19 +0200byorgey(~byorgey@user/byorgey) byorgey
2025-09-29 16:30:19 +0200byorgey(~byorgey@155.138.238.211) (Changing host)
2025-09-29 16:30:19 +0200byorgey(~byorgey@155.138.238.211)
2025-09-29 16:24:35 +0200ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2025-09-29 16:21:26 +0200ystael(~ystael@user/ystael) ystael
2025-09-29 16:12:45 +0200ouilemur(~jgmerritt@user/ouilemur) ouilemur
2025-09-29 16:11:46 +0200sprotte24(~sprotte24@p200300d16f33530008dc51ed686c9258.dip0.t-ipconnect.de)
2025-09-29 16:10:48 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-09-29 16:10:21 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-09-29 16:09:15 +0200Maxdamantus(~Maxdamant@user/maxdamantus) Maxdamantus
2025-09-29 16:08:36 +0200Xe(~Xe@perl/impostor/xe) Xe
2025-09-29 16:07:38 +0200Maxdamantus(~Maxdamant@user/maxdamantus) (Ping timeout: 260 seconds)
2025-09-29 16:07:34 +0200Xe(~Xe@perl/impostor/xe) (Quit: ZNC 1.10.1 - https://znc.in)
2025-09-29 15:59:44 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 240 seconds)
2025-09-29 15:50:47 +0200Googulator56(~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu)
2025-09-29 15:50:45 +0200Googulator15(~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed)
2025-09-29 15:48:26 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-29 15:46:53 +0200 <ski> yin : Charity ?
2025-09-29 15:36:13 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-09-29 15:33:40 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-09-29 15:28:59 +0200Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63
2025-09-29 15:28:50 +0200__monty__(~toonn@user/toonn) (Ping timeout: 265 seconds)
2025-09-29 15:28:31 +0200 <yahb2> [[[[[[11]]]]]]
2025-09-29 15:28:31 +0200 <tomsmeding> % $(fMAP 6) (+1) [[[[[[10]]]]]]
2025-09-29 15:28:23 +0200 <yahb2> <no output>
2025-09-29 15:28:23 +0200 <tomsmeding> % fMAP :: Int -> Q Exp ; fMAP 0 = [| id |] ; fMAP n = [| fmap . $(fMAP (n - 1)) |]
2025-09-29 15:28:14 +0200 <yahb2> <no output>
2025-09-29 15:28:14 +0200 <tomsmeding> % import Language.Haskell.TH (Q, Exp)
2025-09-29 15:28:02 +0200 <yahb2> <no output>
2025-09-29 15:28:02 +0200 <tomsmeding> % :seti -XTemplateHaskell
2025-09-29 15:26:20 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-09-29 15:16:59 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 250 seconds)
2025-09-29 15:15:47 +0200Googulator15(~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu)
2025-09-29 15:15:45 +0200Googulator40(~Googulato@193-226-241-153.pool.digikabel.hu) (Quit: Client closed)
2025-09-29 15:11:45 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-29 15:11:19 +0200 <kaol> I stacked that many maybes, eithers, lists and 2-tuples together. I'm just amused by it, that's all.
2025-09-29 15:09:31 +0200 <yin> i want a language based uniquely on folds
2025-09-29 15:08:32 +0200 <yin> or maybe you need to study the art of origami
2025-09-29 15:08:00 +0200tromp(~textual@2001:1c00:3487:1b00:5d4:dfa6:7d7:2af3)
2025-09-29 15:07:56 +0200trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-09-29 15:07:42 +0200trickard_(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-29 15:06:46 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-09-29 15:04:51 +0200mange(~mange@user/mange) (Quit: Zzz...)
2025-09-29 15:03:43 +0200 <merijn> kaol: Maybe you need Compose?
2025-09-29 15:02:41 +0200 <kaol> I feel ridiculous after composing six fmaps in a row. If it works it works.
2025-09-29 15:00:27 +0200Googulator40(~Googulato@193-226-241-153.pool.digikabel.hu)
2025-09-29 14:59:51 +0200Googulator40(~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed)