2025/07/23

2025-07-23 00:00:21 +0200 <monochrom> Yeah it started with GHC -O compiling "x=x+1" to "x=x". :)
2025-07-23 00:01:57 +0200weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)
2025-07-23 00:04:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-23 00:07:27 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds)
2025-07-23 00:08:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-07-23 00:08:47 +0200Square3(~Square4@user/square) Square
2025-07-23 00:10:12 +0200stefan-__(~m-yh2rcc@42dots.de) (Ping timeout: 252 seconds)
2025-07-23 00:10:27 +0200stefan-__(~m-yh2rcc@42dots.de) stefan-__
2025-07-23 00:11:49 +0200Square2(~Square@user/square) (Ping timeout: 260 seconds)
2025-07-23 00:13:47 +0200Square2(~Square@user/square) Square
2025-07-23 00:21:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-23 00:24:05 +0200Digit(~user@user/digit) (Remote host closed the connection)
2025-07-23 00:26:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-23 00:30:15 +0200xff0x(~xff0x@2405:6580:b080:900:5e14:ebc5:de35:bb62) (Ping timeout: 276 seconds)
2025-07-23 00:30:43 +0200xff0x(~xff0x@2405:6580:b080:900:a128:338f:f680:9bb)
2025-07-23 00:32:52 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-23 00:32:53 +0200Square2(~Square@user/square) (Ping timeout: 245 seconds)
2025-07-23 00:36:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-23 00:37:28 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 240 seconds)
2025-07-23 00:41:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-23 00:46:01 +0200_________(~nobody@user/noodly) (Ping timeout: 244 seconds)
2025-07-23 00:46:08 +0200hydrocarboxide(~user@user/hydrocarboxide) hydrocarboxide
2025-07-23 00:48:00 +0200_________(~nobody@user/noodly) _________
2025-07-23 00:48:16 +0200falafel(~falafel@79.117.174.28) (Remote host closed the connection)
2025-07-23 00:48:22 +0200 <EvanR> gcc solved the halting problem!
2025-07-23 00:49:05 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2025-07-23 00:52:04 +0200sprotte24(~sprotte24@p200300d16f3bd300b88b0c97520a4e19.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-07-23 00:52:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-23 00:57:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-23 00:59:12 +0200xff0x(~xff0x@2405:6580:b080:900:a128:338f:f680:9bb) (Quit: xff0x)
2025-07-23 00:59:32 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-07-23 00:59:43 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-23 01:02:17 +0200xff0x(~xff0x@2405:6580:b080:900:e9cb:38db:fee:6022)
2025-07-23 01:06:50 +0200tremon(~tremon@83.80.159.219) (Remote host closed the connection)
2025-07-23 01:07:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-23 01:10:28 +0200be8bcca2f3(~be8bcca2f@user/be8bcca2f3) (Ping timeout: 240 seconds)
2025-07-23 01:12:04 +0200trickard_trickard
2025-07-23 01:12:06 +0200be8bcca2f3(~be8bcca2f@user/be8bcca2f3) be8bcca2f3
2025-07-23 01:12:13 +0200weary-traveler(~user@user/user363627) user363627
2025-07-23 01:12:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-23 01:14:17 +0200ChanServ+o glguy
2025-07-23 01:14:17 +0200glguy-b+b-o r-sta!r-sta@*.cable.virginm.net *!~r-sta@*.cable.virginm.net glguy
2025-07-23 01:16:47 +0200sdrfan123(~sdrfan123@2a01:cb15:8e:8900:ac97:586b:6971:81d3)
2025-07-23 01:20:17 +0200sdrfan57(~sdrfan123@lfbn-ann-1-216-143.w86-200.abo.wanadoo.fr)
2025-07-23 01:20:23 +0200sdrfan57(~sdrfan123@lfbn-ann-1-216-143.w86-200.abo.wanadoo.fr) (Client Quit)
2025-07-23 01:20:28 +0200sdrfan21(~sdrfan123@lfbn-ann-1-216-143.w86-200.abo.wanadoo.fr)
2025-07-23 01:20:40 +0200sdrfan21(~sdrfan123@lfbn-ann-1-216-143.w86-200.abo.wanadoo.fr) (Client Quit)
2025-07-23 01:20:41 +0200sdrfan11(~sdrfan123@lfbn-ann-1-216-143.w86-200.abo.wanadoo.fr)
2025-07-23 01:23:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-23 01:23:53 +0200sdrfan123(~sdrfan123@2a01:cb15:8e:8900:ac97:586b:6971:81d3) (Ping timeout: 272 seconds)
2025-07-23 01:27:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-23 01:32:56 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-07-23 01:38:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-23 01:43:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-23 01:45:02 +0200falafel(~falafel@2a0c:5a87:3104:8f01::f709) falafel
2025-07-23 01:53:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-23 01:56:21 +0200acidjnk(~acidjnk@p200300d6e70b66216058b968c4ad0c78.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-07-23 01:58:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-07-23 01:59:27 +0200ttybitnik(~ttybitnik@user/wolper) (Remote host closed the connection)
2025-07-23 02:03:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-23 02:04:14 +0200sdrfan11(~sdrfan123@lfbn-ann-1-216-143.w86-200.abo.wanadoo.fr) (Quit: Client closed)
2025-07-23 02:04:23 +0200sdrfan123(~sdrfan123@lfbn-ann-1-216-143.w86-200.abo.wanadoo.fr)
2025-07-23 02:07:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-23 02:09:03 +0200trickard(~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-23 02:09:17 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au)
2025-07-23 02:15:21 +0200trickard_trickard
2025-07-23 02:17:19 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-07-23 02:19:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-23 02:24:29 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-07-23 02:25:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-23 02:29:15 +0200hydrocarboxide(~user@user/hydrocarboxide) (Remote host closed the connection)
2025-07-23 02:31:48 +0200xff0x(~xff0x@2405:6580:b080:900:e9cb:38db:fee:6022) (Ping timeout: 276 seconds)
2025-07-23 02:33:00 +0200falafel(~falafel@2a0c:5a87:3104:8f01::f709) (Remote host closed the connection)
2025-07-23 02:33:50 +0200phma_(~phma@host-67-44-208-80.hnremote.net)
2025-07-23 02:33:58 +0200phma(phma@2001:5b0:210d:45d8:85e2:d152:9907:301d) (Read error: Connection reset by peer)
2025-07-23 02:37:01 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-23 02:37:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-23 02:38:35 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-23 02:41:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-23 02:43:37 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-07-23 02:47:09 +0200trickard(~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-23 02:47:23 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au)
2025-07-23 02:52:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-23 02:56:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-23 02:58:13 +0200phma_phma
2025-07-23 02:58:30 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-07-23 03:07:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-23 03:09:36 +0200sdrfan123(~sdrfan123@lfbn-ann-1-216-143.w86-200.abo.wanadoo.fr) (Quit: Client closed)
2025-07-23 03:09:59 +0200sdrfan123(~sdrfan123@lfbn-ann-1-216-143.w86-200.abo.wanadoo.fr)
2025-07-23 03:10:02 +0200trickard_trickard
2025-07-23 03:10:13 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 248 seconds)
2025-07-23 03:11:04 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-23 03:11:36 +0200 <haskellbridge> <Ricardo> Hello. How can I set HLS's haskell.formattingProvider in emacs?
2025-07-23 03:12:08 +0200sim590(~simon@2001:18c0:a82:2400::9fb) (Quit: WeeChat 4.6.3)
2025-07-23 03:12:28 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 240 seconds)
2025-07-23 03:12:36 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-23 03:12:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-23 03:17:27 +0200connrs(~connrs@user/connrs) (Ping timeout: 252 seconds)
2025-07-23 03:19:27 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-07-23 03:21:36 +0200be8bcca2f3(~be8bcca2f@user/be8bcca2f3) (Ping timeout: 252 seconds)
2025-07-23 03:23:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-23 03:23:13 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Quit: Gateway shutdown)