2023-07-27 00:02:32 +0200 | acidjnk | (~acidjnk@p200300d6e7072f9765319e81e1cbf416.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
2023-07-27 00:06:56 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) |
2023-07-27 00:08:05 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Quit: Lost terminal) |
2023-07-27 00:08:32 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
2023-07-27 00:10:44 +0200 | captnemo | (~captnemo@193.32.127.239) |
2023-07-27 00:10:57 +0200 | michalz | (~michalz@185.246.207.218) (Remote host closed the connection) |
2023-07-27 00:12:47 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
2023-07-27 00:12:47 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
2023-07-27 00:12:47 +0200 | finn_elija | FinnElija |
2023-07-27 00:13:40 +0200 | dtman34 | (~dtman34@2601:447:d000:93c9:c692:9cde:8ac4:59a8) |
2023-07-27 00:14:41 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 260 seconds) |
2023-07-27 00:14:45 +0200 | captnemo | (~captnemo@193.32.127.239) (Client Quit) |
2023-07-27 00:20:07 +0200 | yaroot_ | (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) |
2023-07-27 00:20:52 +0200 | yaroot | (~yaroot@p3269141-ipngn2701souka.saitama.ocn.ne.jp) (Ping timeout: 250 seconds) |
2023-07-27 00:20:52 +0200 | yaroot_ | yaroot |
2023-07-27 00:24:13 +0200 | komikat` | (~user@218.185.248.66) |
2023-07-27 00:24:47 +0200 | ubert | (~Thunderbi@77.119.169.110.wireless.dyn.drei.com) (Ping timeout: 244 seconds) |
2023-07-27 00:25:41 +0200 | komikat | (~user@218.185.248.66) (Read error: Connection reset by peer) |
2023-07-27 00:28:52 +0200 | Guest667 | (~lol@6.sub-174-215-146.myvzw.com) |
2023-07-27 00:31:58 +0200 | Inst | (~Inst@2601:6c4:4081:2fc0:81e3:495a:25c7:6863) |
2023-07-27 00:33:20 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2023-07-27 00:36:57 +0200 | slack1256 | (~slack1256@186.11.61.14) |
2023-07-27 00:38:37 +0200 | mncheckm | (~mncheck@193.224.205.254) (Ping timeout: 260 seconds) |
2023-07-27 00:43:21 +0200 | Guest6443 | (~lol@211.sub-174-215-144.myvzw.com) |
2023-07-27 00:44:07 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
2023-07-27 00:44:07 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
2023-07-27 00:44:07 +0200 | finn_elija | FinnElija |
2023-07-27 00:45:14 +0200 | Guest6443 | (~lol@211.sub-174-215-144.myvzw.com) (Excess Flood) |
2023-07-27 00:46:47 +0200 | Guest667 | (~lol@6.sub-174-215-146.myvzw.com) (Ping timeout: 260 seconds) |
2023-07-27 00:51:20 +0200 | emid | (~thales@191.180.21.148) (Ping timeout: 258 seconds) |
2023-07-27 00:52:06 +0200 | Qudit | (~user@user/Qudit) (Remote host closed the connection) |
2023-07-27 00:52:07 +0200 | <ncf> | is there really no way to make a simple argmin :: Ord a => [a] -> Int based on an indexed traversal or am i being silly |
2023-07-27 00:53:51 +0200 | <ncf> | like why isn't there an iminimumOf |
2023-07-27 00:54:32 +0200 | <ncf> | ah, backlog https://github.com/ekmett/lens/pull/613 |
2023-07-27 00:55:38 +0200 | Qudit | (~user@user/Qudit) |
2023-07-27 00:59:36 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
2023-07-27 01:00:51 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-093-023.46.114.pool.telefonica.de) (Ping timeout: 245 seconds) |
2023-07-27 01:02:51 +0200 | <hpc> | ncf: try zipping the list with [0..] |
2023-07-27 01:03:40 +0200 | <hpc> | oh, you need it lensey |
2023-07-27 01:04:14 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 260 seconds) |
2023-07-27 01:04:16 +0200 | <ncf> | no need, just want |
2023-07-27 01:09:41 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
2023-07-27 01:09:41 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
2023-07-27 01:09:41 +0200 | finn_elija | FinnElija |
2023-07-27 01:13:55 +0200 | glguy | (~glguy@libera/staff-emeritus/glguy) (Quit: Quit) |
2023-07-27 01:16:13 +0200 | glguy | (~glguy@libera/staff-emeritus/glguy) |
2023-07-27 01:27:17 +0200 | mauke_ | (~mauke@user/mauke) |
2023-07-27 01:28:54 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 258 seconds) |
2023-07-27 01:28:54 +0200 | mauke_ | mauke |
2023-07-27 01:35:16 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) |
2023-07-27 01:39:42 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 244 seconds) |
2023-07-27 01:44:29 +0200 | notzmv | (~zmv@user/notzmv) |
2023-07-27 01:57:39 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) |
2023-07-27 02:00:28 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) |
2023-07-27 02:07:51 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2023-07-27 02:08:20 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
2023-07-27 02:09:34 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds) |
2023-07-27 02:25:41 +0200 | pavonia | (~user@user/siracusa) |
2023-07-27 02:27:42 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
2023-07-27 02:27:58 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-07-27 02:27:58 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-07-27 02:27:58 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-07-27 02:29:27 +0200 | dsrt^ | (~cd@24.125.210.85) (Ping timeout: 260 seconds) |
2023-07-27 02:29:49 +0200 | diomacs^ | (~cd@24.125.210.85) (Ping timeout: 244 seconds) |
2023-07-27 02:35:02 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
2023-07-27 02:36:53 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
2023-07-27 02:37:11 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 264 seconds) |
2023-07-27 02:38:08 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Remote host closed the connection) |
2023-07-27 02:38:32 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
2023-07-27 02:38:40 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Remote host closed the connection) |
2023-07-27 02:45:05 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
2023-07-27 02:49:39 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
2023-07-27 02:50:08 +0200 | diomacs^ | (~cd@24.125.210.85) |
2023-07-27 02:50:08 +0200 | dsrt^ | (~cd@24.125.210.85) |
2023-07-27 02:53:18 +0200 | ai5lk | (~ai5lk@209-188-121-236.taosnet.com) |
2023-07-27 03:01:32 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) (Ping timeout: 240 seconds) |
2023-07-27 03:04:32 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) (Ping timeout: 240 seconds) |
2023-07-27 03:10:43 +0200 | mrmr5 | (~mrmr@user/mrmr) |
2023-07-27 03:10:50 +0200 | phma | (phma@2001:5b0:210b:9ac8:f297:1dd8:f3f8:b4fd) (Read error: Connection reset by peer) |
2023-07-27 03:11:10 +0200 | mrmr | (~mrmr@user/mrmr) (Ping timeout: 250 seconds) |
2023-07-27 03:11:10 +0200 | mrmr5 | mrmr |
2023-07-27 03:11:13 +0200 | phma | (~phma@host-67-44-208-59.hnremote.net) |
2023-07-27 03:11:14 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2023-07-27 03:11:51 +0200 | slack1256 | (~slack1256@186.11.61.14) (Remote host closed the connection) |
2023-07-27 03:13:04 +0200 | razetime | (~quassel@117.193.0.94) |
2023-07-27 03:13:33 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) |
2023-07-27 03:17:22 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2023-07-27 03:21:02 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
2023-07-27 03:22:06 +0200 | diomacs^ | (~cd@24.125.210.85) (Remote host closed the connection) |
2023-07-27 03:22:56 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
2023-07-27 03:25:13 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-07-27 03:25:13 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-07-27 03:25:13 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-07-27 03:27:44 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
2023-07-27 03:29:15 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) |
2023-07-27 03:31:53 +0200 | lbseale | (~quassel@user/ep1ctetus) |
2023-07-27 03:40:52 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2023-07-27 03:42:57 +0200 | libertyprime | (~libertypr@203.96.203.44) (Ping timeout: 260 seconds) |
2023-07-27 03:44:07 +0200 | ai5lk | (~ai5lk@209-188-121-236.taosnet.com) (Quit: WeeChat 3.8) |
2023-07-27 03:55:47 +0200 | xff0x | (~xff0x@2405:6580:b080:900:821d:6393:aa84:7d15) (Ping timeout: 260 seconds) |
2023-07-27 03:57:31 +0200 | ft | (~ft@p3e9bcc0e.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2023-07-27 03:58:55 +0200 | ft | (~ft@p3e9bc61e.dip0.t-ipconnect.de) |
2023-07-27 04:04:19 +0200 | yaroot | (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) (Remote host closed the connection) |
2023-07-27 04:05:03 +0200 | yaroot | (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) |
2023-07-27 04:05:11 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
2023-07-27 04:05:42 +0200 | glguy | (~glguy@libera/staff-emeritus/glguy) (Ping timeout: 260 seconds) |
2023-07-27 04:06:20 +0200 | lbseale | (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2023-07-27 04:06:50 +0200 | lbseale | (~quassel@user/ep1ctetus) |
2023-07-27 04:08:37 +0200 | _xor | (~xor@ip-50-5-233-250.dynamic.fuse.net) (Ping timeout: 260 seconds) |
2023-07-27 04:11:15 +0200 | _xor | (~xor@ip-50-5-233-250.dynamic.fuse.net) |
2023-07-27 04:17:17 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2023-07-27 04:17:34 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
2023-07-27 04:18:35 +0200 | td_ | (~td@i53870902.versanet.de) (Ping timeout: 264 seconds) |
2023-07-27 04:20:18 +0200 | td_ | (~td@i5387090B.versanet.de) |
2023-07-27 04:20:55 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
2023-07-27 04:20:55 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
2023-07-27 04:20:55 +0200 | finn_elija | FinnElija |
2023-07-27 04:26:33 +0200 | yaroot | (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) (Read error: Connection reset by peer) |
2023-07-27 04:26:41 +0200 | Vq | (~vq@90-227-195-9-no77.tbcn.telia.com) (Ping timeout: 245 seconds) |
2023-07-27 04:26:43 +0200 | yaroot | (~yaroot@p3196076-ipngn7101souka.saitama.ocn.ne.jp) |
2023-07-27 04:28:34 +0200 | Vq | (~vq@90-227-195-9-no77.tbcn.telia.com) |
2023-07-27 04:29:17 +0200 | libertyprime | (~libertypr@203.96.203.44) |
2023-07-27 04:36:15 +0200 | glguy | (~glguy@libera/staff-emeritus/glguy) |
2023-07-27 04:39:25 +0200 | lbseale | (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2023-07-27 04:39:48 +0200 | lbseale | (~quassel@user/ep1ctetus) |
2023-07-27 04:44:46 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
2023-07-27 04:46:29 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 260 seconds) |
2023-07-27 04:55:17 +0200 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 260 seconds) |
2023-07-27 04:55:18 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
2023-07-27 04:59:04 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
2023-07-27 04:59:05 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
2023-07-27 04:59:05 +0200 | wroathe | (~wroathe@user/wroathe) |
2023-07-27 05:03:16 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 244 seconds) |
2023-07-27 05:03:35 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
2023-07-27 05:07:16 +0200 | ribosomerocker[m | (~ribosomer@2001:470:69fc:105::3:8ac7) |
2023-07-27 05:09:57 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 245 seconds) |
2023-07-27 05:13:27 +0200 | mvk | (~mvk@2607:fea8:5c9a:a600::1c6d) |
2023-07-27 05:16:42 +0200 | phma | (~phma@host-67-44-208-59.hnremote.net) (Read error: Connection reset by peer) |
2023-07-27 05:17:07 +0200 | phma | (phma@2001:5b0:210b:9ac8:cc3e:81df:eae2:50e9) |
2023-07-27 05:19:12 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
2023-07-27 05:22:16 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
2023-07-27 05:29:58 +0200 | aforemny_ | (~aforemny@2001:9e8:6cfc:2a00:d5a2:6a3b:38ac:cbd4) |
2023-07-27 05:31:24 +0200 | aforemny | (~aforemny@i59F516D9.versanet.de) (Ping timeout: 260 seconds) |
2023-07-27 05:37:55 +0200 | jargon | (~jargon@174-22-223-141.phnx.qwest.net) |
2023-07-27 05:39:00 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2023-07-27 05:45:24 +0200 | mvk | (~mvk@2607:fea8:5c9a:a600::1c6d) (Ping timeout: 260 seconds) |
2023-07-27 05:45:26 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Read error: Connection reset by peer) |
2023-07-27 05:49:00 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-07-27 05:49:00 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-07-27 05:49:00 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-07-27 05:54:35 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 264 seconds) |
2023-07-27 05:57:01 +0200 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-07-27 05:57:01 +0200 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-07-27 05:57:01 +0200 | dobblego | (~dibblego@haskell/developer/dibblego) |
2023-07-27 05:57:41 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
2023-07-27 05:57:42 +0200 | dobblego | dibblego |
2023-07-27 06:00:44 +0200 | monochrom | (trebla@216.138.220.146) (Quit: NO CARRIER) |
2023-07-27 06:02:19 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
2023-07-27 06:03:17 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
2023-07-27 06:04:14 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
2023-07-27 06:04:36 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
2023-07-27 06:10:51 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-07-27 06:10:51 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-07-27 06:10:51 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-07-27 06:13:05 +0200 | monochrom | (trebla@216.138.220.146) |
2023-07-27 06:15:26 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
2023-07-27 06:15:44 +0200 | mrmr | (~mrmr@user/mrmr) (Ping timeout: 260 seconds) |
2023-07-27 06:16:16 +0200 | razetime | (~quassel@117.193.0.94) (Ping timeout: 245 seconds) |
2023-07-27 06:17:31 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
2023-07-27 06:20:00 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-07-27 06:20:00 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-07-27 06:20:00 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-07-27 06:24:46 +0200 | wagle | (~wagle@quassel.wagle.io) (Remote host closed the connection) |
2023-07-27 06:26:02 +0200 | wagle | (~wagle@quassel.wagle.io) |
2023-07-27 06:26:16 +0200 | reach__ | (~reach@142.198.51.47) |
2023-07-27 06:31:06 +0200 | reach__ | (~reach@142.198.51.47) (Ping timeout: 244 seconds) |
2023-07-27 06:33:27 +0200 | mstksg | jle` |
2023-07-27 06:41:26 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
2023-07-27 06:45:37 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-07-27 06:45:37 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-07-27 06:45:37 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-07-27 06:45:51 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
2023-07-27 06:47:41 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2023-07-27 06:48:36 +0200 | nattiestnate | (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) (Quit: WeeChat 4.0.2) |
2023-07-27 06:48:45 +0200 | mrmr | (~mrmr@user/mrmr) |
2023-07-27 06:48:50 +0200 | nattiestnate | (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) |
2023-07-27 06:50:38 +0200 | notzmv | (~zmv@user/notzmv) (Remote host closed the connection) |
2023-07-27 06:51:41 +0200 | notzmv | (~zmv@user/notzmv) |
2023-07-27 06:52:29 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
2023-07-27 06:56:25 +0200 | razetime | (~quassel@117.193.0.94) |
2023-07-27 07:02:29 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) |
2023-07-27 07:09:38 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
2023-07-27 07:14:29 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
2023-07-27 07:14:45 +0200 | mncheckm | (~mncheck@193.224.205.254) |
2023-07-27 07:15:54 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
2023-07-27 07:19:43 +0200 | arizona_ | (~arizona@bcdcac82.skybroadband.com) (Quit: Connection error?!) |
2023-07-27 07:20:11 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
2023-07-27 07:24:02 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
2023-07-27 07:27:08 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
2023-07-27 07:27:56 +0200 | highvoltage | (~highvolt@bcdcac82.skybroadband.com) |
2023-07-27 07:36:49 +0200 | jargon | (~jargon@174-22-223-141.phnx.qwest.net) (Ping timeout: 260 seconds) |
2023-07-27 07:37:32 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
2023-07-27 07:44:58 +0200 | jargon | (~jargon@174-22-217-254.phnx.qwest.net) |
2023-07-27 07:45:30 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
2023-07-27 07:46:31 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) |
2023-07-27 07:47:02 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
2023-07-27 07:49:32 +0200 | CiaoSen | (~Jura@2a05:5800:28b:8f00:664b:f0ff:fe37:9ef) |
2023-07-27 07:50:58 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-07-27 07:50:58 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-07-27 07:50:58 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-07-27 07:51:12 +0200 | mixfix41 | (~sdeny9ee@user/mixfix41) |
2023-07-27 07:51:50 +0200 | trev | (~trev@user/trev) |
2023-07-27 07:56:04 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
2023-07-27 07:59:21 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-07-27 07:59:21 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-07-27 07:59:21 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-07-27 08:01:32 +0200 | jargon | (~jargon@174-22-217-254.phnx.qwest.net) (Read error: Connection reset by peer) |
2023-07-27 08:04:11 +0200 | jjhoo | (~jahakala@user/jjhoo) (Ping timeout: 245 seconds) |
2023-07-27 08:04:26 +0200 | jjhoo | (~jahakala@user/jjhoo) |
2023-07-27 08:07:23 +0200 | michalz | (~michalz@185.246.207.218) |
2023-07-27 08:10:04 +0200 | jargon | (~jargon@184.101.76.232) |
2023-07-27 08:10:18 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds) |
2023-07-27 08:16:49 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-07-27 08:16:49 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-07-27 08:16:49 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-07-27 08:18:25 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
2023-07-27 08:21:47 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
2023-07-27 08:24:32 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
2023-07-27 08:27:54 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
2023-07-27 08:28:03 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-07-27 08:28:17 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 245 seconds) |
2023-07-27 08:29:18 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-07-27 08:29:18 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-07-27 08:29:18 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-07-27 08:32:07 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2023-07-27 08:32:36 +0200 | bilegeek | (~bilegeek@2600:1008:b05c:e2f3:65b4:988a:ae8:9467) |
2023-07-27 08:33:34 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds) |
2023-07-27 08:34:04 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 244 seconds) |
2023-07-27 08:35:17 +0200 | dibblego | (~dibblego@116.255.1.151) |
2023-07-27 08:35:17 +0200 | dibblego | (~dibblego@116.255.1.151) (Changing host) |
2023-07-27 08:35:17 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-07-27 08:40:33 +0200 | aforemny_ | aforemny |
2023-07-27 08:42:06 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
2023-07-27 08:46:21 +0200 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) |
2023-07-27 08:47:13 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-07-27 08:47:13 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-07-27 08:47:13 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-07-27 08:52:04 +0200 | Guest5267 | (~finn@176-151-21-224.abo.bbox.fr) |
2023-07-27 08:53:18 +0200 | acidjnk | (~acidjnk@p200300d6e7072f405d546349bf45e467.dip0.t-ipconnect.de) |
2023-07-27 09:00:51 +0200 | hdggxin | (~hdggxin@122.175.41.19) (Ping timeout: 245 seconds) |
2023-07-27 09:07:21 +0200 | nattiestnate | (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) (Quit: WeeChat 4.0.2) |
2023-07-27 09:07:55 +0200 | nattiestnate | (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) |
2023-07-27 09:11:44 +0200 | michalz | (~michalz@185.246.207.218) (*.net *.split) |
2023-07-27 09:11:44 +0200 | trev | (~trev@user/trev) (*.net *.split) |
2023-07-27 09:11:44 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (*.net *.split) |
2023-07-27 09:11:44 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (*.net *.split) |
2023-07-27 09:11:44 +0200 | wagle | (~wagle@quassel.wagle.io) (*.net *.split) |
2023-07-27 09:11:44 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (*.net *.split) |
2023-07-27 09:11:44 +0200 | lbseale | (~quassel@user/ep1ctetus) (*.net *.split) |
2023-07-27 09:11:44 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) (*.net *.split) |
2023-07-27 09:11:44 +0200 | dsrt^ | (~cd@24.125.210.85) (*.net *.split) |
2023-07-27 09:11:44 +0200 | mauke | (~mauke@user/mauke) (*.net *.split) |
2023-07-27 09:11:44 +0200 | Sgeo | (~Sgeo@user/sgeo) (*.net *.split) |
2023-07-27 09:11:44 +0200 | komikat` | (~user@218.185.248.66) (*.net *.split) |
2023-07-27 09:11:44 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (*.net *.split) |
2023-07-27 09:11:44 +0200 | thelounge793 | (~thelounge@2a05:f480:1400:24b2:5400:4ff:fe76:a8f3) (*.net *.split) |
2023-07-27 09:11:44 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (*.net *.split) |
2023-07-27 09:11:44 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (*.net *.split) |
2023-07-27 09:11:44 +0200 | m1dnight | (~christoph@78-22-4-67.access.telenet.be) (*.net *.split) |
2023-07-27 09:11:44 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (*.net *.split) |
2023-07-27 09:11:44 +0200 | anpad | (~pandeyan@user/anpad) (*.net *.split) |
2023-07-27 09:11:44 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (*.net *.split) |
2023-07-27 09:11:44 +0200 | maerwald | (~maerwald@mail.hasufell.de) (*.net *.split) |
2023-07-27 09:11:44 +0200 | [Leary] | (~Leary]@user/Leary/x-0910699) (*.net *.split) |
2023-07-27 09:11:44 +0200 | litharge | (litharge@libera/bot/litharge) (*.net *.split) |
2023-07-27 09:11:44 +0200 | ChanServ | (ChanServ@services.libera.chat) (*.net *.split) |
2023-07-27 09:11:44 +0200 | jjhoo | (~jahakala@user/jjhoo) (*.net *.split) |
2023-07-27 09:11:44 +0200 | aforemny | (~aforemny@2001:9e8:6cfc:2a00:d5a2:6a3b:38ac:cbd4) (*.net *.split) |
2023-07-27 09:11:44 +0200 | libertyprime | (~libertypr@203.96.203.44) (*.net *.split) |
2023-07-27 09:11:44 +0200 | Vq | (~vq@90-227-195-9-no77.tbcn.telia.com) (*.net *.split) |
2023-07-27 09:11:44 +0200 | yaroot | (~yaroot@p3196076-ipngn7101souka.saitama.ocn.ne.jp) (*.net *.split) |
2023-07-27 09:11:44 +0200 | ft | (~ft@p3e9bc61e.dip0.t-ipconnect.de) (*.net *.split) |
2023-07-27 09:11:44 +0200 | Alex_test | (~al_test@178.34.162.202) (*.net *.split) |
2023-07-27 09:11:44 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (*.net *.split) |
2023-07-27 09:11:44 +0200 | foul_owl | (~kerry@185.219.141.162) (*.net *.split) |
2023-07-27 09:11:44 +0200 | darchitect | (~darchitec@2a00:23c6:3584:df01:ace3:21db:4a0c:96b1) (*.net *.split) |
2023-07-27 09:11:44 +0200 | ByronJohnson | (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) (*.net *.split) |
2023-07-27 09:11:44 +0200 | driib | (~driib@vmi931078.contaboserver.net) (*.net *.split) |
2023-07-27 09:11:44 +0200 | kimiamania60 | (~681cf57f@user/kimiamania) (*.net *.split) |
2023-07-27 09:11:44 +0200 | turlando | (~turlando@user/turlando) (*.net *.split) |
2023-07-27 09:11:44 +0200 | TheCatCollective | (NyaaTheKit@user/calculuscat) (*.net *.split) |
2023-07-27 09:11:44 +0200 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) (*.net *.split) |
2023-07-27 09:11:44 +0200 | bgamari | (~bgamari@70.16.98.14) (*.net *.split) |
2023-07-27 09:11:44 +0200 | mud | (~mud@user/kadoban) (*.net *.split) |
2023-07-27 09:11:44 +0200 | sefidel | (~sefidel@user/sefidel) (*.net *.split) |
2023-07-27 09:11:44 +0200 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (*.net *.split) |
2023-07-27 09:11:44 +0200 | Logio | (em@kapsi.fi) (*.net *.split) |
2023-07-27 09:11:44 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (*.net *.split) |
2023-07-27 09:11:45 +0200 | johnw | (~johnw@69.62.242.138) (*.net *.split) |
2023-07-27 09:11:45 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (*.net *.split) |
2023-07-27 09:11:45 +0200 | jrm | (~jrm@user/jrm) (*.net *.split) |
2023-07-27 09:11:45 +0200 | son0p | (~ff@181.136.122.143) (*.net *.split) |
2023-07-27 09:11:45 +0200 | Pent_ | (sid313808@id-313808.lymington.irccloud.com) (*.net *.split) |
2023-07-27 09:11:45 +0200 | tnks | (sid412124@id-412124.helmsley.irccloud.com) (*.net *.split) |
2023-07-27 09:11:45 +0200 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) (*.net *.split) |
2023-07-27 09:11:45 +0200 | Hafydd | (~Hafydd@user/hafydd) (*.net *.split) |
2023-07-27 09:11:45 +0200 | henrytill | (e0180937c3@2604:bf00:561:2000::e8c) (*.net *.split) |
2023-07-27 09:11:45 +0200 | acertain_ | (sid470584@id-470584.hampstead.irccloud.com) (*.net *.split) |
2023-07-27 09:11:45 +0200 | Moyst_ | (~moyst@user/moyst) (*.net *.split) |
2023-07-27 09:11:45 +0200 | [exa] | (~exa@user/exa/x-3587197) (*.net *.split) |
2023-07-27 09:11:45 +0200 | guygastineau | (~guygastin@137.184.131.156) (*.net *.split) |
2023-07-27 09:11:45 +0200 | hexeme_ | (~hexeme@user/hexeme) (*.net *.split) |
2023-07-27 09:11:45 +0200 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (*.net *.split) |
2023-07-27 09:11:45 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:b61c:443d:ba92:3071) (*.net *.split) |
2023-07-27 09:11:45 +0200 | Nosrep | (~Nosrep@user/nosrep) (*.net *.split) |
2023-07-27 09:11:45 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (*.net *.split) |
2023-07-27 09:11:45 +0200 | CiaoSen | (~Jura@2a05:5800:28b:8f00:664b:f0ff:fe37:9ef) (*.net *.split) |
2023-07-27 09:11:45 +0200 | ringo___ | (~ringo@157.230.117.128) (*.net *.split) |
2023-07-27 09:11:45 +0200 | Reinhilde | (ellenor@callbox.trd.is) (*.net *.split) |
2023-07-27 09:11:45 +0200 | berberman | (~berberman@user/berberman) (*.net *.split) |
2023-07-27 09:11:45 +0200 | joeyh | (joeyh@2600:3c03::f03c:91ff:fe73:b0d2) (*.net *.split) |
2023-07-27 09:11:45 +0200 | davetapley | (sid666@id-666.uxbridge.irccloud.com) (*.net *.split) |
2023-07-27 09:11:45 +0200 | gaze___ | (sid387101@id-387101.helmsley.irccloud.com) (*.net *.split) |
2023-07-27 09:11:45 +0200 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) (*.net *.split) |
2023-07-27 09:11:45 +0200 | infinity0 | (~infinity0@pwned.gg) (*.net *.split) |
2023-07-27 09:11:45 +0200 | nek0 | (~nek0@2a01:4f8:222:2b41::12) (*.net *.split) |
2023-07-27 09:11:45 +0200 | cheater | (~Username@user/cheater) (*.net *.split) |
2023-07-27 09:11:45 +0200 | img | (~img@user/img) (*.net *.split) |
2023-07-27 09:11:45 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) (*.net *.split) |
2023-07-27 09:11:45 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (*.net *.split) |
2023-07-27 09:11:45 +0200 | telser | (~quassel@user/telser) (*.net *.split) |
2023-07-27 09:11:45 +0200 | tv | (~tv@user/tv) (*.net *.split) |
2023-07-27 09:11:45 +0200 | extor | (~extor@ns3018124.ip-149-202-82.eu) (*.net *.split) |
2023-07-27 09:11:45 +0200 | hueso | (~root@user/hueso) (*.net *.split) |
2023-07-27 09:11:45 +0200 | jbalint | (~jbalint@2600:6c44:117f:e98a:816a:9488:fb1:7b7) (*.net *.split) |
2023-07-27 09:11:45 +0200 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (*.net *.split) |
2023-07-27 09:11:45 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (*.net *.split) |
2023-07-27 09:11:45 +0200 | troydm | (~troydm@user/troydm) (*.net *.split) |
2023-07-27 09:11:45 +0200 | mxs | (~mxs@user/mxs) (*.net *.split) |
2023-07-27 09:11:45 +0200 | arthurvl | (~arthurvl@77-174-49-144.fixed.kpn.net) (*.net *.split) |
2023-07-27 09:11:45 +0200 | h2t_ | (~h2t@user/h2t) (*.net *.split) |
2023-07-27 09:11:45 +0200 | megaTherion | (~therion@unix.io) (*.net *.split) |
2023-07-27 09:11:45 +0200 | Athas | (athas@sigkill.dk) (*.net *.split) |
2023-07-27 09:11:45 +0200 | sm2n | (ae95cb1267@user/sm2n) (*.net *.split) |
2023-07-27 09:11:45 +0200 | jleightcap | (7bc4014b62@user/jleightcap) (*.net *.split) |
2023-07-27 09:11:45 +0200 | JoelMcCracken | (5ea8252fbb@2604:bf00:561:2000::10e3) (*.net *.split) |
2023-07-27 09:11:45 +0200 | b0o | (0e4a0bf4c9@2604:bf00:561:2000::1bf) (*.net *.split) |
2023-07-27 09:11:45 +0200 | sus | (1b7af6299f@user/zeromomentum) (*.net *.split) |
2023-07-27 09:11:45 +0200 | rselim | (ce261f06ff@user/milesrout) (*.net *.split) |
2023-07-27 09:11:45 +0200 | Ankhers | (e99e97ef8e@2604:bf00:561:2000::2a2) (*.net *.split) |
2023-07-27 09:11:45 +0200 | fluffyballoon | (45ce440a48@2604:bf00:561:2000::e2) (*.net *.split) |
2023-07-27 09:11:45 +0200 | whereiseveryone | (206ba86c98@2604:bf00:561:2000::2e4) (*.net *.split) |
2023-07-27 09:11:45 +0200 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (*.net *.split) |
2023-07-27 09:11:45 +0200 | theesm | (2cbdf4b38a@2604:bf00:561:2000::11c8) (*.net *.split) |
2023-07-27 09:11:45 +0200 | arcadewise | (52968ed80d@2604:bf00:561:2000::3df) (*.net *.split) |
2023-07-27 09:11:45 +0200 | fvr | (ef3e56ca8b@2604:bf00:561:2000::3c4) (*.net *.split) |
2023-07-27 09:11:45 +0200 | jakzale | (6291399afa@user/jakzale) (*.net *.split) |
2023-07-27 09:11:45 +0200 | ggb | (a62ffbaf4f@2604:bf00:561:2000::3ac) (*.net *.split) |
2023-07-27 09:11:45 +0200 | bsima1 | (9d7e39c8ad@2604:bf00:561:2000::dd) (*.net *.split) |
2023-07-27 09:11:45 +0200 | jkoshy | (99b9359beb@user/jkoshy) (*.net *.split) |
2023-07-27 09:11:45 +0200 | n1essa | (3d621153a5@2604:bf00:561:2000::df7) (*.net *.split) |
2023-07-27 09:11:45 +0200 | lukec | (9dfd4d094e@2604:bf00:561:2000::10e) (*.net *.split) |
2023-07-27 09:11:45 +0200 | chaitlatte0 | (ea29c0bb16@2604:bf00:561:2000::1124) (*.net *.split) |
2023-07-27 09:11:45 +0200 | jil` | (~user@vps-15050500.vps.ovh.net) (*.net *.split) |
2023-07-27 09:11:45 +0200 | Wojciech_K | (~Wojciech_@2a01:4f9:6a:18a8::239) (*.net *.split) |
2023-07-27 09:11:45 +0200 | mmarusea1ph2 | (~mihai@mihai.page) (*.net *.split) |
2023-07-27 09:11:45 +0200 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (*.net *.split) |
2023-07-27 09:11:45 +0200 | ormaaaj | (~ormaaj@user/ormaaj) (*.net *.split) |
2023-07-27 09:11:45 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) (*.net *.split) |
2023-07-27 09:11:45 +0200 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) (*.net *.split) |
2023-07-27 09:11:45 +0200 | hamishmack | (sid389057@id-389057.hampstead.irccloud.com) (*.net *.split) |
2023-07-27 09:11:45 +0200 | agander_m | (sid407952@id-407952.tinside.irccloud.com) (*.net *.split) |
2023-07-27 09:11:45 +0200 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (*.net *.split) |
2023-07-27 09:11:45 +0200 | lieven | (~mal@ns2.wyrd.be) (*.net *.split) |
2023-07-27 09:11:45 +0200 | kawzeg | (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) (*.net *.split) |
2023-07-27 09:11:45 +0200 | lexi-lambda | (sid92601@id-92601.hampstead.irccloud.com) (*.net *.split) |
2023-07-27 09:11:45 +0200 | T_S__ | (sid501726@id-501726.uxbridge.irccloud.com) (*.net *.split) |
2023-07-27 09:11:45 +0200 | codedmart | (codedmart@2600:3c01::f03c:92ff:fefe:8511) (*.net *.split) |
2023-07-27 09:11:45 +0200 | aristid | (sid1599@id-1599.uxbridge.irccloud.com) (*.net *.split) |
2023-07-27 09:11:45 +0200 | xnbya | (~xnbya@2a01:4f8:c17:cbdd::1) (*.net *.split) |
2023-07-27 09:11:45 +0200 | glider | (~glider@user/glider) (*.net *.split) |
2023-07-27 09:11:45 +0200 | venkateshK[m] | (~randomint@2001:470:69fc:105::3:852e) (*.net *.split) |
2023-07-27 09:11:45 +0200 | marinelli[m] | (~marinelli@2001:470:69fc:105::2d8) (*.net *.split) |
2023-07-27 09:11:45 +0200 | HerlockSholmes | (~herlock@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) (*.net *.split) |
2023-07-27 09:11:45 +0200 | cyphase | (~cyphase@user/cyphase) (*.net *.split) |
2023-07-27 09:11:45 +0200 | malte | (~malte@mal.tc) (*.net *.split) |
2023-07-27 09:11:45 +0200 | shryke | (~shryke@2a00:4b00:13c:cc:b27b:25ff:fe18:efd) (*.net *.split) |
2023-07-27 09:11:45 +0200 | the_guruji[m] | (~theguruji@2001:470:69fc:105::3:825f) (*.net *.split) |
2023-07-27 09:11:45 +0200 | vgtw | (~vgtw@user/vgtw) (*.net *.split) |
2023-07-27 09:11:45 +0200 | cassiope1 | (~cassiopea@user/cassiopea) (*.net *.split) |
2023-07-27 09:11:45 +0200 | Philonous_ | (~Philonous@user/philonous) (*.net *.split) |
2023-07-27 09:11:45 +0200 | kraftwerk28_ | (~kraftwerk@178.62.210.83) (*.net *.split) |
2023-07-27 09:11:45 +0200 | meooow_ | (~meooow@165.232.184.169) (*.net *.split) |
2023-07-27 09:11:45 +0200 | piele_ | (~piele@tbonesteak.creativeserver.net) (*.net *.split) |
2023-07-27 09:11:45 +0200 | adamCS | (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (*.net *.split) |
2023-07-27 09:11:45 +0200 | bah_ | (~bah@l1.tel) (*.net *.split) |
2023-07-27 09:11:45 +0200 | sviermsung | (spxLkMy9HV@user/s4msung) (*.net *.split) |
2023-07-27 09:11:45 +0200 | hexology | (~hexology@user/hexology) (*.net *.split) |
2023-07-27 09:11:45 +0200 | finnekit | (~finnekit@fsf/member/finnekit) (*.net *.split) |
2023-07-27 09:11:45 +0200 | NemesisD | (sid24071@id-24071.lymington.irccloud.com) (*.net *.split) |
2023-07-27 09:11:45 +0200 | koz | (~koz@121.99.240.58) (*.net *.split) |
2023-07-27 09:11:45 +0200 | int-e | (~noone@int-e.eu) (*.net *.split) |
2023-07-27 09:11:45 +0200 | kronicma1 | (user37546@neotame.csclub.uwaterloo.ca) (*.net *.split) |
2023-07-27 09:11:45 +0200 | qhong | (~qhong@DN160vrd000d6kpg009l6c0000fj.stanford.edu) (*.net *.split) |
2023-07-27 09:11:45 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (*.net *.split) |
2023-07-27 09:11:45 +0200 | opqdonut | (opqdonut@pseudo.fixme.fi) (*.net *.split) |
2023-07-27 09:11:45 +0200 | Ekho | (~Ekho@user/ekho) (*.net *.split) |
2023-07-27 09:11:45 +0200 | danso | (~danso@user/danso) (*.net *.split) |
2023-07-27 09:11:45 +0200 | Batzy | (~quassel@user/batzy) (*.net *.split) |
2023-07-27 09:11:45 +0200 | ell | (~ellie@user/ellie) (*.net *.split) |
2023-07-27 09:11:45 +0200 | jludwig | (~justin@li657-110.members.linode.com) (*.net *.split) |
2023-07-27 09:11:45 +0200 | finsternis | (~X@23.226.237.192) (*.net *.split) |
2023-07-27 09:11:45 +0200 | ribosomerocker[m | (~ribosomer@2001:470:69fc:105::3:8ac7) (*.net *.split) |
2023-07-27 09:11:45 +0200 | hellwolf | (~user@5b3d-5cac-bb28-d008-0f00-4d40-07d0-2001.sta.estpak.ee) (*.net *.split) |
2023-07-27 09:11:45 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (*.net *.split) |
2023-07-27 09:11:46 +0200 | hololeap | (~quassel@user/hololeap) (*.net *.split) |
2023-07-27 09:11:46 +0200 | mira | (~aranea@wireguard/contributorcat/mira) (*.net *.split) |
2023-07-27 09:11:46 +0200 | xosdy[m] | (~xosdymozi@2001:470:69fc:105::2:63f7) (*.net *.split) |
2023-07-27 09:11:46 +0200 | ryantrinkle | (~ryantrink@204.2.90.61) (*.net *.split) |
2023-07-27 09:11:46 +0200 | alternateved | (77c0810639@2604:bf00:561:2000::11f0) (*.net *.split) |
2023-07-27 09:11:46 +0200 | jmcantrell | (~jmcantrel@user/jmcantrell) (*.net *.split) |
2023-07-27 09:11:46 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) (*.net *.split) |
2023-07-27 09:11:46 +0200 | AWizzArd | (~code@gehrels.uberspace.de) (*.net *.split) |
2023-07-27 09:11:46 +0200 | mjacob | (~mjacob@adrastea.uberspace.de) (*.net *.split) |
2023-07-27 09:11:46 +0200 | ysh____ | (sid6017@id-6017.ilkley.irccloud.com) (*.net *.split) |
2023-07-27 09:11:46 +0200 | monochrom | (trebla@216.138.220.146) (*.net *.split) |
2023-07-27 09:11:46 +0200 | byte | (~byte@user/byte) (*.net *.split) |
2023-07-27 09:11:46 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) (*.net *.split) |
2023-07-27 09:11:46 +0200 | ent | (entgod@kapsi.fi) (*.net *.split) |
2023-07-27 09:11:46 +0200 | tstat | (~tstat@user/tstat) (*.net *.split) |
2023-07-27 09:11:46 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (*.net *.split) |
2023-07-27 09:11:46 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (*.net *.split) |
2023-07-27 09:11:46 +0200 | connrs | (~connrs@user/connrs) (*.net *.split) |
2023-07-27 09:11:46 +0200 | dolio | (~dolio@130.44.134.54) (*.net *.split) |
2023-07-27 09:11:46 +0200 | AlexNoo | (~AlexNoo@178.34.162.202) (*.net *.split) |
2023-07-27 09:11:46 +0200 | ian_ | (~ian@matrix.chaos.earth.li) (*.net *.split) |
2023-07-27 09:11:46 +0200 | energizer | (~energizer@user/energizer) (*.net *.split) |
2023-07-27 09:11:46 +0200 | absence_ | (torgeihe@hildring.pvv.ntnu.no) (*.net *.split) |
2023-07-27 09:11:46 +0200 | Unode | (~Unode@fg-ext-220.embl.de) (*.net *.split) |
2023-07-27 09:11:46 +0200 | paddymahoney | (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) (*.net *.split) |
2023-07-27 09:11:46 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) (*.net *.split) |
2023-07-27 09:11:46 +0200 | czy | (~user@host-140-26.ilcub310.champaign.il.us.clients.pavlovmedia.net) (*.net *.split) |
2023-07-27 09:11:46 +0200 | kitzman | (~kitzman@user/dekenevs) (*.net *.split) |
2023-07-27 09:11:46 +0200 | it_ | (~quassel@v2202212189510211193.supersrv.de) (*.net *.split) |
2023-07-27 09:11:46 +0200 | robbert-vdh | (~robbert@robbertvanderhelm.nl) (*.net *.split) |
2023-07-27 09:11:46 +0200 | matijja | (~matijja@193.77.181.201) (*.net *.split) |
2023-07-27 09:11:46 +0200 | caubert | (~caubert@user/caubert) (*.net *.split) |
2023-07-27 09:11:46 +0200 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (*.net *.split) |
2023-07-27 09:11:46 +0200 | bcmiller | (~bm3719@66.42.95.185) (*.net *.split) |
2023-07-27 09:11:46 +0200 | Deide | (d0130db69a@user/deide) (*.net *.split) |
2023-07-27 09:11:46 +0200 | shane | (~shane@ana.rch.ist) (*.net *.split) |
2023-07-27 09:11:46 +0200 | Dykam | (Dykam@dykam.nl) (*.net *.split) |
2023-07-27 09:11:46 +0200 | arahael | (~arahael@115-64-199-191.tpgi.com.au) (*.net *.split) |
2023-07-27 09:11:46 +0200 | xsarnik | (xsarnik@lounge.fi.muni.cz) (*.net *.split) |
2023-07-27 09:11:46 +0200 | shachaf | (~shachaf@user/shachaf) (*.net *.split) |
2023-07-27 09:11:46 +0200 | nurupo | (~nurupo.ga@user/nurupo) (*.net *.split) |
2023-07-27 09:11:46 +0200 | noctux | (~noctux@user/noctux) (*.net *.split) |
2023-07-27 09:11:46 +0200 | kadenwolff[m] | (~kadenwolf@2001:470:69fc:105::1:d97f) (*.net *.split) |
2023-07-27 09:11:46 +0200 | boxscape[m] | (~jabruenma@2001:470:69fc:105::3:88e7) (*.net *.split) |
2023-07-27 09:11:46 +0200 | FurudeRika[m] | (~chitandae@2001:470:69fc:105::1:6039) (*.net *.split) |
2023-07-27 09:11:46 +0200 | JanusTroelsen[m] | (~janustmat@2001:470:69fc:105::3:7e89) (*.net *.split) |
2023-07-27 09:11:46 +0200 | akadude[m] | (~akadudema@2001:470:69fc:105::2:5bf7) (*.net *.split) |
2023-07-27 09:11:46 +0200 | hsiktas[m] | (~hsiktasm]@2001:470:69fc:105::30d4) (*.net *.split) |
2023-07-27 09:11:46 +0200 | Null_A[m] | (~jasonjckn@2001:470:69fc:105::bb85) (*.net *.split) |
2023-07-27 09:11:46 +0200 | aaronv | (~aaronv@user/aaronv) (*.net *.split) |
2023-07-27 09:11:46 +0200 | hammond | (proscan@gateway02.insomnia247.nl) (*.net *.split) |
2023-07-27 09:11:46 +0200 | maralorn | (~maralorn@2001:470:69fc:105::251) (*.net *.split) |
2023-07-27 09:11:46 +0200 | Buliarous | (~gypsydang@46.232.210.139) (*.net *.split) |
2023-07-27 09:11:46 +0200 | ManofLetters[m] | (~manoflett@2001:470:69fc:105::3be) (*.net *.split) |
2023-07-27 09:11:46 +0200 | paulapatience | (~paulapati@2001:470:69fc:105::16a4) (*.net *.split) |
2023-07-27 09:11:46 +0200 | Nate[m] | (~m52957mat@2001:470:69fc:105::1:591a) (*.net *.split) |
2023-07-27 09:11:46 +0200 | peutri | (~peutri@bobo.desast.re) (*.net *.split) |
2023-07-27 09:11:47 +0200 | hyvoid | (~hyenavoid@222-0-178-69.static.gci.net) (*.net *.split) |
2023-07-27 09:11:47 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (*.net *.split) |
2023-07-27 09:11:47 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (*.net *.split) |
2023-07-27 09:11:47 +0200 | califax | (~califax@user/califx) (*.net *.split) |
2023-07-27 09:11:47 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (*.net *.split) |
2023-07-27 09:11:47 +0200 | ec | (~ec@gateway/tor-sasl/ec) (*.net *.split) |
2023-07-27 09:11:47 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (*.net *.split) |
2023-07-27 09:11:47 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (*.net *.split) |
2023-07-27 09:11:47 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (*.net *.split) |
2023-07-27 09:11:47 +0200 | deb776[m] | (~deb776ted@2001:470:69fc:105::3:84c5) (*.net *.split) |
2023-07-27 09:11:47 +0200 | end^ | (~end^@user/end/x-0094621) (*.net *.split) |
2023-07-27 09:11:47 +0200 | aniketd[m] | (~aniketdma@2001:470:69fc:105::dede) (*.net *.split) |
2023-07-27 09:11:47 +0200 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) (*.net *.split) |
2023-07-27 09:11:47 +0200 | JensPetersen[m] | (~juhp@2001:470:69fc:105::6e9) (*.net *.split) |
2023-07-27 09:11:47 +0200 | LenaDresner[m] | (~lenadresn@2001:470:69fc:105::3:3c53) (*.net *.split) |
2023-07-27 09:11:47 +0200 | stites[m] | (~stitesbee@2001:470:69fc:105::3:7bdc) (*.net *.split) |
2023-07-27 09:11:47 +0200 | jaror[m] | (~jaror@2001:470:69fc:105::265) (*.net *.split) |
2023-07-27 09:11:47 +0200 | Clinton[m] | (~clintonme@2001:470:69fc:105::2:31d4) (*.net *.split) |
2023-07-27 09:11:47 +0200 | lamnou[m] | (~lamnoumat@2001:470:69fc:105::3:7a7e) (*.net *.split) |
2023-07-27 09:11:47 +0200 | ners[m] | (~nersnixos@2001:470:69fc:105::3:648b) (*.net *.split) |
2023-07-27 09:11:47 +0200 | yoggurt[m] | (~yoggurtma@2001:470:69fc:105::2:ba5) (*.net *.split) |
2023-07-27 09:11:47 +0200 | ozkutuk[m] | (~ozkutuk@2001:470:69fc:105::2:9af8) (*.net *.split) |
2023-07-27 09:11:47 +0200 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) (*.net *.split) |
2023-07-27 09:11:47 +0200 | koolazer | (~koo@user/koolazer) (*.net *.split) |
2023-07-27 09:11:47 +0200 | zfnmxt | (~zfnmxt@user/zfnmxt) (*.net *.split) |
2023-07-27 09:11:47 +0200 | SethTisue_ | (sid14912@id-14912.ilkley.irccloud.com) (*.net *.split) |
2023-07-27 09:11:47 +0200 | mrvdb | (~mrvdb@185.92.221.186) (*.net *.split) |
2023-07-27 09:11:47 +0200 | Christoph[m] | (~hpotsirhc@2001:470:69fc:105::2ff8) (*.net *.split) |
2023-07-27 09:11:47 +0200 | alexfmpe[m] | (~alexfmpem@2001:470:69fc:105::38ba) (*.net *.split) |
2023-07-27 09:11:47 +0200 | MangoIV[m] | (~mangoivma@2001:470:69fc:105::2:8417) (*.net *.split) |
2023-07-27 09:11:47 +0200 | cawfee | (~root@2406:3003:2077:2758::babe) (*.net *.split) |
2023-07-27 09:11:47 +0200 | [_________] | (~oos95GWG@user/oos95GWG) (*.net *.split) |
2023-07-27 09:11:47 +0200 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) (*.net *.split) |
2023-07-27 09:11:47 +0200 | nomagno | (~nomagno@2001:470:69fc:105::c1f0) (*.net *.split) |
2023-07-27 09:11:47 +0200 | fendor[m] | (~fendormat@2001:470:69fc:105::fcbd) (*.net *.split) |
2023-07-27 09:11:47 +0200 | kadoban | (~kadoban@user/kadoban) (*.net *.split) |
2023-07-27 09:11:47 +0200 | justache | (~justache@user/justache) (*.net *.split) |
2023-07-27 09:11:47 +0200 | DigitalKiwi | (~kiwi@2604:a880:400:d0::1ca0:e001) (*.net *.split) |
2023-07-27 09:11:47 +0200 | krjt | (~krjst@2604:a880:800:c1::16b:8001) (*.net *.split) |
2023-07-27 09:11:47 +0200 | andreas303 | (andreas303@is.drunk.and.ready-to.party) (*.net *.split) |
2023-07-27 09:11:47 +0200 | Raito_Bezarius | (~Raito@2001:470:ca5e:dee:f482:b4ff:fe18:2d7d) (*.net *.split) |
2023-07-27 09:11:47 +0200 | sphynx | (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) (*.net *.split) |
2023-07-27 09:11:47 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (*.net *.split) |
2023-07-27 09:11:47 +0200 | asivitz | (uid178348@id-178348.tinside.irccloud.com) (*.net *.split) |
2023-07-27 09:11:47 +0200 | buhman | (sid411355@user/buhman) (*.net *.split) |
2023-07-27 09:11:47 +0200 | jmct | (sid160793@id-160793.tinside.irccloud.com) (*.net *.split) |
2023-07-27 09:11:47 +0200 | lally | (sid388228@id-388228.uxbridge.irccloud.com) (*.net *.split) |
2023-07-27 09:11:47 +0200 | PotatoGim | (sid99505@id-99505.lymington.irccloud.com) (*.net *.split) |
2023-07-27 09:11:47 +0200 | Jon | (jon@dow.land) (*.net *.split) |
2023-07-27 09:11:47 +0200 | adeptangel | (cren@tilde.team) (*.net *.split) |
2023-07-27 09:11:47 +0200 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) (*.net *.split) |
2023-07-27 09:11:47 +0200 | doyougnu | (~doyougnu@45.46.170.68) (*.net *.split) |
2023-07-27 09:11:47 +0200 | geekosaur[c] | (sid609282@xmonad/geekosaur) (*.net *.split) |
2023-07-27 09:11:47 +0200 | chessai | (sid225296@id-225296.lymington.irccloud.com) (*.net *.split) |
2023-07-27 09:11:47 +0200 | kristjansson_ | (sid126207@id-126207.tinside.irccloud.com) (*.net *.split) |
2023-07-27 09:11:47 +0200 | ncf | (~n@monade.li) (*.net *.split) |
2023-07-27 09:11:47 +0200 | nonzen_ | (~nonzen@user/nonzen) (*.net *.split) |
2023-07-27 09:11:47 +0200 | anderson | (~anderson@user/anderson) (*.net *.split) |
2023-07-27 09:11:47 +0200 | sajith | (~sajith@user/sajith) (*.net *.split) |
2023-07-27 09:11:47 +0200 | CAT_S | (apic@brezn3.muc.ccc.de) (*.net *.split) |
2023-07-27 09:11:47 +0200 | samhh | (7569f027cf@2604:bf00:561:2000::e4) (*.net *.split) |
2023-07-27 09:11:47 +0200 | dfordvm | (~dfordivam@160.16.87.223.v6.sakura.ne.jp) (*.net *.split) |
2023-07-27 09:11:47 +0200 | minigrim0 | (~minigrim0@2a01:4f9:6b:3416:68ba:8dff:fe58:a5ea) (*.net *.split) |
2023-07-27 09:11:47 +0200 | skippy | (sid26890@user/slice) (*.net *.split) |
2023-07-27 09:11:47 +0200 | Fangs | (sid141280@id-141280.hampstead.irccloud.com) (*.net *.split) |
2023-07-27 09:11:47 +0200 | emergence | (emergence@2607:5300:60:5910:dcad:beff:feef:5bc) (*.net *.split) |
2023-07-27 09:11:47 +0200 | tinwood | (~tinwood@canonical/tinwood) (*.net *.split) |
2023-07-27 09:11:47 +0200 | amir | (sid22336@user/amir) (*.net *.split) |
2023-07-27 09:11:47 +0200 | SanchayanMaity | (sid478177@id-478177.hampstead.irccloud.com) (*.net *.split) |
2023-07-27 09:11:47 +0200 | defanor | (~defanor@tart.uberspace.net) (*.net *.split) |
2023-07-27 09:11:47 +0200 | carter | (sid14827@id-14827.helmsley.irccloud.com) (*.net *.split) |
2023-07-27 09:11:47 +0200 | maxfan8_ | (~max@2a01:4f8:192:5356::2) (*.net *.split) |
2023-07-27 09:11:47 +0200 | delyan_ | (sid523379@id-523379.hampstead.irccloud.com) (*.net *.split) |
2023-07-27 09:11:47 +0200 | edwardk | (sid47016@haskell/developer/edwardk) (*.net *.split) |
2023-07-27 09:11:47 +0200 | S11001001 | (sid42510@id-42510.ilkley.irccloud.com) (*.net *.split) |
2023-07-27 09:11:47 +0200 | ario | (~ario@159.65.220.102) (*.net *.split) |
2023-07-27 09:11:47 +0200 | oats_ | (~thomas@user/oats) (*.net *.split) |
2023-07-27 09:11:47 +0200 | nisstyre | (wes@user/nisstyre) (*.net *.split) |
2023-07-27 09:11:47 +0200 | chymera | (~chymera@ns1000526.ip-51-81-46.us) (*.net *.split) |
2023-07-27 09:11:47 +0200 | wallymathieu | (sid533252@id-533252.uxbridge.irccloud.com) (*.net *.split) |
2023-07-27 09:11:47 +0200 | degraafk | (sid71464@id-71464.lymington.irccloud.com) (*.net *.split) |
2023-07-27 09:11:47 +0200 | yvan-sraka | (sid419690@id-419690.lymington.irccloud.com) (*.net *.split) |
2023-07-27 09:11:47 +0200 | welterde | (welterde@thinkbase.srv.welterde.de) (*.net *.split) |
2023-07-27 09:11:47 +0200 | vjoki | (~vjoki@2a00:d880:3:1::fea1:9ae) (*.net *.split) |
2023-07-27 09:11:47 +0200 | sa | (sid1055@id-1055.tinside.irccloud.com) (*.net *.split) |
2023-07-27 09:11:47 +0200 | evanrelf | (3addc196af@2604:bf00:561:2000::f0) (*.net *.split) |
2023-07-27 09:11:47 +0200 | retropikzel | (9d1a4f9f46@2604:bf00:561:2000::ce) (*.net *.split) |
2023-07-27 09:11:47 +0200 | 068AAA5TF | (7569f027cf@2604:bf00:561:2000::e4) (*.net *.split) |
2023-07-27 09:11:47 +0200 | ymherklotz | (cb2c9cfbdd@2604:bf00:561:2000::29a) (*.net *.split) |
2023-07-27 09:11:47 +0200 | probie | (cc0b34050a@user/probie) (*.net *.split) |
2023-07-27 09:11:47 +0200 | cpli | (77fc530071@2604:bf00:561:2000::252) (*.net *.split) |
2023-07-27 09:11:47 +0200 | filwisher | (2e6936c793@2604:bf00:561:2000::170) (*.net *.split) |
2023-07-27 09:11:48 +0200 | Patternmaster | (~georg@user/Patternmaster) (*.net *.split) |
2023-07-27 09:11:48 +0200 | bw_ | (sid2730@user/betawaffle) (*.net *.split) |
2023-07-27 09:11:48 +0200 | PHO` | (~pho@akari.cielonegro.org) (*.net *.split) |
2023-07-27 09:11:48 +0200 | MironZ | (~MironZ@nat-infra.ehlab.uk) (*.net *.split) |
2023-07-27 09:11:48 +0200 | diagprov | (sid348783@user/diagprov) (*.net *.split) |
2023-07-27 09:11:48 +0200 | yangby | (~secret@183.128.108.131) (*.net *.split) |
2023-07-27 09:11:48 +0200 | Guest5267 | (~finn@176-151-21-224.abo.bbox.fr) (*.net *.split) |
2023-07-27 09:11:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (*.net *.split) |
2023-07-27 09:11:48 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (*.net *.split) |
2023-07-27 09:11:48 +0200 | AlexZenon | (~alzenon@178.34.162.202) (*.net *.split) |
2023-07-27 09:11:48 +0200 | tired | (~tired@user/tired) (*.net *.split) |
2023-07-27 09:11:48 +0200 | swistak | (~swistak@185.21.216.141) (*.net *.split) |
2023-07-27 09:11:48 +0200 | NinjaTrappeur | (~ninja@hardin.alternativebit.fr) (*.net *.split) |
2023-07-27 09:11:48 +0200 | gentauro | (~gentauro@user/gentauro) (*.net *.split) |
2023-07-27 09:11:48 +0200 | Helle | (~helle@user/Helle) (*.net *.split) |
2023-07-27 09:11:48 +0200 | fun-safe-math | (~fun-safe-@c-24-21-234-147.hsd1.or.comcast.net) (*.net *.split) |
2023-07-27 09:11:48 +0200 | m5zs7k | (aquares@web10.mydevil.net) (*.net *.split) |
2023-07-27 09:11:48 +0200 | echoreply | (~echoreply@45.32.163.16) (*.net *.split) |
2023-07-27 09:11:48 +0200 | nckx | (~nckx@guix/contributor/nckx) (*.net *.split) |
2023-07-27 09:11:48 +0200 | rembo10 | (~rembo10@main.remulis.com) (*.net *.split) |
2023-07-27 09:11:48 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (*.net *.split) |
2023-07-27 09:11:48 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (*.net *.split) |
2023-07-27 09:11:48 +0200 | manwithluck | (manwithluc@52.197.234.151) (*.net *.split) |
2023-07-27 09:11:48 +0200 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) (*.net *.split) |
2023-07-27 09:11:48 +0200 | tomku | (~tomku@user/tomku) (*.net *.split) |
2023-07-27 09:11:48 +0200 | Everything | (~Everythin@static.208.206.21.65.clients.your-server.de) (*.net *.split) |
2023-07-27 09:11:48 +0200 | dumptruckman | (~dumptruck@143-42-184-47.ip.linodeusercontent.com) (*.net *.split) |
2023-07-27 09:11:48 +0200 | texasmynsted | (~username@99.96.221.112) (*.net *.split) |
2023-07-27 09:11:48 +0200 | dfg | (~dfg@user/dfg) (*.net *.split) |
2023-07-27 09:11:48 +0200 | Hooloovoo | (~Hooloovoo@hax0rbana.org) (*.net *.split) |
2023-07-27 09:11:48 +0200 | lyxia | (~lyxia@poisson.chat) (*.net *.split) |
2023-07-27 09:11:48 +0200 | tokie | (~tokie@tokie.net) (*.net *.split) |
2023-07-27 09:11:48 +0200 | sudden | (~cat@user/sudden) (*.net *.split) |
2023-07-27 09:11:48 +0200 | sympt | (~sympt@user/sympt) (*.net *.split) |
2023-07-27 09:11:48 +0200 | zincy | (~tom@host81-151-255-71.range81-151.btcentralplus.com) (*.net *.split) |
2023-07-27 09:11:48 +0200 | tomsmeding | (~tomsmedin@static.21.109.88.23.clients.your-server.de) (*.net *.split) |
2023-07-27 09:11:48 +0200 | lawt | (~lawt@129.159.36.129) (*.net *.split) |
2023-07-27 09:11:48 +0200 | dminuoso | (~dminuoso@user/dminuoso) (*.net *.split) |
2023-07-27 09:11:48 +0200 | simpleauthority | (~simpleaut@user/simpleauthority) (*.net *.split) |
2023-07-27 09:11:48 +0200 | ridcully_ | (~ridcully@p57b52f2c.dip0.t-ipconnect.de) (*.net *.split) |
2023-07-27 09:11:48 +0200 | canta | (~canta@user/canta) (*.net *.split) |
2023-07-27 09:11:48 +0200 | df | (~ben@justworks.xyz) (*.net *.split) |
2023-07-27 09:11:48 +0200 | incertia | (~incertia@209.122.71.127) (*.net *.split) |
2023-07-27 09:11:48 +0200 | gawen | (~gawen@user/gawen) (*.net *.split) |
2023-07-27 09:11:48 +0200 | ouroboros | (~ouroboros@user/ouroboros) (*.net *.split) |
2023-07-27 09:11:48 +0200 | kawen | (~quassel@static.208.191.216.95.clients.your-server.de) (*.net *.split) |
2023-07-27 09:11:48 +0200 | nicole | (ilbelkyr@libera/staff/ilbelkyr) (*.net *.split) |
2023-07-27 09:11:48 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (*.net *.split) |
2023-07-27 09:11:48 +0200 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) (*.net *.split) |
2023-07-27 09:11:48 +0200 | highvoltage | (~highvolt@bcdcac82.skybroadband.com) (*.net *.split) |
2023-07-27 09:11:48 +0200 | natto | (~natto@140.238.225.67) (*.net *.split) |
2023-07-27 09:11:48 +0200 | Putonlalla | (~Putonlall@it-cyan.it.jyu.fi) (*.net *.split) |
2023-07-27 09:11:48 +0200 | Noinia | (~Frank@77-162-168-71.fixed.kpn.net) (*.net *.split) |
2023-07-27 09:11:48 +0200 | nshepper1 | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (*.net *.split) |
2023-07-27 09:11:48 +0200 | JSharp | (sid4580@id-4580.lymington.irccloud.com) (*.net *.split) |
2023-07-27 09:11:48 +0200 | caasih | (sid13241@id-13241.ilkley.irccloud.com) (*.net *.split) |
2023-07-27 09:11:48 +0200 | hook54321 | (sid149355@user/hook54321) (*.net *.split) |
2023-07-27 09:11:48 +0200 | rachelambda | (~rachelamb@78-67-128-99-no247.tbcn.telia.com) (*.net *.split) |
2023-07-27 09:11:48 +0200 | teddyc | (theodorc@cassarossa.samfundet.no) (*.net *.split) |
2023-07-27 09:11:48 +0200 | tureba | (~tureba@tureba.org) (*.net *.split) |
2023-07-27 09:11:48 +0200 | edmundnoble_ | (sid229620@id-229620.helmsley.irccloud.com) (*.net *.split) |
2023-07-27 09:11:48 +0200 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) (*.net *.split) |
2023-07-27 09:11:48 +0200 | rune_ | (sid21167@id-21167.ilkley.irccloud.com) (*.net *.split) |
2023-07-27 09:11:48 +0200 | AndreasK | (sid320732@id-320732.uxbridge.irccloud.com) (*.net *.split) |
2023-07-27 09:11:48 +0200 | hongminhee | (sid295@id-295.tinside.irccloud.com) (*.net *.split) |
2023-07-27 09:11:48 +0200 | V | (~v@ircpuzzles/2022/april/winner/V) (*.net *.split) |
2023-07-27 09:11:48 +0200 | scav | (sid309693@user/scav) (*.net *.split) |
2023-07-27 09:11:48 +0200 | Momentum | (momentum@2607:5300:60:4f58::248) (*.net *.split) |
2023-07-27 09:11:48 +0200 | rubin55 | (sid175221@2a03:5180:f:4::2:ac75) (*.net *.split) |
2023-07-27 09:11:48 +0200 | jonrh_ | (sid5185@2a03:5180:f:3::1441) (*.net *.split) |
2023-07-27 09:11:48 +0200 | mrmonday | (~robert@2a01:7e00:e000:1b2:95ca:100:49e0:3f15) (*.net *.split) |
2023-07-27 09:11:48 +0200 | bjs | (sid190364@user/bjs) (*.net *.split) |
2023-07-27 09:11:48 +0200 | jakesyl____ | (sid56879@2a03:5180:f:4::de2f) (*.net *.split) |
2023-07-27 09:11:48 +0200 | farn | (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (*.net *.split) |
2023-07-27 09:11:48 +0200 | zups | (~meow@2a01:4f9:c010:6036::1) (*.net *.split) |
2023-07-27 09:11:48 +0200 | mustafa | (sid502723@rockylinux/releng/mustafa) (*.net *.split) |
2023-07-27 09:11:48 +0200 | snek | (sid280155@2a03:5180:f:2::4:465b) (*.net *.split) |
2023-07-27 09:11:48 +0200 | edm | (sid147314@2a03:5180:f:4::2:3f72) (*.net *.split) |
2023-07-27 09:11:48 +0200 | truckasaurus | (sid457088@id-457088.helmsley.irccloud.com) (*.net *.split) |
2023-07-27 09:11:48 +0200 | Boarders___ | (sid425905@id-425905.lymington.irccloud.com) (*.net *.split) |
2023-07-27 09:11:48 +0200 | xerox | (~edi@user/edi) (*.net *.split) |
2023-07-27 09:11:48 +0200 | siers | (~ij@user/ij) (*.net *.split) |
2023-07-27 09:11:48 +0200 | Rembane | (~Rembane@178.79.177.36) (*.net *.split) |
2023-07-27 09:11:48 +0200 | davean | (~davean@67.205.182.208) (*.net *.split) |
2023-07-27 09:11:48 +0200 | darkling | (~darkling@2001:ba8:1f1:f0e6::2) (*.net *.split) |
2023-07-27 09:11:49 +0200 | winny | (~weechat@user/winny) (*.net *.split) |
2023-07-27 09:11:49 +0200 | parseval | (sid239098@2a03:5180:f:1::3:a5fa) (*.net *.split) |
2023-07-27 09:11:49 +0200 | Adeon | (sid418992@2a03:5180:f:2::6:64b0) (*.net *.split) |
2023-07-27 09:11:49 +0200 | astra | (sid289983@2a03:5180:f:4::4:6cbf) (*.net *.split) |
2023-07-27 09:11:49 +0200 | conjunctive | (sid433686@2a03:5180:f:1::6:9e16) (*.net *.split) |
2023-07-27 09:11:49 +0200 | dy | (sid3438@user/dy) (*.net *.split) |
2023-07-27 09:11:49 +0200 | nadja | (~dequbed@2a01:4f8:201:34c7::1) (*.net *.split) |
2023-07-27 09:11:49 +0200 | mzg | (mzg@lazy.unconscious.biz) (*.net *.split) |
2023-07-27 09:11:49 +0200 | idnar | (sid12240@debian/mithrandi) (*.net *.split) |
2023-07-27 09:11:49 +0200 | dsal | (sid13060@id-13060.lymington.irccloud.com) (*.net *.split) |
2023-07-27 09:11:49 +0200 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) (*.net *.split) |
2023-07-27 09:11:49 +0200 | tritlo_ | (sid58727@id-58727.hampstead.irccloud.com) (*.net *.split) |
2023-07-27 09:11:49 +0200 | glowcoil | (sid3405@id-3405.tinside.irccloud.com) (*.net *.split) |
2023-07-27 09:11:49 +0200 | integral | (sid296274@user/integral) (*.net *.split) |
2023-07-27 09:11:49 +0200 | ProofTechnique_ | (sid79547@id-79547.ilkley.irccloud.com) (*.net *.split) |
2023-07-27 09:11:49 +0200 | immae | (~immae@2a01:4f8:141:53e7::) (*.net *.split) |
2023-07-27 09:11:49 +0200 | ocharles[m] | (~ocharlesm@2001:470:69fc:105::3:5899) (*.net *.split) |
2023-07-27 09:11:49 +0200 | Matthew|m | (~arathorn@2001:470:69fc:105::1f) (*.net *.split) |
2023-07-27 09:11:49 +0200 | zebrag[m] | (~inkbottle@2001:470:69fc:105::2ff5) (*.net *.split) |
2023-07-27 09:11:49 +0200 | sm | (~sm@plaintextaccounting/sm) (*.net *.split) |
2023-07-27 09:11:49 +0200 | mon_aaraj | (~montchncs@2001:470:69fc:105::8e6b) (*.net *.split) |
2023-07-27 09:11:49 +0200 | joyfulmantis[m] | (~joyfulman@2001:470:69fc:105::3:400a) (*.net *.split) |
2023-07-27 09:11:49 +0200 | supersven[m] | (~supersven@2001:470:69fc:105::31b6) (*.net *.split) |
2023-07-27 09:11:49 +0200 | bgamari[m] | (~bgamari@2001:470:69fc:105::c7b9) (*.net *.split) |
2023-07-27 09:11:49 +0200 | siraben | (~siraben@user/siraben) (*.net *.split) |
2023-07-27 09:11:49 +0200 | VarikValefor[m] | (~varikvale@2001:470:69fc:105::a5d) (*.net *.split) |
2023-07-27 09:11:49 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) (*.net *.split) |
2023-07-27 09:11:49 +0200 | jean-paul[m] | (~jean-paul@2001:470:69fc:105::d1ab) (*.net *.split) |
2023-07-27 09:11:49 +0200 | somerandomnick[m | (~somerando@2001:470:69fc:105::3:4f2e) (*.net *.split) |
2023-07-27 09:11:49 +0200 | shapr[m] | (~shaprcofr@2001:470:69fc:105::2:d107) (*.net *.split) |
2023-07-27 09:11:49 +0200 | SeanKing[m] | (~seankingm@2001:470:69fc:105::cf9c) (*.net *.split) |
2023-07-27 09:11:49 +0200 | Guillaum[m] | (~guiboumat@2001:470:69fc:105::1:72ac) (*.net *.split) |
2023-07-27 09:11:49 +0200 | oak- | (~oak-@2001:470:69fc:105::fcd) (*.net *.split) |
2023-07-27 09:11:49 +0200 | romes[m] | (~romesmatr@2001:470:69fc:105::2:1660) (*.net *.split) |
2023-07-27 09:11:49 +0200 | adziahel | (~adziahelm@2001:470:69fc:105::b4d) (*.net *.split) |
2023-07-27 09:11:49 +0200 | jade[m] | (~jade256th@2001:470:69fc:105::3:58df) (*.net *.split) |
2023-07-27 09:11:49 +0200 | elevenkb | (~elevenkb@2001:470:69fc:105::2:cb89) (*.net *.split) |
2023-07-27 09:11:49 +0200 | chreekat | (~chreekat@2001:470:69fc:105::16b5) (*.net *.split) |
2023-07-27 09:11:49 +0200 | alanz | (~alanz@2001:470:69fc:105::2:49a6) (*.net *.split) |
2023-07-27 09:11:49 +0200 | elvishjerricco | (~elvishjer@2001:470:69fc:105::6172) (*.net *.split) |
2023-07-27 09:11:49 +0200 | smichel17[m] | (~smichel17@2001:470:69fc:105::2d32) (*.net *.split) |
2023-07-27 09:11:49 +0200 | Adran | (~adran@botters/adran) (*.net *.split) |
2023-07-27 09:11:49 +0200 | bionade24 | (~bionade24@2a03:4000:33:45b::1) (*.net *.split) |
2023-07-27 09:11:49 +0200 | Clint | (~Clint@user/clint) (*.net *.split) |
2023-07-27 09:11:49 +0200 | lightandlight | (sid135476@id-135476.helmsley.irccloud.com) (*.net *.split) |
2023-07-27 09:11:49 +0200 | acro | (~acro@user/acro) (*.net *.split) |
2023-07-27 09:11:49 +0200 | xstill_0 | (xstill@fimu/xstill) (*.net *.split) |
2023-07-27 09:11:49 +0200 | kosmikus_ | (~kosmikus@nullzig.kosmikus.org) (*.net *.split) |
2023-07-27 09:11:49 +0200 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) (Max SendQ exceeded) |
2023-07-27 09:11:56 +0200 | acidsys | (~crameleon@openSUSE/member/crameleon) (Max SendQ exceeded) |
2023-07-27 09:12:26 +0200 | raghavgururajan | (ea769b8000@user/raghavgururajan) (Read error: Connection reset by peer) |
2023-07-27 09:12:26 +0200 | MonsoonSecrecy | (f78c86e960@2604:bf00:561:2000::f99) (Write error: Connection reset by peer) |
2023-07-27 09:12:26 +0200 | fgaz_ | (1ff9197ed6@2604:bf00:561:2000::11ea) (Write error: Connection reset by peer) |
2023-07-27 09:12:31 +0200 | zer0bitz | (~zer0bitz@2001:2003:f443:d600:5d9e:35bf:23a6:434c) |
2023-07-27 09:12:39 +0200 | henrytill | (e0180937c3@2604:bf00:561:2000::e8c) |
2023-07-27 09:12:39 +0200 | shreyasminocha | (51fdc93eda@2604:bf00:561:2000::108) |
2023-07-27 09:12:39 +0200 | rselim | (ce261f06ff@2604:bf00:561:2000::257) |
2023-07-27 09:12:39 +0200 | retropikzel | (9d1a4f9f46@2604:bf00:561:2000::ce) |
2023-07-27 09:12:39 +0200 | evanrelf | (3addc196af@2604:bf00:561:2000::f0) |
2023-07-27 09:12:39 +0200 | theesm | (2cbdf4b38a@2604:bf00:561:2000::11c8) |
2023-07-27 09:12:39 +0200 | filwisher | (2e6936c793@2604:bf00:561:2000::170) |
2023-07-27 09:12:39 +0200 | whereiseveryone | (206ba86c98@2604:bf00:561:2000::2e4) |
2023-07-27 09:12:39 +0200 | ymherklotz | (cb2c9cfbdd@2604:bf00:561:2000::29a) |
2023-07-27 09:12:39 +0200 | probie | (cc0b34050a@2604:bf00:561:2000::dbd) |
2023-07-27 09:12:39 +0200 | jkoshy | (99b9359beb@2604:bf00:561:2000::10f) |
2023-07-27 09:12:39 +0200 | sus | (1b7af6299f@2604:bf00:561:2000::1087) |
2023-07-27 09:12:39 +0200 | lukec | (9dfd4d094e@2604:bf00:561:2000::10e) |
2023-07-27 09:12:40 +0200 | arcadewise | (52968ed80d@2604:bf00:561:2000::3df) |
2023-07-27 09:12:40 +0200 | fluffyballoon | (45ce440a48@2604:bf00:561:2000::e2) |
2023-07-27 09:12:40 +0200 | n1essa | (3d621153a5@2604:bf00:561:2000::df7) |
2023-07-27 09:12:40 +0200 | bsima1 | (9d7e39c8ad@2604:bf00:561:2000::dd) |
2023-07-27 09:12:40 +0200 | fgaz_ | (1ff9197ed6@2604:bf00:561:2000::11ea) |
2023-07-27 09:12:40 +0200 | ggb | (a62ffbaf4f@2604:bf00:561:2000::3ac) |
2023-07-27 09:12:40 +0200 | raghavgururajan | (ea769b8000@2604:bf00:561:2000::242) |
2023-07-27 09:12:40 +0200 | Ankhers | (e99e97ef8e@2604:bf00:561:2000::2a2) |
2023-07-27 09:12:40 +0200 | jakzale | (6291399afa@2604:bf00:561:2000::1e4) |
2023-07-27 09:12:40 +0200 | fvr | (ef3e56ca8b@2604:bf00:561:2000::3c4) |
2023-07-27 09:12:40 +0200 | MonsoonSecrecy | (f78c86e960@2604:bf00:561:2000::f99) |
2023-07-27 09:12:40 +0200 | jleightcap | (7bc4014b62@2604:bf00:561:2000::2cc) |
2023-07-27 09:12:40 +0200 | alternateved | (77c0810639@2604:bf00:561:2000::11f0) |
2023-07-27 09:12:40 +0200 | b0o | (0e4a0bf4c9@2604:bf00:561:2000::1bf) |
2023-07-27 09:12:41 +0200 | JoelMcCracken | (5ea8252fbb@2604:bf00:561:2000::10e3) |
2023-07-27 09:12:41 +0200 | chaitlatte0 | (ea29c0bb16@2604:bf00:561:2000::1124) |
2023-07-27 09:12:41 +0200 | sm2n | (ae95cb1267@2604:bf00:561:2000::109) |
2023-07-27 09:12:41 +0200 | samhh | (7569f027cf@2604:bf00:561:2000::e4) |
2023-07-27 09:12:41 +0200 | cpli | (77fc530071@2604:bf00:561:2000::252) |
2023-07-27 09:13:06 +0200 | yangby | (~secret@183.128.108.131) |
2023-07-27 09:13:27 +0200 | sa | (sid1055@id-1055.tinside.irccloud.com) |
2023-07-27 09:13:37 +0200 | nattiestnate | (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) (Quit: WeeChat 4.1.0-dev) |
2023-07-27 09:14:21 +0200 | ubert | (~Thunderbi@77.119.169.110.wireless.dyn.drei.com) |
2023-07-27 09:15:28 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-07-27 09:19:39 +0200 | Nosrep | (~Nosrep@user/nosrep) |
2023-07-27 09:19:39 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:b61c:443d:ba92:3071) |
2023-07-27 09:19:39 +0200 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) |
2023-07-27 09:19:39 +0200 | hexeme_ | (~hexeme@user/hexeme) |
2023-07-27 09:19:39 +0200 | guygastineau | (~guygastin@137.184.131.156) |
2023-07-27 09:19:39 +0200 | [exa] | (~exa@user/exa/x-3587197) |
2023-07-27 09:19:39 +0200 | Moyst_ | (~moyst@user/moyst) |
2023-07-27 09:19:39 +0200 | acertain_ | (sid470584@id-470584.hampstead.irccloud.com) |
2023-07-27 09:19:39 +0200 | Hafydd | (~Hafydd@user/hafydd) |
2023-07-27 09:19:39 +0200 | tnks | (sid412124@id-412124.helmsley.irccloud.com) |
2023-07-27 09:19:39 +0200 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) |
2023-07-27 09:19:39 +0200 | Pent_ | (sid313808@id-313808.lymington.irccloud.com) |
2023-07-27 09:19:39 +0200 | son0p | (~ff@181.136.122.143) |
2023-07-27 09:19:39 +0200 | jrm | (~jrm@user/jrm) |
2023-07-27 09:19:39 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
2023-07-27 09:19:39 +0200 | johnw | (~johnw@69.62.242.138) |
2023-07-27 09:19:39 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) |
2023-07-27 09:19:39 +0200 | Logio | (em@kapsi.fi) |
2023-07-27 09:19:39 +0200 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
2023-07-27 09:19:39 +0200 | sefidel | (~sefidel@user/sefidel) |
2023-07-27 09:19:39 +0200 | mud | (~mud@user/kadoban) |
2023-07-27 09:19:39 +0200 | bgamari | (~bgamari@70.16.98.14) |
2023-07-27 09:19:39 +0200 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) |
2023-07-27 09:19:39 +0200 | turlando | (~turlando@user/turlando) |
2023-07-27 09:19:39 +0200 | kimiamania60 | (~681cf57f@user/kimiamania) |
2023-07-27 09:19:39 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
2023-07-27 09:19:39 +0200 | ByronJohnson | (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) |
2023-07-27 09:19:39 +0200 | darchitect | (~darchitec@2a00:23c6:3584:df01:ace3:21db:4a0c:96b1) |
2023-07-27 09:19:39 +0200 | foul_owl | (~kerry@185.219.141.162) |
2023-07-27 09:19:39 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
2023-07-27 09:19:39 +0200 | ft | (~ft@p3e9bc61e.dip0.t-ipconnect.de) |
2023-07-27 09:19:39 +0200 | yaroot | (~yaroot@p3196076-ipngn7101souka.saitama.ocn.ne.jp) |
2023-07-27 09:19:39 +0200 | Vq | (~vq@90-227-195-9-no77.tbcn.telia.com) |
2023-07-27 09:19:39 +0200 | libertyprime | (~libertypr@203.96.203.44) |
2023-07-27 09:19:39 +0200 | aforemny | (~aforemny@2001:9e8:6cfc:2a00:d5a2:6a3b:38ac:cbd4) |
2023-07-27 09:19:39 +0200 | jjhoo | (~jahakala@user/jjhoo) |
2023-07-27 09:19:39 +0200 | 040AADQ8O | (7569f027cf@2604:bf00:561:2000::e4) |
2023-07-27 09:19:39 +0200 | finsternis | (~X@23.226.237.192) |
2023-07-27 09:19:39 +0200 | jludwig | (~justin@li657-110.members.linode.com) |
2023-07-27 09:19:39 +0200 | ell | (~ellie@user/ellie) |
2023-07-27 09:19:39 +0200 | Batzy | (~quassel@user/batzy) |
2023-07-27 09:19:39 +0200 | danso | (~danso@user/danso) |
2023-07-27 09:19:39 +0200 | opqdonut | (opqdonut@pseudo.fixme.fi) |
2023-07-27 09:19:39 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
2023-07-27 09:19:39 +0200 | qhong | (~qhong@DN160vrd000d6kpg009l6c0000fj.stanford.edu) |
2023-07-27 09:19:39 +0200 | kronicma1 | (user37546@neotame.csclub.uwaterloo.ca) |
2023-07-27 09:19:39 +0200 | int-e | (~noone@int-e.eu) |
2023-07-27 09:19:39 +0200 | koz | (~koz@121.99.240.58) |
2023-07-27 09:19:39 +0200 | NemesisD | (sid24071@id-24071.lymington.irccloud.com) |
2023-07-27 09:19:39 +0200 | finnekit | (~finnekit@fsf/member/finnekit) |
2023-07-27 09:19:39 +0200 | hexology | (~hexology@user/hexology) |
2023-07-27 09:19:39 +0200 | sviermsung | (spxLkMy9HV@user/s4msung) |
2023-07-27 09:19:39 +0200 | bah_ | (~bah@l1.tel) |
2023-07-27 09:19:39 +0200 | adamCS | (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) |
2023-07-27 09:19:39 +0200 | piele_ | (~piele@tbonesteak.creativeserver.net) |
2023-07-27 09:19:39 +0200 | meooow_ | (~meooow@165.232.184.169) |
2023-07-27 09:19:39 +0200 | kraftwerk28_ | (~kraftwerk@178.62.210.83) |
2023-07-27 09:19:39 +0200 | Philonous_ | (~Philonous@user/philonous) |
2023-07-27 09:19:39 +0200 | cassiope1 | (~cassiopea@user/cassiopea) |
2023-07-27 09:19:39 +0200 | vgtw | (~vgtw@user/vgtw) |
2023-07-27 09:19:39 +0200 | shryke | (~shryke@2a00:4b00:13c:cc:b27b:25ff:fe18:efd) |
2023-07-27 09:19:39 +0200 | malte | (~malte@mal.tc) |
2023-07-27 09:19:39 +0200 | cyphase | (~cyphase@user/cyphase) |
2023-07-27 09:19:39 +0200 | HerlockSholmes | (~herlock@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) |
2023-07-27 09:19:39 +0200 | xnbya | (~xnbya@2a01:4f8:c17:cbdd::1) |
2023-07-27 09:19:39 +0200 | aristid | (sid1599@id-1599.uxbridge.irccloud.com) |
2023-07-27 09:19:39 +0200 | codedmart | (codedmart@2600:3c01::f03c:92ff:fefe:8511) |
2023-07-27 09:19:39 +0200 | lexi-lambda | (sid92601@id-92601.hampstead.irccloud.com) |
2023-07-27 09:19:39 +0200 | T_S__ | (sid501726@id-501726.uxbridge.irccloud.com) |
2023-07-27 09:19:39 +0200 | kawzeg | (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) |
2023-07-27 09:19:39 +0200 | lieven | (~mal@ns2.wyrd.be) |
2023-07-27 09:19:39 +0200 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
2023-07-27 09:19:39 +0200 | agander_m | (sid407952@id-407952.tinside.irccloud.com) |
2023-07-27 09:19:39 +0200 | hamishmack | (sid389057@id-389057.hampstead.irccloud.com) |
2023-07-27 09:19:39 +0200 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) |
2023-07-27 09:19:39 +0200 | hyvoid | (~hyenavoid@222-0-178-69.static.gci.net) |
2023-07-27 09:19:39 +0200 | peutri | (~peutri@bobo.desast.re) |
2023-07-27 09:19:39 +0200 | Buliarous | (~gypsydang@46.232.210.139) |
2023-07-27 09:19:39 +0200 | hammond | (proscan@gateway02.insomnia247.nl) |
2023-07-27 09:19:39 +0200 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
2023-07-27 09:19:39 +0200 | mmarusea1ph2 | (~mihai@mihai.page) |
2023-07-27 09:19:39 +0200 | Wojciech_K | (~Wojciech_@2a01:4f9:6a:18a8::239) |
2023-07-27 09:19:39 +0200 | jil` | (~user@vps-15050500.vps.ovh.net) |
2023-07-27 09:19:39 +0200 | Athas | (athas@sigkill.dk) |
2023-07-27 09:19:39 +0200 | megaTherion | (~therion@unix.io) |
2023-07-27 09:19:39 +0200 | h2t_ | (~h2t@user/h2t) |
2023-07-27 09:19:39 +0200 | arthurvl | (~arthurvl@77-174-49-144.fixed.kpn.net) |
2023-07-27 09:19:39 +0200 | mxs | (~mxs@user/mxs) |
2023-07-27 09:19:39 +0200 | troydm | (~troydm@user/troydm) |
2023-07-27 09:19:39 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
2023-07-27 09:19:39 +0200 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
2023-07-27 09:19:39 +0200 | jbalint | (~jbalint@2600:6c44:117f:e98a:816a:9488:fb1:7b7) |
2023-07-27 09:19:39 +0200 | hueso | (~root@user/hueso) |
2023-07-27 09:19:39 +0200 | extor | (~extor@ns3018124.ip-149-202-82.eu) |
2023-07-27 09:19:39 +0200 | tv | (~tv@user/tv) |
2023-07-27 09:19:39 +0200 | telser | (~quassel@user/telser) |
2023-07-27 09:19:39 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) |
2023-07-27 09:19:39 +0200 | img | (~img@user/img) |
2023-07-27 09:19:39 +0200 | cheater | (~Username@user/cheater) |
2023-07-27 09:19:39 +0200 | nek0 | (~nek0@2a01:4f8:222:2b41::12) |
2023-07-27 09:19:39 +0200 | infinity0 | (~infinity0@pwned.gg) |
2023-07-27 09:19:39 +0200 | gaze___ | (sid387101@id-387101.helmsley.irccloud.com) |
2023-07-27 09:19:39 +0200 | davetapley | (sid666@id-666.uxbridge.irccloud.com) |
2023-07-27 09:19:39 +0200 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) |
2023-07-27 09:19:39 +0200 | joeyh | (joeyh@2600:3c03::f03c:91ff:fe73:b0d2) |
2023-07-27 09:19:39 +0200 | berberman | (~berberman@user/berberman) |
2023-07-27 09:19:39 +0200 | ringo___ | (~ringo@157.230.117.128) |
2023-07-27 09:19:39 +0200 | Reinhilde | (ellenor@callbox.trd.is) |
2023-07-27 09:19:39 +0200 | CiaoSen | (~Jura@2a05:5800:28b:8f00:664b:f0ff:fe37:9ef) |
2023-07-27 09:19:39 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
2023-07-27 09:19:39 +0200 | noctux | (~noctux@user/noctux) |
2023-07-27 09:19:39 +0200 | shachaf | (~shachaf@user/shachaf) |
2023-07-27 09:19:39 +0200 | xsarnik | (xsarnik@lounge.fi.muni.cz) |
2023-07-27 09:19:39 +0200 | Dykam | (Dykam@dykam.nl) |
2023-07-27 09:19:39 +0200 | shane | (~shane@ana.rch.ist) |
2023-07-27 09:19:39 +0200 | Deide | (d0130db69a@user/deide) |
2023-07-27 09:19:39 +0200 | bcmiller | (~bm3719@66.42.95.185) |
2023-07-27 09:19:39 +0200 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
2023-07-27 09:19:39 +0200 | caubert | (~caubert@user/caubert) |
2023-07-27 09:19:39 +0200 | matijja | (~matijja@193.77.181.201) |
2023-07-27 09:19:39 +0200 | robbert-vdh | (~robbert@robbertvanderhelm.nl) |
2023-07-27 09:19:39 +0200 | it_ | (~quassel@v2202212189510211193.supersrv.de) |
2023-07-27 09:19:39 +0200 | arahael | (~arahael@115-64-199-191.tpgi.com.au) |
2023-07-27 09:19:39 +0200 | czy | (~user@host-140-26.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
2023-07-27 09:19:39 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) |
2023-07-27 09:19:39 +0200 | paddymahoney | (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) |
2023-07-27 09:19:39 +0200 | Unode | (~Unode@fg-ext-220.embl.de) |
2023-07-27 09:19:39 +0200 | absence_ | (torgeihe@hildring.pvv.ntnu.no) |
2023-07-27 09:19:39 +0200 | ian_ | (~ian@matrix.chaos.earth.li) |
2023-07-27 09:19:39 +0200 | AlexNoo | (~AlexNoo@178.34.162.202) |
2023-07-27 09:19:39 +0200 | dolio | (~dolio@130.44.134.54) |
2023-07-27 09:19:39 +0200 | connrs | (~connrs@user/connrs) |
2023-07-27 09:19:39 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
2023-07-27 09:19:39 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
2023-07-27 09:19:39 +0200 | tstat | (~tstat@user/tstat) |
2023-07-27 09:19:39 +0200 | ent | (entgod@kapsi.fi) |
2023-07-27 09:19:39 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) |
2023-07-27 09:19:39 +0200 | byte | (~byte@user/byte) |
2023-07-27 09:19:39 +0200 | monochrom | (trebla@216.138.220.146) |
2023-07-27 09:19:39 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2023-07-27 09:19:39 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
2023-07-27 09:19:39 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
2023-07-27 09:19:39 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2023-07-27 09:19:39 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2023-07-27 09:19:39 +0200 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) |
2023-07-27 09:19:39 +0200 | [_________] | (~oos95GWG@user/oos95GWG) |
2023-07-27 09:19:39 +0200 | cawfee | (~root@2406:3003:2077:2758::babe) |
2023-07-27 09:19:39 +0200 | mrvdb | (~mrvdb@185.92.221.186) |
2023-07-27 09:19:39 +0200 | SethTisue | (sid14912@id-14912.ilkley.irccloud.com) |
2023-07-27 09:19:39 +0200 | koolazer | (~koo@user/koolazer) |
2023-07-27 09:19:39 +0200 | nicole | (ilbelkyr@libera/staff/ilbelkyr) |
2023-07-27 09:19:39 +0200 | kawen | (~quassel@static.208.191.216.95.clients.your-server.de) |
2023-07-27 09:19:39 +0200 | ouroboros | (~ouroboros@user/ouroboros) |
2023-07-27 09:19:39 +0200 | gawen | (~gawen@user/gawen) |
2023-07-27 09:19:39 +0200 | incertia | (~incertia@209.122.71.127) |
2023-07-27 09:19:39 +0200 | df | (~ben@justworks.xyz) |
2023-07-27 09:19:39 +0200 | canta | (~canta@user/canta) |
2023-07-27 09:19:39 +0200 | ridcully_ | (~ridcully@p57b52f2c.dip0.t-ipconnect.de) |
2023-07-27 09:19:39 +0200 | simpleauthority | (~simpleaut@user/simpleauthority) |
2023-07-27 09:19:39 +0200 | dminuoso | (~dminuoso@user/dminuoso) |
2023-07-27 09:19:39 +0200 | lawt | (~lawt@129.159.36.129) |
2023-07-27 09:19:39 +0200 | tomsmeding | (~tomsmedin@static.21.109.88.23.clients.your-server.de) |
2023-07-27 09:19:39 +0200 | zincy | (~tom@host81-151-255-71.range81-151.btcentralplus.com) |
2023-07-27 09:19:39 +0200 | sympt | (~sympt@user/sympt) |
2023-07-27 09:19:39 +0200 | sudden | (~cat@user/sudden) |
2023-07-27 09:19:39 +0200 | tokie | (~tokie@tokie.net) |
2023-07-27 09:19:39 +0200 | lyxia | (~lyxia@poisson.chat) |
2023-07-27 09:19:39 +0200 | dfg | (~dfg@user/dfg) |
2023-07-27 09:19:39 +0200 | Hooloovoo | (~Hooloovoo@hax0rbana.org) |
2023-07-27 09:19:39 +0200 | texasmynsted | (~username@99.96.221.112) |
2023-07-27 09:19:39 +0200 | dumptruckman | (~dumptruck@143-42-184-47.ip.linodeusercontent.com) |
2023-07-27 09:19:39 +0200 | Everything | (~Everythin@static.208.206.21.65.clients.your-server.de) |
2023-07-27 09:19:39 +0200 | tomku | (~tomku@user/tomku) |
2023-07-27 09:19:39 +0200 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) |
2023-07-27 09:19:39 +0200 | manwithluck | (manwithluc@52.197.234.151) |
2023-07-27 09:19:39 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
2023-07-27 09:19:39 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
2023-07-27 09:19:39 +0200 | rembo10 | (~rembo10@main.remulis.com) |
2023-07-27 09:19:39 +0200 | nckx | (~nckx@guix/contributor/nckx) |
2023-07-27 09:19:39 +0200 | echoreply | (~echoreply@45.32.163.16) |
2023-07-27 09:19:39 +0200 | m5zs7k | (aquares@web10.mydevil.net) |
2023-07-27 09:19:39 +0200 | fun-safe-math | (~fun-safe-@c-24-21-234-147.hsd1.or.comcast.net) |
2023-07-27 09:19:39 +0200 | Helle | (~helle@user/Helle) |
2023-07-27 09:19:39 +0200 | gentauro | (~gentauro@user/gentauro) |
2023-07-27 09:19:39 +0200 | NinjaTrappeur | (~ninja@hardin.alternativebit.fr) |
2023-07-27 09:19:39 +0200 | swistak | (~swistak@185.21.216.141) |
2023-07-27 09:19:39 +0200 | tired | (~tired@user/tired) |
2023-07-27 09:19:39 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
2023-07-27 09:19:39 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-07-27 09:19:39 +0200 | Guest5267 | (~finn@176-151-21-224.abo.bbox.fr) |
2023-07-27 09:19:39 +0200 | kosmikus_ | (~kosmikus@nullzig.kosmikus.org) |
2023-07-27 09:19:39 +0200 | acro | (~acro@user/acro) |
2023-07-27 09:19:39 +0200 | xstill_0 | (xstill@fimu/xstill) |
2023-07-27 09:19:39 +0200 | lightandlight | (sid135476@id-135476.helmsley.irccloud.com) |
2023-07-27 09:19:39 +0200 | Clint | (~Clint@user/clint) |
2023-07-27 09:19:39 +0200 | bionade24 | (~bionade24@2a03:4000:33:45b::1) |
2023-07-27 09:19:39 +0200 | Adran | (~adran@botters/adran) |
2023-07-27 09:19:39 +0200 | ysh____ | (sid6017@id-6017.ilkley.irccloud.com) |
2023-07-27 09:19:39 +0200 | mjacob | (~mjacob@adrastea.uberspace.de) |
2023-07-27 09:19:39 +0200 | AWizzArd | (~code@gehrels.uberspace.de) |
2023-07-27 09:19:39 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) |
2023-07-27 09:19:39 +0200 | mira | (~aranea@wireguard/contributorcat/mira) |
2023-07-27 09:19:39 +0200 | hololeap | (~quassel@user/hololeap) |
2023-07-27 09:19:39 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
2023-07-27 09:19:39 +0200 | hellwolf | (~user@5b3d-5cac-bb28-d008-0f00-4d40-07d0-2001.sta.estpak.ee) |
2023-07-27 09:19:39 +0200 | immae | (~immae@2a01:4f8:141:53e7::) |
2023-07-27 09:19:39 +0200 | ProofTechnique_ | (sid79547@id-79547.ilkley.irccloud.com) |
2023-07-27 09:19:39 +0200 | integral | (sid296274@user/integral) |
2023-07-27 09:19:39 +0200 | glowcoil | (sid3405@id-3405.tinside.irccloud.com) |
2023-07-27 09:19:39 +0200 | tritlo_ | (sid58727@id-58727.hampstead.irccloud.com) |
2023-07-27 09:19:39 +0200 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) |
2023-07-27 09:19:39 +0200 | dsal | (sid13060@id-13060.lymington.irccloud.com) |
2023-07-27 09:19:39 +0200 | idnar | (sid12240@debian/mithrandi) |
2023-07-27 09:19:39 +0200 | mzg | (mzg@lazy.unconscious.biz) |
2023-07-27 09:19:39 +0200 | nadja | (~dequbed@2a01:4f8:201:34c7::1) |
2023-07-27 09:19:39 +0200 | dy | (sid3438@user/dy) |
2023-07-27 09:19:39 +0200 | conjunctive | (sid433686@2a03:5180:f:1::6:9e16) |
2023-07-27 09:19:39 +0200 | astra | (sid289983@2a03:5180:f:4::4:6cbf) |
2023-07-27 09:19:39 +0200 | Adeon | (sid418992@2a03:5180:f:2::6:64b0) |
2023-07-27 09:19:39 +0200 | parseval | (sid239098@2a03:5180:f:1::3:a5fa) |
2023-07-27 09:19:39 +0200 | winny | (~weechat@user/winny) |
2023-07-27 09:19:39 +0200 | darkling | (~darkling@2001:ba8:1f1:f0e6::2) |
2023-07-27 09:19:39 +0200 | davean | (~davean@67.205.182.208) |
2023-07-27 09:19:39 +0200 | Rembane | (~Rembane@178.79.177.36) |
2023-07-27 09:19:39 +0200 | siers | (~ij@user/ij) |
2023-07-27 09:19:39 +0200 | xerox | (~edi@user/edi) |
2023-07-27 09:19:39 +0200 | Boarders___ | (sid425905@id-425905.lymington.irccloud.com) |
2023-07-27 09:19:39 +0200 | truckasaurus | (sid457088@id-457088.helmsley.irccloud.com) |
2023-07-27 09:19:39 +0200 | edm | (sid147314@2a03:5180:f:4::2:3f72) |
2023-07-27 09:19:39 +0200 | snek | (sid280155@2a03:5180:f:2::4:465b) |
2023-07-27 09:19:39 +0200 | mustafa | (sid502723@rockylinux/releng/mustafa) |
2023-07-27 09:19:39 +0200 | zups | (~meow@2a01:4f9:c010:6036::1) |
2023-07-27 09:19:39 +0200 | farn | (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) |
2023-07-27 09:19:39 +0200 | jakesyl____ | (sid56879@2a03:5180:f:4::de2f) |
2023-07-27 09:19:39 +0200 | bjs | (sid190364@user/bjs) |
2023-07-27 09:19:39 +0200 | mrmonday | (~robert@2a01:7e00:e000:1b2:95ca:100:49e0:3f15) |
2023-07-27 09:19:39 +0200 | jonrh_ | (sid5185@2a03:5180:f:3::1441) |
2023-07-27 09:19:39 +0200 | rubin55 | (sid175221@2a03:5180:f:4::2:ac75) |
2023-07-27 09:19:39 +0200 | Momentum | (momentum@2607:5300:60:4f58::248) |
2023-07-27 09:19:39 +0200 | scav | (sid309693@user/scav) |
2023-07-27 09:19:39 +0200 | V | (~v@ircpuzzles/2022/april/winner/V) |
2023-07-27 09:19:39 +0200 | hongminhee | (sid295@id-295.tinside.irccloud.com) |
2023-07-27 09:19:39 +0200 | AndreasK | (sid320732@id-320732.uxbridge.irccloud.com) |
2023-07-27 09:19:39 +0200 | rune_ | (sid21167@id-21167.ilkley.irccloud.com) |
2023-07-27 09:19:39 +0200 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) |
2023-07-27 09:19:39 +0200 | edmundnoble_ | (sid229620@id-229620.helmsley.irccloud.com) |
2023-07-27 09:19:39 +0200 | tureba | (~tureba@tureba.org) |
2023-07-27 09:19:39 +0200 | teddyc | (theodorc@cassarossa.samfundet.no) |
2023-07-27 09:19:39 +0200 | rachelambda | (~rachelamb@78-67-128-99-no247.tbcn.telia.com) |
2023-07-27 09:19:39 +0200 | hook54321 | (sid149355@user/hook54321) |
2023-07-27 09:19:39 +0200 | caasih | (sid13241@id-13241.ilkley.irccloud.com) |
2023-07-27 09:19:39 +0200 | JSharp | (sid4580@id-4580.lymington.irccloud.com) |
2023-07-27 09:19:39 +0200 | nshepper1 | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
2023-07-27 09:19:39 +0200 | Noinia | (~Frank@77-162-168-71.fixed.kpn.net) |
2023-07-27 09:19:39 +0200 | Putonlalla | (~Putonlall@it-cyan.it.jyu.fi) |
2023-07-27 09:19:39 +0200 | natto | (~natto@140.238.225.67) |
2023-07-27 09:19:39 +0200 | highvoltage | (~highvolt@bcdcac82.skybroadband.com) |
2023-07-27 09:19:39 +0200 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) |
2023-07-27 09:19:39 +0200 | [Leary] | (~Leary]@user/Leary/x-0910699) |
2023-07-27 09:19:39 +0200 | maerwald | (~maerwald@mail.hasufell.de) |
2023-07-27 09:19:39 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2023-07-27 09:19:39 +0200 | anpad | (~pandeyan@user/anpad) |
2023-07-27 09:19:39 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
2023-07-27 09:19:39 +0200 | m1dnight | (~christoph@78-22-4-67.access.telenet.be) |
2023-07-27 09:19:39 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) |
2023-07-27 09:19:39 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2023-07-27 09:19:39 +0200 | thelounge793 | (~thelounge@2a05:f480:1400:24b2:5400:4ff:fe76:a8f3) |
2023-07-27 09:19:39 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
2023-07-27 09:19:39 +0200 | komikat` | (~user@218.185.248.66) |
2023-07-27 09:19:39 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2023-07-27 09:19:39 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) |
2023-07-27 09:19:39 +0200 | lbseale | (~quassel@user/ep1ctetus) |
2023-07-27 09:19:39 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
2023-07-27 09:19:39 +0200 | wagle | (~wagle@quassel.wagle.io) |
2023-07-27 09:19:39 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
2023-07-27 09:19:39 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) |
2023-07-27 09:19:40 +0200 | trev | (~trev@user/trev) |
2023-07-27 09:19:40 +0200 | michalz | (~michalz@185.246.207.218) |
2023-07-27 09:19:40 +0200 | hrberg_ | (~quassel@171.79-160-161.customer.lyse.net) |
2023-07-27 09:19:40 +0200 | dsrt^ | (~cd@24.125.210.85) |
2023-07-27 09:19:46 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (Max SendQ exceeded) |
2023-07-27 09:19:46 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Max SendQ exceeded) |
2023-07-27 09:19:46 +0200 | hrberg_ | (~quassel@171.79-160-161.customer.lyse.net) (Max SendQ exceeded) |
2023-07-27 09:19:46 +0200 | dsrt^ | (~cd@24.125.210.85) (Max SendQ exceeded) |
2023-07-27 09:19:46 +0200 | hook54321 | (sid149355@user/hook54321) (Max SendQ exceeded) |
2023-07-27 09:19:46 +0200 | rubin55 | (sid175221@2a03:5180:f:4::2:ac75) (Max SendQ exceeded) |
2023-07-27 09:19:46 +0200 | jakesyl____ | (sid56879@2a03:5180:f:4::de2f) (Max SendQ exceeded) |
2023-07-27 09:19:46 +0200 | shailangsa | (~shailangs@host86-186-196-224.range86-186.btcentralplus.com) (Max SendQ exceeded) |
2023-07-27 09:19:49 +0200 | auri | (~auri@fsf/member/auri) (Max SendQ exceeded) |
2023-07-27 09:19:49 +0200 | Arsen | (arsen@gentoo/developer/managarm.dev.Arsen) (Max SendQ exceeded) |
2023-07-27 09:19:49 +0200 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-43-67-70-144-186.dsl.bell.ca) (Max SendQ exceeded) |
2023-07-27 09:19:49 +0200 | hays | (rootvegeta@fsf/member/hays) (Max SendQ exceeded) |
2023-07-27 09:19:50 +0200 | dsrt^ | (~cd@24.125.210.85) |
2023-07-27 09:19:50 +0200 | rubin55 | (sid175221@id-175221.hampstead.irccloud.com) |
2023-07-27 09:19:51 +0200 | jakesyl____ | (sid56879@id-56879.hampstead.irccloud.com) |
2023-07-27 09:19:59 +0200 | auri | (~auri@static.46.108.40.188.clients.your-server.de) |
2023-07-27 09:20:01 +0200 | AlexZenon | (~alzenon@178.34.162.202) |
2023-07-27 09:20:03 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) |
2023-07-27 09:20:10 +0200 | Alex_test | (~al_test@178.34.162.202) |
2023-07-27 09:20:39 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Ping timeout: 260 seconds) |
2023-07-27 09:20:59 +0200 | hook54321 | (sid149355@id-149355.ilkley.irccloud.com) |
2023-07-27 09:21:15 +0200 | highvoltage | (~highvolt@bcdcac82.skybroadband.com) (Ping timeout: 240 seconds) |
2023-07-27 09:21:26 +0200 | diagprov | (sid348783@user/diagprov) |
2023-07-27 09:21:26 +0200 | MironZ | (~MironZ@nat-infra.ehlab.uk) |
2023-07-27 09:21:26 +0200 | PHO` | (~pho@akari.cielonegro.org) |
2023-07-27 09:21:26 +0200 | bw_ | (sid2730@user/betawaffle) |
2023-07-27 09:21:26 +0200 | Patternmaster | (~georg@user/Patternmaster) |
2023-07-27 09:21:26 +0200 | vjoki | (~vjoki@2a00:d880:3:1::fea1:9ae) |
2023-07-27 09:21:26 +0200 | welterde | (welterde@thinkbase.srv.welterde.de) |
2023-07-27 09:21:26 +0200 | yvan-sraka | (sid419690@id-419690.lymington.irccloud.com) |
2023-07-27 09:21:26 +0200 | degraafk | (sid71464@id-71464.lymington.irccloud.com) |
2023-07-27 09:21:26 +0200 | wallymathieu | (sid533252@id-533252.uxbridge.irccloud.com) |
2023-07-27 09:21:26 +0200 | chymera | (~chymera@ns1000526.ip-51-81-46.us) |
2023-07-27 09:21:26 +0200 | nisstyre | (wes@user/nisstyre) |
2023-07-27 09:21:26 +0200 | oats_ | (~thomas@user/oats) |
2023-07-27 09:21:26 +0200 | ario | (~ario@159.65.220.102) |
2023-07-27 09:21:26 +0200 | S11001001 | (sid42510@id-42510.ilkley.irccloud.com) |
2023-07-27 09:21:26 +0200 | edwardk | (sid47016@haskell/developer/edwardk) |
2023-07-27 09:21:26 +0200 | delyan_ | (sid523379@id-523379.hampstead.irccloud.com) |
2023-07-27 09:21:26 +0200 | maxfan8_ | (~max@2a01:4f8:192:5356::2) |
2023-07-27 09:21:26 +0200 | carter | (sid14827@id-14827.helmsley.irccloud.com) |
2023-07-27 09:21:26 +0200 | defanor | (~defanor@tart.uberspace.net) |
2023-07-27 09:21:26 +0200 | SanchayanMaity | (sid478177@id-478177.hampstead.irccloud.com) |
2023-07-27 09:21:26 +0200 | amir | (sid22336@user/amir) |
2023-07-27 09:21:26 +0200 | tinwood | (~tinwood@canonical/tinwood) |
2023-07-27 09:21:26 +0200 | emergence | (emergence@2607:5300:60:5910:dcad:beff:feef:5bc) |
2023-07-27 09:21:26 +0200 | Fangs | (sid141280@id-141280.hampstead.irccloud.com) |
2023-07-27 09:21:26 +0200 | skippy | (sid26890@user/slice) |
2023-07-27 09:21:26 +0200 | minigrim0 | (~minigrim0@2a01:4f9:6b:3416:68ba:8dff:fe58:a5ea) |
2023-07-27 09:21:26 +0200 | dfordvm | (~dfordivam@160.16.87.223.v6.sakura.ne.jp) |
2023-07-27 09:21:26 +0200 | CAT_S | (apic@brezn3.muc.ccc.de) |
2023-07-27 09:21:26 +0200 | sajith | (~sajith@user/sajith) |
2023-07-27 09:21:26 +0200 | anderson | (~anderson@user/anderson) |
2023-07-27 09:21:26 +0200 | nonzen_ | (~nonzen@user/nonzen) |
2023-07-27 09:21:26 +0200 | ncf | (~n@monade.li) |
2023-07-27 09:21:26 +0200 | chessai | (sid225296@id-225296.lymington.irccloud.com) |
2023-07-27 09:21:26 +0200 | kristjansson_ | (sid126207@id-126207.tinside.irccloud.com) |
2023-07-27 09:21:26 +0200 | geekosaur[c] | (sid609282@xmonad/geekosaur) |
2023-07-27 09:21:26 +0200 | doyougnu | (~doyougnu@45.46.170.68) |
2023-07-27 09:21:26 +0200 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) |
2023-07-27 09:21:26 +0200 | adeptangel | (cren@tilde.team) |
2023-07-27 09:21:26 +0200 | lally | (sid388228@id-388228.uxbridge.irccloud.com) |
2023-07-27 09:21:26 +0200 | PotatoGim | (sid99505@id-99505.lymington.irccloud.com) |
2023-07-27 09:21:26 +0200 | jmct | (sid160793@id-160793.tinside.irccloud.com) |
2023-07-27 09:21:26 +0200 | Jon | (jon@dow.land) |
2023-07-27 09:21:26 +0200 | buhman | (sid411355@user/buhman) |
2023-07-27 09:21:26 +0200 | asivitz | (uid178348@id-178348.tinside.irccloud.com) |
2023-07-27 09:21:26 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
2023-07-27 09:21:26 +0200 | sphynx | (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) |
2023-07-27 09:21:26 +0200 | Raito_Bezarius | (~Raito@2001:470:ca5e:dee:f482:b4ff:fe18:2d7d) |
2023-07-27 09:21:26 +0200 | andreas303 | (andreas303@is.drunk.and.ready-to.party) |
2023-07-27 09:21:26 +0200 | DigitalKiwi | (~kiwi@2604:a880:400:d0::1ca0:e001) |
2023-07-27 09:21:26 +0200 | krjt | (~krjst@2604:a880:800:c1::16b:8001) |
2023-07-27 09:21:26 +0200 | ChanServ | (ChanServ@services.libera.chat) |
2023-07-27 09:21:26 +0200 | sodium.libera.chat | +o ChanServ |
2023-07-27 09:21:44 +0200 | Raito_Bezarius | (~Raito@2001:470:ca5e:dee:f482:b4ff:fe18:2d7d) (Max SendQ exceeded) |
2023-07-27 09:21:44 +0200 | skippy | (sid26890@user/slice) (Max SendQ exceeded) |
2023-07-27 09:21:44 +0200 | bw_ | (sid2730@user/betawaffle) (Max SendQ exceeded) |
2023-07-27 09:21:44 +0200 | chymera | (~chymera@ns1000526.ip-51-81-46.us) (Max SendQ exceeded) |
2023-07-27 09:21:44 +0200 | andreas303 | (andreas303@is.drunk.and.ready-to.party) (Max SendQ exceeded) |
2023-07-27 09:21:44 +0200 | CAT_S | (apic@brezn3.muc.ccc.de) (Max SendQ exceeded) |
2023-07-27 09:21:46 +0200 | Ankhers | Guest1409 |
2023-07-27 09:21:47 +0200 | glider | (~glider@user/glider) |
2023-07-27 09:21:50 +0200 | justache | (~justache@user/justache) |
2023-07-27 09:21:51 +0200 | andreas303 | (andreas303@is.drunk.and.ready-to.party) |
2023-07-27 09:21:51 +0200 | CAT_S | (apic@brezn3.muc.ccc.de) |
2023-07-27 09:21:57 +0200 | califax | (~califax@user/califx) |
2023-07-27 09:22:01 +0200 | skippy | (sid26890@user/slice) |
2023-07-27 09:22:07 +0200 | raghavgururajan | Guest8948 |
2023-07-27 09:22:08 +0200 | fgaz_ | Guest3285 |
2023-07-27 09:22:08 +0200 | sa | Guest3051 |
2023-07-27 09:22:20 +0200 | Arsen | (arsen@gentoo/developer/managarm.dev.Arsen) |
2023-07-27 09:22:21 +0200 | chymera | (~chymera@ns1000526.ip-51-81-46.us) |
2023-07-27 09:22:25 +0200 | highvoltage | (~highvolt@bcdcac82.skybroadband.com) |
2023-07-27 09:22:26 +0200 | kitzman | (~kitzman@user/dekenevs) |
2023-07-27 09:22:41 +0200 | energizer | (~energizer@user/energizer) |
2023-07-27 09:22:44 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
2023-07-27 09:22:51 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
2023-07-27 09:23:04 +0200 | bw_ | (sid2730@id-2730.ilkley.irccloud.com) |
2023-07-27 09:23:30 +0200 | ryantrinkle | (~ryantrink@140.174.243.250) |
2023-07-27 09:23:44 +0200 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) |
2023-07-27 09:24:05 +0200 | acidsys | (~crameleon@openSUSE/member/crameleon) |
2023-07-27 09:24:09 +0200 | kristjansson_ | (sid126207@id-126207.tinside.irccloud.com) (Ping timeout: 246 seconds) |
2023-07-27 09:24:48 +0200 | kristjansson_ | (sid126207@id-126207.tinside.irccloud.com) |
2023-07-27 09:25:03 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) |
2023-07-27 09:26:17 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-07-27 09:26:17 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-07-27 09:26:17 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-07-27 09:28:57 +0200 | NinjaTrappeur | (~ninja@hardin.alternativebit.fr) (Quit: WeeChat 4.0.1) |
2023-07-27 09:29:07 +0200 | nattiestnate | (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) |
2023-07-27 09:29:13 +0200 | NinjaTrappeur | (~ninja@user/ninjatrappeur) |
2023-07-27 09:31:16 +0200 | Ekho | (~Ekho@user/ekho) |
2023-07-27 09:33:12 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 240 seconds) |
2023-07-27 09:33:23 +0200 | hdggxin | (~hdggxin@122.175.41.19) |
2023-07-27 09:36:18 +0200 | nattiestnate | (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) (Quit: WeeChat 4.0.2) |
2023-07-27 09:37:02 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-090-248.46.114.pool.telefonica.de) |
2023-07-27 09:40:45 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-07-27 09:40:45 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-07-27 09:40:45 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-07-27 09:44:23 +0200 | <Guest5267> | is it possible to use lens to focus on only integer types in a structure? |
2023-07-27 09:44:26 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) |
2023-07-27 09:44:37 +0200 | venkateshK[m] | (~randomint@2001:470:69fc:105::3:852e) |
2023-07-27 09:44:38 +0200 | Null_A[m] | (~jasonjckn@2001:470:69fc:105::bb85) |
2023-07-27 09:44:39 +0200 | ocharles[m] | (~ocharlesm@2001:470:69fc:105::3:5899) |
2023-07-27 09:44:40 +0200 | maralorn | (~maralorn@2001:470:69fc:105::251) |
2023-07-27 09:44:41 +0200 | alanz | (~alanz@2001:470:69fc:105::2:49a6) |
2023-07-27 09:44:41 +0200 | ribosomerocker[m | (~ribosomer@2001:470:69fc:105::3:8ac7) |
2023-07-27 09:44:42 +0200 | sm | (~sm@plaintextaccounting/sm) |
2023-07-27 09:44:43 +0200 | nomagno | (~nomagno@2001:470:69fc:105::c1f0) |
2023-07-27 09:44:46 +0200 | Christoph[m] | (~hpotsirhc@2001:470:69fc:105::2ff8) |
2023-07-27 09:44:47 +0200 | LenaDresner[m] | (~lenadresn@2001:470:69fc:105::3:3c53) |
2023-07-27 09:44:48 +0200 | smichel17[m] | (~smichel17@2001:470:69fc:105::2d32) |
2023-07-27 09:44:48 +0200 | ManofLetters[m] | (~manoflett@2001:470:69fc:105::3be) |
2023-07-27 09:44:48 +0200 | fendor[m] | (~fendormat@2001:470:69fc:105::fcbd) |
2023-07-27 09:44:49 +0200 | lamnou[m] | (~lamnoumat@2001:470:69fc:105::3:7a7e) |
2023-07-27 09:44:49 +0200 | romes[m] | (~romesmatr@2001:470:69fc:105::2:1660) |
2023-07-27 09:44:49 +0200 | ormaaaj | (~ormaaj@user/ormaaj) |
2023-07-27 09:44:50 +0200 | JensPetersen[m] | (~juhp@2001:470:69fc:105::6e9) |
2023-07-27 09:44:50 +0200 | end^ | (~end^@user/end/x-0094621) |
2023-07-27 09:44:51 +0200 | Guillaum[m] | (~guiboumat@2001:470:69fc:105::1:72ac) |
2023-07-27 09:44:52 +0200 | chreekat | (~chreekat@2001:470:69fc:105::16b5) |
2023-07-27 09:44:53 +0200 | alexfmpe[m] | (~alexfmpem@2001:470:69fc:105::38ba) |
2023-07-27 09:44:54 +0200 | jean-paul[m] | (~jean-paul@2001:470:69fc:105::d1ab) |
2023-07-27 09:44:55 +0200 | Matthew|m | (~arathorn@2001:470:69fc:105::1f) |
2023-07-27 09:44:55 +0200 | elevenkb | (~elevenkb@2001:470:69fc:105::2:cb89) |
2023-07-27 09:45:09 +0200 | xosdy[m] | (~xosdymozi@2001:470:69fc:105::2:63f7) |
2023-07-27 09:45:12 +0200 | mon_aaraj | (~montchncs@2001:470:69fc:105::8e6b) |
2023-07-27 09:45:26 +0200 | jaror[m] | (~jaror@2001:470:69fc:105::265) |
2023-07-27 09:45:27 +0200 | jade[m] | (~jade256th@2001:470:69fc:105::3:58df) |
2023-07-27 09:45:27 +0200 | misterfish | (~misterfis@87.215.131.102) |
2023-07-27 09:45:30 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
2023-07-27 09:45:39 +0200 | Clinton[m] | (~clintonme@2001:470:69fc:105::2:31d4) |
2023-07-27 09:45:51 +0200 | Nate[m] | (~m52957mat@2001:470:69fc:105::1:591a) |
2023-07-27 09:45:52 +0200 | VarikValefor[m] | (~varikvale@2001:470:69fc:105::a5d) |
2023-07-27 09:45:53 +0200 | akadude[m] | (~akadudema@2001:470:69fc:105::2:5bf7) |
2023-07-27 09:46:06 +0200 | stites[m] | (~stitesbee@2001:470:69fc:105::3:7bdc) |
2023-07-27 09:46:20 +0200 | bgamari[m] | (~bgamari@2001:470:69fc:105::c7b9) |
2023-07-27 09:46:34 +0200 | aaronv | (~aaronv@user/aaronv) |
2023-07-27 09:46:35 +0200 | siraben | (~siraben@user/siraben) |
2023-07-27 09:46:35 +0200 | zebrag[m] | (~inkbottle@2001:470:69fc:105::2ff5) |
2023-07-27 09:46:36 +0200 | paulapatience | (~paulapati@2001:470:69fc:105::16a4) |
2023-07-27 09:46:48 +0200 | supersven[m] | (~supersven@2001:470:69fc:105::31b6) |
2023-07-27 09:46:52 +0200 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) |
2023-07-27 09:46:53 +0200 | elvishjerricco | (~elvishjer@2001:470:69fc:105::6172) |
2023-07-27 09:46:54 +0200 | shapr[m] | (~shaprcofr@2001:470:69fc:105::2:d107) |
2023-07-27 09:47:06 +0200 | MangoIV[m] | (~mangoivma@2001:470:69fc:105::2:8417) |
2023-07-27 09:47:20 +0200 | oak- | (~oak-@2001:470:69fc:105::fcd) |
2023-07-27 09:47:32 +0200 | ners[m] | (~nersnixos@2001:470:69fc:105::3:648b) |
2023-07-27 09:47:32 +0200 | hsiktas[m] | (~hsiktasm]@2001:470:69fc:105::30d4) |
2023-07-27 09:47:33 +0200 | ozkutuk[m] | (~ozkutuk@2001:470:69fc:105::2:9af8) |
2023-07-27 09:47:34 +0200 | joyfulmantis[m] | (~joyfulman@2001:470:69fc:105::3:400a) |
2023-07-27 09:47:35 +0200 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) |
2023-07-27 09:47:36 +0200 | zfnmxt | (~zfnmxt@user/zfnmxt) |
2023-07-27 09:47:48 +0200 | somerandomnick[m | (~somerando@2001:470:69fc:105::3:4f2e) |
2023-07-27 09:48:03 +0200 | marinelli[m] | (~marinelli@2001:470:69fc:105::2d8) |
2023-07-27 09:48:04 +0200 | kadoban | (~kadoban@user/kadoban) |
2023-07-27 09:48:07 +0200 | thelounge793 | (~thelounge@2a05:f480:1400:24b2:5400:4ff:fe76:a8f3) (Ping timeout: 260 seconds) |
2023-07-27 09:48:07 +0200 | SeanKing[m] | (~seankingm@2001:470:69fc:105::cf9c) |
2023-07-27 09:48:19 +0200 | aniketd[m] | (~aniketdma@2001:470:69fc:105::dede) |
2023-07-27 09:48:20 +0200 | the_guruji[m] | (~theguruji@2001:470:69fc:105::3:825f) |
2023-07-27 09:48:32 +0200 | JanusTroelsen[m] | (~janustmat@2001:470:69fc:105::3:7e89) |
2023-07-27 09:48:32 +0200 | FurudeRika[m] | (~chitandae@2001:470:69fc:105::1:6039) |
2023-07-27 09:48:33 +0200 | adziahel | (~adziahelm@2001:470:69fc:105::b4d) |
2023-07-27 09:48:46 +0200 | boxscape[m] | (~jabruenma@2001:470:69fc:105::3:88e7) |
2023-07-27 09:48:47 +0200 | yoggurt[m] | (~yoggurtma@2001:470:69fc:105::2:ba5) |
2023-07-27 09:48:47 +0200 | jmcantrell | (~jmcantrel@user/jmcantrell) |
2023-07-27 09:48:59 +0200 | deb776[m] | (~deb776ted@2001:470:69fc:105::3:84c5) |
2023-07-27 09:49:13 +0200 | kadenwolff[m] | (~kadenwolf@2001:470:69fc:105::1:d97f) |
2023-07-27 09:49:14 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 260 seconds) |
2023-07-27 09:54:30 +0200 | <fvr> | do you mean like getting all the Integer types? It must be possible with `Control.Lens.Plated` module |
2023-07-27 09:55:01 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2023-07-27 09:55:27 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
2023-07-27 09:56:37 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-07-27 09:56:37 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-07-27 09:56:37 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-07-27 09:59:39 +0200 | chele | (~chele@user/chele) |
2023-07-27 10:00:11 +0200 | nattiestnate | (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) |
2023-07-27 10:00:18 +0200 | <jackdk> | Guest5267: `template` is the thing you want https://www.irccloud.com/pastebin/IPu0xJAd/PartsOfTemplate.hs |
2023-07-27 10:02:43 +0200 | shailangsa | (~shailangs@host86-186-196-224.range86-186.btcentralplus.com) |
2023-07-27 10:03:40 +0200 | jargon | (~jargon@184.101.76.232) (Remote host closed the connection) |
2023-07-27 10:03:45 +0200 | <probie> | ^ Requires all the relevant types to be an instance of `Data` though (https://hackage.haskell.org/package/base-4.18.0.0/docs/Data-Data.html) |
2023-07-27 10:05:44 +0200 | danse-nr3__ | (~francesco@151.43.60.62) |
2023-07-27 10:07:01 +0200 | danse-nr3__ | (~francesco@151.43.60.62) (Remote host closed the connection) |
2023-07-27 10:07:07 +0200 | <Guest5267> | fvr: yes, use case such as: increment all integers inside the structure |
2023-07-27 10:07:26 +0200 | danse-nr3__ | (~francesco@151.43.60.62) |
2023-07-27 10:07:48 +0200 | <ncf> | what kind of structure is that? |
2023-07-27 10:08:20 +0200 | <Guest5267> | such as a record type |
2023-07-27 10:08:20 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
2023-07-27 10:08:30 +0200 | <ncf> | like are you just too lazy to write someLens . traversed %~ succ or are your ints really strewn about |
2023-07-27 10:09:16 +0200 | <Guest5267> | like if there are many fields in the record |
2023-07-27 10:10:21 +0200 | <ncf> | are you sure you won't ever add a new field that isn't meant to be incremented? |
2023-07-27 10:10:47 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 264 seconds) |
2023-07-27 10:12:44 +0200 | bilegeek_ | (~bilegeek@2600:1008:b05c:e2f3:65b4:988a:ae8:9467) |
2023-07-27 10:13:04 +0200 | <Guest5267> | just curious if such features exist |
2023-07-27 10:13:11 +0200 | finsternis | (~X@23.226.237.192) (Read error: Connection reset by peer) |
2023-07-27 10:13:58 +0200 | <probie> | If I have something like `data Foo = Foo Int Bar; data Bar = Bar Int Int` should `(Foo 3 (Bar 4 5)) & traverseAllInts %~ succ be `Foo 4 (Bar 5 6)` or `(Foo 4 (Bar 4 5))`? |
2023-07-27 10:13:58 +0200 | <jackdk> | anyway yeah you'd use %~ instead of .~ in the above snippet |
2023-07-27 10:15:35 +0200 | bilegeek | (~bilegeek@2600:1008:b05c:e2f3:65b4:988a:ae8:9467) (Ping timeout: 264 seconds) |
2023-07-27 10:15:56 +0200 | <probie> | because if you want the first behaviour, `template` from `Data.Data.Lens` will do what you want |
2023-07-27 10:18:45 +0200 | titibandit | (~titibandi@user/titibandit) |
2023-07-27 10:18:52 +0200 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 250 seconds) |
2023-07-27 10:20:02 +0200 | <Guest5267> | how to use `template`? |
2023-07-27 10:21:00 +0200 | m5zs7k | (aquares@web10.mydevil.net) |
2023-07-27 10:22:11 +0200 | razetime | (~quassel@117.193.0.94) (Ping timeout: 264 seconds) |
2023-07-27 10:22:26 +0200 | <ncf> | same way as any other Traversal |
2023-07-27 10:22:39 +0200 | <Guest5267> | ("hello", 5,'k') & template +~ 1 |
2023-07-27 10:22:42 +0200 | <Guest5267> | wow this works |
2023-07-27 10:23:10 +0200 | <Guest5267> | ("hello", 5,'k',6) & template +~ 1 |
2023-07-27 10:23:27 +0200 | habib | (~habib@193.160.247.211) |
2023-07-27 10:23:35 +0200 | <Guest5267> | it will automatically work on the second and last slots |
2023-07-27 10:23:53 +0200 | <jackdk> | I posted a snippet with an example. Did it not show in your client? |
2023-07-27 10:24:21 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
2023-07-27 10:24:27 +0200 | <Guest5267> | jackdk: just saw it! |
2023-07-27 10:24:33 +0200 | <Guest5267> | jackdk: thanks! |
2023-07-27 10:24:34 +0200 | <probie> | traverseAllInts :: (Data s, Applicative f) => (a -> f a) -> s -> f s; traverseAllInts = template |
2023-07-27 10:24:44 +0200 | <probie> | s/a/Int/ |
2023-07-27 10:24:46 +0200 | <jackdk> | great, hope it helps |
2023-07-27 10:25:03 +0200 | <Guest5267> | really cool |
2023-07-27 10:25:09 +0200 | ft | (~ft@p3e9bc61e.dip0.t-ipconnect.de) (Quit: leaving) |
2023-07-27 10:25:35 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2023-07-27 10:25:40 +0200 | lottaquestions_ | (~nick@2607:fa49:503d:b200:5636:ab77:f271:bed6) (Remote host closed the connection) |
2023-07-27 10:25:46 +0200 | Pickchea | (~private@user/pickchea) |
2023-07-27 10:26:08 +0200 | lottaquestions_ | (~nick@2607:fa49:503d:b200:6257:f623:94d5:3fe3) |
2023-07-27 10:28:23 +0200 | <jade[m]> | why do I get an error for `class Foo a; instance Foo (String, String)` within my project, but not [here](https://play.haskell.org/saved/3zfWL1u3) or when using ghc directly? |
2023-07-27 10:28:32 +0200 | <jade[m]> | > Illegal instance declaration ... |
2023-07-27 10:28:33 +0200 | <lambdabot> | <hint>:1:9: error: parse error on input ‘instance’ |
2023-07-27 10:29:14 +0200 | <ncf> | the error message should tell you |
2023-07-27 10:29:28 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
2023-07-27 10:29:46 +0200 | <ncf> | (and you do get the error in play.haskell.org if you select GHC 9.0) |
2023-07-27 10:30:35 +0200 | <ncf> | (i think GHC 9.2 defaults to using GHC2021, which includes FlexibleInstances) |
2023-07-27 10:31:11 +0200 | <jade[m]> | hm okay, but I'm using 9.2.8 |
2023-07-27 10:32:31 +0200 | <jade[m]> | oh - my cabal file specifies Haskell2010 |
2023-07-27 10:32:52 +0200 | z0k | (~z0k@2407:d000:a:6650:d5e7:723d:ef82:4ebd) |
2023-07-27 10:32:57 +0200 | <jade[m]> | thanks |
2023-07-27 10:33:19 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
2023-07-27 10:40:05 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 246 seconds) |
2023-07-27 10:53:49 +0200 | <probie> | Is there a way to stop a datatype's constructors being promoted to the kind level when `DataKinds` is enabled? |
2023-07-27 10:53:57 +0200 | <dminuoso> | No. |
2023-07-27 10:56:17 +0200 | <geekosaur> | afaik the closest you get is -Werror=unticked-promoted-constructors which isn't quite the same thing |
2023-07-27 10:57:58 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
2023-07-27 11:02:31 +0200 | bilegeek_ | (~bilegeek@2600:1008:b05c:e2f3:65b4:988a:ae8:9467) (Quit: Leaving) |
2023-07-27 11:03:32 +0200 | eggplant_ | (~Eggplanta@2600:1700:38c5:d800:3401:66dc:a02a:a620) (Remote host closed the connection) |
2023-07-27 11:04:43 +0200 | <probie> | I can get around my problem by in GHC 9.6 using `type data` (namely, that I want two things with the same name, one which is used exclusively at the type level, and the other exclusively at the value level) |
2023-07-27 11:05:26 +0200 | danse-nr3_ | (~francesco@151.57.37.100) |
2023-07-27 11:06:10 +0200 | <geekosaur> | you might be on a collision course with dependent haskell |
2023-07-27 11:07:05 +0200 | <probie> | If I want to do this in older GHC's, can I do better than defining the type level names in a different module and then re-export them (e.g. `data Foo = Bar | Baz; type Bar = 'Bar; type Baz = 'Baz`) |
2023-07-27 11:07:32 +0200 | <probie> | s/GHC's/GHCs/ |
2023-07-27 11:07:39 +0200 | razetime | (~quassel@117.193.0.94) |
2023-07-27 11:08:00 +0200 | danse-nr3__ | (~francesco@151.43.60.62) (Ping timeout: 245 seconds) |
2023-07-27 11:09:03 +0200 | <probie> | I think I should probably just stop being silly and use different names |
2023-07-27 11:13:50 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2023-07-27 11:14:48 +0200 | razetime | (~quassel@117.193.0.94) (Ping timeout: 246 seconds) |
2023-07-27 11:15:30 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
2023-07-27 11:16:58 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
2023-07-27 11:17:02 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 246 seconds) |
2023-07-27 11:17:06 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
2023-07-27 11:17:40 +0200 | __monty__ | (~toonn@user/toonn) |
2023-07-27 11:18:32 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds) |
2023-07-27 11:21:45 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
2023-07-27 11:22:09 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 246 seconds) |
2023-07-27 11:23:54 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 246 seconds) |
2023-07-27 11:27:38 +0200 | <jade[m]> | I'm having trouble with HLS in the ghc codebase -it tells me ghc: ghcversion.h missing; tried and then a bunch of directories |
2023-07-27 11:27:48 +0200 | <jade[m]> | anyone know what causes this and how to fix it? |
2023-07-27 11:36:26 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
2023-07-27 11:37:46 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
2023-07-27 11:38:07 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Read error: Connection reset by peer) |
2023-07-27 11:38:29 +0200 | jespada_ | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
2023-07-27 11:42:17 +0200 | dibblego | (~dibblego@116.255.1.151) |
2023-07-27 11:42:17 +0200 | dibblego | (~dibblego@116.255.1.151) (Changing host) |
2023-07-27 11:42:17 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-07-27 11:42:19 +0200 | z0k | (~z0k@2407:d000:a:6650:d5e7:723d:ef82:4ebd) (Quit: WeeChat 4.0.2) |
2023-07-27 11:43:50 +0200 | jespada_ | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Read error: Connection reset by peer) |
2023-07-27 11:44:18 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
2023-07-27 11:45:45 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
2023-07-27 11:46:45 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
2023-07-27 11:50:21 +0200 | razetime | (~quassel@117.193.0.94) |
2023-07-27 11:53:02 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-07-27 11:53:02 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-07-27 11:53:02 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-07-27 11:56:19 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2023-07-27 11:59:31 +0200 | mncheckm | (~mncheck@193.224.205.254) (Remote host closed the connection) |
2023-07-27 12:02:26 +0200 | Guest5267 | (~finn@176-151-21-224.abo.bbox.fr) (Ping timeout: 250 seconds) |
2023-07-27 12:04:02 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3401:66dc:a02a:a620) |
2023-07-27 12:08:21 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3401:66dc:a02a:a620) (Ping timeout: 246 seconds) |
2023-07-27 12:19:51 +0200 | [exa] | (~exa@user/exa/x-3587197) (Ping timeout: 244 seconds) |
2023-07-27 12:27:35 +0200 | <danse-nr3_> | jade[m], any luck with that? |
2023-07-27 12:29:16 +0200 | <jade[m]> | hm? |
2023-07-27 12:29:53 +0200 | <danse-nr3_> | with that ghcversion.h error |
2023-07-27 12:30:36 +0200 | <jade[m]> | oh, not yet |
2023-07-27 12:31:09 +0200 | <jade[m]> | I ./hadrian/build clean and its rebuilding right now |
2023-07-27 12:31:13 +0200 | <jade[m]> | to see if that works |
2023-07-27 12:31:37 +0200 | aniketd | (~aniketd@2405:201:d00b:116e:9de7:8d94:3db0:68dc) |
2023-07-27 12:33:36 +0200 | thyriaen | (~thyriaen@2a01:aea0:dd4:699d:6245:cbff:fe9f:48b1) |
2023-07-27 12:40:06 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Quit: Ping timeout (120 seconds)) |
2023-07-27 12:41:49 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
2023-07-27 12:43:11 +0200 | Guest5986 | (~m-mzmz6l@vmi833741.contaboserver.net) (Ping timeout: 258 seconds) |
2023-07-27 12:45:36 +0200 | bonz060 | (~quassel@2001:bc8:678:1c48::1) |
2023-07-27 12:46:34 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-07-27 12:46:34 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-07-27 12:46:34 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-07-27 12:47:35 +0200 | root | (~m-mzmz6l@vmi833741.contaboserver.net) |
2023-07-27 12:47:59 +0200 | root | Guest3327 |
2023-07-27 12:51:53 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
2023-07-27 12:55:55 +0200 | Guest3327 | (~m-mzmz6l@vmi833741.contaboserver.net) (Ping timeout: 240 seconds) |
2023-07-27 12:58:08 +0200 | root | (~m-mzmz6l@vmi833741.contaboserver.net) |
2023-07-27 12:58:30 +0200 | root | Guest3805 |
2023-07-27 12:59:56 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
2023-07-27 12:59:56 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Client Quit) |
2023-07-27 13:00:55 +0200 | danse-nr3_ | (~francesco@151.57.37.100) (Ping timeout: 245 seconds) |
2023-07-27 13:01:12 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
2023-07-27 13:06:14 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2023-07-27 13:06:39 +0200 | [exa] | (~exa@srv3n.blesmrt.net) |
2023-07-27 13:07:20 +0200 | TheCatCollective | (NyaaTheKit@user/calculuscat) |
2023-07-27 13:07:28 +0200 | danse-nr3_ | (~francesco@151.57.37.100) |
2023-07-27 13:07:53 +0200 | kilolympus | (~kilolympu@cpc105064-sgyl40-2-0-cust46.18-2.cable.virginm.net) |
2023-07-27 13:08:13 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2023-07-27 13:10:08 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
2023-07-27 13:12:32 +0200 | dsrt^ | (~cd@24.125.210.85) (Ping timeout: 240 seconds) |
2023-07-27 13:15:46 +0200 | [exa] | (~exa@srv3n.blesmrt.net) (Ping timeout: 246 seconds) |
2023-07-27 13:16:24 +0200 | zmt01 | (~zmt00@user/zmt00) |
2023-07-27 13:17:36 +0200 | [exa] | (~exa@srv3n.blesmrt.net) |
2023-07-27 13:18:04 +0200 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 260 seconds) |
2023-07-27 13:20:07 +0200 | billchenchina | (~billchenc@103.152.35.21) |
2023-07-27 13:25:20 +0200 | dsrt^ | (~cd@24.125.210.85) |
2023-07-27 13:25:29 +0200 | <Benzi-Junior> | Does Haskell's type system have any knowledge of "suptypes" in the sence of "Every Integer is a Real" ? |
2023-07-27 13:26:46 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
2023-07-27 13:27:46 +0200 | <ncf> | no |
2023-07-27 13:28:15 +0200 | <ncf> | the best you get are typeclasses, in this case Num is what makes 42 both a valid Integer and Real |
2023-07-27 13:29:48 +0200 | <ncf> | :t fromInteger :: Real a => Integer -> a |
2023-07-27 13:29:49 +0200 | <lambdabot> | Real a => Integer -> a |
2023-07-27 13:31:33 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-07-27 13:37:19 +0200 | mmhat | (~mmh@p200300f1c73d19d9ee086bfffe095315.dip0.t-ipconnect.de) |
2023-07-27 13:37:26 +0200 | mmhat | (~mmh@p200300f1c73d19d9ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
2023-07-27 13:44:07 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
2023-07-27 13:47:03 +0200 | <dminuoso> | Benzi-Junior: Well yes, exactly through typeclasses. |
2023-07-27 13:47:43 +0200 | <dminuoso> | Given that you have an `instance Real Integer` the relationship that every Integer is real is expressed. |
2023-07-27 13:48:13 +0200 | <dminuoso> | The kind of subclassing that you are thinking of exists in Haskell too, but its not tied to types but typeclasses. Namely a typeclass can be a super/subclass of another. |
2023-07-27 13:48:48 +0200 | <dminuoso> | And that has the obvious implications. Say Functor is a subclass of Monad, consequently every type that is Monad is necessarily also Functor. |
2023-07-27 13:49:38 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
2023-07-27 13:49:42 +0200 | <probie> | Isn't `Real` a bit of a misnomer, since being a member of `Real` means that you can be mapped to a `Rational`, and not a real number |
2023-07-27 13:50:15 +0200 | accord | (uid568320@id-568320.hampstead.irccloud.com) |
2023-07-27 13:50:21 +0200 | <probie> | well, a rational is a real, but I can't turn `sqrt 2` into a Rational |
2023-07-27 13:50:32 +0200 | <dminuoso> | probie: `Rational = Ratio Integer` and Integer is unbounded. |
2023-07-27 13:50:45 +0200 | <dminuoso> | So I guess its a question of belief. |
2023-07-27 13:50:47 +0200 | anpad | (~pandeyan@user/anpad) (Ping timeout: 260 seconds) |
2023-07-27 13:50:51 +0200 | pandeyan | (~pandeyan@135-180-53-157.fiber.dynamic.sonic.net) |
2023-07-27 13:50:52 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2023-07-27 13:51:25 +0200 | <dminuoso> | But yeah, Rational would have been a better name I suppose. |
2023-07-27 13:51:34 +0200 | <dminuoso> | Or IsRational *shrugs* |
2023-07-27 13:52:56 +0200 | gugu256 | (~gugu256@67.134.22.93.rev.sfr.net) |
2023-07-27 13:54:04 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-07-27 13:55:38 +0200 | califax | (~califax@user/califx) (Ping timeout: 240 seconds) |
2023-07-27 13:57:08 +0200 | califax | (~califax@user/califx) |
2023-07-27 13:57:10 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 245 seconds) |
2023-07-27 13:59:13 +0200 | <probie> | It just means that there are numeric types that I might want to represent which are subsets of the reals, but can't be instances of `Real` (e.g. `data QRoot2 = QRoot2 Rational Rational` where `QRoot2 a b` means `a + b * (sqrt 2)`). Sorry, I've derailed your explanation, but the name of the `Real` typeclass bothers me |
2023-07-27 14:00:20 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
2023-07-27 14:00:34 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) |
2023-07-27 14:01:05 +0200 | <probie> | s/the name of the `Real` typeclass bothers me/the name of the `Real` typeclass really bothers me/ |
2023-07-27 14:04:10 +0200 | <dminuoso> | The numeric typeclasses are not well designed mostly. |
2023-07-27 14:04:45 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2023-07-27 14:05:07 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 246 seconds) |
2023-07-27 14:08:20 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2023-07-27 14:10:18 +0200 | califax | (~califax@user/califx) |
2023-07-27 14:13:25 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 240 seconds) |
2023-07-27 14:21:41 +0200 | dibblego | (~dibblego@116.255.1.151) |
2023-07-27 14:21:41 +0200 | dibblego | (~dibblego@116.255.1.151) (Changing host) |
2023-07-27 14:21:41 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-07-27 14:24:06 +0200 | hammond | (proscan@gateway02.insomnia247.nl) (Changing host) |
2023-07-27 14:24:06 +0200 | hammond | (proscan@user/hammond2) |
2023-07-27 14:24:40 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2023-07-27 14:26:03 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2023-07-27 14:29:47 +0200 | <danse-nr3_> | how do these kind of improvements work? Are there issues somewhere, or change proposals? |
2023-07-27 14:30:30 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
2023-07-27 14:30:30 +0200 | <dminuoso> | Which improvements are you referring to? |
2023-07-27 14:31:05 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
2023-07-27 14:32:07 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
2023-07-27 14:32:32 +0200 | <danse-nr3_> | refactoring the numeric classes |
2023-07-27 14:33:29 +0200 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
2023-07-27 14:34:27 +0200 | <dminuoso> | There is no work that I'm aware about them. |
2023-07-27 14:35:47 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-07-27 14:35:47 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-07-27 14:35:47 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-07-27 14:37:30 +0200 | perrierjouet | (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.2) |
2023-07-27 14:38:00 +0200 | flounders | (~flounders@24.246.133.1) |
2023-07-27 14:39:01 +0200 | kitzman | (~kitzman@user/dekenevs) (Quit: C-x C-c) |
2023-07-27 14:39:33 +0200 | kitzman | (~kitzman@user/dekenevs) |
2023-07-27 14:40:25 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 240 seconds) |
2023-07-27 14:42:37 +0200 | <danse-nr3_> | i wonder whether noone ever complained or what, but i would not even know where a change proposal should be written ... maybe an issue on ghc itself |
2023-07-27 14:42:58 +0200 | libertyprime | (~libertypr@203.96.203.44) (Quit: leaving) |
2023-07-27 14:43:25 +0200 | <yushyin> | https://github.com/ghc-proposals/ghc-proposals |
2023-07-27 14:44:07 +0200 | perrierjouet | (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) |
2023-07-27 14:44:07 +0200 | kitzman | (~kitzman@user/dekenevs) (Client Quit) |
2023-07-27 14:45:01 +0200 | gugu256 | (~gugu256@67.134.22.93.rev.sfr.net) (Ping timeout: 246 seconds) |
2023-07-27 14:45:04 +0200 | <merijn> | complained about what? |
2023-07-27 14:45:40 +0200 | kitzman | (~kitzman@user/dekenevs) |
2023-07-27 14:45:52 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-07-27 14:45:52 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-07-27 14:45:52 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-07-27 14:47:36 +0200 | <danse-nr3_> | we where talking about the Real class and how the name is not correct |
2023-07-27 14:48:16 +0200 | <danse-nr3_> | thanks yushyin. I did not find anything about Real, but there have been proposals about the numeric types in the past https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0364-unify-natural.rst |
2023-07-27 14:48:40 +0200 | <probie> | You can always just supply your own prelude with your own numeric typeclasses. Actually changing them would cause massive breakage, and for most use cases they work well enough |
2023-07-27 14:49:57 +0200 | <merijn> | danse-nr3_: There are *numerous* proposed alternate hierarchies for numerics that are "more correct" |
2023-07-27 14:50:33 +0200 | <merijn> | Unfortunately, most of them are orders of magnitude less practical to actually program with (disregarding the fact that you lose compatibility with *everything*) |
2023-07-27 14:51:26 +0200 | <danse-nr3_> | yeah i suppose that has to be a slow development process |
2023-07-27 14:53:41 +0200 | zzz | yin |
2023-07-27 14:55:42 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
2023-07-27 14:56:50 +0200 | Guest5267 | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) |
2023-07-27 14:59:16 +0200 | gugu256 | (~gugu256@93.22.134.67) |
2023-07-27 14:59:49 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
2023-07-27 15:00:17 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2023-07-27 15:03:42 +0200 | CiaoSen | (~Jura@2a05:5800:28b:8f00:664b:f0ff:fe37:9ef) (Ping timeout: 245 seconds) |
2023-07-27 15:04:18 +0200 | Tlsx | (~rscastilh@187.40.124.54) |
2023-07-27 15:05:15 +0200 | danse-nr3_ | (~francesco@151.57.37.100) (Read error: Connection reset by peer) |
2023-07-27 15:05:27 +0200 | danse-nr3_ | (~francesco@151.57.72.94) |
2023-07-27 15:06:07 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
2023-07-27 15:06:29 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2023-07-27 15:15:53 +0200 | xff0x | (~xff0x@ai086045.d.east.v6connect.net) |
2023-07-27 15:16:06 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
2023-07-27 15:18:28 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
2023-07-27 15:23:17 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
2023-07-27 15:26:41 +0200 | Tlsx | (~rscastilh@187.40.124.54) () |
2023-07-27 15:28:50 +0200 | killer | (~killer@cg.ptr134.ptrcloud.net) |
2023-07-27 15:29:45 +0200 | killer | (~killer@cg.ptr134.ptrcloud.net) (Remote host closed the connection) |
2023-07-27 15:32:02 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
2023-07-27 15:32:21 +0200 | perrierjouet | (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.2) |
2023-07-27 15:37:10 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-07-27 15:37:10 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-07-27 15:37:10 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-07-27 15:37:25 +0200 | EvanR | (~EvanR@user/evanr) |
2023-07-27 15:38:09 +0200 | yaxu | (~yaxu@host-92-8-188-207.as13285.net) |
2023-07-27 15:42:23 +0200 | ddellacosta | (~ddellacos@143.244.47.71) |
2023-07-27 15:42:55 +0200 | flounders | (~flounders@24.246.133.1) (Ping timeout: 240 seconds) |
2023-07-27 15:44:34 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-07-27 15:45:28 +0200 | perrierjouet | (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) |
2023-07-27 15:52:15 +0200 | <dolio> | I think the idea beind Real is "not complex." It's somewhat odd, though. |
2023-07-27 15:52:50 +0200 | zer0bitz | (~zer0bitz@2001:2003:f443:d600:5d9e:35bf:23a6:434c) () |
2023-07-27 15:53:44 +0200 | <dolio> | Every actual type of 'real' numbers that gets used commonly is a subtype of the rationals. |
2023-07-27 15:53:58 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 246 seconds) |
2023-07-27 15:56:46 +0200 | razetime | (~quassel@117.193.0.94) (Ping timeout: 246 seconds) |
2023-07-27 15:57:02 +0200 | ystael | (~ystael@user/ystael) |
2023-07-27 15:57:21 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) |
2023-07-27 15:57:29 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
2023-07-27 16:01:24 +0200 | Guest3285 | (1ff9197ed6@2604:bf00:561:2000::11ea) (Remote host closed the connection) |
2023-07-27 16:01:31 +0200 | fgaz_ | (1ff9197ed6@2604:bf00:561:2000::11ea) |
2023-07-27 16:02:10 +0200 | <dolio> | Oh, actually, I guess that's not technically true, because IEEE floating point has those extra weird values. But the actual real numbers represented are rational. |
2023-07-27 16:02:18 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
2023-07-27 16:03:31 +0200 | perrierjouet | (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.2) |
2023-07-27 16:03:40 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
2023-07-27 16:04:41 +0200 | <monochrom> | Having the method toRational agrees with intending a subset of the rationals. The parent constraints Num, Ord suggests ordered ring. |
2023-07-27 16:05:11 +0200 | <monochrom> | Names are meaningless. APIs give the real semantics. |
2023-07-27 16:08:30 +0200 | <carbolymer> | I think a year ago (?) was a discussion somewhere about implicit HasCallStack in GHC. Was this a thing or did I mix up something? |
2023-07-27 16:08:42 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
2023-07-27 16:09:55 +0200 | <geekosaur> | there have been discussions about adding such a thing. the ghc devs are against it, because (a) it's a bandage over the real issue (b) it creates a lot of overhead (c) and would complicate the compiler |
2023-07-27 16:12:03 +0200 | <carbolymer> | right |
2023-07-27 16:12:26 +0200 | <geekosaur> | the hope is that https://downloads.haskell.org/ghc/9.4.1/docs/users_guide/debug-info.html#debugging-compiled-programs (which doesn't require profiling or etc.) will be the final solution |
2023-07-27 16:13:13 +0200 | <monochrom> | Meanwhile I'm scare-mongering my students with an assignment question that says how implicit Show (to match Java's every-type-has-toString()) would ruin parametricity. >:) |
2023-07-27 16:13:50 +0200 | <monochrom> | http://www.cs.utoronto.ca/~trebla/CSCC24-2023-Summer/a4/cscc24-2023-5-a4.pdf 1.(c) |
2023-07-27 16:15:43 +0200 | <geekosaur> | so as the alternative to `HasCallStack` everywhere you would set a breakpoint somewhere (the exception handler but I don't know how you do that currently) and get a gdb backtrace |
2023-07-27 16:16:15 +0200 | <dolio> | You got your students to care about parametricity? :) |
2023-07-27 16:16:23 +0200 | <monochrom> | heh |
2023-07-27 16:17:27 +0200 | <yaxu> | Hi, I'm wondering if it's possible to make a function that can either a parameter of type a, or a parameter of some functor of a. For example that can take an integer or a list of integers. I guess it comes down to whether it's possible to make a type class with a function 'toList', with an instance for type a where toList = pure, and an instance for type [a] where toList = id. As far as I can tell the answer is no, but maybe it's possible |
2023-07-27 16:17:27 +0200 | <yaxu> | with a type family or something like that? |
2023-07-27 16:18:12 +0200 | accord | (uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2023-07-27 16:19:05 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
2023-07-27 16:19:18 +0200 | <ncf> | instance Num a => Num [a] where fromInteger = pure . fromInteger |
2023-07-27 16:19:24 +0200 | <ncf> | 4 ++ 5 |
2023-07-27 16:19:24 +0200 | <ncf> | [4,5] |
2023-07-27 16:19:29 +0200 | <ncf> | (please don't use this) |
2023-07-27 16:19:32 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 245 seconds) |
2023-07-27 16:19:32 +0200 | yangby | (~secret@183.128.108.131) (Quit: Go out for a walk and buy a drink.) |
2023-07-27 16:21:55 +0200 | <ncf> | you could also abuse IsList but please just don't mix values and lists |
2023-07-27 16:24:55 +0200 | <yaxu> | The actual types I want to work with are (a -> a) and Pattern (a -> a), where Pattern is a functor/applicative/monad thingie from the tidal package. |
2023-07-27 16:26:26 +0200 | <geekosaur> | sounds like what Arrow tried to do with functions and Kleisli |
2023-07-27 16:26:27 +0200 | <yaxu> | I'm afraid Pattern already has a Num instance |
2023-07-27 16:26:40 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
2023-07-27 16:30:29 +0200 | notzmv | (~zmv@user/notzmv) |
2023-07-27 16:31:52 +0200 | <Profpatsch> | getLiteral :: TH.Lift to => Parser to -> TH.QuasiQuoter |
2023-07-27 16:31:56 +0200 | <Profpatsch> | Is this the best I can do? |
2023-07-27 16:32:03 +0200 | <Profpatsch> | How many types even implement Lift? |
2023-07-27 16:32:06 +0200 | <merijn> | yaxu: What's the purpose of this? |
2023-07-27 16:32:16 +0200 | <merijn> | Profpatsch: Everything in recent GHC |
2023-07-27 16:32:21 +0200 | <merijn> | Profpatsch: -XDeriveLift |
2023-07-27 16:32:24 +0200 | <geekosaur> | also there is DeriveLift |
2023-07-27 16:32:27 +0200 | <geekosaur> | that |
2023-07-27 16:32:42 +0200 | <merijn> | Profpatsch: What are you trying to do? |
2023-07-27 16:32:44 +0200 | <Profpatsch> | So I need to manually derive it? Unlike HasField for example |
2023-07-27 16:32:55 +0200 | <Profpatsch> | merijn: [parse fooParser|Foo|] |
2023-07-27 16:33:10 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
2023-07-27 16:33:12 +0200 | <Profpatsch> | For compile-time literals that can use our simple parser thingy |
2023-07-27 16:33:29 +0200 | <Profpatsch> | Right now I unwrap things from Either manually at runtime, but that’s kinda stoopid |
2023-07-27 16:33:42 +0200 | <merijn> | Profpatsch: Gotcha, way ahead of you and solved your problem :p |
2023-07-27 16:33:52 +0200 | <merijn> | Profpatsch: https://hackage.haskell.org/package/validated-literals |
2023-07-27 16:34:25 +0200 | <Profpatsch> | merijn: I don’t want to implement a class |
2023-07-27 16:34:41 +0200 | <Profpatsch> | Also why $$() instead of [foo||] |
2023-07-27 16:34:42 +0200 | <yaxu> | merijn: because most of the time I will want to pass a plain value. I want the option of passing a pattern of values, without having to stick 'pure' in front of values in the majority of cases |
2023-07-27 16:35:24 +0200 | <merijn> | Profpatsch: because [||] is a quasi quote that turns Haskell (or plain text) into some AST representation $$() is a splice which splices a generated AST into the actual one |
2023-07-27 16:36:00 +0200 | <merijn> | Profpatsch: I mean the minimal implementation of that class is "fromLiteral :: a -> Maybe b", which you presumably already have |
2023-07-27 16:36:14 +0200 | <merijn> | (or "fromLiteralWithError :: a -> Either String b" incase of an error reporting function) |
2023-07-27 16:36:18 +0200 | <Profpatsch> | merijn: no, I don’t use classes for parsing |
2023-07-27 16:36:29 +0200 | <Profpatsch> | that’s such an antipattern |
2023-07-27 16:36:34 +0200 | <Profpatsch> | I just have plain old functions |
2023-07-27 16:37:02 +0200 | <Profpatsch> | There’s not a 1:1 relationship between parsers and types |
2023-07-27 16:37:22 +0200 | <Profpatsch> | I can parse into an Int via a decimal, signed decimal, hex decimal, … |
2023-07-27 16:37:50 +0200 | <Profpatsch> | they all have different parsing functions, no sense in just allowing one per type |
2023-07-27 16:38:08 +0200 | <Profpatsch> | *hexadecimal |
2023-07-27 16:38:09 +0200 | <yaxu> | A failed attempt: |
2023-07-27 16:38:10 +0200 | <yaxu> | class PatternableFunction a where toPatFunc :: a -> Sequence (b -> c) |
2023-07-27 16:38:10 +0200 | <yaxu> | instance PatternableFunction (Sequence (b -> c)) where toPatFunc = id |
2023-07-27 16:38:10 +0200 | <yaxu> | instance PatternableFunction (b -> c) where toPatFunc = pure |
2023-07-27 16:38:52 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) |
2023-07-27 16:40:51 +0200 | <Profpatsch> | ugh, Quoters can’t be arbitrary expressions, that’s a bummer |
2023-07-27 16:41:42 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 246 seconds) |
2023-07-27 16:41:54 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) |
2023-07-27 16:43:02 +0200 | yaxu | (~yaxu@host-92-8-188-207.as13285.net) (Remote host closed the connection) |
2023-07-27 16:43:24 +0200 | yaxu | (~yaxu@host-92-8-188-207.as13285.net) |
2023-07-27 16:46:46 +0200 | yaxu | (~yaxu@host-92-8-188-207.as13285.net) (Remote host closed the connection) |
2023-07-27 16:47:10 +0200 | yaxu | (~yaxu@host-92-8-188-207.as13285.net) |
2023-07-27 16:47:53 +0200 | <probie> | In the worst case, if something needs a class, just use the reflection library so you can pass regular functions |
2023-07-27 16:49:58 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-090-248.46.114.pool.telefonica.de) (Ping timeout: 246 seconds) |
2023-07-27 16:53:08 +0200 | reach | (~reach@142.198.51.47) |
2023-07-27 16:54:15 +0200 | gugu256 | (~gugu256@93.22.134.67) (Ping timeout: 245 seconds) |
2023-07-27 16:54:16 +0200 | razetime | (~quassel@117.193.0.94) |
2023-07-27 16:55:17 +0200 | <Profpatsch> | merijn: so, if I want to use the library, but e.g. `time` does not implement Lift for its datatypes, do I have to create orphans? |
2023-07-27 16:56:17 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
2023-07-27 16:59:07 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
2023-07-27 17:01:23 +0200 | <merijn> | Profpatsch: This doesn't use a typeclass for parsing, though |
2023-07-27 17:01:34 +0200 | <merijn> | Profpatsch: It uses the typeclass to smuggle the type inference into the TH |
2023-07-27 17:01:57 +0200 | yaxu | (~yaxu@host-92-8-188-207.as13285.net) (Ping timeout: 244 seconds) |
2023-07-27 17:02:12 +0200 | <merijn> | i.e. the Even example is smuggling the 'Even' type into the TH code via the typeclass |
2023-07-27 17:03:25 +0200 | <merijn> | Profpatsch: Note that thisn't really intended for parsing actual text, since it's mostly for doing partial conversions of actual haskell values of type A into values of type B via a (compile time) partial conversion |
2023-07-27 17:03:45 +0200 | <Profpatsch> | fromMaybe $$("00:01" & Field.qq Csv.timeHourMinute) |
2023-07-27 17:03:49 +0200 | <Profpatsch> | works pretty well |
2023-07-27 17:04:03 +0200 | <Profpatsch> | merijn: ^ I stole liberally from your example though :) |
2023-07-27 17:04:06 +0200 | ddellacosta | (~ddellacos@143.244.47.71) (Ping timeout: 246 seconds) |
2023-07-27 17:04:19 +0200 | <Profpatsch> | gotta implement a bunch of orphan instances which are hopefully gonne get filled by future versions of libraries |
2023-07-27 17:04:36 +0200 | venkateshK[m] | RandomInt[m] |
2023-07-27 17:04:52 +0200 | <Profpatsch> | I wonder if they lead to blowup of code or something |
2023-07-27 17:05:13 +0200 | <merijn> | Profpatsch: Lift is fairly straightforward, so it shouldn't |
2023-07-27 17:05:33 +0200 | <Profpatsch> | I’d love to see it be automatically derived like HasField |
2023-07-27 17:05:37 +0200 | <merijn> | There's just a few fundamental things that are tricky to Lift (i.e. stuff including Ptr/MVar/IORef/ logically can't really be lifted) |
2023-07-27 17:05:39 +0200 | jonrh_ | jonrh |
2023-07-27 17:06:04 +0200 | ddellacosta | (~ddellacos@146.70.168.200) |
2023-07-27 17:06:18 +0200 | <Profpatsch> | merijn: fwiw, “Field.*” above is https://hackage.haskell.org/package/pa-field-parser-0.1.0.1/docs/FieldParser.html |
2023-07-27 17:06:33 +0200 | <Profpatsch> | which is essentially what your “validate” function does, without the class |
2023-07-27 17:08:30 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3401:66dc:a02a:a620) |
2023-07-27 17:08:41 +0200 | <Profpatsch> | merijn: why use $$() and not $() tho? |
2023-07-27 17:08:57 +0200 | <Profpatsch> | As far as I can understand I’m lifting from Q to Splice anyway |
2023-07-27 17:09:24 +0200 | <Profpatsch> | Oh, is it because $() does not have an output type? |
2023-07-27 17:10:30 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
2023-07-27 17:11:44 +0200 | <merijn> | Profpatsch: $$() is typed template Haskell |
2023-07-27 17:12:04 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2023-07-27 17:12:13 +0200 | <merijn> | $() produces an untyped expression, so you don't know what TH to generate (unless you write a TH function per conversion) |
2023-07-27 17:12:28 +0200 | <Profpatsch> | Ah, I guess this is a newer addition to TH |
2023-07-27 17:12:36 +0200 | <Profpatsch> | I hope TH can still be saved somehow |
2023-07-27 17:12:38 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3401:66dc:a02a:a620) (Ping timeout: 246 seconds) |
2023-07-27 17:12:57 +0200 | <merijn> | But the entire goal of this class was: most people finding writing TH code kinda intimidating, and with this code you can use TH without writing any code with it (since the class just wants a regular function) |
2023-07-27 17:13:55 +0200 | Guest5267 | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
2023-07-27 17:13:56 +0200 | <merijn> | Profpatsch: basically, TH allows generating ill-typed splices (so the splices for an Even expression that ends up returning an expression with type Char). Typed TH has type info from the surrounding code and only allows AST splices that much the type of the context they're spliced in |
2023-07-27 17:15:22 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
2023-07-27 17:16:04 +0200 | nyc | (~nyc@2603-7000-a106-2fb5-0000-0000-0000-1f21.res6.spectrum.com) (Ping timeout: 260 seconds) |
2023-07-27 17:17:52 +0200 | reach | (~reach@142.198.51.47) (Ping timeout: 245 seconds) |
2023-07-27 17:18:48 +0200 | habib | (~habib@193.160.247.211) (Remote host closed the connection) |
2023-07-27 17:18:49 +0200 | mauke | (~mauke@user/mauke) |
2023-07-27 17:21:28 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-07-27 17:21:29 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-07-27 17:21:29 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-07-27 17:21:56 +0200 | Guest1409 | Ankhers |
2023-07-27 17:22:34 +0200 | <Profpatsch> | That’s a good step in the rigth direction I’d say |
2023-07-27 17:23:03 +0200 | <Profpatsch> | Now we only need to split IO TH from pure TH, so that we can finally get rid of the recompilation overhead for the moste useful stuff |
2023-07-27 17:26:13 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2023-07-27 17:28:58 +0200 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
2023-07-27 17:29:04 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
2023-07-27 17:29:47 +0200 | kmein | (~weechat@user/kmein) |
2023-07-27 17:30:04 +0200 | mixfix41 | (~sdeny9ee@user/mixfix41) (Ping timeout: 260 seconds) |
2023-07-27 17:30:44 +0200 | reach | (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) |
2023-07-27 17:31:17 +0200 | <Profpatsch> | Hrm, I guess if there was some restricted Q that might do the trick actually |
2023-07-27 17:31:29 +0200 | <Profpatsch> | Q-- |
2023-07-27 17:32:55 +0200 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
2023-07-27 17:33:46 +0200 | shapr | (~user@2600:1700:c640:3100:fa13:6c46:116:2be9) |
2023-07-27 17:34:01 +0200 | <shapr> | I wrote a blog post: https://shapr.github.io/posts/2023-07-25-android-app-in-haskell.html |
2023-07-27 17:34:47 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 264 seconds) |
2023-07-27 17:35:59 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 264 seconds) |
2023-07-27 17:38:55 +0200 | gugu256 | (~gugu256@67.134.22.93.rev.sfr.net) |
2023-07-27 17:40:52 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 250 seconds) |
2023-07-27 17:41:05 +0200 | tomku | (~tomku@user/tomku) |
2023-07-27 17:43:21 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
2023-07-27 17:43:39 +0200 | reach | (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) (Ping timeout: 246 seconds) |
2023-07-27 17:44:11 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
2023-07-27 17:49:13 +0200 | <danse-nr3_> | shapr, android app in haskell! Interesting ... i will read it and ping you |
2023-07-27 17:49:44 +0200 | <shapr> | yeah! |
2023-07-27 17:52:30 +0200 | litharge | (litharge@libera/bot/litharge) |
2023-07-27 17:54:45 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
2023-07-27 17:54:46 +0200 | <mauke> | heh, "the Jean-Paul taught nix" |
2023-07-27 17:55:41 +0200 | <mauke> | also nice use of "in anger". there was a discussion on Mastodon a while ago about the origins of this phrase and where it is known |
2023-07-27 17:56:16 +0200 | aniketd | (~aniketd@2405:201:d00b:116e:9de7:8d94:3db0:68dc) (Quit: Client closed) |
2023-07-27 17:58:56 +0200 | <ncf> | in + anger? |
2023-07-27 17:59:19 +0200 | <ncf> | like "in doubt" |
2023-07-27 17:59:57 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
2023-07-27 18:01:09 +0200 | <mauke> | "Jean-Paul wanted to use Haskell in anger." |
2023-07-27 18:01:51 +0200 | <darkling> | mauke: Heh. I was in that one. :) |
2023-07-27 18:03:43 +0200 | <ncf> | oh so it means something like "for real"? i wasn't aware of that meaning |
2023-07-27 18:04:18 +0200 | <darkling> | Interestingly, the usages that the researcher on that thread found were all referring to weapons, |
2023-07-27 18:04:41 +0200 | <mauke> | yeah, there was speculation about military slang origins |
2023-07-27 18:04:42 +0200 | <darkling> | but many of the people who used it regularly used it to mean "for real". |
2023-07-27 18:07:40 +0200 | mixfix41 | (~sdeny9ee@user/mixfix41) |
2023-07-27 18:09:53 +0200 | <danse-nr3_> | i guess using haskell "in anger" is what happens when one starts and gets kicked often by the compiler for trivial tasks |
2023-07-27 18:10:15 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds) |
2023-07-27 18:11:45 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
2023-07-27 18:13:14 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2023-07-27 18:13:44 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
2023-07-27 18:14:38 +0200 | <shapr> | Jean-Paul was coming from Python, with Python's challenges, so using Haskell in anger was correct here. |
2023-07-27 18:14:49 +0200 | <shapr> | But the anger was not directed at Haskell! |
2023-07-27 18:14:54 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2023-07-27 18:14:55 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
2023-07-27 18:15:12 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
2023-07-27 18:15:21 +0200 | <shapr> | mauke: ok, I took out "the Jean-Paul" though it is funny |
2023-07-27 18:15:47 +0200 | notzmv | (~zmv@user/notzmv) |
2023-07-27 18:17:03 +0200 | perrierjouet | (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) |
2023-07-27 18:17:16 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Ping timeout: 250 seconds) |
2023-07-27 18:17:53 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
2023-07-27 18:17:55 +0200 | <ddellacosta> | I have always interpreted that as, for example, you are trying to fix something you got paged to fix at 1AM, and you didn't write it, and have to figure out how to patch it quickly, and that's when you really learn about using any given tool, when you have to use it "in anger" |
2023-07-27 18:18:20 +0200 | <danse-nr3_> | yeah that has also always been my interpretation |
2023-07-27 18:18:56 +0200 | <shapr> | Hm, I like that interpretation |
2023-07-27 18:19:58 +0200 | reach | (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) |
2023-07-27 18:24:40 +0200 | danse-nr3_ | (~francesco@151.57.72.94) (Ping timeout: 245 seconds) |
2023-07-27 18:34:11 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2023-07-27 18:35:26 +0200 | ddellacosta | (~ddellacos@146.70.168.200) (Ping timeout: 245 seconds) |
2023-07-27 18:36:49 +0200 | mvk | (~mvk@2607:fea8:5c9a:a600::1c6d) |
2023-07-27 18:37:30 +0200 | ddellacosta | (~ddellacos@146.70.185.168) |
2023-07-27 18:41:12 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
2023-07-27 18:41:13 +0200 | [exa] | (~exa@srv3n.blesmrt.net) (Changing host) |
2023-07-27 18:41:13 +0200 | [exa] | (~exa@user/exa/x-3587197) |
2023-07-27 18:41:45 +0200 | <gugu256> | All right everybody, y'all convinced me to try haskell. I'm installing the GHC, this better be good |
2023-07-27 18:42:57 +0200 | <maerwald> | oh gosh, hope the installation will work |
2023-07-27 18:44:20 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2023-07-27 18:45:14 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-07-27 18:46:10 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
2023-07-27 18:48:26 +0200 | <gugu256> | maerwald: the installation is frickin long |
2023-07-27 18:48:34 +0200 | <maerwald> | oh no |
2023-07-27 18:49:15 +0200 | <gugu256> | this is a bad sign ? |
2023-07-27 18:49:29 +0200 | <gugu256> | i mean, i said i wanted to install everything |
2023-07-27 18:49:41 +0200 | <gugu256> | i still find that it's taking a lot of space on my disk tho |
2023-07-27 18:51:40 +0200 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) (Remote host closed the connection) |
2023-07-27 18:52:23 +0200 | <mauke> | oh yeah, it's gigabytes of stuff |
2023-07-27 18:53:26 +0200 | <gugu256> | gigabytes ? |
2023-07-27 18:54:14 +0200 | <maerwald> | yeah... they come after megabytes |
2023-07-27 18:54:46 +0200 | <dolio> | My /opt/ghc/9.6.2 is 2.1GB. |
2023-07-27 18:54:46 +0200 | <maerwald> | kind of a funny lot |
2023-07-27 18:55:08 +0200 | <gugu256> | WHY SO MUCH ? |
2023-07-27 18:55:13 +0200 | <maerwald> | yes, without profiling libs a little less |
2023-07-27 18:55:38 +0200 | <gugu256> | please tell me that it's easy to uninstall all this mess |
2023-07-27 18:55:43 +0200 | <maerwald> | lol |
2023-07-27 18:55:51 +0200 | <maerwald> | depends how you installed |
2023-07-27 18:56:01 +0200 | <gugu256> | i installed everything from the command line |
2023-07-27 18:56:04 +0200 | <mauke> | with ghcup? pretty trivial, I think |
2023-07-27 18:56:11 +0200 | <gugu256> | yep with ghcup |
2023-07-27 18:56:18 +0200 | <maerwald> | ghcup nuke |
2023-07-27 18:56:33 +0200 | <mauke> | 2.6G /home/mauke/.ghcup/ghc/9.6.2/ |
2023-07-27 18:56:38 +0200 | <gugu256> | nuke ? |
2023-07-27 18:56:43 +0200 | <maerwald> | yeah, like oppenheimer |
2023-07-27 18:56:45 +0200 | <mauke> | that deletes everything |
2023-07-27 18:56:54 +0200 | <gugu256> | guys be serious |
2023-07-27 18:56:57 +0200 | <maerwald> | xD |
2023-07-27 18:57:03 +0200 | <shapr> | why so serious? |
2023-07-27 18:57:04 +0200 | <gugu256> | YES DONE |
2023-07-27 18:57:13 +0200 | <mauke> | nuke Completely remove ghcup from your system |
2023-07-27 18:57:14 +0200 | <shapr> | gugu256: what convinced you to install Haskell? |
2023-07-27 18:57:16 +0200 | <mauke> | ^ not a joke |
2023-07-27 18:57:22 +0200 | <maerwald> | you can also try onliine https://play.haskell.org/ |
2023-07-27 18:57:31 +0200 | <shapr> | oh yeah |
2023-07-27 18:57:40 +0200 | <gugu256> | shapr: dunno, it looked cool and it's interesting |
2023-07-27 18:58:39 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
2023-07-27 18:58:55 +0200 | <maerwald> | gugu256: wait, so now you deleted everything? |
2023-07-27 18:59:00 +0200 | <dolio> | 672M is documentation |
2023-07-27 18:59:05 +0200 | <gugu256> | marwald: no |
2023-07-27 18:59:09 +0200 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
2023-07-27 18:59:10 +0200 | <maerwald> | why not? |
2023-07-27 18:59:13 +0200 | <dolio> | 627, even. |
2023-07-27 18:59:38 +0200 | <gugu256> | maerwald: because i wanted to code in haskell ? |
2023-07-27 18:59:44 +0200 | <maerwald> | pff |
2023-07-27 18:59:50 +0200 | <maerwald> | prove it |
2023-07-27 18:59:54 +0200 | <Profpatsch> | wow huh |
2023-07-27 19:00:07 +0200 | <Profpatsch> | I wasn’t aware the ApplicativeDo heuristics depends on the size of the rigth side of <- |
2023-07-27 19:00:22 +0200 | <mauke> | maerwald: ? |
2023-07-27 19:00:31 +0200 | <maerwald> | mauke: hm? |
2023-07-27 19:00:32 +0200 | <Profpatsch> | I was getting a Monad inferred even though I didn’t even map over anything in m |
2023-07-27 19:00:54 +0200 | <Profpatsch> | moving the right side into a let solved the problem |
2023-07-27 19:00:59 +0200 | <gugu256> | THE GHCUP FOLDER IS 6 GO BIG |
2023-07-27 19:01:05 +0200 | <maerwald> | omg |
2023-07-27 19:01:33 +0200 | <gugu256> | how come a programming language needs so much space |
2023-07-27 19:01:42 +0200 | <maerwald> | gugu256: ghcup gc -p -s -h -c -t |
2023-07-27 19:01:49 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 244 seconds) |
2023-07-27 19:01:51 +0200 | <gugu256> | what's that |
2023-07-27 19:01:54 +0200 | <yushyin> | mine is >12GB |
2023-07-27 19:01:57 +0200 | <maerwald> | gugu256: run it |
2023-07-27 19:02:01 +0200 | <gugu256> | nope |
2023-07-27 19:02:05 +0200 | <gugu256> | explain first |
2023-07-27 19:02:07 +0200 | <maerwald> | why |
2023-07-27 19:02:11 +0200 | <maerwald> | ghcup gc --help |
2023-07-27 19:02:13 +0200 | <maerwald> | explains it |
2023-07-27 19:02:38 +0200 | <Profpatsch> | GHC might be big, but at least it compresses really well :P |
2023-07-27 19:02:38 +0200 | <mauke> | why remove profiling libs? |
2023-07-27 19:02:53 +0200 | <maerwald> | don't think you need profiling when starting out with haskell |
2023-07-27 19:03:11 +0200 | <gugu256> | what's profiling |
2023-07-27 19:03:23 +0200 | <maerwald> | gives you more grip |
2023-07-27 19:03:27 +0200 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
2023-07-27 19:03:37 +0200 | <gugu256> | maerwald: over what ? |
2023-07-27 19:03:41 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
2023-07-27 19:03:45 +0200 | <mauke> | when you're trying to optimize your code, profiling tells you where it spends most of its time |
2023-07-27 19:03:55 +0200 | <maerwald> | yeah... a grip on perfomance |
2023-07-27 19:04:02 +0200 | <mauke> | so you can see which parts are slow |
2023-07-27 19:04:15 +0200 | <gugu256> | ok |
2023-07-27 19:04:23 +0200 | <Profpatsch> | maerwald: gugu is a French-speaker, you can’t expect all puns to land :) |
2023-07-27 19:04:43 +0200 | <mauke> | in haskell this involves special compiler options, and you need special profiling versions of all the libraries as well |
2023-07-27 19:05:04 +0200 | <gugu256> | maerwald: you saw that because of my server ? |
2023-07-27 19:05:18 +0200 | <maerwald> | I see everything |
2023-07-27 19:05:32 +0200 | <shapr> | *forboding music* |
2023-07-27 19:05:50 +0200 | <gugu256> | maerwald ist Deutsch |
2023-07-27 19:06:04 +0200 | <maerwald> | hey... I have a cloak |
2023-07-27 19:06:20 +0200 | <maerwald> | oh no, I'm decloaked |
2023-07-27 19:06:39 +0200 | maerwald | (~maerwald@mail.hasufell.de) (Changing host) |
2023-07-27 19:06:39 +0200 | maerwald | (~maerwald@user/maerwald) |
2023-07-27 19:06:57 +0200 | <mauke> | you weren't logged in |
2023-07-27 19:07:02 +0200 | <maerwald> | gosh |
2023-07-27 19:07:19 +0200 | <maerwald> | all the years of privacy building wasted |
2023-07-27 19:07:24 +0200 | <mauke> | also, your SSL certificate is expired |
2023-07-27 19:07:30 +0200 | <maerwald> | it always does |
2023-07-27 19:07:41 +0200 | <maerwald> | my docker container that's supposed to renew it doesn't work |
2023-07-27 19:07:51 +0200 | <maerwald> | all software is trash |
2023-07-27 19:08:46 +0200 | razetime | (~quassel@117.193.0.94) (Remote host closed the connection) |
2023-07-27 19:11:10 +0200 | reach | (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) (Remote host closed the connection) |
2023-07-27 19:11:25 +0200 | kitzman | (~kitzman@user/dekenevs) (Quit: C-x C-c) |
2023-07-27 19:11:38 +0200 | reach | (~reach@142.198.51.47) |
2023-07-27 19:12:58 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
2023-07-27 19:12:58 +0200 | <gugu256> | main = do |
2023-07-27 19:12:59 +0200 | <gugu256> | putStrLn "Hello, World" |
2023-07-27 19:13:00 +0200 | <gugu256> | GO BRR |
2023-07-27 19:13:13 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
2023-07-27 19:14:29 +0200 | nyc | (~nyc@2603-7000-a106-2fb5-0000-0000-0000-1f21.res6.spectrum.com) |
2023-07-27 19:15:12 +0200 | <mauke> | can be shortened to: main = putStr "Hello, world!\n" |
2023-07-27 19:16:35 +0200 | <shapr> | I say I'm Swedish, but it's not true |
2023-07-27 19:17:48 +0200 | <shapr> | Out of all the programming languages I've tried, Haskell irritates me the least. |
2023-07-27 19:17:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-07-27 19:18:05 +0200 | <shapr> | hoi tromp, hoe gaat het met jou? |
2023-07-27 19:18:29 +0200 | <maerwald> | Go is not irritating... until you want to do error handling and you feel thrown back to C |
2023-07-27 19:18:30 +0200 | <tromp> | het gaat zijn gangetje... |
2023-07-27 19:18:46 +0200 | <mauke> | wat mutt, dat mutt |
2023-07-27 19:19:16 +0200 | <tromp> | en met jou, shapr? |
2023-07-27 19:19:30 +0200 | <shapr> | gaat goed! |
2023-07-27 19:19:39 +0200 | <shapr> | I just published a blog post about building an Android app in Haskell |
2023-07-27 19:20:00 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
2023-07-27 19:20:03 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2023-07-27 19:20:04 +0200 | <shapr> | maerwald: I tried to write `id` in Go before generics, that was irritating |
2023-07-27 19:20:11 +0200 | <mauke> | (the mobile OS, not an actual cyborg) |
2023-07-27 19:20:13 +0200 | <shapr> | Haven't tried Go since they got generics |
2023-07-27 19:20:25 +0200 | <tromp> | i published a blog post about the largest integer representable in 64 bits |
2023-07-27 19:20:28 +0200 | <shapr> | I think acowley does robot things in Haskell |
2023-07-27 19:20:35 +0200 | <shapr> | tromp: oooh, where's that? |
2023-07-27 19:20:42 +0200 | <shapr> | Do you have a mastodon account I can follow? |
2023-07-27 19:21:11 +0200 | <tromp> | not that i knowL( |
2023-07-27 19:21:14 +0200 | <tromp> | https://googology.fandom.com/wiki/User_blog:JohnTromp/The_largest_number_representable_in_64_bits |
2023-07-27 19:21:46 +0200 | Guest5267 | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) |
2023-07-27 19:22:10 +0200 | <tromp> | apparently that site is ad ridden but i don't really tell when using Brave browser |
2023-07-27 19:22:42 +0200 | <shapr> | Is your lambda playground still around? |
2023-07-27 19:23:18 +0200 | <mauke> | 2^1024 (1-2^-53)? that doesn't look right |
2023-07-27 19:23:25 +0200 | <ncf> | "the largest number representable in 64 bits" sounds a lot like "the largest number definable in less than 20 words"... |
2023-07-27 19:24:07 +0200 | <ncf> | well i guess it's less paradoxical than https://en.wikipedia.org/wiki/Berry_paradox |
2023-07-27 19:24:33 +0200 | <ncf> | but only because there's no negation involved |
2023-07-27 19:24:40 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
2023-07-27 19:25:28 +0200 | kitzman | (~kitzman@user/dekenevs) |
2023-07-27 19:25:33 +0200 | <tromp> | do you mean my webpage "John's Lambda Calculus and Combinatory Logic Playground" ? |
2023-07-27 19:25:38 +0200 | perrierjouet | (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.2) |
2023-07-27 19:26:21 +0200 | <tromp> | i welcome corrections, mauke |
2023-07-27 19:27:27 +0200 | <mauke> | > 2^1024 * (1 - 2^^(-53)) :: Double |
2023-07-27 19:27:29 +0200 | <lambdabot> | Infinity |
2023-07-27 19:28:01 +0200 | <mauke> | oh, I see now what's going on |
2023-07-27 19:28:45 +0200 | <mauke> | this is the 2^64-1 of floating point numbers |
2023-07-27 19:28:59 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
2023-07-27 19:29:19 +0200 | perrierjouet | (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) |
2023-07-27 19:30:04 +0200 | <jade[m]> | the docs for ap mention that it can be used like return f `ap` x `ap` y `ap` ... - should one rather write this as pure f `ap` ... or is return in this case more idiomatic, even though its use is discouraged? |
2023-07-27 19:30:21 +0200 | <jade[m]> | when using `<*>` which should be equivialent you see `pure` of course |
2023-07-27 19:31:44 +0200 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) (Ping timeout: 246 seconds) |
2023-07-27 19:31:45 +0200 | hellwolf | (~user@5b3d-5cac-bb28-d008-0f00-4d40-07d0-2001.sta.estpak.ee) (Read error: Connection reset by peer) |
2023-07-27 19:35:53 +0200 | <int-e> | > 2^1023 * (1 - 2^^(-53)) * 2 |
2023-07-27 19:35:55 +0200 | <lambdabot> | 1.7976931348623157e308 |
2023-07-27 19:38:37 +0200 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) |
2023-07-27 19:38:44 +0200 | tomsmeding | (~tomsmedin@static.21.109.88.23.clients.your-server.de) (Ping timeout: 250 seconds) |
2023-07-27 19:38:58 +0200 | tomsmeding | (~tomsmedin@2a01:4f8:c0c:5e5e::2) |
2023-07-27 19:38:59 +0200 | <shapr> | tromp: yes, when you gave the actual title I could find it! |
2023-07-27 19:40:02 +0200 | <tromp> | or you can just visit my home page (easy to find) and click on the predecessor image |
2023-07-27 19:41:18 +0200 | <tromp> | i mean the diagram of the lambda calculus predecessor function |
2023-07-27 19:41:33 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2023-07-27 19:44:13 +0200 | nattiestnate | (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) (Quit: WeeChat 4.0.2) |
2023-07-27 19:45:55 +0200 | <mauke> | tromp: do you know about http://djm.cc/bignum-results.txt ? |
2023-07-27 19:46:57 +0200 | <tromp> | yes, i know about Loader's number |
2023-07-27 19:47:28 +0200 | <tromp> | would be interesting to port it to BLC one day |
2023-07-27 19:48:31 +0200 | <tromp> | it looks like the 63 bit program exceeds all entries in that contest except for loader's |
2023-07-27 19:49:11 +0200 | <tromp> | oops, no. i misread omega**omega as omega*omega |
2023-07-27 19:51:41 +0200 | gugu256 | (~gugu256@67.134.22.93.rev.sfr.net) (Ping timeout: 245 seconds) |
2023-07-27 19:55:15 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds) |
2023-07-27 19:55:34 +0200 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
2023-07-27 19:57:42 +0200 | komikat` | (~user@218.185.248.66) (Ping timeout: 260 seconds) |
2023-07-27 19:58:55 +0200 | reach | (~reach@142.198.51.47) (Ping timeout: 240 seconds) |
2023-07-27 19:58:58 +0200 | mvk | (~mvk@2607:fea8:5c9a:a600::1c6d) (Ping timeout: 246 seconds) |
2023-07-27 20:02:18 +0200 | komikat` | (~user@218.185.248.66) |
2023-07-27 20:05:52 +0200 | trev | (~trev@user/trev) (Quit: trev) |
2023-07-27 20:06:25 +0200 | komikat` | (~user@218.185.248.66) (Ping timeout: 240 seconds) |
2023-07-27 20:08:49 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
2023-07-27 20:14:12 +0200 | Inst_ | (~Inst@2601:6c4:4081:2fc0:81e3:495a:25c7:6863) |
2023-07-27 20:16:00 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 250 seconds) |
2023-07-27 20:16:40 +0200 | <Guest5267> | how to use lens to update vector at index 0 |
2023-07-27 20:17:08 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Remote host closed the connection) |
2023-07-27 20:17:21 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
2023-07-27 20:17:41 +0200 | <glguy> | I'd use _head |
2023-07-27 20:17:47 +0200 | <glguy> | set _head 42 |
2023-07-27 20:18:38 +0200 | Inst__ | (~Inst@2601:6c4:4081:2fc0:5890:e6f2:7ab0:1c8) |
2023-07-27 20:18:39 +0200 | Inst | (~Inst@2601:6c4:4081:2fc0:81e3:495a:25c7:6863) (Ping timeout: 260 seconds) |
2023-07-27 20:18:53 +0200 | <Guest5267> | what about other index |
2023-07-27 20:18:59 +0200 | jmd_ | (~jmdaemon@user/jmdaemon) |
2023-07-27 20:19:43 +0200 | <Guest5267> | isn't it a pity that ix doesnt work for vector for updating? |
2023-07-27 20:20:37 +0200 | <glguy> | it does |
2023-07-27 20:20:55 +0200 | Inst_ | (~Inst@2601:6c4:4081:2fc0:81e3:495a:25c7:6863) (Ping timeout: 245 seconds) |
2023-07-27 20:22:31 +0200 | reach | (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) |
2023-07-27 20:25:55 +0200 | Guest5267 | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds) |
2023-07-27 20:27:29 +0200 | Guest8558 | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) |
2023-07-27 20:27:40 +0200 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
2023-07-27 20:35:10 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Quit: Leaving) |
2023-07-27 20:43:30 +0200 | gmg | (~user@user/gehmehgeh) |
2023-07-27 20:45:50 +0200 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
2023-07-27 20:47:51 +0200 | Inst__ | (~Inst@2601:6c4:4081:2fc0:5890:e6f2:7ab0:1c8) (Read error: Connection reset by peer) |
2023-07-27 20:49:22 +0200 | reach | (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) (Ping timeout: 246 seconds) |
2023-07-27 20:49:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-07-27 20:50:26 +0200 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
2023-07-27 20:54:37 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
2023-07-27 20:57:51 +0200 | Inst | (~Inst@c-76-101-10-131.hsd1.fl.comcast.net) |
2023-07-27 20:58:55 +0200 | reach | (~reach@142.198.51.47) |
2023-07-27 21:03:01 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2023-07-27 21:08:45 +0200 | matt1 | (~matt@92.41.26.229.threembb.co.uk) |
2023-07-27 21:10:30 +0200 | reach | (~reach@142.198.51.47) (Ping timeout: 245 seconds) |
2023-07-27 21:11:47 +0200 | reach | (~reach@142.198.51.47) |
2023-07-27 21:14:11 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2023-07-27 21:17:54 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2023-07-27 21:18:33 +0200 | reach_ | (~reach@2605:8d80:682:d1af:1992:b716:bcf7:814b) |
2023-07-27 21:19:15 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Ping timeout: 245 seconds) |
2023-07-27 21:19:49 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
2023-07-27 21:20:48 +0200 | phma | (phma@2001:5b0:210b:9ac8:cc3e:81df:eae2:50e9) (Read error: Connection reset by peer) |
2023-07-27 21:21:11 +0200 | phma | (phma@2001:5b0:210b:9ac8:482d:5318:4a02:3871) |
2023-07-27 21:21:35 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 264 seconds) |
2023-07-27 21:22:18 +0200 | reach | (~reach@142.198.51.47) (Ping timeout: 250 seconds) |
2023-07-27 21:27:00 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 244 seconds) |
2023-07-27 21:27:05 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-07-27 21:27:05 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-07-27 21:27:05 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-07-27 21:27:20 +0200 | sajith | (~sajith@user/sajith) (Quit: Gone) |
2023-07-27 21:27:20 +0200 | nonzen_ | (~nonzen@user/nonzen) (Quit: Gone) |
2023-07-27 21:27:41 +0200 | nonzen | (~nonzen@user/nonzen) |
2023-07-27 21:28:14 +0200 | sajith | (~sajith@user/sajith) |
2023-07-27 21:28:34 +0200 | ft | (~ft@p3e9bc61e.dip0.t-ipconnect.de) |
2023-07-27 21:29:39 +0200 | nonzen | (~nonzen@user/nonzen) (Client Quit) |
2023-07-27 21:29:39 +0200 | sajith | (~sajith@user/sajith) (Remote host closed the connection) |
2023-07-27 21:30:18 +0200 | nonzen | (~nonzen@user/nonzen) |
2023-07-27 21:30:50 +0200 | sajith | (~sajith@user/sajith) |
2023-07-27 21:31:06 +0200 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
2023-07-27 21:31:34 +0200 | johnw | (~johnw@69.62.242.138) |
2023-07-27 21:31:39 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds) |
2023-07-27 21:33:07 +0200 | jmd_ | (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds) |
2023-07-27 21:35:22 +0200 | Inst | (~Inst@c-76-101-10-131.hsd1.fl.comcast.net) (Ping timeout: 245 seconds) |
2023-07-27 21:36:18 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-07-27 21:36:18 +0200 | Inst | (~Inst@c-76-101-10-131.hsd1.fl.comcast.net) |
2023-07-27 21:36:18 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-07-27 21:36:18 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-07-27 21:47:06 +0200 | reach__ | (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) |
2023-07-27 21:47:07 +0200 | reach_ | (~reach@2605:8d80:682:d1af:1992:b716:bcf7:814b) (Read error: Connection reset by peer) |
2023-07-27 21:47:10 +0200 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
2023-07-27 21:50:22 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2023-07-27 21:51:27 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
2023-07-27 21:52:11 +0200 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 264 seconds) |
2023-07-27 21:58:48 +0200 | Guest8558 | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds) |
2023-07-27 21:59:17 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-07-27 21:59:17 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-07-27 21:59:17 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-07-27 21:59:36 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-07-27 22:01:38 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 240 seconds) |
2023-07-27 22:02:15 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
2023-07-27 22:04:33 +0200 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
2023-07-27 22:05:10 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
2023-07-27 22:06:04 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds) |
2023-07-27 22:07:11 +0200 | reach__ | (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) (Ping timeout: 264 seconds) |
2023-07-27 22:08:20 +0200 | thyriaen | (~thyriaen@2a01:aea0:dd4:699d:6245:cbff:fe9f:48b1) (Quit: Leaving) |
2023-07-27 22:09:32 +0200 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
2023-07-27 22:11:39 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-07-27 22:11:39 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-07-27 22:11:39 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-07-27 22:15:53 +0200 | Guest8558 | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) |
2023-07-27 22:15:59 +0200 | connrs | (~connrs@user/connrs) (Quit: ZNC 1.8.2 - https://znc.in) |
2023-07-27 22:16:15 +0200 | connrs | (~connrs@user/connrs) |
2023-07-27 22:19:21 +0200 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
2023-07-27 22:20:42 +0200 | EvanR | (~EvanR@user/evanr) |
2023-07-27 22:26:33 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
2023-07-27 22:31:21 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2023-07-27 22:35:29 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 246 seconds) |
2023-07-27 22:43:19 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
2023-07-27 22:43:57 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2023-07-27 22:45:21 +0200 | yaxu | (~yaxu@94.119.64.35) |
2023-07-27 22:49:01 +0200 | mvk | (~mvk@2607:fea8:5c9a:a600::1c6d) |
2023-07-27 22:50:52 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3401:66dc:a02a:a620) |
2023-07-27 22:51:38 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
2023-07-27 22:54:46 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
2023-07-27 22:54:50 +0200 | perrierjouet | (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.2) |
2023-07-27 22:55:17 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3401:66dc:a02a:a620) (Ping timeout: 246 seconds) |
2023-07-27 22:57:56 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
2023-07-27 22:58:08 +0200 | perrierjouet | (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) |
2023-07-27 23:02:07 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-07-27 23:02:07 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-07-27 23:02:07 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-07-27 23:04:42 +0200 | reach__ | (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) |
2023-07-27 23:04:59 +0200 | nick4 | (~nick@2600:8807:9084:7800:504a:bdb:1c92:8eb1) |
2023-07-27 23:11:45 +0200 | Guest8558 | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Ping timeout: 245 seconds) |
2023-07-27 23:11:54 +0200 | ubert | (~Thunderbi@77.119.169.110.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
2023-07-27 23:12:06 +0200 | ubert1 | (~Thunderbi@178.115.37.112.wireless.dyn.drei.com) |
2023-07-27 23:14:23 +0200 | ubert1 | ubert |
2023-07-27 23:19:03 +0200 | Pickchea | (~private@user/pickchea) |
2023-07-27 23:21:29 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
2023-07-27 23:23:19 +0200 | libertyprime | (~libertypr@203.96.203.44) |
2023-07-27 23:25:48 +0200 | matt1 | (~matt@92.41.26.229.threembb.co.uk) (Quit: WeeChat 4.0.2) |
2023-07-27 23:26:18 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
2023-07-27 23:29:19 +0200 | reach__ | (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) (Ping timeout: 246 seconds) |
2023-07-27 23:29:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-07-27 23:32:33 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
2023-07-27 23:36:24 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
2023-07-27 23:36:32 +0200 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
2023-07-27 23:38:15 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
2023-07-27 23:40:01 +0200 | flounders | (~flounders@24.246.133.1) |
2023-07-27 23:41:06 +0200 | tom_ | (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) |
2023-07-27 23:42:32 +0200 | finsternis | (~X@23.226.237.192) |
2023-07-27 23:43:34 +0200 | zincy | (~tom@host81-151-255-71.range81-151.btcentralplus.com) (Ping timeout: 250 seconds) |
2023-07-27 23:45:41 +0200 | mvk | (~mvk@2607:fea8:5c9a:a600::1c6d) (Ping timeout: 246 seconds) |
2023-07-27 23:47:01 +0200 | yaxu | (~yaxu@94.119.64.35) (Ping timeout: 244 seconds) |
2023-07-27 23:47:56 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
2023-07-27 23:48:28 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2023-07-27 23:49:05 +0200 | reach__ | (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) |
2023-07-27 23:52:54 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
2023-07-27 23:55:51 +0200 | reach__ | (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) (Ping timeout: 245 seconds) |
2023-07-27 23:57:27 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 245 seconds) |
2023-07-27 23:58:12 +0200 | reach__ | (~reach@142.198.51.47) |
2023-07-27 23:58:22 +0200 | ystael | (~ystael@user/ystael) |