| 2026-05-08 00:04:33 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 265 seconds) |
| 2026-05-08 00:08:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 00:09:22 +0000 | troojg | (~troojg@user/troojg) troojg |
| 2026-05-08 00:13:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-08 00:24:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 00:26:23 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 272 seconds) |
| 2026-05-08 00:29:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-05-08 00:40:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 00:45:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-08 00:54:02 +0000 | ski | (~ski@remote11.chalmers.se) (Quit: Lost terminal) |
| 2026-05-08 00:55:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 01:01:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-08 01:08:51 +0000 | xff0x | (~xff0x@2405:6580:b080:900:79af:fb0c:40ec:7d1d) (Ping timeout: 244 seconds) |
| 2026-05-08 01:09:27 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e5135ca89a898b6e748a.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2026-05-08 01:11:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 01:19:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-05-08 01:29:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 01:34:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-08 01:35:50 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-05-08 01:41:42 +0000 | notzmv | (~umar@user/notzmv) (Ping timeout: 255 seconds) |
| 2026-05-08 01:45:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 01:50:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-08 01:52:46 +0000 | Ranhir | (~Ranhir@157.97.53.139) Ranhir |
| 2026-05-08 01:54:22 +0000 | craunts795335385 | (~craunts@152.32.100.66) (Quit: The Lounge - https://thelounge.chat) |
| 2026-05-08 01:56:58 +0000 | haskellbridge | (~hackager@96.28.224.214) (Remote host closed the connection) |
| 2026-05-08 01:57:34 +0000 | haskellbridge | (~hackager@96.28.224.214) hackager |
| 2026-05-08 01:57:34 +0000 | ChanServ | +v haskellbridge |
| 2026-05-08 02:06:49 +0000 | td_ | (~td@83.135.9.8) (Ping timeout: 244 seconds) |
| 2026-05-08 02:07:56 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-05-08 02:08:02 +0000 | <EvanR> | tomsmeding, nice! |
| 2026-05-08 02:08:54 +0000 | td_ | (~td@i5387091D.versanet.de) |
| 2026-05-08 02:10:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 02:16:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-05-08 02:23:24 +0000 | layline_ | (~layline@149.154.26.181) layline |
| 2026-05-08 02:26:00 +0000 | troojg | (~troojg@user/troojg) (Remote host closed the connection) |
| 2026-05-08 02:26:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 02:31:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-08 02:32:17 +0000 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::49) |
| 2026-05-08 02:35:09 +0000 | jreicher | (~joelr@user/jreicher) (Quit: brb) |
| 2026-05-08 02:36:44 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-05-08 02:41:45 +0000 | <monochrom> | IMO both type-level and vibe-coding are overhyped. |
| 2026-05-08 02:44:50 +0000 | <monochrom> | The future though is foretold long ago already, long before even the LLM fad. This is the fable. A village has had theft by outside thieves, so they hired a security guard. Then they needed to do payroll for the guard, so they hired an account. Now they had two employees to supervise, so they hired a manager. Now they were overspending, so they laid off the security guard! Maybe later the accountant too. |
| 2026-05-08 02:45:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 02:45:14 +0000 | <monochrom> | The future is that management types get rid of everyone except themselves. |
| 2026-05-08 02:48:58 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2026-05-08 02:49:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-08 02:52:33 +0000 | user363627 | (~user@user/user363627) user363627 |
| 2026-05-08 02:53:25 +0000 | <jreicher> | Someone's feeling chipper today |
| 2026-05-08 02:54:37 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:ff84:bcd5:3751:b6f8) |
| 2026-05-08 02:55:10 +0000 | weary-traveler | (~user@user/user363627) (Ping timeout: 256 seconds) |
| 2026-05-08 02:56:05 +0000 | potatoespotatoes | (~quassel@130.44.145.181) |
| 2026-05-08 02:56:05 +0000 | potatoespotatoes | (~quassel@130.44.145.181) (Changing host) |
| 2026-05-08 02:56:05 +0000 | potatoespotatoes | (~quassel@user/potatoespotatoes) potatoespotatoes |
| 2026-05-08 02:58:14 +0000 | potatoes | (~quassel@user/potatoes) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2026-05-08 02:58:48 +0000 | potatoespotatoes | (~quassel@user/potatoespotatoes) (Client Quit) |
| 2026-05-08 02:59:06 +0000 | potatoes | (~quassel@130.44.145.181) |
| 2026-05-08 02:59:06 +0000 | potatoes | (~quassel@130.44.145.181) (Changing host) |
| 2026-05-08 02:59:06 +0000 | potatoes | (~quassel@user/potatoes) potatoes |
| 2026-05-08 03:00:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 03:07:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-08 03:12:17 +0000 | rekahsoft | (~rekahsoft@70.51.99.119) (Remote host closed the connection) |
| 2026-05-08 03:16:07 +0000 | layline_ | layline-away |
| 2026-05-08 03:18:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 03:22:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-08 03:23:34 +0000 | m | (~travltux@user/travltux) (Quit: WeeChat 4.7.2) |
| 2026-05-08 03:25:04 +0000 | m | (~travltux@user/travltux) travltux |
| 2026-05-08 03:29:20 +0000 | layline-away | layline_ |
| 2026-05-08 03:29:51 +0000 | layline_ | layline-away |
| 2026-05-08 03:33:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 03:34:51 +0000 | layline-away | layline_ |
| 2026-05-08 03:35:21 +0000 | layline_ | layline-away |
| 2026-05-08 03:36:08 +0000 | layline-away | layline_ |
| 2026-05-08 03:36:39 +0000 | layline_ | (~layline@149.154.26.181) (Read error: Connection reset by peer) |
| 2026-05-08 03:37:39 +0000 | layline_ | (~layline@149.154.26.181) layline |
| 2026-05-08 03:38:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-08 03:40:30 +0000 | shr\ke | (~shrike@user/paxhumana) (Ping timeout: 255 seconds) |
| 2026-05-08 03:49:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 03:54:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-08 03:56:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 04:01:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-08 04:01:55 +0000 | layline__ | (~layline@149.154.26.39) layline |
| 2026-05-08 04:04:46 +0000 | layline_ | (~layline@149.154.26.181) (Ping timeout: 265 seconds) |
| 2026-05-08 04:12:04 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-08 04:16:55 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-05-08 04:27:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 04:30:56 +0000 | <dibblego> | what is "type-level" in this conversation? |
| 2026-05-08 04:31:34 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2026-05-08 04:32:04 +0000 | <dibblego> | like tracking the length of a list in the type? |
| 2026-05-08 04:32:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-08 04:34:05 +0000 | layline__ | (~layline@149.154.26.39) (Quit: ZZZzzz…) |
| 2026-05-08 04:44:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 04:47:08 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2026-05-08 04:51:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-08 04:57:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 04:59:24 +0000 | Buliarous | (~gypsydang@46.232.210.139) (Remote host closed the connection) |
| 2026-05-08 05:02:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-08 05:08:50 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-05-08 05:12:19 +0000 | michalz | (~michalz@185.246.207.203) |
| 2026-05-08 05:12:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 05:17:04 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-05-08 05:17:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-08 05:29:58 +0000 | craunts795335385 | (~craunts@152.32.100.66) |
| 2026-05-08 05:32:39 +0000 | socksbuny5 | (~socks@oberon.raccoon.fun) (Quit: goodbye :)) |
| 2026-05-08 05:33:36 +0000 | socksbuny5 | (~socks@oberon.raccoon.fun) raccoonasdf |
| 2026-05-08 05:34:48 +0000 | marinelli | (~weechat@brrr.fr) (Quit: marinelli) |
| 2026-05-08 05:41:16 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e51324d5b9d8a680768e.dip0.t-ipconnect.de) acidjnk |
| 2026-05-08 05:45:28 +0000 | Buliarous | (~gypsydang@46.232.210.139) Buliarous |
| 2026-05-08 05:52:22 +0000 | _0xa | (~user@user/0xa/x-3134607) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2026-05-08 05:53:11 +0000 | _0xa | (~user@95.179.128.10) |
| 2026-05-08 05:53:11 +0000 | _0xa | (~user@95.179.128.10) (Changing host) |
| 2026-05-08 05:53:11 +0000 | _0xa | (~user@user/0xa/x-3134607) _0xa |
| 2026-05-08 05:58:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 06:02:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-08 06:04:30 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-05-08 06:07:04 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-05-08 06:07:10 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) CiaoSen |
| 2026-05-08 06:09:48 +0000 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
| 2026-05-08 06:11:54 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-05-08 06:12:08 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-05-08 06:13:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 06:19:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-08 06:24:19 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 264 seconds) |
| 2026-05-08 06:29:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 06:30:45 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-05-08 06:31:01 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:ff84:bcd5:3751:b6f8) (Remote host closed the connection) |
| 2026-05-08 06:34:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-08 06:45:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 06:50:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-05-08 06:52:17 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-05-08 06:57:48 +0000 | Square2 | (~Square@user/square) Square |
| 2026-05-08 06:58:10 +0000 | chele | (~chele@user/chele) chele |
| 2026-05-08 06:59:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 07:01:04 +0000 | <Inst> | dibblego: the implication is that the "future" is AI-generated code from types |
| 2026-05-08 07:01:20 +0000 | <Inst> | type-level gives sufficiently expressive types that it's not completely stupid |
| 2026-05-08 07:01:50 +0000 | Square | (~Square4@user/square) (Ping timeout: 245 seconds) |
| 2026-05-08 07:02:20 +0000 | <Inst> | the implied joke is thus if you go along with that euphemism, you can have "type-level" JS which is just plain vibecoding due to being unityped / dynamic |
| 2026-05-08 07:05:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-08 07:07:22 +0000 | tromp | (~textual@2001:1c00:340e:2700:3c1c:a2d8:b3ec:376e) |
| 2026-05-08 07:10:13 +0000 | misterfish | (~misterfis@094190207253.static.ipv4.heldenvannu.net) misterfish |
| 2026-05-08 07:17:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 07:19:21 +0000 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-05-08 07:21:13 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 2026-05-08 07:22:04 +0000 | xff0x_ | xff0x |
| 2026-05-08 07:22:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-08 07:26:07 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2026-05-08 07:26:22 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-05-08 07:26:29 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-05-08 07:32:08 +0000 | tromp | (~textual@2001:1c00:340e:2700:3c1c:a2d8:b3ec:376e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-05-08 07:33:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 07:33:57 +0000 | ft | (~ft@p4fc2aefd.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-05-08 07:38:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-08 07:41:25 +0000 | tromp | (~textual@2001:1c00:340e:2700:3c1c:a2d8:b3ec:376e) |
| 2026-05-08 07:46:46 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-05-08 07:49:50 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-08 07:54:26 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-05-08 08:00:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 08:04:23 +0000 | Square2 | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2026-05-08 08:05:09 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/) |
| 2026-05-08 08:05:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-08 08:08:08 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-08 08:09:59 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 272 seconds) |
| 2026-05-08 08:15:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 08:34:49 +0000 | supersecant | (~superseca@2a02:6b6f:e715:4f00:34d4:1987:8d0b:c51d) supersecant |
| 2026-05-08 08:37:31 +0000 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:153:757b:80df:e034) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2026-05-08 08:37:52 +0000 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) youngfrog |
| 2026-05-08 08:41:17 +0000 | <tomsmeding> | [exa]: my mini http server thing has bugs, don't use it yet |
| 2026-05-08 08:41:52 +0000 | <merijn> | I mean, tbf, most software has bugs ;) |
| 2026-05-08 08:42:05 +0000 | <tomsmeding> | ok yeah the fact that it has bugs is unsurprising |
| 2026-05-08 08:42:14 +0000 | <tomsmeding> | but the bugs are actually bad enough that the thing died overnight |
| 2026-05-08 08:42:49 +0000 | <tomsmeding> | it's all safe haskell and the program doesn't have any confidential data so nothing went wrong, but a 100% CPU loop without serving requests is not great |
| 2026-05-08 08:50:16 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-05-08 08:51:44 +0000 | <[exa]> | tomsmeding: oh okay :D |
| 2026-05-08 08:51:49 +0000 | <[exa]> | tomsmeding: throw `ab` at it and see? |
| 2026-05-08 08:53:13 +0000 | <tomsmeding> | that's not packaged for archlinux I see |
| 2026-05-08 09:01:31 +0000 | berberman | (~berberman@user/berberman) (Read error: Connection reset by peer) |
| 2026-05-08 09:02:09 +0000 | berberman | (~berberman@user/berberman) berberman |
| 2026-05-08 09:09:53 +0000 | kuribas | (~user@2a02-1810-2825-6000-5fb4-5fd-ccc5-e460.ip6.access.telenet.be) kuribas |
| 2026-05-08 09:14:58 +0000 | misterfish | (~misterfis@094190207253.static.ipv4.heldenvannu.net) (Ping timeout: 248 seconds) |
| 2026-05-08 09:16:28 +0000 | <kuribas> | Why is the monoid instance of HashMap union, instead of unionWith mappend ? |
| 2026-05-08 09:16:42 +0000 | <tomsmeding> | because Map's monoid instance is the same |
| 2026-05-08 09:18:00 +0000 | <kuribas> | Why is map's monoid like that? |
| 2026-05-08 09:22:02 +0000 | <Leary> | Historical mistake. Too late to fix it. |
| 2026-05-08 09:23:18 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e5686491f957b0701d02.dip0.t-ipconnect.de) acidjnk |
| 2026-05-08 09:26:10 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e51324d5b9d8a680768e.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2026-05-08 09:33:27 +0000 | tv | (~tv@user/tv) (Quit: derp) |
| 2026-05-08 09:33:44 +0000 | tv | (~tv@user/tv) tv |
| 2026-05-08 09:36:54 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Ping timeout: 255 seconds) |
| 2026-05-08 09:39:55 +0000 | tromp | (~textual@2001:1c00:340e:2700:3c1c:a2d8:b3ec:376e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-05-08 09:51:07 +0000 | <kuribas> | Is there a way to do a traversal over a structure, and use the path to each element to access another structure? |
| 2026-05-08 09:51:12 +0000 | <kuribas> | Using lenses? |
| 2026-05-08 09:52:33 +0000 | tromp | (~textual@2001:1c00:340e:2700:3c1c:a2d8:b3ec:376e) |
| 2026-05-08 09:53:28 +0000 | <kuribas> | Like getting back a list of lenses? |
| 2026-05-08 09:57:16 +0000 | <kuribas> | I could do this with my aeson diff generic library, but it uses "dynamic" to find the path https://hackage.haskell.org/package/aeson-diff-generic-0.0.3/docs/Data-Aeson-Diff-Generic.html |
| 2026-05-08 09:57:23 +0000 | jreicher | (~joelr@user/jreicher) (Quit: brb) |
| 2026-05-08 09:57:49 +0000 | <__monty__> | It makes the Monoid instance broader though. |
| 2026-05-08 09:58:56 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-05-08 09:59:29 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-08 09:59:37 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 2026-05-08 09:59:47 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Client Quit) |
| 2026-05-08 10:00:24 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-08 10:02:42 +0000 | bggd | (~bgg@user/bggd) (Remote host closed the connection) |
| 2026-05-08 10:04:35 +0000 | <kuribas> | Well, I would expect the Monoid not to "lose" information. |
| 2026-05-08 10:10:45 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-05-08 10:14:34 +0000 | danza | (~danza@user/danza) danza |
| 2026-05-08 10:14:58 +0000 | <__monty__> | That's a lot to expect from a Monoid. |
| 2026-05-08 10:16:34 +0000 | <__monty__> | I like `unionWith mappend` too. It's just that there's something to be said for having default instances be as general as possible. |
| 2026-05-08 10:17:40 +0000 | <Leary> | It's not a lot to expect if you can choose your monoid. And `union` can be recovered by choosing `First a`, so it's not actually more general. |
| 2026-05-08 10:19:15 +0000 | <kuribas> | __monty__: I mean, mappend for lists could also _drop elements_. |
| 2026-05-08 10:19:27 +0000 | <kuribas> | while remaining lawful. |
| 2026-05-08 10:19:47 +0000 | <kuribas> | Leary: indeed |
| 2026-05-08 10:20:56 +0000 | <merijn> | kuribas: Because it sucks :p |
| 2026-05-08 10:21:03 +0000 | <merijn> | I hate Map's monoid so much |
| 2026-05-08 10:21:18 +0000 | <merijn> | please give sane Monoid instance for map :( |
| 2026-05-08 10:21:47 +0000 | <merijn> | kuribas: Monoid losing information is perfectly fine in terms of laws, though |
| 2026-05-08 10:22:22 +0000 | <merijn> | > mconcat $ map (First . Just) [1..5] |
| 2026-05-08 10:22:23 +0000 | <lambdabot> | First {getFirst = Just 1} |
| 2026-05-08 10:22:30 +0000 | <merijn> | > mconcat $ map (Last . Just) [1..5] |
| 2026-05-08 10:22:31 +0000 | <lambdabot> | Last {getLast = Just 5} |
| 2026-05-08 10:22:47 +0000 | <merijn> | It's just that the obvious monoid instance for map is so much more powerful and useful :( |
| 2026-05-08 10:29:21 +0000 | <[exa]> | Monoid Map with union sounds kinda like Functor Set |
| 2026-05-08 10:35:55 +0000 | <tomsmeding> | Monoid is Type -> Constraint, Functor is (Type -> Type) -> Constraint, and there lies the problem |
| 2026-05-08 10:38:34 +0000 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2026-05-08 10:45:44 +0000 | <__monty__> | Leary: I mean that's no longer Monoid v => Monoid (Map k v) then and we're kinda back to the more explicit unionWith, no? |
| 2026-05-08 10:50:10 +0000 | <__monty__> | merijn: I was going to give the same examples, but there's no information lost really. The first element of a sequence of firsts is the first, there's no loss of firstness. Similar with Sum and Max. And you can also argue the same for the Map monoid, the information is whether a key is mapped to a value and mappend never loses keys. |
| 2026-05-08 10:55:50 +0000 | <kuribas> | Something I also don't like about python, that traversing a dict gives only the keys. |
| 2026-05-08 11:00:22 +0000 | <jreicher> | It makes me uncomfortable that you just said "traversing" and "keys" in the same sentence... |
| 2026-05-08 11:00:33 +0000 | <[exa]> | luckily haskell fixed that by traversing only values :) |
| 2026-05-08 11:01:23 +0000 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-05-08 11:03:00 +0000 | <kuribas> | jreicher: that's python... |
| 2026-05-08 11:03:14 +0000 | <jreicher> | Yeah, I know |
| 2026-05-08 11:03:18 +0000 | tromp | (~textual@2001:1c00:340e:2700:3c1c:a2d8:b3ec:376e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-05-08 11:03:38 +0000 | <kuribas> | list({'a':1, 'b':2}) == ['a', 'b'] |
| 2026-05-08 11:09:37 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2026-05-08 11:24:25 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e5686491f957b0701d02.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2026-05-08 11:26:59 +0000 | mtmn | (~mtmn@user/mtmn) (Remote host closed the connection) |
| 2026-05-08 11:28:01 +0000 | mtmn | (~mtmn@user/mtmn) mtmn |
| 2026-05-08 11:32:03 +0000 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
| 2026-05-08 11:32:20 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) (Quit: The Lounge - https://thelounge.chat) |
| 2026-05-08 11:53:26 +0000 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2026-05-08 11:54:54 +0000 | poscat | (~poscat@user/poscat) (Ping timeout: 245 seconds) |
| 2026-05-08 11:54:55 +0000 | hsw | (~hsw@112-104-8-95.adsl.dynamic.seed.net.tw) (Ping timeout: 264 seconds) |
| 2026-05-08 11:58:17 +0000 | tv | (~tv@user/tv) (Quit: derp) |
| 2026-05-08 11:58:30 +0000 | Deltaspace | (~Deltaspac@user/Deltaspace) (Ping timeout: 245 seconds) |
| 2026-05-08 11:58:30 +0000 | glguy | (glguy@libera/staff/glguy) (Read error: Connection reset by peer) |
| 2026-05-08 11:58:42 +0000 | tv | (~tv@user/tv) tv |
| 2026-05-08 11:58:47 +0000 | Deltaspace | (~Deltaspac@178.252.83.109) |
| 2026-05-08 11:59:23 +0000 | glguy | (glguy@libera/staff/glguy) glguy |
| 2026-05-08 12:02:08 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-05-08 12:10:21 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 255 seconds) |
| 2026-05-08 12:17:39 +0000 | Eiko43 | (~Eiko@31.205.124.174) |
| 2026-05-08 12:19:42 +0000 | tromp | (~textual@2001:1c00:340e:2700:3c1c:a2d8:b3ec:376e) |
| 2026-05-08 12:20:27 +0000 | [exa] | (~exa@user/exa/x-3587197) (Quit: reboot) |
| 2026-05-08 12:21:49 +0000 | gawen | (~gawen@user/gawen) (Quit: cya) |
| 2026-05-08 12:22:36 +0000 | gawen | (~gawen@user/gawen) gawen |
| 2026-05-08 12:23:35 +0000 | xff0x | (~xff0x@2405:6580:b080:900:6136:2ef3:135a:3fe2) |
| 2026-05-08 12:28:03 +0000 | FANTOM | (~fantom@90.244.177.43) (Quit: Connection error?!) |
| 2026-05-08 12:28:25 +0000 | xff0x | (~xff0x@2405:6580:b080:900:6136:2ef3:135a:3fe2) (Ping timeout: 248 seconds) |
| 2026-05-08 12:30:02 +0000 | xff0x | (~xff0x@2405:6580:b080:900:3997:6416:b204:9bae) |
| 2026-05-08 12:30:13 +0000 | [exa] | (~exa@user/exa/x-3587197) [exa] |
| 2026-05-08 12:33:09 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-05-08 12:33:27 +0000 | tromp | (~textual@2001:1c00:340e:2700:3c1c:a2d8:b3ec:376e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-05-08 12:36:01 +0000 | hsw | (~hsw@112-104-8-95.adsl.dynamic.seed.net.tw) hsw |
| 2026-05-08 12:36:09 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) terrorjack |
| 2026-05-08 12:39:16 +0000 | <kuribas> | python dict doesn't even have unionWith. You need to use the annoying defaultdict. |
| 2026-05-08 12:51:53 +0000 | ystael | (~ystael@user/ystael) ystael |
| 2026-05-08 12:54:36 +0000 | danza | (~danza@user/danza) danza |
| 2026-05-08 13:15:29 +0000 | tromp | (~textual@2001:1c00:340e:2700:3c1c:a2d8:b3ec:376e) |
| 2026-05-08 13:19:49 +0000 | danza | (~danza@user/danza) (Read error: Connection reset by peer) |
| 2026-05-08 13:20:15 +0000 | danza | (~danza@user/danza) danza |
| 2026-05-08 13:23:25 +0000 | <__monty__> | It's not that bad a choice if you see it as a poor man's Set. |
| 2026-05-08 13:25:21 +0000 | <kuribas> | "set" is poor man's Set, no? |
| 2026-05-08 13:25:34 +0000 | <kuribas> | dict would be poor mans dict. |
| 2026-05-08 13:27:03 +0000 | fed-kaczynski | (~fed-kaczy@user/fed-kaczynski) (Remote host closed the connection) |
| 2026-05-08 13:29:28 +0000 | fed-kaczynski | (~fed-kaczy@user/fed-kaczynski) fed-kaczynski |
| 2026-05-08 13:29:45 +0000 | <__monty__> | Maybe my Python 2 experience is shining through but dictionaries always felt more first-class than sets. |
| 2026-05-08 13:30:57 +0000 | <kuribas> | All sets are dictionaries. |
| 2026-05-08 13:31:29 +0000 | <kuribas> | set[X] == dict[X, None] |
| 2026-05-08 13:31:40 +0000 | rainbyte | (~rainbyte@181.47.219.3) (Read error: Connection reset by peer) |
| 2026-05-08 13:32:39 +0000 | <__monty__> | Yeah, so having for loops iterate over keys and conversion to list using the keys etc. are reasonable, since that makes dicts easier to use as sets. |
| 2026-05-08 13:34:12 +0000 | <kuribas> | But I don't want to use dict as a set? |
| 2026-05-08 13:34:21 +0000 | <kuribas> | I want set as a set, and dict as a dict... |
| 2026-05-08 13:34:28 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-05-08 13:34:51 +0000 | rainbyte | (~rainbyte@181.47.219.3) rainbyte |
| 2026-05-08 13:54:18 +0000 | hsw | (~hsw@112-104-8-95.adsl.dynamic.seed.net.tw) (Remote host closed the connection) |
| 2026-05-08 13:57:41 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Ping timeout: 272 seconds) |
| 2026-05-08 13:58:52 +0000 | hsw | (~hsw@112-104-8-95.adsl.dynamic.seed.net.tw) hsw |
| 2026-05-08 13:59:19 +0000 | m | (~travltux@user/travltux) (Quit: WeeChat 4.7.2) |
| 2026-05-08 14:13:48 +0000 | m | (~travltux@user/travltux) travltux |
| 2026-05-08 14:19:04 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-05-08 14:27:49 +0000 | puke | (~puke@user/puke) puke |
| 2026-05-08 14:32:31 +0000 | tromp | (~textual@2001:1c00:340e:2700:3c1c:a2d8:b3ec:376e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-05-08 14:32:32 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2026-05-08 14:32:35 +0000 | Wygulmage | (~Wygulmage@user/Wygulmage) Wygulmage |
| 2026-05-08 14:42:33 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-08 14:43:27 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-05-08 14:44:47 +0000 | Enrico63 | (~Enrico63@85.255.233.176) Enrico63 |
| 2026-05-08 15:06:43 +0000 | tromp | (~textual@2001:1c00:340e:2700:3c1c:a2d8:b3ec:376e) |
| 2026-05-08 15:12:45 +0000 | Eiko43 | (~Eiko@31.205.124.174) (Quit: Client closed) |
| 2026-05-08 15:14:26 +0000 | Enrico63 | (~Enrico63@85.255.233.176) (Quit: Client closed) |
| 2026-05-08 15:25:56 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-05-08 15:33:43 +0000 | FANTOM | (~fantom@212.228.182.72) |
| 2026-05-08 15:45:30 +0000 | ft | (~ft@p4fc2aefd.dip0.t-ipconnect.de) ft |
| 2026-05-08 15:54:05 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2026-05-08 15:59:50 +0000 | misterfish | (~misterfis@84-82-125-212.fixed.kpn.net) misterfish |
| 2026-05-08 16:05:13 +0000 | haskellbridge | (~hackager@96.28.224.214) (Remote host closed the connection) |
| 2026-05-08 16:09:34 +0000 | <EvanR> | kuribas, you think that's bad. The Map in elixir still doesn't support the equivalent of fmap xD |
| 2026-05-08 16:12:43 +0000 | Deltaspace | (~Deltaspac@178.252.83.109) (Changing host) |
| 2026-05-08 16:12:43 +0000 | Deltaspace | (~Deltaspac@user/Deltaspace) Deltaspace |
| 2026-05-08 16:15:31 +0000 | craunts795335385 | (~craunts@152.32.100.66) (Quit: The Lounge - https://thelounge.chat) |
| 2026-05-08 16:16:25 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2026-05-08 16:16:35 +0000 | Square2 | (~Square@user/square) Square |
| 2026-05-08 16:17:19 +0000 | emaczen | (~user@user/emaczen) emaczen |
| 2026-05-08 16:20:08 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2026-05-08 16:29:03 +0000 | Eoco | (~ian@128.101.131.218) (Ping timeout: 272 seconds) |
| 2026-05-08 16:35:22 +0000 | Eoco | (~ian@128.101.131.218) Eoco |
| 2026-05-08 16:38:26 +0000 | tzh | (~tzh@76.115.131.146) tzh |
| 2026-05-08 16:41:23 +0000 | fed-kaczynski | (~fed-kaczy@user/fed-kaczynski) (Remote host closed the connection) |
| 2026-05-08 16:43:35 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2026-05-08 16:43:47 +0000 | fed-kaczynski | (~fed-kaczy@user/fed-kaczynski) fed-kaczynski |
| 2026-05-08 16:45:03 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-08 16:46:51 +0000 | tromp | (~textual@2001:1c00:340e:2700:3c1c:a2d8:b3ec:376e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-05-08 16:48:15 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2026-05-08 16:48:39 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2026-05-08 16:48:54 +0000 | Eoco | (~ian@128.101.131.218) (Ping timeout: 255 seconds) |
| 2026-05-08 16:53:20 +0000 | tromp | (~textual@2001:1c00:340e:2700:3c1c:a2d8:b3ec:376e) |
| 2026-05-08 16:58:42 +0000 | Eoco | (~ian@128.101.131.218) Eoco |
| 2026-05-08 17:02:55 +0000 | tromp | (~textual@2001:1c00:340e:2700:3c1c:a2d8:b3ec:376e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-05-08 17:03:20 +0000 | danza | (~danza@user/danza) (Read error: Connection reset by peer) |
| 2026-05-08 17:09:43 +0000 | synchromesh | (~john@139.180.114.128) (Remote host closed the connection) |
| 2026-05-08 17:10:42 +0000 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) bitmapper |
| 2026-05-08 17:15:10 +0000 | tromp | (~textual@2001:1c00:340e:2700:3c1c:a2d8:b3ec:376e) |
| 2026-05-08 17:18:41 +0000 | <ystael> | Is there a standard cause for 502 Bad Gateway errors when stack is trying to download a cabal file from Hackage? |
| 2026-05-08 17:19:18 +0000 | <ystael> | Searching yields some github issues related to ipv6 bugs in old versions of stack, but that doesn't make sense because this started happening sometime in the last month and we haven't changed stack versions in a very long time |
| 2026-05-08 17:24:00 +0000 | siraben | (~siraben@user/siraben) siraben |
| 2026-05-08 17:33:23 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2026-05-08 17:35:05 +0000 | TMA | (tma@twin.jikos.cz) (Ping timeout: 248 seconds) |
| 2026-05-08 17:35:29 +0000 | <EvanR> | github has been having issues |
| 2026-05-08 17:35:47 +0000 | TMA | (tma@twin.jikos.cz) TMA |
| 2026-05-08 17:35:47 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-08 17:38:27 +0000 | s00pcan | (~s00pcan@24.73.63.94) s00pcan |
| 2026-05-08 17:43:30 +0000 | td_ | (~td@i5387091D.versanet.de) (Ping timeout: 245 seconds) |
| 2026-05-08 17:45:20 +0000 | td_ | (~td@i53870916.versanet.de) td_ |
| 2026-05-08 17:59:44 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2026-05-08 18:02:48 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:c96c:126:6c27:62dd) |
| 2026-05-08 18:06:55 +0000 | <ricardomaps> | how many times have you written a circular program? i just found my first application |
| 2026-05-08 18:08:14 +0000 | <monochrom> | What is a circular program? Like x = 0:x ? |
| 2026-05-08 18:09:41 +0000 | <ricardomaps> | i think that counts, but i mean the kind of circular program that takes as input its own output and still terminates |
| 2026-05-08 18:10:19 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-05-08 18:10:39 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-05-08 18:14:57 +0000 | Deltaspace | (~Deltaspac@user/Deltaspace) (Ping timeout: 244 seconds) |
| 2026-05-08 18:15:29 +0000 | Deltaspace | (~Deltaspac@103.251.167.3) |
| 2026-05-08 18:19:41 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2026-05-08 18:21:21 +0000 | <__monty__> | I mean, text editors are pretty darn useful. |
| 2026-05-08 18:32:07 +0000 | <janus> | kuribas: isinstance ( set() , type(dict())) == False. this contradicts your assertion 'All sets are dictionaries' |
| 2026-05-08 18:32:35 +0000 | <[exa]> | ricardomaps: not like every week but every now and then it becomes super useful for doing generators etc |
| 2026-05-08 18:34:49 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-05-08 18:35:15 +0000 | <janus> | kuribas: these are not the same classes: {1} vs {'a': 1} |
| 2026-05-08 18:36:28 +0000 | <[exa]> | I see the same `object` |
| 2026-05-08 18:36:35 +0000 | [exa] | ducks |
| 2026-05-08 18:37:09 +0000 | zb | (jobnbg@bot.kapsi.fi) (Remote host closed the connection) |
| 2026-05-08 18:37:11 +0000 | <janus> | [exa]: try `{1} is {1}`. I see two different object identities :P |
| 2026-05-08 18:37:44 +0000 | <monochrom> | Oh so Python has a different trinity from Javascript? >:) |
| 2026-05-08 18:38:13 +0000 | Square2 | (~Square@user/square) (Read error: Connection reset by peer) |
| 2026-05-08 18:38:18 +0000 | <[exa]> | `isinstance({1}, object) and isinstance({'a':1}, object)` q.e.d. |
| 2026-05-08 18:38:44 +0000 | [exa] | hides again |
| 2026-05-08 18:38:49 +0000 | <EvanR> | you could consider the user + running application as a circular feedback system |
| 2026-05-08 18:38:53 +0000 | <EvanR> | cybernetics strikes again |
| 2026-05-08 18:38:55 +0000 | <janus> | python just has an operator for querying object identity , that's cleaner than whatever javascript has |
| 2026-05-08 18:39:14 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2026-05-08 18:39:23 +0000 | <[exa]> | monochrom: "trinity" lol |
| 2026-05-08 18:39:27 +0000 | <janus> | the word 'is' becomes confusing even in FP when we admit HoTT and cubical, no? so maybe we shouldn't be so high and mighty :P |
| 2026-05-08 18:39:59 +0000 | <EvanR> | that's what happens when you freely mix syntax and semantics, or use vibe semantics |
| 2026-05-08 18:40:15 +0000 | <monochrom> | Equality has always been confusing. >:) |
| 2026-05-08 18:40:18 +0000 | <EvanR> | otoh if it's formalism all the way down you're safe |
| 2026-05-08 18:40:21 +0000 | <[exa]> | reminds me the failure of `is` in ontologies and semantic webs |
| 2026-05-08 18:40:46 +0000 | <EvanR> | we're in a chinese room just shuffling symbols back and forth |
| 2026-05-08 18:40:47 +0000 | mud | (~mud@user/kadoban) kadoban |
| 2026-05-08 18:41:06 +0000 | <EvanR> | assuming you don't know chinese |
| 2026-05-08 18:41:20 +0000 | <[exa]> | :) |
| 2026-05-08 18:41:54 +0000 | <raincomplex> | truth is bigger than logic |
| 2026-05-08 18:42:19 +0000 | <EvanR> | but truth social is not as big as facebook |
| 2026-05-08 18:42:22 +0000 | <monochrom> | What does that mean? |
| 2026-05-08 18:42:58 +0000 | <janus> | werner herzog keeps saying that truth to him is distinct from correctness/facts |
| 2026-05-08 18:43:16 +0000 | <raincomplex> | incompleteness theorem |
| 2026-05-08 18:43:21 +0000 | <EvanR> | alternate facts? |
| 2026-05-08 18:44:13 +0000 | <janus> | i think it's more like subjectivism or permitting feelings as a fundamental concept. but i am no philosopher |
| 2026-05-08 18:44:36 +0000 | <EvanR> | luckily you can get away without philosophy in logic but presenting the semantics of your logic |
| 2026-05-08 18:44:40 +0000 | <EvanR> | by* |
| 2026-05-08 18:44:59 +0000 | <EvanR> | yes logic also has to deal with semantics! |
| 2026-05-08 18:45:39 +0000 | <EvanR> | though back in the early days I don't know if anyone recognized it |
| 2026-05-08 18:45:53 +0000 | <monochrom> | I don't buy that interpretation of the incompleteness theorem. My interpretation: "truth", even in the sense of the incompleteness theorem, is just meta logic, which is just yet another logic. Therefore, I correct your sentence to: A bigger logic is bigger than a smaller logic. Therefore nothing to see there. |
| 2026-05-08 18:46:04 +0000 | bggd | (~bgg@2a01:e0a:fd5:f510:e859:39f2:9dab:4fc7) |
| 2026-05-08 18:46:04 +0000 | bggd | (~bgg@2a01:e0a:fd5:f510:e859:39f2:9dab:4fc7) (Changing host) |
| 2026-05-08 18:46:04 +0000 | bggd | (~bgg@user/bggd) bggd |
| 2026-05-08 18:46:22 +0000 | <EvanR> | kripke frames are cool |
| 2026-05-08 18:46:52 +0000 | <EvanR> | and can help digest incompleteness issues in a formal system |
| 2026-05-08 18:46:55 +0000 | <monochrom> | Another way to say it: One person's "semantics" is just another person's "syntax". |
| 2026-05-08 18:47:28 +0000 | <monochrom> | (And do not think that a piece of reasoning is not formal just because it uses English.) |
| 2026-05-08 18:47:43 +0000 | <raincomplex> | do you think there is a biggest logic? |
| 2026-05-08 18:48:00 +0000 | <monochrom> | I do not know. |
| 2026-05-08 18:48:03 +0000 | <EvanR> | do you think there is a rigid hierarchies of logic? |
| 2026-05-08 18:48:23 +0000 | <EvanR> | and not a cosmopolitan community of logic |
| 2026-05-08 18:48:38 +0000 | <monochrom> | On odd-numbered days I'm a Platonist and say "yes". On even-numbered days I'm a constructivists and suspect "no". |
| 2026-05-08 18:49:00 +0000 | <raincomplex> | (: |
| 2026-05-08 18:49:08 +0000 | <EvanR> | plato.stanford speaks of "The one true logic" |
| 2026-05-08 18:49:16 +0000 | <EvanR> | how off putting! |
| 2026-05-08 18:49:33 +0000 | <EvanR> | (for one thing, the one true logic is first order classical logic) |
| 2026-05-08 18:52:31 +0000 | <EvanR> | similarly you still have people introducing axioms of set theory as "stuff that is obviously true" instead of premises we're taking as true for the sake of the present context |
| 2026-05-08 18:52:52 +0000 | Square | (~Square@user/square) Square |
| 2026-05-08 18:53:20 +0000 | <EvanR> | imagine if there was 1 true programming language library and other code that was incompatible with it was "false" |
| 2026-05-08 18:53:57 +0000 | <EvanR> | sounds like microsoft in the 90s |
| 2026-05-08 18:54:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-08 18:54:06 +0000 | <monochrom> | But if there is a biggest logic, then it is as big as itself, but probably not bigger unless you use the French sense of bigger. |
| 2026-05-08 18:55:59 +0000 | <monochrom> | Clearly, Lean is the one true programming language! Oh darn it's Microsoft too... |
| 2026-05-08 18:56:24 +0000 | <monochrom> | But if Terrance Tao is using it then I'll use it! |
| 2026-05-08 18:56:45 +0000 | <monochrom> | Hot take: Terrance Tao is the one true programmer! |
| 2026-05-08 18:57:15 +0000 | <raincomplex> | i think the only "one true" anything is the entirety of all existence |
| 2026-05-08 18:57:21 +0000 | <raincomplex> | anything less than that is just a part of the whole |
| 2026-05-08 18:59:03 +0000 | Deltaspace | (~Deltaspac@103.251.167.3) (Changing host) |
| 2026-05-08 18:59:03 +0000 | Deltaspace | (~Deltaspac@user/Deltaspace) Deltaspace |
| 2026-05-08 18:59:42 +0000 | <raincomplex> | which is to say, it's always important to understand things within some context rather than trying to raise them up above other things |
| 2026-05-08 19:00:10 +0000 | <__monty__> | What is this French concept of bigness? |
| 2026-05-08 19:00:23 +0000 | <monochrom> | bigger-or-equal |
| 2026-05-08 19:00:32 +0000 | <EvanR> | nothing unreal exists |
| 2026-05-08 19:00:55 +0000 | <__monty__> | I don't think they mean bigger-*or-equal* when they say "plus grand." |
| 2026-05-08 19:01:17 +0000 | <monochrom> | OK, but their positive and negative are >=0 and <=0 respectively. |
| 2026-05-08 19:03:06 +0000 | _0xa | (~user@user/0xa/x-3134607) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2026-05-08 19:03:08 +0000 | mrvdb- | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) |
| 2026-05-08 19:03:19 +0000 | _0xa | (~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc) |
| 2026-05-08 19:03:19 +0000 | _0xa | (~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc) (Changing host) |
| 2026-05-08 19:03:19 +0000 | _0xa | (~user@user/0xa/x-3134607) _0xa |
| 2026-05-08 19:03:48 +0000 | <__monty__> | Oh, you mean ℕ⁺? Ours is like that too. You write ℕ₀⁺ to exclude 0. |
| 2026-05-08 19:04:37 +0000 | <tomsmeding> | __monty__: if that's ℕ⁺, then what's ℕ? |
| 2026-05-08 19:04:38 +0000 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2026-05-08 19:05:01 +0000 | <tomsmeding> | were you thinking of ℤ? |
| 2026-05-08 19:05:07 +0000 | <__monty__> | Yep. |
| 2026-05-08 19:05:14 +0000 | <tomsmeding> | I'm used to ℕ and ℕ₀ yes |
| 2026-05-08 19:05:52 +0000 | <tomsmeding> | at least, at maths in university; in computer science, I use ℕ to mean {0,1,...} since that's clearly the superior definition |
| 2026-05-08 19:05:52 +0000 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (Ping timeout: 256 seconds) |
| 2026-05-08 19:06:50 +0000 | <tomsmeding> | the other notation I've seen a lot is ℤ_{>0} and ℤ_{≥0} |
| 2026-05-08 19:07:25 +0000 | <__monty__> | Yeah, so your ℕ₀ includes, whereas ours excludes. And that while sharing a rather niche language : ) |
| 2026-05-08 19:07:32 +0000 | <tomsmeding> | ... what |
| 2026-05-08 19:07:37 +0000 | <tomsmeding> | N_0 _excludes_ zero? |
| 2026-05-08 19:07:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 19:07:44 +0000 | <tomsmeding> | I though that was just a typo |
| 2026-05-08 19:07:46 +0000 | <tomsmeding> | that's moronic |
| 2026-05-08 19:08:08 +0000 | <__monty__> | If it included, surely it'd be next to the +, which is including the + numbers : > |
| 2026-05-08 19:08:11 +0000 | <tomsmeding> | (not you, the people who decided that was a good idea) |
| 2026-05-08 19:08:25 +0000 | <tomsmeding> | lol |
| 2026-05-08 19:08:29 +0000 | <tomsmeding> | interesting |
| 2026-05-08 19:08:40 +0000 | <EvanR> | N includes 0 in the one true logic |
| 2026-05-08 19:08:44 +0000 | <__monty__> | Think of it like the 0 fell out : ) |
| 2026-05-08 19:08:48 +0000 | <tomsmeding> | heh |
| 2026-05-08 19:08:59 +0000 | <monochrom> | Oh is it Z^{include this}_{exclude this} ? |
| 2026-05-08 19:09:34 +0000 | <monochrom> | Z^(+, 1.5, pi}_{0, 19, 42} |
| 2026-05-08 19:09:49 +0000 | <__monty__> | Yep, though I haven't really seen it generalized beyond +/- up top and 0 down below. |
| 2026-05-08 19:09:53 +0000 | Square | (~Square@user/square) Square |
| 2026-05-08 19:10:52 +0000 | kimiamania40 | (~67ff9c51@user/kimiamania) (Quit: PegeLinux) |
| 2026-05-08 19:11:38 +0000 | <__monty__> | A bit weird for ℕ to be the only set you have to explicitly include 0 into. |
| 2026-05-08 19:11:58 +0000 | kimiamania40 | (~67ff9c51@user/kimiamania) kimiamania |
| 2026-05-08 19:13:23 +0000 | <tomsmeding> | APL and Pascal beg to differ, I guess |
| 2026-05-08 19:13:46 +0000 | <monochrom> | Oh APL makes it a configurable setting... |
| 2026-05-08 19:14:28 +0000 | <__monty__> | tomsmeding: Pascal the language or Pascal the Blaise? |
| 2026-05-08 19:14:30 +0000 | <tomsmeding> | __monty__: a friend who has some Flemish high-school math books confirmed that ℕ = {0,1,2,...} and ℕ₀ = {1,2,...} |
| 2026-05-08 19:14:40 +0000 | <tomsmeding> | in Flanders, that is |
| 2026-05-08 19:14:56 +0000 | <tomsmeding> | __monty__: the language, I meant; didn't Pascal-the-language have 1-indexed arrays? |
| 2026-05-08 19:15:16 +0000 | <Alex_delenda_est> | ������ |
| 2026-05-08 19:15:16 +0000 | <Alex_delenda_est> | 7.9.3970.60 (����������� ������) (64 ����) |
| 2026-05-08 19:15:16 +0000 | <Alex_delenda_est> | ������ Chromium |
| 2026-05-08 19:15:16 +0000 | <Alex_delenda_est> | 146.0.7680.218 |
| 2026-05-08 19:15:17 +0000 | <Alex_delenda_est> | ����������� ���������� ����� (����� �������� ���������� ������������) |
| 2026-05-08 19:15:17 +0000 | <Alex_delenda_est> | ����� |
| 2026-05-08 19:15:17 +0000 | <Alex_delenda_est> | ����������� ������ |
| 2026-05-08 19:15:17 +0000 | <Alex_delenda_est> | ��������� / �� |
| 2026-05-08 19:15:18 +0000 | <Alex_delenda_est> | Windows 10 Version 22H2 (Build 19045.6456) |
| 2026-05-08 19:15:18 +0000 | <Alex_delenda_est> | ���� ������������ ����� |
| 2026-05-08 19:15:19 +0000 | <Alex_delenda_est> | C:\Program Files\Vivaldi\Application\vivaldi.exe |
| 2026-05-08 19:15:20 +0000 | <Alex_delenda_est> | ��������� ������ |
| 2026-05-08 19:15:20 +0000 | <Alex_delenda_est> | "C:\Program Files\Vivaldi\Application\vivaldi.exe" --vivaldi-standalone --flag-switches-begin --enable-quic --flag-switches-end --origin-trial-disabled-features=CanvasTextNg|WebAssemblyCustomDescriptors |
| 2026-05-08 19:15:21 +0000 | ChanServ | +o monochrom |
| 2026-05-08 19:15:26 +0000 | monochrom | +b *!*@5.139.233.78 |
| 2026-05-08 19:15:26 +0000 | Alex_delenda_est | monochrom (Alex_delenda_est) |
| 2026-05-08 19:15:29 +0000 | <tomsmeding> | thank you |
| 2026-05-08 19:15:30 +0000 | <__monty__> | tomsmeding: Yeah, it must be our French influence. |
| 2026-05-08 19:16:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-08 19:16:07 +0000 | <__monty__> | tomsmeding: I think I'd respect Blaise's opinion on the topic more and the name being French... |
| 2026-05-08 19:17:34 +0000 | Buliarou1 | (~gypsydang@46.232.210.139) |
| 2026-05-08 19:22:09 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-05-08 19:22:10 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-05-08 19:22:10 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2026-05-08 19:26:41 +0000 | spew | (~spew@user/spew) spew |
| 2026-05-08 19:27:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 19:30:31 +0000 | monochrom | -o monochrom |
| 2026-05-08 19:32:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-08 19:42:14 +0000 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2026-05-08 19:43:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 19:48:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-08 19:50:03 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2026-05-08 19:53:50 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-05-08 19:58:30 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-05-08 19:59:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 20:04:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-05-08 20:04:40 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-05-08 20:06:01 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-05-08 20:09:08 +0000 | spew | (~spew@user/spew) (Ping timeout: 244 seconds) |
| 2026-05-08 20:10:19 +0000 | spew | (~spew@user/spew) spew |
| 2026-05-08 20:14:48 +0000 | puke | (~puke@user/puke) (Ping timeout: 250 seconds) |
| 2026-05-08 20:14:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 20:15:40 +0000 | ricmaps | (~ricardoma@2804:14d:a040:81ea:21d8:6cef:34c4:1a92) |
| 2026-05-08 20:17:53 +0000 | zlqrvx | (~zlqrvx@user/zlqrvx) zlqrvx |
| 2026-05-08 20:19:04 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:c96c:126:6c27:62dd) (Ping timeout: 245 seconds) |
| 2026-05-08 20:20:10 +0000 | malte | (~malte@mal.tc) (Ping timeout: 245 seconds) |
| 2026-05-08 20:21:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-08 20:25:21 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 255 seconds) |
| 2026-05-08 20:27:21 +0000 | ricmaps | (~ricardoma@2804:14d:a040:81ea:21d8:6cef:34c4:1a92) (Quit: ricmaps) |
| 2026-05-08 20:32:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 20:34:36 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2026-05-08 20:37:11 +0000 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
| 2026-05-08 20:37:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-08 20:37:52 +0000 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Quit: .) |
| 2026-05-08 20:38:57 +0000 | haritz | (~hrtz@140.228.70.141) |
| 2026-05-08 20:38:57 +0000 | haritz | (~hrtz@140.228.70.141) (Changing host) |
| 2026-05-08 20:38:57 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2026-05-08 20:39:32 +0000 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) mrmonday |
| 2026-05-08 20:43:43 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2026-05-08 20:48:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 20:49:00 +0000 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2026-05-08 20:52:24 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 245 seconds) |
| 2026-05-08 20:53:52 +0000 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-05-08 20:53:57 +0000 | Wygulmage | (~Wygulmage@user/Wygulmage) (Ping timeout: 245 seconds) |
| 2026-05-08 20:56:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-08 21:01:46 +0000 | kimiamania40 | (~67ff9c51@user/kimiamania) (Quit: PegeLinux) |
| 2026-05-08 21:02:09 +0000 | kimiamania40 | (~67ff9c51@user/kimiamania) kimiamania |
| 2026-05-08 21:07:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 21:12:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-08 21:14:58 +0000 | rekahsoft | (~rekahsoft@70.51.99.119) rekahsoft |
| 2026-05-08 21:22:51 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-08 21:27:46 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-05-08 21:28:35 +0000 | haskellbridge | (~hackager@96.28.224.214) hackager |
| 2026-05-08 21:28:35 +0000 | ChanServ | +v haskellbridge |
| 2026-05-08 21:28:57 +0000 | <haskellbridge> | <Liamzee> ... |
| 2026-05-08 21:28:59 +0000 | <haskellbridge> | <geekosaur> just to let everyone know, I got re-IP-ed and am now waiting for the DNS update with the new address to propagate |
| 2026-05-08 21:29:00 +0000 | <haskellbridge> | <geekosaur> the bridge won't be reachable until your client can resolve the new address of kf8nh.com (note that if you use app.element.io, it's when their server can resolve it, not when your machine can) |
| 2026-05-08 21:29:03 +0000 | <haskellbridge> | <geekosaur> I have a short expiration on the DNS records but it'll still be a couple hours probably |
| 2026-05-08 21:29:05 +0000 | <haskellbridge> | <geekosaur> oh heck, this is ridiculous. they changed it _back_ while I was at my doctor appointment. another 4+ hours… |
| 2026-05-08 21:29:06 +0000 | <haskellbridge> | <geekosaur> test |
| 2026-05-08 21:29:25 +0000 | <haskellbridge> | <geekosaur> okay, bridge seems to be back up |
| 2026-05-08 21:29:40 +0000 | <haskellbridge> | <geekosaur> also had a router configuration issue, it seems |
| 2026-05-08 21:30:15 +0000 | <haskellbridge> | <geekosaur> (or maybe OS; internal wifi address may have changed on me) |
| 2026-05-08 21:30:33 +0000 | <tomsmeding> | internal addresses you can generally fix :p |
| 2026-05-08 21:32:03 +0000 | tromp | (~textual@2001:1c00:340e:2700:3c1c:a2d8:b3ec:376e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-05-08 21:36:22 +0000 | haritz | (~hrtz@140.228.70.141) |
| 2026-05-08 21:36:22 +0000 | haritz | (~hrtz@140.228.70.141) (Changing host) |
| 2026-05-08 21:36:22 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2026-05-08 21:36:45 +0000 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
| 2026-05-08 21:38:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 21:41:00 +0000 | haritz | (~hrtz@user/haritz) (Client Quit) |
| 2026-05-08 21:41:29 +0000 | <geekosaur> | yes, it's fixed |
| 2026-05-08 21:41:55 +0000 | <geekosaur> | I switched it from wifi to wired though because I think the problem I'd been having with wired is gone, but we'll see |
| 2026-05-08 21:43:21 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-05-08 21:43:22 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-05-08 21:43:22 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2026-05-08 21:43:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-08 21:52:04 +0000 | supersecant | (~superseca@2a02:6b6f:e715:4f00:34d4:1987:8d0b:c51d) (Quit: WeeChat 4.9.0) |
| 2026-05-08 21:53:21 +0000 | tjbc | (~tjbc@user/fliife) (Quit: ZNC - https://znc.in) |
| 2026-05-08 21:54:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 21:57:55 +0000 | YuutaW | (~YuutaW@infornography.yta.moe) (Ping timeout: 276 seconds) |
| 2026-05-08 21:58:36 +0000 | tjbc | (~tjbc@user/fliife) fliife |
| 2026-05-08 22:01:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-08 22:03:14 +0000 | YuutaW | (~YuutaW@infornography.yta.moe) YuutaW |
| 2026-05-08 22:06:28 +0000 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
| 2026-05-08 22:08:41 +0000 | haritz | (~hrtz@140.228.70.141) |
| 2026-05-08 22:08:41 +0000 | haritz | (~hrtz@140.228.70.141) (Changing host) |
| 2026-05-08 22:08:41 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2026-05-08 22:12:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 22:16:11 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-05-08 22:18:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-08 22:24:24 +0000 | synchromesh | (~john@2406:5a00:247e:1500:ce42:f14d:756:e01f) synchromesh |
| 2026-05-08 22:26:02 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-05-08 22:28:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 22:33:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-08 22:37:13 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-05-08 22:38:42 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
| 2026-05-08 22:44:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 22:47:38 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-08 22:48:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-08 22:55:05 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 2026-05-08 22:55:15 +0000 | tjbc | (~tjbc@user/fliife) (Quit: ZNC - https://znc.in) |
| 2026-05-08 22:57:55 +0000 | troojg | (~troojg@user/troojg) troojg |
| 2026-05-08 22:59:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 23:04:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-08 23:15:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 23:20:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-08 23:27:06 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-05-08 23:31:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 23:38:19 +0000 | craunts795335385 | (~craunts@152.32.100.66) |
| 2026-05-08 23:38:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-08 23:49:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-08 23:54:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-08 23:58:58 +0000 | Pozyomka | (~pyon@user/pyon) (Quit: WeeChat 4.9.0) |