2026/06/15

2026-06-15 00:06:05 +0000L29Ah(~L29Ah@wikipedia/L29Ah) ()
2026-06-15 00:08:17 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-15 00:09:57 +0000L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2026-06-15 00:13:18 +0000traxex(traxex@user/traxex) traxex
2026-06-15 00:13:27 +0000ryanbooker(uid4340@id-4340.hampstead.irccloud.com) ryanbooker
2026-06-15 00:13:30 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-06-15 00:19:33 +0000ystael(~ystael@user/ystael) ystael
2026-06-15 00:20:41 +0000acidsys(~crameleon@openSUSE/member/crameleon) (Ping timeout: 272 seconds)
2026-06-15 00:21:03 +0000wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2026-06-15 00:21:21 +0000acidsys(~crameleon@openSUSE/member/crameleon) crameleon
2026-06-15 00:24:04 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-15 00:29:04 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-06-15 00:39:51 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-15 00:44:34 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-06-15 00:55:38 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-15 00:58:16 +0000Pozyomka(~pyon@user/pyon) (Remote host closed the connection)
2026-06-15 00:58:35 +0000Pozyomka(~pyon@user/pyon) pyon
2026-06-15 01:01:13 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-06-15 01:03:26 +0000Axman7176(~Axman6@user/axman6) Axman6
2026-06-15 01:05:45 +0000Axman6(~Axman6@user/axman6) (Ping timeout: 245 seconds)
2026-06-15 01:11:30 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-15 01:14:54 +0000xff0x(~xff0x@2405:6580:b080:900:9a4f:54d6:521e:3f42) (Ping timeout: 245 seconds)
2026-06-15 01:18:05 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-06-15 01:25:41 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 245 seconds)
2026-06-15 01:29:27 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-15 01:34:18 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-06-15 01:45:13 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-15 01:50:30 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-06-15 02:01:00 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-15 02:03:21 +0000Vajb(~Vajb@n4fsyxesh0a4t8vm6z0-1.v6.elisa-mobile.fi) (Ping timeout: 248 seconds)
2026-06-15 02:05:51 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-06-15 02:06:15 +0000yin(~zero@user/zero) (Ping timeout: 252 seconds)
2026-06-15 02:06:30 +0000yin(~zero@user/zero) zero
2026-06-15 02:13:08 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2026-06-15 02:16:47 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-15 02:21:36 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-06-15 02:24:52 +0000emilym(~Thunderbi@user/emilym) emilym
2026-06-15 02:29:29 +0000emilym(~Thunderbi@user/emilym) (Ping timeout: 252 seconds)
2026-06-15 02:32:35 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-15 02:35:01 +0000Pozyomka(~pyon@user/pyon) (Quit: brb)
2026-06-15 02:36:21 +0000Pozyomka(~pyon@user/pyon) pyon
2026-06-15 02:40:26 +0000xal(~xal@mx1.xal.systems) (Quit: No Ping reply in 180 seconds.)
2026-06-15 02:40:44 +0000xal(~xal@mx1.xal.systems) xal
2026-06-15 02:42:57 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2026-06-15 02:46:19 +0000czan(~czan@user/mange) czan
2026-06-15 02:54:06 +0000td_(~td@i5387093C.versanet.de) (Ping timeout: 252 seconds)
2026-06-15 02:56:10 +0000td_(~td@i5387093E.versanet.de)
2026-06-15 03:10:48 +0000mikess(~sam@user/mikess) mikess
2026-06-15 03:18:32 +0000leppard(~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Ping timeout: 250 seconds)
2026-06-15 03:20:46 +0000Guest31(~Guest83@136.158.40.15)
2026-06-15 03:21:30 +0000Guest31(~Guest83@136.158.40.15) (Client Quit)
2026-06-15 03:31:13 +0000machinedgod(~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 276 seconds)
2026-06-15 03:41:06 +0000Axman6(~Axman6@user/axman6) Axman6
2026-06-15 03:43:00 +0000Axman7176(~Axman6@user/axman6) (Ping timeout: 245 seconds)
2026-06-15 04:03:11 +0000ryanbooker(uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2026-06-15 04:09:13 +0000Square2(~Square@user/square) (Ping timeout: 265 seconds)
2026-06-15 04:20:50 +0000takuan(~takuan@d8D86B9E9.access.telenet.be)
2026-06-15 04:42:17 +0000michalz(~michalz@185.246.207.221)
2026-06-15 04:47:28 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-06-15 04:59:07 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-15 05:00:00 +0000tabaqui(~tabaqui@167.71.80.236) (Ping timeout: 256 seconds)
2026-06-15 05:04:06 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-06-15 05:04:49 +0000tabaqui(~tabaqui@167.71.80.236) tabaqui
2026-06-15 05:14:58 +0000merijn(~merijn@62.45.136.136) merijn
2026-06-15 05:16:37 +0000leppard(~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline
2026-06-15 05:19:58 +0000merijn(~merijn@62.45.136.136) (Ping timeout: 253 seconds)
2026-06-15 05:21:53 +0000tnt1(~Thunderbi@user/tnt1) tnt1
2026-06-15 05:30:59 +0000merijn(~merijn@62.45.136.136) merijn
2026-06-15 05:36:13 +0000merijn(~merijn@62.45.136.136) (Ping timeout: 265 seconds)
2026-06-15 05:40:55 +0000tnt1(~Thunderbi@user/tnt1) (Remote host closed the connection)
2026-06-15 05:43:40 +0000mikess(~sam@user/mikess) (Quit: leaving)
2026-06-15 05:46:40 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-15 05:51:45 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-06-15 05:52:23 +0000sord937(~sord937@gateway/tor-sasl/sord937) sord937
2026-06-15 05:55:12 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli)
2026-06-15 05:58:24 +0000peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-06-15 06:02:25 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-15 06:05:24 +0000Enrico63(~Enrico63@host-82-59-98-253.retail.telecomitalia.it) Enrico63
2026-06-15 06:06:17 +0000p3n(~p3n@217.198.124.246) (Quit: ZNC 1.10.1 - https://znc.in)
2026-06-15 06:07:02 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-06-15 06:07:06 +0000p3n(~p3n@217.198.124.246) p3n
2026-06-15 06:07:26 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-15 06:09:47 +0000Axma18178(~Axman6@user/axman6) Axman6
2026-06-15 06:11:52 +0000Axman6(~Axman6@user/axman6) (Ping timeout: 259 seconds)
2026-06-15 06:17:10 +0000haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2026-06-15 06:19:09 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2026-06-15 06:31:49 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-06-15 06:33:55 +0000peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds)
2026-06-15 06:34:43 +0000karenw(~karenw@user/karenw) (Quit: Deep into that darkness peering...)
2026-06-15 06:38:10 +0000czan(~czan@user/mange) (Quit: Quittin' time!)
2026-06-15 06:39:06 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2026-06-15 06:41:11 +0000tnt1(~Thunderbi@user/tnt1) tnt1
2026-06-15 06:42:36 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-15 06:44:54 +0000ski(~ski@90-224-14-130-no600.tbcn.telia.com) (Ping timeout: 245 seconds)
2026-06-15 06:47:15 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-06-15 06:49:23 +0000tnt1(~Thunderbi@user/tnt1) (Remote host closed the connection)
2026-06-15 06:50:48 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2026-06-15 06:58:03 +0000jreicher(~joelr@user/jreicher) (Quit: In transit)
2026-06-15 07:01:25 +0000ski(~ski@90-224-14-130-no600.tbcn.telia.com) ski
2026-06-15 07:06:00 +0000tromp(~textual@2001:1c00:340e:2700:410d:aca9:e5bc:d359)
2026-06-15 07:27:26 +0000chele(~chele@user/chele) chele
2026-06-15 07:31:34 +0000_________(~nobody@user/noodly) (Ping timeout: 245 seconds)
2026-06-15 07:32:31 +0000socksbuny5(~socks@oberon.raccoon.fun) (Quit: goodbye :))
2026-06-15 07:35:24 +0000tromp(~textual@2001:1c00:340e:2700:410d:aca9:e5bc:d359) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-06-15 07:36:27 +0000socksbuny5(~socks@oberon.raccoon.fun) raccoonasdf
2026-06-15 07:42:18 +0000merijn(~merijn@77.242.116.146) merijn
2026-06-15 07:46:51 +0000fp1(~Thunderbi@130.233.70.229) fp
2026-06-15 08:08:40 +0000jreicher(~joelr@user/jreicher) jreicher
2026-06-15 08:10:22 +0000__monty__(~toonn@user/toonn) toonn
2026-06-15 08:24:09 +0000emmanuelux(~em@user/emmanuelux) (Quit: bye)
2026-06-15 08:25:09 +0000emilym(~Thunderbi@user/emilym) emilym
2026-06-15 08:29:16 +0000ft(~ft@p4fc2ab3f.dip0.t-ipconnect.de) (Quit: leaving)
2026-06-15 08:29:44 +0000emilym(~Thunderbi@user/emilym) (Ping timeout: 252 seconds)
2026-06-15 08:31:37 +0000acidjnk(~acidjnk@p200300d6e700e534f8213bb0af1b5ed0.dip0.t-ipconnect.de) acidjnk
2026-06-15 08:35:33 +0000kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2026-06-15 08:36:04 +0000acidjnk_new(~acidjnk@p200300d6e700e534f8213bb0af1b5ed0.dip0.t-ipconnect.de)
2026-06-15 08:45:02 +0000socksbuny5(~socks@oberon.raccoon.fun) (Quit: goodbye :))
2026-06-15 08:47:04 +0000socksbuny5(~socks@oberon.raccoon.fun) raccoonasdf
2026-06-15 08:47:21 +0000socksbuny5(~socks@oberon.raccoon.fun) (Client Quit)
2026-06-15 08:51:17 +0000socksbuny5(~socks@oberon.raccoon.fun) raccoonasdf
2026-06-15 08:52:27 +0000Axman6(~Axman6@user/axman6) Axman6
2026-06-15 08:53:05 +0000Anarchos(~Anarchos@91-161-254-16.subs.proxad.net) Anarchos
2026-06-15 08:54:40 +0000Axma18178(~Axman6@user/axman6) (Ping timeout: 245 seconds)
2026-06-15 08:55:41 +0000hsw(~hsw@112-104-29-204.adsl.dynamic.seed.net.tw) (Remote host closed the connection)
2026-06-15 08:56:04 +0000hsw(~hsw@112-104-29-204.adsl.dynamic.seed.net.tw) hsw
2026-06-15 08:57:17 +0000socksbuny5(~socks@oberon.raccoon.fun) (Quit: goodbye :))
2026-06-15 08:58:32 +0000_________(~nobody@user/noodly) _________
2026-06-15 09:01:53 +0000socksbuny5(~socks@oberon.raccoon.fun) raccoonasdf
2026-06-15 09:04:18 +0000merijn(~merijn@77.242.116.146) (Ping timeout: 248 seconds)
2026-06-15 09:05:14 +0000CiaoSen(~Jura@2a02:3037:2e4:a3d7:4e50:ddff:fe9b:8922) CiaoSen
2026-06-15 09:06:27 +0000merijn(~merijn@77.242.116.150) merijn
2026-06-15 09:09:31 +0000Vajb(~Vajb@n4fsyxesh0a4t8vm6z0-1.v6.elisa-mobile.fi)
2026-06-15 09:15:34 +0000comerijn(~merijn@77.242.116.146) merijn
2026-06-15 09:18:06 +0000merijn(~merijn@77.242.116.150) (Ping timeout: 246 seconds)
2026-06-15 09:24:06 +0000leppard(~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Quit: KVIrc 5.2.8 Quasar http://www.kvirc.net/)
2026-06-15 09:31:57 +0000merijn(~merijn@77.242.116.146) merijn
2026-06-15 09:32:25 +0000comerijn(~merijn@77.242.116.146) (Ping timeout: 248 seconds)
2026-06-15 09:40:08 +0000leppard(~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline
2026-06-15 09:53:21 +0000fernando-basso(~fernando-@2a01:4f9:c012:63d3::1) (Quit: WeeChat 3.8)
2026-06-15 09:59:38 +0000CiaoSen(~Jura@2a02:3037:2e4:a3d7:4e50:ddff:fe9b:8922) (Ping timeout: 244 seconds)
2026-06-15 10:03:32 +0000deveng(~fernando-@2a01:4f9:c012:63d3::1) fernando-basso
2026-06-15 10:06:39 +0000GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.7.2)
2026-06-15 10:08:52 +0000GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2026-06-15 10:16:11 +0000hsw(~hsw@112-104-29-204.adsl.dynamic.seed.net.tw) (Remote host closed the connection)
2026-06-15 10:16:34 +0000hsw(~hsw@112-104-29-204.adsl.dynamic.seed.net.tw) hsw
2026-06-15 10:24:29 +0000sp1ff`(~user@2601:1c2:4080:14c0:5df2:f2f4:8a07:70ec)
2026-06-15 10:25:55 +0000sp1ff(~user@2601:1c2:4080:14c0:5df2:f2f4:8a07:70ec) (Ping timeout: 276 seconds)
2026-06-15 10:26:21 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 246 seconds)
2026-06-15 10:41:09 +0000akegalj(~akegalj@89-172-208-179.adsl.net.t-com.hr) akegalj
2026-06-15 10:44:38 +0000CiaoSen(~Jura@2a02:3037:2e4:a3d7:4e50:ddff:fe9b:8922) CiaoSen
2026-06-15 10:45:31 +0000divlamir_(~divlamir@user/divlamir) divlamir
2026-06-15 10:47:41 +0000divlamir(~divlamir@user/divlamir) (Ping timeout: 244 seconds)
2026-06-15 10:47:42 +0000divlamir_divlamir
2026-06-15 10:49:45 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2026-06-15 10:50:08 +0000dtman34(~dtman34@2601:447:d17d:eaf2:8123:c1ff:6dae:d26b) dtman34
2026-06-15 11:14:41 +0000divlamir_(~divlamir@user/divlamir) divlamir
2026-06-15 11:14:59 +0000czan(~czan@user/mange) czan
2026-06-15 11:16:37 +0000divlamir(~divlamir@user/divlamir) (Ping timeout: 244 seconds)
2026-06-15 11:16:37 +0000divlamir_divlamir
2026-06-15 11:19:53 +0000AlexNoo_(~AlexNoo@85.174.182.219)
2026-06-15 11:23:14 +0000AlexNoo(~AlexNoo@178.34.151.39) (Ping timeout: 245 seconds)
2026-06-15 11:23:20 +0000Alex_delenda_est(~al_test@178.34.151.39) (Ping timeout: 244 seconds)
2026-06-15 11:23:20 +0000AlexZenon(~alzenon@178.34.151.39) (Ping timeout: 244 seconds)
2026-06-15 11:24:39 +0000xff0x(~xff0x@ai070051.d.east.v6connect.net)
2026-06-15 11:28:31 +0000Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2026-06-15 11:28:50 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds)
2026-06-15 11:29:06 +0000AlexZenon(~alzenon@85.174.182.219)
2026-06-15 11:29:50 +0000Lord_of_Life_Lord_of_Life
2026-06-15 11:38:05 +0000fgarcia(~lei@user/fgarcia) (Ping timeout: 245 seconds)
2026-06-15 11:39:42 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2026-06-15 11:40:23 +0000fgarcia(~lei@user/fgarcia) fgarcia
2026-06-15 11:42:47 +0000Anarchos(~Anarchos@91-161-254-16.subs.proxad.net) (Quit: Vision[]: i've been blurred!)
2026-06-15 11:59:39 +0000divlamir_(~divlamir@user/divlamir) divlamir
2026-06-15 12:02:24 +0000divlamir(~divlamir@user/divlamir) (Ping timeout: 245 seconds)
2026-06-15 12:02:24 +0000divlamir_divlamir
2026-06-15 12:03:18 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds)
2026-06-15 12:03:51 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-06-15 12:09:03 +0000CiaoSen(~Jura@2a02:3037:2e4:a3d7:4e50:ddff:fe9b:8922) (Ping timeout: 252 seconds)
2026-06-15 12:11:14 +0000fgarcia(~lei@user/fgarcia) (Ping timeout: 256 seconds)
2026-06-15 12:11:42 +0000haskelldayone(~haskellda@49.43.119.210)
2026-06-15 12:12:20 +0000CiaoSen(~Jura@dynamic-046-114-249-212.46.114.pool.telefonica.de) CiaoSen
2026-06-15 12:13:14 +0000fgarcia(~lei@user/fgarcia) fgarcia
2026-06-15 12:13:48 +0000 <haskelldayone> should I use ghcup to install the toolchain, or do it manually?
2026-06-15 12:15:43 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2026-06-15 12:16:02 +0000DetourNetworkUK(DetourNetw@user/DetourNetworkUK) DetourNetworkUK
2026-06-15 12:16:12 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-06-15 12:22:37 +0000Enrico63(~Enrico63@host-82-59-98-253.retail.telecomitalia.it) (Quit: Client closed)
2026-06-15 12:22:54 +0000Guest83(~Guest83@93-159-28-232.cgnat.inetia.pl) (Quit: Client closed)
2026-06-15 12:29:57 +0000__monty__(~toonn@user/toonn) (Ping timeout: 265 seconds)
2026-06-15 12:30:40 +0000 <merijn> Either works, tbh
2026-06-15 12:30:56 +0000Square(~Square4@user/square) Square
2026-06-15 12:30:59 +0000 <merijn> Getting the haskell LSP server correcty setup is easier with ghcup, though
2026-06-15 12:31:07 +0000 <merijn> So, might be worth using for that alone
2026-06-15 12:31:34 +0000 <merijn> That said, I've just manually installed GHC bindist + cabal for years without any issue
2026-06-15 12:31:53 +0000 <merijn> Really the only reason I stopped doing that was LSP support :p
2026-06-15 12:34:02 +0000haskelldayone(~haskellda@49.43.119.210) (Quit: Client closed)
2026-06-15 12:36:48 +0000haskelldayone(~haskellda@49.43.119.210)
2026-06-15 12:37:47 +0000 <haskelldayone> thanks for the heads up, I'm going the minimal route too
2026-06-15 12:37:56 +0000 <haskelldayone> I don't use lsp anyways
2026-06-15 12:40:21 +0000fgarcia(~lei@user/fgarcia) (Remote host closed the connection)
2026-06-15 12:40:46 +0000fgarcia(~lei@user/fgarcia) fgarcia
2026-06-15 12:40:46 +0000haskelldayone(~haskellda@49.43.119.210) (Client Quit)
2026-06-15 12:43:02 +0000Digitteknohippie(~user@user/digit) Digit
2026-06-15 12:44:29 +0000Digit(~user@user/digit) (Ping timeout: 245 seconds)
2026-06-15 12:49:19 +0000redmp(~redmp@116-65-231-94.rev.home.ne.jp) redmp
2026-06-15 12:55:37 +0000redmp(~redmp@116-65-231-94.rev.home.ne.jp) (Ping timeout: 248 seconds)
2026-06-15 12:58:53 +0000CiaoSen(~Jura@dynamic-046-114-249-212.46.114.pool.telefonica.de) (Ping timeout: 268 seconds)
2026-06-15 12:59:49 +0000p3n(~p3n@217.198.124.246) (Quit: ZNC 1.10.1 - https://znc.in)
2026-06-15 13:00:42 +0000akegalj(~akegalj@89-172-208-179.adsl.net.t-com.hr) (Ping timeout: 246 seconds)
2026-06-15 13:00:44 +0000CiaoSen(~Jura@2a02:3033:684:3a30:4e50:ddff:fe9b:8922) CiaoSen
2026-06-15 13:00:58 +0000AlexNoo_AlexNoo
2026-06-15 13:01:24 +0000Alex_delenda_est(~al_test@85.174.182.219)
2026-06-15 13:02:03 +0000Googulator94(~Googulato@84.236.126.95) (Quit: Client closed)
2026-06-15 13:02:33 +0000Googulator94(~Googulato@team.broadbit.hu)
2026-06-15 13:12:33 +0000Square(~Square4@user/square) (Remote host closed the connection)
2026-06-15 13:17:53 +0000leppard(~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Ping timeout: 266 seconds)
2026-06-15 13:18:15 +0000Square2(~Square@user/square) Square
2026-06-15 13:20:07 +0000fgarcia(~lei@user/fgarcia) (Ping timeout: 264 seconds)
2026-06-15 13:21:25 +0000raym(~ray@user/raym) (Quit: leaving)
2026-06-15 13:23:09 +0000Axma18047(~Axman6@user/axman6) Axman6
2026-06-15 13:23:55 +0000fgarcia(~lei@user/fgarcia) fgarcia
2026-06-15 13:25:05 +0000Axman6(~Axman6@user/axman6) (Ping timeout: 245 seconds)
2026-06-15 13:26:03 +0000CiaoSen(~Jura@2a02:3033:684:3a30:4e50:ddff:fe9b:8922) (Ping timeout: 252 seconds)
2026-06-15 13:27:49 +0000Square(~Square@user/square) Square
2026-06-15 13:28:25 +0000fgarcia(~lei@user/fgarcia) (Max SendQ exceeded)
2026-06-15 13:29:14 +0000fgarcia(~lei@user/fgarcia) fgarcia
2026-06-15 13:29:29 +0000Square2(~Square@user/square) (Ping timeout: 245 seconds)
2026-06-15 13:50:30 +0000leppard(~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline
2026-06-15 13:57:29 +0000Digitteknohippie(~user@user/digit) (Ping timeout: 248 seconds)
2026-06-15 14:17:36 +0000fp1(~Thunderbi@130.233.70.229) (Ping timeout: 256 seconds)
2026-06-15 14:20:54 +0000rainbyte(~rainbyte@181.47.219.31) (Read error: Connection reset by peer)
2026-06-15 14:22:22 +0000czan(~czan@user/mange) (Quit: Zzz...)
2026-06-15 14:23:56 +0000rainbyte(~rainbyte@181.47.219.31) rainbyte
2026-06-15 14:25:33 +0000emilym(~Thunderbi@user/emilym) emilym
2026-06-15 14:29:54 +0000emilym(~Thunderbi@user/emilym) (Ping timeout: 245 seconds)
2026-06-15 14:30:48 +0000Axman6(~Axman6@user/axman6) Axman6
2026-06-15 14:33:00 +0000Axma18047(~Axman6@user/axman6) (Ping timeout: 245 seconds)
2026-06-15 14:40:24 +0000p3n(~p3n@ns1a.netsvcs.net) p3n
2026-06-15 14:46:51 +0000p3n(~p3n@ns1a.netsvcs.net) (Quit: ZNC - https://znc.in)
2026-06-15 14:48:39 +0000p3n(~p3n@2a03:b0c0:0:1010::14:1001) p3n
2026-06-15 14:49:45 +0000skum(~skum@user/skum) (Ping timeout: 248 seconds)
2026-06-15 14:53:14 +0000skum(~skum@user/skum) skum
2026-06-15 14:58:23 +0000skum(~skum@user/skum) (Ping timeout: 275 seconds)
2026-06-15 15:01:56 +0000Googulator94Googulator
2026-06-15 15:08:53 +0000finsternis(~X@23.226.237.192) (Remote host closed the connection)
2026-06-15 15:12:59 +0000haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2026-06-15 15:13:00 +0000haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2026-06-15 15:13:00 +0000haritz(~hrtz@user/haritz) haritz
2026-06-15 15:13:02 +0000danza(~danza@user/danza) danza
2026-06-15 15:20:30 +0000machinedgod(~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod
2026-06-15 15:23:30 +0000ski(~ski@90-224-14-130-no600.tbcn.telia.com) (Ping timeout: 245 seconds)
2026-06-15 15:29:20 +0000puke(~puke@user/puke) (Quit: puke)
2026-06-15 15:36:27 +0000ski(~ski@90-224-14-130-no600.tbcn.telia.com)
2026-06-15 15:43:58 +0000Axma65145(~Axman6@user/axman6) Axman6
2026-06-15 15:45:30 +0000Axman6(~Axman6@user/axman6) (Ping timeout: 245 seconds)
2026-06-15 15:52:40 +0000picnoir(~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Ping timeout: 245 seconds)
2026-06-15 15:52:49 +0000ephapticpulse(~user@user/ephapticpulse) ephapticpulse
2026-06-15 16:00:57 +0000Digit(~user@user/digit) Digit
2026-06-15 16:01:38 +0000Enrico63(~Enrico63@host-82-59-98-253.retail.telecomitalia.it) Enrico63
2026-06-15 16:03:40 +0000danza(~danza@user/danza) (Remote host closed the connection)
2026-06-15 16:05:43 +0000picnoir(~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur
2026-06-15 16:06:12 +0000jayanth(~jayanth@static-98-115-128-109.phlapa.fios.verizon.net)
2026-06-15 16:07:29 +0000kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2026-06-15 16:08:16 +0000Arvin(~hexdroid@114.79.174.230)
2026-06-15 16:10:34 +0000vms14(~vms14@user/vms14) vms14
2026-06-15 16:13:50 +0000Digitdigitteknohippie
2026-06-15 16:13:54 +0000digitteknohippieDigit
2026-06-15 16:14:20 +0000merijn(~merijn@77.242.116.146) (Ping timeout: 245 seconds)
2026-06-15 16:15:08 +0000chele(~chele@user/chele) (Remote host closed the connection)
2026-06-15 16:18:32 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2026-06-15 16:20:44 +0000Arvin(~hexdroid@114.79.174.230) (Ping timeout: 245 seconds)
2026-06-15 16:27:32 +0000gf316(~gf3@user/gf3) gf3
2026-06-15 16:35:03 +0000Googulator(~Googulato@team.broadbit.hu) (Quit: Client closed)
2026-06-15 16:35:18 +0000Googulator(~Googulato@team.broadbit.hu)
2026-06-15 16:36:30 +0000pavonia(~user@user/siracusa) (Quit: Bye!)
2026-06-15 16:42:17 +0000jayanth(~jayanth@static-98-115-128-109.phlapa.fios.verizon.net) (Ping timeout: 248 seconds)
2026-06-15 16:58:23 +0000Anarchos(~Anarchos@91-161-254-16.subs.proxad.net) Anarchos
2026-06-15 17:29:06 +0000pie_(~pie_bnc@user/pie/x-2818909) (Quit: No Ping reply in 180 seconds.)
2026-06-15 17:30:26 +0000pie_(~pie_bnc@user/pie/x-2818909) __
2026-06-15 17:33:58 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-15 17:34:24 +0000xal(~xal@mx1.xal.systems) (Ping timeout: 246 seconds)
2026-06-15 17:34:25 +0000xal_(~xal@mx1.xal.systems) xal
2026-06-15 17:35:21 +0000ephapticpulse(~user@user/ephapticpulse) (Remote host closed the connection)
2026-06-15 17:41:01 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 261 seconds)
2026-06-15 17:42:45 +0000Anarchos(~Anarchos@91-161-254-16.subs.proxad.net) ()
2026-06-15 17:45:02 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Excess Flood)
2026-06-15 17:48:34 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2026-06-15 17:52:01 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-15 17:56:30 +0000Enrico63(~Enrico63@host-82-59-98-253.retail.telecomitalia.it) (Quit: Client closed)
2026-06-15 17:56:41 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-06-15 18:00:52 +0000synchromesh(~john@2406:5a00:247e:1500:a691:b1ff:0:f9d) (Read error: Connection reset by peer)
2026-06-15 18:05:58 +0000Googulator(~Googulato@team.broadbit.hu) (Quit: Client closed)
2026-06-15 18:06:15 +0000Googulator(~Googulato@team.broadbit.hu)
2026-06-15 18:06:27 +0000synchromesh(~john@2406:5a00:247e:1500:a691:b1ff:0:f9d) synchromesh
2026-06-15 18:07:24 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-15 18:13:28 +0000peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-06-15 18:16:00 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-06-15 18:17:55 +0000Fijxu(~Fijxu@user/fijxu) (Quit: XD!!)
2026-06-15 18:20:49 +0000Fijxu(~Fijxu@user/fijxu) fijxu
2026-06-15 18:21:38 +0000Axman6(~Axman6@user/axman6) Axman6
2026-06-15 18:23:50 +0000Axma65145(~Axman6@user/axman6) (Ping timeout: 245 seconds)
2026-06-15 18:26:16 +0000peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 276 seconds)
2026-06-15 18:27:01 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-15 18:28:48 +0000machinedgod(~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 268 seconds)
2026-06-15 18:31:37 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-06-15 18:42:25 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-15 18:42:46 +0000peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-06-15 18:44:04 +0000m2(~travltux@user/travltux) travltux
2026-06-15 18:44:55 +0000Fijxu(~Fijxu@user/fijxu) (Quit: XD!!)
2026-06-15 18:46:17 +0000Fijxu(~Fijxu@user/fijxu) fijxu
2026-06-15 18:47:07 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 275 seconds)
2026-06-15 18:48:14 +0000wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2026-06-15 18:57:23 +0000dtman34_(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2026-06-15 18:57:42 +0000dtman34(~dtman34@2601:447:d17d:eaf2:8123:c1ff:6dae:d26b) (Ping timeout: 246 seconds)
2026-06-15 18:57:48 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-15 19:02:10 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-06-15 19:06:20 +0000nyc(~nyc@user/nyc) nyc
2026-06-15 19:07:06 +0000ft(~ft@p4fc2ab3f.dip0.t-ipconnect.de) ft
2026-06-15 19:08:35 +0000ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2026-06-15 19:08:36 +0000califax(~califax@user/califx) (Remote host closed the connection)
2026-06-15 19:08:36 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2026-06-15 19:08:36 +0000gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2026-06-15 19:08:36 +0000yanmaani(~yanmaani@gateway/tor-sasl/yanmaani) (Remote host closed the connection)
2026-06-15 19:08:36 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2026-06-15 19:08:49 +0000yanmaani(~yanmaani@gateway/tor-sasl/yanmaani) yanmaani
2026-06-15 19:08:51 +0000califax(~califax@user/califx) califx
2026-06-15 19:09:01 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2026-06-15 19:09:03 +0000chexum(~quassel@gateway/tor-sasl/chexum) chexum
2026-06-15 19:09:15 +0000ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2026-06-15 19:09:26 +0000gmg(~user@user/gehmehgeh) gehmehgeh
2026-06-15 19:12:35 +0000target_i(~target_i@user/target-i/x-6023099) target_i
2026-06-15 19:12:54 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-15 19:19:20 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-06-15 19:26:23 +0000jayanth(~jayanth@static-98-115-128-109.phlapa.fios.verizon.net)
2026-06-15 19:29:29 +0000peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds)
2026-06-15 19:30:57 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-15 19:35:09 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-06-15 19:43:21 +0000__monty__(~toonn@user/toonn) toonn
2026-06-15 19:46:19 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-15 19:51:08 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-06-15 19:53:48 +0000gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2026-06-15 19:54:33 +0000gmg(~user@user/gehmehgeh) gehmehgeh
2026-06-15 19:57:33 +0000pfc(~pfc@user/pfc) (Ping timeout: 246 seconds)
2026-06-15 20:01:42 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-15 20:04:28 +0000CiaoSen(~Jura@2a02:3035:eef:857d:4e50:ddff:fe9b:8922) CiaoSen
2026-06-15 20:06:19 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-06-15 20:10:32 +0000sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2026-06-15 20:11:15 +0000emmanuelux(~em@user/emmanuelux) emmanuelux
2026-06-15 20:13:55 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-15 20:18:21 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 247 seconds)
2026-06-15 20:19:47 +0000Googulator(~Googulato@team.broadbit.hu) (Ping timeout: 245 seconds)
2026-06-15 20:29:18 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-15 20:33:35 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-06-15 20:34:19 +0000Axma31704(~Axman6@user/axman6) Axman6
2026-06-15 20:36:20 +0000Axman6(~Axman6@user/axman6) (Ping timeout: 245 seconds)
2026-06-15 20:44:41 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-15 20:47:14 +0000__monty__(~toonn@user/toonn) (Ping timeout: 265 seconds)
2026-06-15 20:47:18 +0000krei-se(~krei-se@photonen.krei.se) (Ping timeout: 265 seconds)
2026-06-15 20:48:55 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-06-15 20:53:39 +0000__monty__(~toonn@user/toonn) toonn
2026-06-15 21:00:03 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-15 21:01:18 +0000krei-se(~krei-se@2003:a:67f:b77c:1::1) krei-se
2026-06-15 21:06:03 +0000weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)
2026-06-15 21:06:25 +0000weary-traveler(~user@user/user363627) user363627
2026-06-15 21:06:44 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-06-15 21:06:50 +0000nyc(~nyc@user/nyc) (Remote host closed the connection)
2026-06-15 21:08:22 +0000spew(~spew@user/spew) (Quit: nyaa~)
2026-06-15 21:16:51 +0000skum(~skum@user/skum) skum
2026-06-15 21:18:06 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-15 21:19:53 +0000michalz(~michalz@185.246.207.221) (Remote host closed the connection)
2026-06-15 21:22:24 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-06-15 21:33:29 +0000merijn(~merijn@62.45.136.136) merijn
2026-06-15 21:33:41 +0000krei-se(~krei-se@2003:a:67f:b77c:1::1) (Quit: ZNC 1.9.1 - https://znc.in)
2026-06-15 21:34:19 +0000takuan(~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 272 seconds)
2026-06-15 21:35:44 +0000jayanth(~jayanth@static-98-115-128-109.phlapa.fios.verizon.net) (Ping timeout: 245 seconds)
2026-06-15 21:36:52 +0000krei-se(~krei-se@2003:a:67f:b77c::c8c6) krei-se
2026-06-15 21:38:18 +0000merijn(~merijn@62.45.136.136) (Ping timeout: 252 seconds)
2026-06-15 21:40:31 +0000pavonia(~user@user/siracusa) siracusa
2026-06-15 21:44:47 +0000vms14(~vms14@user/vms14) (Quit: WeeChat 4.6.3)
2026-06-15 21:48:53 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-15 21:52:35 +0000 <probie> Silly question; there's no way to use Data.Vector.Storable with things that are nibble sized [without wasting half a byte], is there?
2026-06-15 21:53:46 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-06-15 21:55:15 +0000target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2026-06-15 21:55:38 +0000 <EvanR> that should immediately be generalized so I can store 3 trits in a 9bit word or 5 7-bit chars in a 36
2026-06-15 21:55:39 +0000 <int-e> :t Foreign.Ptr.castPtr -- this makes Ptr essentially a (void *), so no
2026-06-15 21:55:40 +0000 <lambdabot> GHC.Internal.Ptr.Ptr a -> GHC.Internal.Ptr.Ptr b
2026-06-15 21:59:21 +0000 <int-e> probie: Oh I guess you can do something awful (from a usability perspective): Have HighNybble and LowNybble types with Storable types that only access the low/high 4 bits of a byte.
2026-06-15 21:59:36 +0000 <int-e> s/Storable types/Storable instances/
2026-06-15 22:03:33 +0000 <geekosaur> I think you're supposed to use binary/cereal or attoparsec for this kind of thing
2026-06-15 22:03:47 +0000vms14(~vms14@user/vms14) vms14
2026-06-15 22:04:40 +0000Pozyomka(~pyon@user/pyon) (Quit: brb)
2026-06-15 22:04:56 +0000 <int-e> geekosaur: aren't those still byte based though?
2026-06-15 22:05:09 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-15 22:07:14 +0000 <probie> int-e: That actually gave me a genius idea; I can have a Vector Word8, and just abuse pattern synonyms
2026-06-15 22:07:34 +0000 <geekosaur> the streams they operate on are octet based, so "yes". anything else must be done by, essentially, parsing
2026-06-15 22:07:37 +0000CiaoSen(~Jura@2a02:3035:eef:857d:4e50:ddff:fe9b:8922) (Ping timeout: 248 seconds)
2026-06-15 22:08:34 +0000 <geekosaur> which is the fundamental problem
2026-06-15 22:08:38 +0000 <int-e> probie: Ah, so you're not doing this for marshalling then.
2026-06-15 22:09:03 +0000 <int-e> Ohh
2026-06-15 22:09:19 +0000 <int-e> I can't read. I skipped the "Data.Vector" part :-/
2026-06-15 22:09:39 +0000machinedgod(~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod
2026-06-15 22:09:51 +0000CiaoSen(~Jura@dynamic-046-114-167-087.46.114.pool.telefonica.de) CiaoSen
2026-06-15 22:10:06 +0000 <geekosaur> anything that isn't based on the fundamental unit for the storage medium (bytes for memory on pretty much everything these days, octets for network streams and disks, etc.) requires extra work
2026-06-15 22:10:25 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-06-15 22:11:13 +0000 <EvanR> .oO( how would you distinguish bytes and octets like that in french ... )
2026-06-15 22:11:51 +0000 <geekosaur> well, these days it's not like it's relevant unless someone has an old DEC mini or mainframe in storage or something
2026-06-15 22:11:58 +0000 <int-e> probie: Though the conclusion would still be that `Storable` isn't the right abstraction. Working with Vector Word8 and having your own adapter around it is compatible with that claim.
2026-06-15 22:12:53 +0000 <geekosaur> (the PDP11/VAX11 used bytes, but various others used 9, 18, 36, etc. bits. PDP10s' CPUs had 3-bit sub-register addressing, even)
2026-06-15 22:12:56 +0000 <probie> The need for Storable is because I'm interacting with foreign code, but I think from the Haskell side, just treating it as a Vector Word8 is what I'm going to do
2026-06-15 22:12:59 +0000 <EvanR> array of nibbles at least won't require any real parsing using 8bit bytes
2026-06-15 22:13:31 +0000 <int-e> nybble : nibble :: byte : bite
2026-06-15 22:14:02 +0000 <EvanR> y for the short i sound, egregious
2026-06-15 22:14:52 +0000 <int-e> (I'll always read "nibble" as the verb first. Sure, I can auto-correct but it's an extra step :P)
2026-06-15 22:15:52 +0000 <geekosaur> isn't it "nybble" anyway?)
2026-06-15 22:16:03 +0000 <int-e> that's what I've been saying
2026-06-15 22:16:05 +0000 <geekosaur> right, that
2026-06-15 22:16:15 +0000 <probie> I was taught it as "nibble", and wikipedia also seems to prefer nibble over nybble https://en.wikipedia.org/wiki/Nibble
2026-06-15 22:16:45 +0000 <EvanR> crumb -> crυmb
2026-06-15 22:17:07 +0000 <EvanR> must use upsilon to make it clear what we're doing
2026-06-15 22:17:45 +0000 <int-e> Well Wikipedia is wrong here (authority: mine) ;-)
2026-06-15 22:18:29 +0000 <probie> How about a compromise. We can call it a half-bite and then absolutely everyone is equally unhappy
2026-06-15 22:19:01 +0000 <EvanR> what's a half-byte when byte = 9bits or 7bits
2026-06-15 22:19:20 +0000 <probie> 4 or 3 bits
2026-06-15 22:19:29 +0000 <EvanR> o_O
2026-06-15 22:20:08 +0000 <probie> A bit has two values, so half a bit only has one value, and there for contains no information, so (9/2) bits = 4.5 bits = 4 bits
2026-06-15 22:20:31 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-06-15 22:20:51 +0000 <EvanR> a byte has 256 values so a half byte has 128 values?
2026-06-15 22:21:37 +0000 <probie> The downside is that if you add two half bits, you don't get a bit, because no information + no information doesn't gives you information, but that's nothing new
2026-06-15 22:21:52 +0000 <probie> > 2.0^53 + 1 + 1 == 2.0^53 + 2
2026-06-15 22:21:54 +0000 <lambdabot> False
2026-06-15 22:22:04 +0000Sgeo(~Sgeo@user/sgeo) Sgeo
2026-06-15 22:22:37 +0000 <EvanR> even well behaved float math ends up wrong
2026-06-15 22:22:49 +0000 <EvanR> smh
2026-06-15 22:25:37 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-06-15 22:26:53 +0000__monty__(~toonn@user/toonn) (Quit: leaving)