| 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 +0200 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-07-23 00:04:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-23 00:07:27 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 2025-07-23 00:08:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-23 00:08:47 +0200 | Square3 | (~Square4@user/square) Square |
| 2025-07-23 00:10:12 +0200 | stefan-__ | (~m-yh2rcc@42dots.de) (Ping timeout: 252 seconds) |
| 2025-07-23 00:10:27 +0200 | stefan-__ | (~m-yh2rcc@42dots.de) stefan-__ |
| 2025-07-23 00:11:49 +0200 | Square2 | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2025-07-23 00:13:47 +0200 | Square2 | (~Square@user/square) Square |
| 2025-07-23 00:21:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-23 00:24:05 +0200 | Digit | (~user@user/digit) (Remote host closed the connection) |
| 2025-07-23 00:26:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-23 00:30:15 +0200 | xff0x | (~xff0x@2405:6580:b080:900:5e14:ebc5:de35:bb62) (Ping timeout: 276 seconds) |
| 2025-07-23 00:30:43 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a128:338f:f680:9bb) |
| 2025-07-23 00:32:52 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-23 00:32:53 +0200 | Square2 | (~Square@user/square) (Ping timeout: 245 seconds) |
| 2025-07-23 00:36:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-23 00:37:28 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 240 seconds) |
| 2025-07-23 00:41:16 +0200 | merijn | (~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 +0200 | hydrocarboxide | (~user@user/hydrocarboxide) hydrocarboxide |
| 2025-07-23 00:48:00 +0200 | _________ | (~nobody@user/noodly) _________ |
| 2025-07-23 00:48:16 +0200 | falafel | (~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 +0200 | sprotte24 | (~sprotte24@p200300d16f3bd300b88b0c97520a4e19.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-07-23 00:52:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-23 00:57:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-23 00:59:12 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a128:338f:f680:9bb) (Quit: xff0x) |
| 2025-07-23 00:59:32 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-07-23 00:59:43 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-23 01:02:17 +0200 | xff0x | (~xff0x@2405:6580:b080:900:e9cb:38db:fee:6022) |
| 2025-07-23 01:06:50 +0200 | tremon | (~tremon@83.80.159.219) (Remote host closed the connection) |
| 2025-07-23 01:07:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-23 01:10:28 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 240 seconds) |
| 2025-07-23 01:12:04 +0200 | trickard_ | trickard |
| 2025-07-23 01:12:06 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-23 01:12:13 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-07-23 01:12:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-23 01:14:17 +0200 | ChanServ | +o glguy |
| 2025-07-23 01:14:17 +0200 | glguy | -b+b-o r-sta!r-sta@*.cable.virginm.net *!~r-sta@*.cable.virginm.net glguy |
| 2025-07-23 01:16:47 +0200 | sdrfan123 | (~sdrfan123@2a01:cb15:8e:8900:ac97:586b:6971:81d3) |
| 2025-07-23 01:20:17 +0200 | sdrfan57 | (~sdrfan123@lfbn-ann-1-216-143.w86-200.abo.wanadoo.fr) |
| 2025-07-23 01:20:23 +0200 | sdrfan57 | (~sdrfan123@lfbn-ann-1-216-143.w86-200.abo.wanadoo.fr) (Client Quit) |
| 2025-07-23 01:20:28 +0200 | sdrfan21 | (~sdrfan123@lfbn-ann-1-216-143.w86-200.abo.wanadoo.fr) |
| 2025-07-23 01:20:40 +0200 | sdrfan21 | (~sdrfan123@lfbn-ann-1-216-143.w86-200.abo.wanadoo.fr) (Client Quit) |
| 2025-07-23 01:20:41 +0200 | sdrfan11 | (~sdrfan123@lfbn-ann-1-216-143.w86-200.abo.wanadoo.fr) |
| 2025-07-23 01:23:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-23 01:23:53 +0200 | sdrfan123 | (~sdrfan123@2a01:cb15:8e:8900:ac97:586b:6971:81d3) (Ping timeout: 272 seconds) |
| 2025-07-23 01:27:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-23 01:32:56 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-07-23 01:38:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-23 01:43:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-23 01:45:02 +0200 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) falafel |
| 2025-07-23 01:53:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-23 01:56:21 +0200 | acidjnk | (~acidjnk@p200300d6e70b66216058b968c4ad0c78.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-07-23 01:58:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-23 01:59:27 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-07-23 02:03:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-23 02:04:14 +0200 | sdrfan11 | (~sdrfan123@lfbn-ann-1-216-143.w86-200.abo.wanadoo.fr) (Quit: Client closed) |
| 2025-07-23 02:04:23 +0200 | sdrfan123 | (~sdrfan123@lfbn-ann-1-216-143.w86-200.abo.wanadoo.fr) |
| 2025-07-23 02:07:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-23 02:09:03 +0200 | trickard | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-23 02:09:17 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-07-23 02:15:21 +0200 | trickard_ | trickard |
| 2025-07-23 02:17:19 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-07-23 02:19:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-23 02:24:29 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-07-23 02:25:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-23 02:29:15 +0200 | hydrocarboxide | (~user@user/hydrocarboxide) (Remote host closed the connection) |
| 2025-07-23 02:31:48 +0200 | xff0x | (~xff0x@2405:6580:b080:900:e9cb:38db:fee:6022) (Ping timeout: 276 seconds) |
| 2025-07-23 02:33:00 +0200 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) (Remote host closed the connection) |
| 2025-07-23 02:33:50 +0200 | phma_ | (~phma@host-67-44-208-80.hnremote.net) |
| 2025-07-23 02:33:58 +0200 | phma | (phma@2001:5b0:210d:45d8:85e2:d152:9907:301d) (Read error: Connection reset by peer) |
| 2025-07-23 02:37:01 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-23 02:37:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-23 02:38:35 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-23 02:41:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-23 02:43:37 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-23 02:47:09 +0200 | trickard | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-23 02:47:23 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-07-23 02:52:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-23 02:56:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-23 02:58:13 +0200 | phma_ | phma |
| 2025-07-23 02:58:30 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-07-23 03:07:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-23 03:09:36 +0200 | sdrfan123 | (~sdrfan123@lfbn-ann-1-216-143.w86-200.abo.wanadoo.fr) (Quit: Client closed) |
| 2025-07-23 03:09:59 +0200 | sdrfan123 | (~sdrfan123@lfbn-ann-1-216-143.w86-200.abo.wanadoo.fr) |
| 2025-07-23 03:10:02 +0200 | trickard_ | trickard |
| 2025-07-23 03:10:13 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-07-23 03:11:04 +0200 | Frostillicus | (~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 +0200 | sim590 | (~simon@2001:18c0:a82:2400::9fb) (Quit: WeeChat 4.6.3) |
| 2025-07-23 03:12:28 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 240 seconds) |
| 2025-07-23 03:12:36 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-23 03:12:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-23 03:17:27 +0200 | connrs | (~connrs@user/connrs) (Ping timeout: 252 seconds) |
| 2025-07-23 03:19:27 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-23 03:21:36 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 252 seconds) |
| 2025-07-23 03:23:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-23 03:23:13 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Quit: Gateway shutdown) |
| 2025-07-23 03:27:25 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-23 03:27:30 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-07-23 03:28:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-23 03:28:48 +0200 | <Axman6> | Anyone know how to fix this? I have llvm-18 available so the version shouldn't be a problem: error: [GHC-66599] GHC was not configured with a supported LLVM toolchain Make sure you have installed LLVM between [13 and 20) and reinstall GHC to make -fllvm work |
| 2025-07-23 03:30:48 +0200 | <Axman6> | I see GHC outputs "*** systool:llc:" is I call it driectly with -v, llc is in my path too and reports v18.1.8 |
| 2025-07-23 03:33:12 +0200 | <geekosaur> | how did you install ghc? |
| 2025-07-23 03:33:33 +0200 | sdrfan123 | (~sdrfan123@lfbn-ann-1-216-143.w86-200.abo.wanadoo.fr) (Quit: Client closed) |
| 2025-07-23 03:35:02 +0200 | <geekosaur> | Ricardo: easiest way is probably `(customize-group 'lsp-haskell)` |
| 2025-07-23 03:38:10 +0200 | connrs | (~connrs@user/connrs) connrs |
| 2025-07-23 03:38:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-23 03:39:58 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 240 seconds) |
| 2025-07-23 03:40:13 +0200 | <geekosaur> | Axman6: in the normal case (bindist `configure; make install`; note that ghcup also runs this) the LLVM toolchain is checked during `configure` and if you add or change it afterward then you must re-run the bindist `configure`. If you used ghcup to install, that means uninstalling and reinstalling that ghc version |
| 2025-07-23 03:40:18 +0200 | <Axman6> | ghcup |
| 2025-07-23 03:40:42 +0200 | <Axman6> | ah! ok, so it's an install time thing, that's kind of annoying. |
| 2025-07-23 03:40:52 +0200 | <geekosaur> | yes |
| 2025-07-23 03:41:10 +0200 | <Axman6> | I was hoping it would just use the opt, llc etc. in my PATH |
| 2025-07-23 03:41:21 +0200 | <geekosaur> | there's work on improving this somewhat but you would still need to run `ghc-toolchain` to update ghc configuration |
| 2025-07-23 03:41:22 +0200 | <Axman6> | ok, I might see if I can nix all of it then |
| 2025-07-23 03:41:53 +0200 | <geekosaur> | I think it needs to adapt the IR codegen to match the LLVM version? |
| 2025-07-23 03:42:06 +0200 | <geekosaur> | so it needs to be baked into the settings file |
| 2025-07-23 03:43:01 +0200 | <geekosaur> | (worth remembering is ghc doesn't use LLVM the "correct" way, it's using an interface that has no guaranteed stability) |
| 2025-07-23 03:43:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-23 03:43:18 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-07-23 03:43:36 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-07-23 03:44:30 +0200 | <Axman6> | :') |
| 2025-07-23 03:44:42 +0200 | <Axman6> | what would the correct way be? |
| 2025-07-23 03:44:50 +0200 | <Axman6> | calling it as a library? |
| 2025-07-23 03:44:54 +0200 | <geekosaur> | yes |
| 2025-07-23 03:47:04 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-07-23 03:47:19 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-07-23 03:48:45 +0200 | weary-traveler | (~user@user/user363627) (Read error: Connection reset by peer) |
| 2025-07-23 03:50:11 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-23 03:50:31 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-23 03:51:23 +0200 | trickard | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-23 03:51:36 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-07-23 03:54:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-23 03:55:27 +0200 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-07-23 03:57:36 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 276 seconds) |
| 2025-07-23 03:57:38 +0200 | prdak1 | prdak |
| 2025-07-23 03:59:54 +0200 | <geekosaur> | @Ricardo, make that M-x customize-group lsp-haskell |
| 2025-07-23 03:59:54 +0200 | <lambdabot> | Unknown command, try @list |
| 2025-07-23 04:01:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-23 04:08:58 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 240 seconds) |
| 2025-07-23 04:09:47 +0200 | trickard_ | trickard |
| 2025-07-23 04:16:23 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-07-23 04:19:37 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-07-23 04:21:29 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-23 04:21:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-23 04:24:08 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) smalltalkman |
| 2025-07-23 04:26:12 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 276 seconds) |
| 2025-07-23 04:26:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-23 04:26:57 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-07-23 04:28:39 +0200 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 260 seconds) |
| 2025-07-23 04:34:53 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-23 04:37:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-23 04:41:28 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 240 seconds) |
| 2025-07-23 04:41:48 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-07-23 04:41:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-23 04:49:49 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-23 04:52:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-23 04:53:06 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 2025-07-23 04:55:06 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-07-23 04:56:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-23 04:56:59 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-07-23 05:02:25 +0200 | <jreicher> | geekosaur: eglot is probably a better option |
| 2025-07-23 05:05:56 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-07-23 05:06:56 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 244 seconds) |
| 2025-07-23 05:07:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-23 05:12:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-23 05:15:55 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-23 05:23:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-23 05:24:41 +0200 | trickard | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-23 05:24:55 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-07-23 05:29:36 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 244 seconds) |
| 2025-07-23 05:30:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-23 05:30:16 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-07-23 05:36:05 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-07-23 05:36:20 +0200 | aforemny | (~aforemny@2001:9e8:6cc7:6e00:ddc1:59ef:db97:52df) aforemny |
| 2025-07-23 05:37:21 +0200 | aforemny_ | (~aforemny@i59F4C53A.versanet.de) (Ping timeout: 248 seconds) |
| 2025-07-23 05:37:28 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 240 seconds) |
| 2025-07-23 05:38:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-23 05:39:30 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2025-07-23 05:40:04 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-23 05:43:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-23 05:43:45 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-23 05:43:59 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-07-23 05:49:28 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 240 seconds) |
| 2025-07-23 05:53:30 +0200 | trickard_ | trickard |
| 2025-07-23 05:54:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-23 05:59:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-23 06:00:28 +0200 | Square3 | (~Square4@user/square) (Ping timeout: 240 seconds) |
| 2025-07-23 06:04:15 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-23 06:07:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-23 06:08:58 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 240 seconds) |
| 2025-07-23 06:11:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-23 06:19:33 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 2025-07-23 06:21:16 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-07-23 06:21:54 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-23 06:22:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-23 06:24:17 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-07-23 06:26:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-23 06:27:02 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 252 seconds) |
| 2025-07-23 06:32:24 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-23 06:38:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-23 06:38:13 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-23 06:42:28 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 240 seconds) |
| 2025-07-23 06:42:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-23 06:53:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-23 06:54:27 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-23 07:00:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-23 07:01:19 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 260 seconds) |
| 2025-07-23 07:01:35 +0200 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-07-23 07:04:26 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-07-23 07:06:37 +0200 | zlqrvx | (~zlqrvx@101.175.150.247) |
| 2025-07-23 07:06:48 +0200 | fmlatghor | (~lcoogan@user/fmlatghor) fmlatghor |
| 2025-07-23 07:07:22 +0200 | zlqrvx | (~zlqrvx@101.175.150.247) (Client Quit) |
| 2025-07-23 07:08:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-23 07:12:36 +0200 | Vq | (~vq@81-226-147-244-no600.tbcn.telia.com) (Ping timeout: 276 seconds) |
| 2025-07-23 07:12:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-23 07:14:05 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-23 07:17:11 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-07-23 07:19:06 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-07-23 07:19:45 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 276 seconds) |
| 2025-07-23 07:21:21 +0200 | Digit | (~user@user/digit) Digit |
| 2025-07-23 07:23:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-23 07:25:19 +0200 | trickard | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-23 07:25:27 +0200 | michalz | (~michalz@185.246.207.203) |
| 2025-07-23 07:25:34 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-07-23 07:25:55 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-23 07:27:47 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-23 07:28:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-23 07:32:02 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-23 07:36:54 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 260 seconds) |
| 2025-07-23 07:39:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-23 07:43:19 +0200 | biberu | (~biberu@user/biberu) biberu |
| 2025-07-23 07:44:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-07-23 07:45:52 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-23 07:47:47 +0200 | trickard_ | trickard |
| 2025-07-23 07:48:50 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-07-23 07:51:36 +0200 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds) |
| 2025-07-23 07:54:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-23 07:57:30 +0200 | zlqrvx | (~zlqrvx@101.175.150.247) |
| 2025-07-23 07:58:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-23 08:05:35 +0200 | Sgeo_ | (~Sgeo@user/sgeo) Sgeo |
| 2025-07-23 08:08:28 +0200 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 240 seconds) |
| 2025-07-23 08:09:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-23 08:12:38 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-07-23 08:13:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-23 08:13:56 +0200 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-07-23 08:16:57 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds) |
| 2025-07-23 08:24:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-23 08:29:48 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-07-23 08:30:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-23 08:30:58 +0200 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 240 seconds) |
| 2025-07-23 08:36:29 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-07-23 08:37:04 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-07-23 08:38:10 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-07-23 08:39:55 +0200 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-07-23 08:39:58 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ac53:23aa:fa03:a9df) |
| 2025-07-23 08:41:28 +0200 | Digit | (~user@user/digit) (Ping timeout: 240 seconds) |
| 2025-07-23 08:42:27 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-07-23 08:42:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-23 08:43:24 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 260 seconds) |
| 2025-07-23 08:43:24 +0200 | prdak1 | prdak |
| 2025-07-23 08:44:44 +0200 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-07-23 08:45:29 +0200 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-07-23 08:46:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-23 08:47:06 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-07-23 08:52:39 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 2025-07-23 08:52:44 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 272 seconds) |
| 2025-07-23 08:53:45 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-07-23 08:54:45 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 248 seconds) |
| 2025-07-23 08:54:47 +0200 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds) |
| 2025-07-23 08:56:06 +0200 | trickard | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-23 08:56:19 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-07-23 08:59:03 +0200 | Digitteknohippie | Digit |
| 2025-07-23 08:59:30 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-07-23 09:00:02 +0200 | caconym74 | (~caconym@user/caconym) (Quit: bye) |
| 2025-07-23 09:00:43 +0200 | caconym74 | (~caconym@user/caconym) caconym |
| 2025-07-23 09:03:51 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-23 09:04:56 +0200 | Vq | (~vq@81-226-147-244-no600.tbcn.telia.com) Vq |
| 2025-07-23 09:06:08 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-23 09:07:17 +0200 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-07-23 09:08:57 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 2025-07-23 09:08:58 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 240 seconds) |
| 2025-07-23 09:09:47 +0200 | zlqrvx | (~zlqrvx@101.175.150.247) (Quit: ZNC 1.10.0 - https://znc.in) |
| 2025-07-23 09:10:47 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-23 09:10:54 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 276 seconds) |
| 2025-07-23 09:16:01 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 2025-07-23 09:16:45 +0200 | Digit | (~user@user/digit) (Ping timeout: 276 seconds) |
| 2025-07-23 09:17:53 +0200 | Digit | (~user@user/digit) Digit |
| 2025-07-23 09:18:19 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-23 09:21:18 +0200 | fmlatghor | (~lcoogan@user/fmlatghor) (Ping timeout: 276 seconds) |
| 2025-07-23 09:22:07 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-07-23 09:22:15 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-23 09:23:09 +0200 | fmlatghor | (~lcoogan@user/fmlatghor) fmlatghor |
| 2025-07-23 09:26:58 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 240 seconds) |
| 2025-07-23 09:27:46 +0200 | acidjnk | (~acidjnk@p200300d6e70b66996058b968c4ad0c78.dip0.t-ipconnect.de) acidjnk |
| 2025-07-23 09:31:33 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-23 09:35:26 +0200 | ethereal_ | (~ethereal@user/ethereal-:30935) ethereal_ |
| 2025-07-23 09:36:49 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-23 09:36:59 +0200 | Digit | (~user@user/digit) (Remote host closed the connection) |
| 2025-07-23 09:38:04 +0200 | Digit | (~user@user/digit) Digit |
| 2025-07-23 09:38:14 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 260 seconds) |
| 2025-07-23 09:39:21 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-23 09:46:24 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 260 seconds) |
| 2025-07-23 09:49:06 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 272 seconds) |
| 2025-07-23 09:50:27 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-23 09:51:40 +0200 | ft | (~ft@p508db189.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-07-23 09:55:28 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 240 seconds) |
| 2025-07-23 09:59:15 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-23 10:04:12 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-07-23 10:06:18 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 252 seconds) |
| 2025-07-23 10:06:58 +0200 | m1dnight | (~m1dnight@109.236.63.149) (Ping timeout: 240 seconds) |
| 2025-07-23 10:07:27 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-07-23 10:09:19 +0200 | m1dnight | (~m1dnight@109.236.63.154) m1dnight |
| 2025-07-23 10:17:38 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-23 10:20:28 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-07-23 10:21:17 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-07-23 10:21:28 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-23 10:21:42 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-07-23 10:26:42 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-23 10:28:10 +0200 | arandombit | (~arandombi@37.120.80.229) arandombit |
| 2025-07-23 10:28:10 +0200 | arandombit | (~arandombi@37.120.80.229) (Changing host) |
| 2025-07-23 10:28:10 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-07-23 10:29:33 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2025-07-23 10:31:49 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-07-23 10:36:21 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-23 10:36:28 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 240 seconds) |
| 2025-07-23 10:42:06 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-23 10:46:28 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 240 seconds) |
| 2025-07-23 10:47:47 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-07-23 10:49:52 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-23 10:54:36 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-07-23 11:00:40 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
| 2025-07-23 11:01:41 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-23 11:02:09 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2025-07-23 11:02:34 +0200 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 272 seconds) |
| 2025-07-23 11:07:00 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 272 seconds) |
| 2025-07-23 11:08:35 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-23 11:09:54 +0200 | ethereal_ | (~ethereal@user/ethereal-:30935) (Quit: cya later) |
| 2025-07-23 11:10:43 +0200 | chele | (~chele@user/chele) chele |
| 2025-07-23 11:12:55 +0200 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-07-23 11:16:15 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ac53:23aa:fa03:a9df) (Ping timeout: 252 seconds) |
| 2025-07-23 11:18:00 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-23 11:18:10 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-07-23 11:19:47 +0200 | <tomsmeding> | calling LLVM as a library is MUCH more unstable than LLVM IR :p |
| 2025-07-23 11:20:11 +0200 | <tomsmeding> | it's just that typically your program will not compile with the new LLVM version instead of failing, but only just "typically" |
| 2025-07-23 11:24:06 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2025-07-23 11:26:51 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-07-23 11:31:59 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 260 seconds) |
| 2025-07-23 11:33:44 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Ping timeout: 260 seconds) |
| 2025-07-23 11:34:56 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-23 11:34:57 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-07-23 11:36:02 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-23 11:39:28 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 240 seconds) |
| 2025-07-23 11:39:58 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 240 seconds) |
| 2025-07-23 11:41:38 +0200 | ubert | (~Thunderbi@178.165.168.31.wireless.dyn.drei.com) ubert |
| 2025-07-23 11:47:52 +0200 | jespada | (~jespada@2800:a4:229d:200:117d:f357:85e0:5c3d) (Ping timeout: 244 seconds) |
| 2025-07-23 11:49:49 +0200 | jespada | (~jespada@2800:a4:229c:7c00:e184:1807:9782:7c3f) jespada |
| 2025-07-23 11:54:56 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-07-23 11:56:02 +0200 | Yumemi | (~Yumemi@chamoin.net) (Ping timeout: 248 seconds) |
| 2025-07-23 11:56:52 +0200 | Yumemi | (~Yumemi@chamoin.net) Yumemi |
| 2025-07-23 12:04:35 +0200 | <haskellbridge> | <magic_rb> LLVM not having a stable something even after all these years is absolutely mind boggling to me |
| 2025-07-23 12:04:51 +0200 | <haskellbridge> | <magic_rb> I dont expect a stable library, but at least the damn IR could be stable |
| 2025-07-23 12:04:55 +0200 | <haskellbridge> | <magic_rb> It doesnt change that often |
| 2025-07-23 12:05:01 +0200 | <tomsmeding> | it's essentially stable |
| 2025-07-23 12:05:37 +0200 | <tomsmeding> | they're trying to deprecate and remove explicit pointee types for pointers, but newest clang still accepts them in the IR |
| 2025-07-23 12:05:40 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-23 12:05:50 +0200 | <tomsmeding> | first deprecation was 5 major versions ago |
| 2025-07-23 12:06:02 +0200 | <tomsmeding> | they're trying not to break IR producers and consumers, mostly |
| 2025-07-23 12:06:19 +0200 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds) |
| 2025-07-23 12:06:40 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-23 12:06:42 +0200 | opencircuit | (~quassel@154.94.15.139) (Read error: Connection reset by peer) |
| 2025-07-23 12:07:56 +0200 | opencircuit | (~quassel@154.94.15.139) |
| 2025-07-23 12:08:11 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-23 12:09:10 +0200 | <tomsmeding> | there have apparently been some breaking changes in representation of debug info over the years |
| 2025-07-23 12:09:51 +0200 | <tomsmeding> | magic_rb: this thing https://github.com/GaloisInc/llvm-pretty/blob/master/src/Text/LLVM/PP.hs tries to produce compatible IR for a large range of LLVM IR versions, and conditionals are mostly around things that are newly added in newer versions, or debug info stuff |
| 2025-07-23 12:13:28 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-07-23 12:25:28 +0200 | trickard_ | trickard |
| 2025-07-23 12:25:44 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-23 12:33:18 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2025-07-23 12:39:25 +0200 | arandombit | (~arandombi@37.120.80.229) |
| 2025-07-23 12:39:25 +0200 | arandombit | (~arandombi@37.120.80.229) (Changing host) |
| 2025-07-23 12:39:25 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-07-23 12:41:40 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-23 12:42:44 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 2025-07-23 12:49:05 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-23 12:49:08 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-07-23 13:05:09 +0200 | xff0x | (~xff0x@2405:6580:b080:900:c38f:654b:d0b9:76ef) |
| 2025-07-23 13:09:59 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-07-23 13:11:19 +0200 | diagprov | (uid348783@user/diagprov) diagprov |
| 2025-07-23 13:14:45 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-23 13:16:37 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 248 seconds) |
| 2025-07-23 13:17:57 +0200 | trickard | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-23 13:18:11 +0200 | trickard | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-07-23 13:18:41 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-23 13:19:10 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 2025-07-23 13:19:19 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2025-07-23 13:21:10 +0200 | <haskellbridge> | <magic_rb> tomsmeding its essentially stable yes, but officially youre not supposed to produce IR directly and its not stable, which is dumb |
| 2025-07-23 13:21:24 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-07-23 13:24:34 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 260 seconds) |
| 2025-07-23 13:28:39 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-23 13:38:00 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-07-23 13:43:22 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 252 seconds) |
| 2025-07-23 13:44:44 +0200 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2025-07-23 13:48:01 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2025-07-23 13:51:28 +0200 | <xdej> | g |
| 2025-07-23 13:51:33 +0200 | <xdej> | oh sorry |
| 2025-07-23 13:55:45 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-23 14:03:42 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 272 seconds) |
| 2025-07-23 14:07:14 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-23 14:14:10 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 248 seconds) |
| 2025-07-23 14:17:08 +0200 | trickard | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-23 14:17:22 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-07-23 14:23:10 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-23 14:27:14 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-23 14:34:20 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 252 seconds) |
| 2025-07-23 14:35:40 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-23 14:40:27 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-07-23 14:40:34 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 252 seconds) |
| 2025-07-23 14:41:00 +0200 | ethereal_ | (~ethereal@user/ethereal-:30935) ethereal_ |
| 2025-07-23 14:45:17 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-23 14:46:06 +0200 | athan | (~athan@syn-047-132-161-157.res.spectrum.com) athan |
| 2025-07-23 14:52:25 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-23 14:58:05 +0200 | trickard_ | trickard |
| 2025-07-23 14:58:10 +0200 | ethereal_ | (~ethereal@user/ethereal-:30935) (Ping timeout: 252 seconds) |
| 2025-07-23 14:58:28 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 240 seconds) |
| 2025-07-23 15:11:39 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-23 15:19:12 +0200 | <[exa]> | is there some nice utility/library that would help with prettyprinting DAGs? Like there's the Tree one for printing out tree-ish things -- instead I'd basically like to print out a piece of git history. |
| 2025-07-23 15:21:33 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 252 seconds) |
| 2025-07-23 15:24:55 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-07-23 15:26:39 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-07-23 15:28:03 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-07-23 15:28:33 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-07-23 15:29:02 +0200 | <Leary> | [exa]: Graphviz? |
| 2025-07-23 15:33:31 +0200 | trickard | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-23 15:33:45 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-07-23 15:33:58 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-23 15:38:42 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) (Ping timeout: 272 seconds) |
| 2025-07-23 15:44:10 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-07-23 15:45:09 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 260 seconds) |
| 2025-07-23 15:46:18 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 272 seconds) |
| 2025-07-23 15:46:41 +0200 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-07-23 15:49:38 +0200 | ethereal_ | (~ethereal@ip4d14fe2d.dynamic.kabel-deutschland.de) |
| 2025-07-23 15:50:00 +0200 | ethereal_ | (~ethereal@ip4d14fe2d.dynamic.kabel-deutschland.de) (Client Quit) |
| 2025-07-23 15:55:46 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-07-23 15:56:09 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-23 15:58:59 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-23 16:02:05 +0200 | <[exa]> | Leary: I meant more like the drawing of the branchy structure for what you normally see in git log --graph and on githubs etc. |
| 2025-07-23 16:02:07 +0200 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) falafel |
| 2025-07-23 16:07:15 +0200 | b7r6 | (~b7r6@user/b7r6) b7r6 |
| 2025-07-23 16:07:52 +0200 | nacation | (~m-3l4s76@user/nacation) (Remote host closed the connection) |
| 2025-07-23 16:12:28 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 240 seconds) |
| 2025-07-23 16:19:58 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-07-23 16:21:53 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-23 16:27:58 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 240 seconds) |
| 2025-07-23 16:28:09 +0200 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) (Remote host closed the connection) |
| 2025-07-23 16:30:40 +0200 | Square2 | (~Square@user/square) Square |
| 2025-07-23 16:32:34 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-07-23 16:32:34 +0200 | Square3 | (~Square4@user/square) Square |
| 2025-07-23 16:37:07 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-23 16:38:06 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-07-23 16:45:02 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-07-23 16:45:24 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-23 16:47:16 +0200 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-07-23 16:47:31 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-23 16:49:00 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 252 seconds) |
| 2025-07-23 16:50:51 +0200 | dolio | (~dolio@130.44.140.168) dolio |
| 2025-07-23 16:52:49 +0200 | AlexZenon | (~alzenon@5.139.233.5) (Ping timeout: 260 seconds) |
| 2025-07-23 16:52:58 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 276 seconds) |
| 2025-07-23 16:53:32 +0200 | dolio | (~dolio@130.44.140.168) (Client Quit) |
| 2025-07-23 16:54:13 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-07-23 16:54:50 +0200 | dolio | (~dolio@130.44.140.168) dolio |
| 2025-07-23 16:57:15 +0200 | AlexZenon | (~alzenon@5.139.233.5) |
| 2025-07-23 16:57:15 +0200 | Square3 | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2025-07-23 17:00:50 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-23 17:03:40 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-23 17:05:39 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 260 seconds) |
| 2025-07-23 17:16:32 +0200 | a_fantom | (~fantom@33be818f.skybroadband.com) (Quit: Connection error?!) |
| 2025-07-23 17:16:53 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-23 17:22:31 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-07-23 17:22:54 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-23 17:23:05 +0200 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) falafel |
| 2025-07-23 17:24:28 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 240 seconds) |
| 2025-07-23 17:25:55 +0200 | b7r6 | (~b7r6@user/b7r6) (Ping timeout: 272 seconds) |
| 2025-07-23 17:25:56 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-07-23 17:28:09 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 276 seconds) |
| 2025-07-23 17:29:11 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-07-23 17:29:34 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-07-23 17:30:22 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-23 17:37:28 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 245 seconds) |
| 2025-07-23 17:49:03 +0200 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) (Remote host closed the connection) |
| 2025-07-23 17:49:54 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-23 17:54:52 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Remote host closed the connection) |
| 2025-07-23 17:56:24 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 260 seconds) |
| 2025-07-23 17:57:12 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-07-23 17:57:33 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-07-23 18:03:15 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 276 seconds) |
| 2025-07-23 18:07:29 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-07-23 18:08:48 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-23 18:08:53 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2025-07-23 18:09:26 +0200 | acidjnk | (~acidjnk@p200300d6e70b66996058b968c4ad0c78.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-07-23 18:11:19 +0200 | qqe | (~qqq@185.54.23.134) |
| 2025-07-23 18:19:14 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-23 18:19:27 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-07-23 18:24:09 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-07-23 18:24:44 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2025-07-23 18:29:18 +0200 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) falafel |
| 2025-07-23 18:29:53 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) (Ping timeout: 272 seconds) |
| 2025-07-23 18:30:31 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-23 18:33:09 +0200 | Square2 | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2025-07-23 18:33:12 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-07-23 18:35:01 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 248 seconds) |
| 2025-07-23 18:40:49 +0200 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) (Remote host closed the connection) |
| 2025-07-23 18:47:17 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-07-23 18:47:53 +0200 | Digit | (~user@user/digit) (Ping timeout: 245 seconds) |
| 2025-07-23 18:48:25 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-07-23 18:58:55 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-07-23 18:59:06 +0200 | b7r6 | (~b7r6@user/b7r6) b7r6 |
| 2025-07-23 18:59:09 +0200 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) falafel |
| 2025-07-23 19:06:31 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-07-23 19:06:57 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-07-23 19:08:35 +0200 | dhil | (~dhil@5.151.29.140) dhil |
| 2025-07-23 19:14:03 +0200 | acidjnk | (~acidjnk@p200300d6e70b66954da1f7112171ec4f.dip0.t-ipconnect.de) acidjnk |
| 2025-07-23 19:16:40 +0200 | Digitteknohippie | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2025-07-23 19:20:42 +0200 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) (Remote host closed the connection) |
| 2025-07-23 19:20:51 +0200 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) falafel |
| 2025-07-23 19:22:52 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-07-23 19:25:28 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 240 seconds) |
| 2025-07-23 19:26:18 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-07-23 19:26:40 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-23 19:29:05 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-07-23 19:29:05 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-07-23 19:29:05 +0200 | haritz | (~hrtz@user/haritz) haritz |
| 2025-07-23 19:30:32 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-07-23 19:30:58 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 248 seconds) |
| 2025-07-23 19:31:26 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-07-23 19:33:29 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-07-23 19:34:48 +0200 | ridcully | (~ridcully@pd951f729.dip0.t-ipconnect.de) (Quit: WeeChat 4.6.3) |
| 2025-07-23 19:35:06 +0200 | ridcully | (~ridcully@pd951f729.dip0.t-ipconnect.de) ridcully |
| 2025-07-23 19:36:25 +0200 | Digit | (~user@user/digit) Digit |
| 2025-07-23 19:41:14 +0200 | Digit | digitteknohippie |
| 2025-07-23 19:41:14 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 2025-07-23 19:41:17 +0200 | digitteknohippie | Digit |
| 2025-07-23 19:44:58 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2025-07-23 19:45:32 +0200 | arandombit | (~arandombi@37.120.80.229) |
| 2025-07-23 19:45:32 +0200 | arandombit | (~arandombi@37.120.80.229) (Changing host) |
| 2025-07-23 19:45:32 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-07-23 19:45:41 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-07-23 19:49:14 +0200 | b7r6 | (~b7r6@user/b7r6) (Quit: Client closed) |
| 2025-07-23 19:50:42 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-07-23 19:51:36 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-23 19:51:38 +0200 | yabobay | (~pizza@2a02:85f:fcd5:1601:a753:ff59:be6f:253f) yabobay |
| 2025-07-23 19:53:01 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-07-23 19:58:04 +0200 | biberu | (~biberu@user/biberu) biberu |
| 2025-07-23 20:03:14 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-07-23 20:04:32 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-07-23 20:08:23 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-07-23 20:08:43 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2025-07-23 20:10:00 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-07-23 20:15:26 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-23 20:28:19 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-23 20:28:28 +0200 | ubert | (~Thunderbi@178.165.168.31.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 2025-07-23 20:29:32 +0200 | Square2 | (~Square@user/square) Square |
| 2025-07-23 20:29:36 +0200 | notzmv | (~umar@user/notzmv) (Remote host closed the connection) |
| 2025-07-23 20:36:36 +0200 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) (Remote host closed the connection) |
| 2025-07-23 20:37:34 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-07-23 20:39:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-23 20:44:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-23 20:47:20 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-23 20:48:11 +0200 | <smiesner> | haskell on corporate windows laptop is too hard/much to install under the radar.. what else would you recommend instead? |
| 2025-07-23 20:52:05 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-07-23 20:55:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-23 20:55:33 +0200 | arandombit | (~arandombi@37.120.80.229) |
| 2025-07-23 20:55:33 +0200 | arandombit | (~arandombi@37.120.80.229) (Changing host) |
| 2025-07-23 20:55:33 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-07-23 20:55:43 +0200 | <EvanR> | really |
| 2025-07-23 20:55:59 +0200 | <EvanR> | don't you just unpack some files and set your PATH |
| 2025-07-23 20:58:05 +0200 | <c_wraith> | monochrom: I seem to recall you saying no one had ever proven Adams' trees actually work. Well.. They don't. But I wasn't the first to discover that. |
| 2025-07-23 20:58:10 +0200 | <geekosaur> | bindist `configure; make install` is a bit more than that |
| 2025-07-23 20:58:45 +0200 | <geekosaur> | eventually we're going to get bindists where you can slap them on a thumb drive and run `ghc-toolchain` to set them up, but that's not ready yet |
| 2025-07-23 20:58:50 +0200 | <EvanR> | I recall installing on windows and this basically being what it amounted to |
| 2025-07-23 20:59:10 +0200 | <EvanR> | but it was before "windows services for linux" |
| 2025-07-23 20:59:18 +0200 | ft | (~ft@p508db189.dip0.t-ipconnect.de) ft |
| 2025-07-23 20:59:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-07-23 21:00:06 +0200 | caconym74 | (~caconym@user/caconym) (Quit: bye) |
| 2025-07-23 21:00:11 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2025-07-23 21:00:36 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-07-23 21:00:48 +0200 | caconym74 | (~caconym@user/caconym) caconym |
| 2025-07-23 21:01:47 +0200 | <monochrom> | c_wraith: Ah interesting, nice. |
| 2025-07-23 21:02:39 +0200 | <c_wraith> | monochrom: But! Milan Straka has a paper that claims to fix it, and prove that the fixes are correct. And I've heard his name a few times, so I get the impression he's reliable. http://fox.ucw.cz/papers/bbtree/bbtree.pdf |
| 2025-07-23 21:03:30 +0200 | <c_wraith> | It's a pretty small tweak, that basically works out to adding a factor of preference for single rotations over double rotations. |
| 2025-07-23 21:03:40 +0200 | <smiesner> | EvanR: ghcup install command throws errors bc of the restricted environment. installing everything by hand seems tedious and MSYS2 proved error prone in the past.. sadly no WSL available for me either |
| 2025-07-23 21:04:16 +0200 | <EvanR> | what about a VM |
| 2025-07-23 21:05:28 +0200 | <smiesner> | puuh, you gave me the belief to try the manual route again tomorrow |
| 2025-07-23 21:05:35 +0200 | yabobay | (~pizza@2a02:85f:fcd5:1601:a753:ff59:be6f:253f) (Konversation terminated!) |
| 2025-07-23 21:07:52 +0200 | <c_wraith> | It was kind of funny though, when I got into the details of trying to debug "this sequence of operations results in a tree that violates the balance conditions". I saw the shape of the tree, and just went "oh. That absolutely looks like an edge-case exposing tree" |
| 2025-07-23 21:08:02 +0200 | <monochrom> | Corporate laptop is always going to be a gatekeeper. |
| 2025-07-23 21:08:26 +0200 | <monochrom> | BYOD is always the solution. |
| 2025-07-23 21:09:30 +0200 | trickard_ | trickard |
| 2025-07-23 21:10:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-23 21:10:59 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-07-23 21:11:57 +0200 | <tomsmeding> | smiesner: what are the errors ghcup throws? |
| 2025-07-23 21:13:59 +0200 | <smiesner> | i dont have the exact error msg at hand now but i think it was something system/os unsafe language related, I didn't want to mess around with |
| 2025-07-23 21:14:43 +0200 | <tomsmeding> | "os unsafe language" does not tell me anything :) |
| 2025-07-23 21:14:46 +0200 | <smiesner> | could have been ConstrainedLanguage mode |
| 2025-07-23 21:15:06 +0200 | <EvanR> | microsoft policing your language? |
| 2025-07-23 21:15:07 +0200 | <tomsmeding> | oh I ssee |
| 2025-07-23 21:15:19 +0200 | <tomsmeding> | EvanR: seems to be a powershell sublanguage |
| 2025-07-23 21:15:39 +0200 | <monochrom> | ghcup on Windows does need you to grant a permission. This is well-documented. |
| 2025-07-23 21:15:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-07-23 21:16:51 +0200 | <smiesner> | yes it def was the constrained lang mode. additionally i have no network connection while being a local admin, which i need to be to be able to install anything |
| 2025-07-23 21:16:55 +0200 | <dolio> | glguy: You around? |
| 2025-07-23 21:17:12 +0200 | <glguy> | Hi |
| 2025-07-23 21:17:37 +0200 | <dolio> | I've been meaning to ask; what do you do about building glirc these days? |
| 2025-07-23 21:17:44 +0200 | <dolio> | I can't build the openssl dependency. |
| 2025-07-23 21:20:13 +0200 | zfnmxt | (~zfnmxt@user/zfnmxt) (Ping timeout: 252 seconds) |
| 2025-07-23 21:21:59 +0200 | zfnmxt | (~zfnmxt@user/zfnmxt) zfnmxt |
| 2025-07-23 21:25:35 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-23 21:26:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-23 21:27:34 +0200 | sprotte24 | (~sprotte24@p200300d16f43870095bde33c5bcf7ec5.dip0.t-ipconnect.de) |
| 2025-07-23 21:29:09 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-07-23 21:29:25 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-07-23 21:29:25 +0200 | ljdarj1 | ljdarj |
| 2025-07-23 21:30:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-23 21:30:26 +0200 | zfnmxt | (~zfnmxt@user/zfnmxt) (Ping timeout: 248 seconds) |
| 2025-07-23 21:31:45 +0200 | ell | (~ellie@user/ellie) (Quit: Ping timeout (120 seconds)) |
| 2025-07-23 21:32:08 +0200 | ell | (~ellie@user/ellie) ellie |
| 2025-07-23 21:38:28 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 240 seconds) |
| 2025-07-23 21:41:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-23 21:42:20 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-23 21:46:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-07-23 21:52:08 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2025-07-23 21:56:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-23 22:01:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-23 22:03:28 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |