Logs on 2026-04-02 (liberachat/#haskell)
| 00:00:23 | → | tjakway joins (~tjakway@23.168.216.77) |
| 00:07:43 | → | qqq joins (~qqq@185.54.23.237) |
| 00:08:10 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:12:03 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 265 seconds) |
| 00:15:16 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 00:18:30 | × | xff0x quits (~xff0x@2405:6580:b080:900:4a9b:f7a0:11a1:60ca) (Ping timeout: 245 seconds) |
| 00:18:45 | × | j1n37 quits (~j1n37@user/j1n37) (Quit: Ich bin der Welt abhanden gekommen) |
| 00:20:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:25:22 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 00:26:07 | × | traxex quits (traxex@user/traxex) (Ping timeout: 264 seconds) |
| 00:28:19 | → | DDR_ joins (~DDR_@user/DDR-:65247) |
| 00:28:20 | → | DDR_0 joins (~DDR_@user/DDR-:65247) |
| 00:32:27 | × | tjakway quits (~tjakway@23.168.216.77) (Quit: WeeChat 4.7.1) |
| 00:36:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:41:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 00:41:42 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 00:48:27 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 00:51:28 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:53:50 | → | j1n37 joins (~j1n37@user/j1n37) |
| 00:55:10 | × | acidjnk_new quits (~acidjnk@p200300d6e700e5734afa4e6ae2fbd9a2.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 00:56:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 01:02:27 | × | DDR_0 quits (~DDR_@user/DDR-:65247) (Quit: DDR is not Dance Dance Revolution) |
| 01:03:20 | → | pfc joins (~pfc@user/pfc) |
| 01:03:34 | × | DDR_ quits (~DDR_@user/DDR-:65247) (Quit: DDR is not Dance Dance Revolution) |
| 01:06:51 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:11:18 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 01:21:24 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 01:22:13 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:22:34 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 01:26:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 01:37:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:41:04 | × | qqq quits (~qqq@185.54.23.237) (Remote host closed the connection) |
| 01:41:59 | → | meowskies joins (~meowskies@user/meowskies) |
| 01:42:10 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 01:47:40 | → | j1n37 joins (~j1n37@user/j1n37) |
| 01:52:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:56:04 | → | czan joins (~czan@user/mange) |
| 01:59:29 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 02:05:45 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 02:05:46 | × | Square2 quits (~Square4@user/square) (Read error: Connection reset by peer) |
| 02:05:46 | × | synchromesh quits (~john@2406:5a00:2412:2c00:9d1a:235e:4b6d:c07a) (Read error: Connection reset by peer) |
| 02:06:52 | → | synchromesh joins (~john@2406:5a00:2412:2c00:9d1a:235e:4b6d:c07a) |
| 02:07:47 | × | meowskies quits (~meowskies@user/meowskies) (Remote host closed the connection) |
| 02:11:00 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:15:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 02:20:01 | × | dtman34 quits (~dtman34@2601:447:d183:2302:b0c5:8965:1c3f:d560) (Ping timeout: 268 seconds) |
| 02:20:52 | → | dtman34_ joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) |
| 02:26:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:30:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 02:40:38 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 02:41:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:46:14 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 02:46:47 | jmcantrell_ | is now known as jmcantrell |
| 02:55:02 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 02:57:07 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:01:34 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 03:05:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:10:21 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 03:19:08 | → | mistivia joins (~mistivia@user/mistivia) |
| 03:21:03 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:23:27 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 03:25:38 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 03:36:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:36:59 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 265 seconds) |
| 03:43:39 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 03:54:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:58:05 | × | machinedgod quits (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 03:58:42 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 04:02:01 | × | mistivia quits (~mistivia@user/mistivia) (Remote host closed the connection) |
| 04:02:17 | → | mistivia joins (~mistivia@user/mistivia) |
| 04:04:26 | × | monochrom quits (trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb2build5 - https://znc.in) |
| 04:07:09 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 04:08:30 | → | monochrom joins (trebla@216.138.220.146) |
| 04:09:45 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:14:00 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 04:22:07 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 04:22:15 | × | Pozyomka quits (~pyon@user/pyon) (Ping timeout: 245 seconds) |
| 04:25:06 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:29:38 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 04:34:42 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 04:52:40 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:a19d:edd6:ba09:3a91) |
| 04:52:40 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:a19d:edd6:ba09:3a91) (Changing host) |
| 04:52:40 | → | arandombit joins (~arandombi@user/arandombit) |
| 04:53:38 | → | traxex joins (traxex@user/traxex) |
| 04:55:51 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:57:39 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 05:00:26 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 05:06:37 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:09:01 | × | mistivia quits (~mistivia@user/mistivia) (Remote host closed the connection) |
| 05:09:16 | → | mistivia joins (~mistivia@user/mistivia) |
| 05:11:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 05:17:38 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
| 05:21:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:22:58 | × | Nosrep quits (~jimothy@user/nosrep) (Ping timeout: 248 seconds) |
| 05:24:59 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 05:27:10 | × | czan quits (~czan@user/mange) (Remote host closed the connection) |
| 05:28:28 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 05:33:26 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:a19d:edd6:ba09:3a91) |
| 05:33:26 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:a19d:edd6:ba09:3a91) (Changing host) |
| 05:33:26 | → | arandombit joins (~arandombi@user/arandombit) |
| 05:40:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:41:09 | × | traxex quits (traxex@user/traxex) (Ping timeout: 246 seconds) |
| 05:44:18 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 05:55:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:59:50 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 06:02:01 | × | mistivia quits (~mistivia@user/mistivia) (Remote host closed the connection) |
| 06:02:16 | → | mistivia joins (~mistivia@user/mistivia) |
| 06:06:46 | → | traxex joins (traxex@user/traxex) |
| 06:07:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:10:36 | → | Googulator92 joins (~Googulato@84-236-53-133.pool.digikabel.hu) |
| 06:12:02 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 06:12:44 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 06:13:57 | × | Googulator quits (~Googulato@2a01-036d-0106-0364-154a-c7fc-9f43-bd2d.pool6.digikabel.hu) (Ping timeout: 245 seconds) |
| 06:24:26 | × | yaroot quits (~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c) (Read error: Connection reset by peer) |
| 06:24:40 | → | yaroot joins (~yaroot@p4134078-ipxg13501souka.saitama.ocn.ne.jp) |
| 06:34:26 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 06:36:27 | → | CiaoSen joins (~Jura@p549cb690.dip0.t-ipconnect.de) |
| 06:38:24 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 06:38:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:42:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 06:49:03 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:a19d:edd6:ba09:3a91) |
| 06:49:03 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:a19d:edd6:ba09:3a91) (Changing host) |
| 06:49:03 | → | arandombit joins (~arandombi@user/arandombit) |
| 06:51:38 | × | ft quits (~ft@p508db341.dip0.t-ipconnect.de) (Quit: leaving) |
| 06:53:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:58:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 07:01:35 | × | Googulator92 quits (~Googulato@84-236-53-133.pool.digikabel.hu) (Quit: Client closed) |
| 07:01:50 | → | Googulator92 joins (~Googulato@84-236-53-133.pool.digikabel.hu) |
| 07:03:01 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 07:07:02 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 07:08:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:13:22 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 07:20:56 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 07:21:27 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 07:23:33 | <haskellbridge> | <Liamzee> wrist... |
| 07:24:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:28:56 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 07:43:46 | × | squid64 quits (~user@fsf/member/squid64) (Ping timeout: 248 seconds) |
| 07:46:51 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 268 seconds) |
| 07:50:02 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 07:52:06 | → | michalz joins (~michalz@185.246.207.221) |
| 08:02:56 | Googulator92 | is now known as Googulator |
| 08:03:21 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 08:06:01 | × | mistivia quits (~mistivia@user/mistivia) (Remote host closed the connection) |
| 08:06:16 | → | mistivia joins (~mistivia@user/mistivia) |
| 08:06:44 | → | acidjnk_new joins (~acidjnk@p200300d6e700e573441e066188ffa6f9.dip0.t-ipconnect.de) |
| 08:07:02 | → | merijn joins (~merijn@77.242.116.146) |
| 08:08:01 | × | mistivia quits (~mistivia@user/mistivia) (Remote host closed the connection) |
| 08:09:04 | → | mistivia joins (~mistivia@user/mistivia) |
| 08:11:50 | → | alter2000 joins (~alter2000@user/alter2000) |
| 08:19:07 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 08:32:42 | × | Googulator quits (~Googulato@84-236-53-133.pool.digikabel.hu) (Quit: Client closed) |
| 08:33:01 | → | Googulator joins (~Googulato@84-236-53-133.pool.digikabel.hu) |
| 08:42:15 | → | Square2 joins (~Square4@user/square) |
| 08:43:22 | → | __monty__ joins (~toonn@user/toonn) |
| 08:48:59 | × | sim590 quits (~simon@2001:18c0:a82:2400::9fb) (Quit: WeeChat 4.8.2) |
| 08:54:12 | → | arandombit joins (~arandombi@user/arandombit) |
| 09:20:16 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 09:20:38 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 09:21:55 | → | czan joins (~czan@user/mange) |
| 09:31:48 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 09:31:53 | × | CiaoSen quits (~Jura@p549cb690.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 09:33:57 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 09:34:25 | × | andjjj23 quits (~irc@107.170.228.47) (Remote host closed the connection) |
| 09:35:07 | → | andjjj23 joins (~irc@107.170.228.47) |
| 09:41:42 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 09:42:10 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 248 seconds) |
| 09:48:18 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 09:54:57 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (*.net *.split) |
| 09:54:57 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (*.net *.split) |
| 09:54:57 | × | gmg quits (~user@user/gehmehgeh) (*.net *.split) |
| 09:54:57 | × | califax quits (~califax@user/califx) (*.net *.split) |
| 09:54:57 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (*.net *.split) |
| 09:54:57 | × | tusko quits (~uwu@user/tusko) (*.net *.split) |
| 09:56:03 | × | Googulator quits (~Googulato@84-236-53-133.pool.digikabel.hu) (*.net *.split) |
| 09:57:08 | → | marinelli joins (~weechat@brrr.fr) |
| 09:58:10 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 10:12:47 | → | arandombit joins (~arandombi@user/arandombit) |
| 10:13:38 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 10:17:16 | → | CiaoSen joins (~Jura@p549cb690.dip0.t-ipconnect.de) |
| 10:17:46 | → | acidjnk_new3 joins (~acidjnk@p200300d6e700e5003cbbbea50f94503c.dip0.t-ipconnect.de) |
| 10:20:02 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 10:20:34 | × | acidjnk_new quits (~acidjnk@p200300d6e700e573441e066188ffa6f9.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 10:24:30 | × | craunts795335385 quits (~craunts@152.32.99.2) (Quit: The Lounge - https://thelounge.chat) |
| 10:26:13 | × | pabs3 quits (~pabs3@user/pabs3) (Ping timeout: 276 seconds) |
| 10:26:14 | → | craunts795335385 joins (~craunts@152.32.99.2) |
| 10:26:48 | → | pabs3 joins (~pabs3@user/pabs3) |
| 10:27:15 | × | j1n37 quits (~j1n37@user/j1n37) (Quit: Ich bin der Welt abhanden gekommen) |
| 10:27:54 | → | j1n37 joins (~j1n37@user/j1n37) |
| 10:34:45 | → | alter20002 joins (~alter2000@user/alter2000) |
| 10:37:39 | × | alter2000 quits (~alter2000@user/alter2000) (Ping timeout: 255 seconds) |
| 10:50:44 | × | alter20002 quits (~alter2000@user/alter2000) (Ping timeout: 245 seconds) |
| 10:51:36 | → | ski joins (~ski@remote11.chalmers.se) |
| 10:56:54 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 10:58:03 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 11:01:37 | → | alter2000 joins (~alter2000@user/alter2000) |
| 11:07:03 | → | Pozyomka joins (~pyon@user/pyon) |
| 11:14:07 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 11:16:45 | → | xff0x joins (~xff0x@ai112096.d.east.v6connect.net) |
| 11:20:41 | × | EvanR quits (~EvanR@user/evanr) (Ping timeout: 248 seconds) |
| 11:23:04 | × | czan quits (~czan@user/mange) (Quit: Reconnecting...) |
| 11:23:34 | → | czan joins (~czan@user/mange) |
| 11:26:57 | → | puke joins (~puke@user/puke) |
| 11:27:04 | × | craunts795335385 quits (~craunts@152.32.99.2) (Quit: The Lounge - https://thelounge.chat) |
| 11:28:16 | × | puke quits (~puke@user/puke) (Remote host closed the connection) |
| 11:29:22 | → | puke joins (~puke@user/puke) |
| 11:30:16 | × | puke quits (~puke@user/puke) (Remote host closed the connection) |
| 11:33:26 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 11:36:30 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:a19d:edd6:ba09:3a91) |
| 11:36:30 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:a19d:edd6:ba09:3a91) (Changing host) |
| 11:36:30 | → | arandombit joins (~arandombi@user/arandombit) |
| 11:47:55 | → | weary-traveler joins (~user@user/user363627) |
| 12:01:04 | → | halloy2486 joins (~halloy248@104.30.164.0) |
| 12:02:45 | × | alter2000 quits (~alter2000@user/alter2000) (Read error: Connection reset by peer) |
| 12:06:43 | → | somemathguy joins (~somemathg@user/somemathguy) |
| 12:11:37 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 12:16:02 | → | weary-traveler joins (~user@user/user363627) |
| 12:21:53 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 12:24:20 | × | CiaoSen quits (~Jura@p549cb690.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 12:27:43 | × | halloy2486 quits (~halloy248@104.30.164.0) (Remote host closed the connection) |
| 12:30:10 | × | somemathguy quits (~somemathg@user/somemathguy) (Ping timeout: 248 seconds) |
| 12:34:00 | → | somemathguy joins (~somemathg@user/somemathguy) |
| 12:38:30 | × | acidjnk_new3 quits (~acidjnk@p200300d6e700e5003cbbbea50f94503c.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 12:39:37 | × | myme quits (~myme@2a01:799:d5e:5f00:4bf0:4daf:c921:3337) (Ping timeout: 248 seconds) |
| 12:40:48 | → | myme joins (~myme@2a01:799:d5e:5f00:fdf3:5ded:cda8:566f) |
| 12:45:14 | → | alter2000 joins (~alter2000@user/alter2000) |
| 12:48:59 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 12:54:53 | → | Nosrep joins (~jimothy@user/nosrep) |
| 12:56:57 | → | comerijn joins (~merijn@77.242.116.146) |
| 12:59:24 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
| 13:03:00 | × | xff0x quits (~xff0x@ai112096.d.east.v6connect.net) (Ping timeout: 255 seconds) |
| 13:04:27 | <mesaoptimizer> | https://blog.haskell.org/what-would-you-see-changed-in-haskell/ |
| 13:05:16 | → | divlamir_ joins (~divlamir@user/divlamir) |
| 13:05:17 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 13:06:08 | divlamir_ | is now known as divlamir |
| 13:06:46 | → | xff0x joins (~xff0x@2a00:1678:2470:4a:5908:1fce:a15f:5c5a) |
| 13:09:45 | × | Nosrep quits (~jimothy@user/nosrep) (Ping timeout: 245 seconds) |
| 13:10:16 | × | czan quits (~czan@user/mange) (Quit: Zzz...) |
| 13:13:53 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca) |
| 13:22:17 | × | alter2000 quits (~alter2000@user/alter2000) (Ping timeout: 248 seconds) |
| 13:23:36 | → | CiaoSen joins (~Jura@p549cb690.dip0.t-ipconnect.de) |
| 13:25:10 | × | xff0x quits (~xff0x@2a00:1678:2470:4a:5908:1fce:a15f:5c5a) (Ping timeout: 245 seconds) |
| 13:25:31 | × | weary-traveler quits (~user@user/user363627) (Ping timeout: 264 seconds) |
| 13:26:58 | → | xff0x joins (~xff0x@2405:6580:b080:900:1644:ff9e:fe83:e2e) |
| 13:27:01 | × | mistivia quits (~mistivia@user/mistivia) (Remote host closed the connection) |
| 13:27:16 | → | mistivia joins (~mistivia@user/mistivia) |
| 13:30:03 | <mesaoptimizer> | "The existence of a file named “m” causes GHCI to fail.: When the library search path is set incorrectly, GHC tries to read the library directly from the cwd. This is all fine, except that GHC barfs and panics if that file cannot be loaded. Perhaps we could improve the way GHC communicates this to the users." https://discourse.haskell.org/t/ghc-community-update-march-2026/13870 |
| 13:33:12 | → | craunts795335385 joins (~craunts@152.32.99.2) |
| 13:33:24 | <mesaoptimizer> | okay I cannot replicate it on 9.6.7 |
| 13:39:35 | → | AlexNoo joins (~AlexNoo@94.233.240.132) |
| 13:40:31 | → | AlexZenon joins (~alzenon@94.233.240.132) |
| 13:44:14 | → | AlexZenon_2 joins (~alzenon@94.233.240.132) |
| 13:44:50 | × | AlexZenon quits (~alzenon@94.233.240.132) (Ping timeout: 248 seconds) |
| 13:45:01 | → | AlexZenon joins (~alzenon@94.233.240.132) |
| 13:45:03 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 13:45:11 | → | califax joins (~califax@user/califx) |
| 13:47:53 | → | tusko joins (~uwu@user/tusko) |
| 13:48:29 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 13:48:34 | × | AlexZenon_2 quits (~alzenon@94.233.240.132) (Ping timeout: 248 seconds) |
| 13:50:35 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 13:50:55 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 13:51:46 | <gentauro> | mesaoptimizer: so people don't want to code in Haskell? Huh |
| 13:52:11 | <mesaoptimizer> | gentauro: can you elaborate |
| 13:52:17 | → | alter2000 joins (~alter2000@user/alter2000) |
| 13:52:24 | → | Alex_test_ joins (~al_test@94.233.240.132) |
| 13:53:54 | <int-e> | I can, after setting a bogus LIBRARY_PATH. also works with `c` or `gmp` instead of `m` |
| 13:54:00 | <int-e> | mesaoptimizer: ^ |
| 13:55:27 | <gentauro> | mesaoptimizer: every single topic mentioned in the blog is contrary to what Haskell is about |
| 13:56:20 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 13:56:39 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 13:57:06 | × | Alex_test_ quits (~al_test@94.233.240.132) (Ping timeout: 248 seconds) |
| 13:57:52 | <gentauro> | (text over string, like stric vs lazy), record with properties instead of functions (go use F# or OCaml), performance (go use Rust), lazyness (go use Rust), Dependant Haskell (go use Idris), effects systems (go use OCaml), (:: vs :, go use F# or OCaml) … |
| 13:58:19 | <int-e> | "people who participate in surveys also like..." |
| 13:58:43 | <mesaoptimizer> | int-e: https://paste.sh/xDNURC0X#wn-fe9Cxw6DOxYUzEp4Qzxs2 well I am confused |
| 13:58:56 | <gentauro> | I mean, it's like yeah, I go to this Indian restuarant and I like american burgers and french fries |
| 13:59:03 | <gentauro> | deosn't really make sense |
| 13:59:05 | <mesaoptimizer> | oh conf too |
| 13:59:11 | <haskellbridge> | <maerwald> "uv" as an example of good tooling |
| 13:59:15 | <haskellbridge> | <maerwald> nuff said |
| 13:59:26 | <int-e> | mesaoptimizer: you never tired LIBRARY_PATH=. |
| 13:59:40 | <haskellbridge> | <maerwald> lots of indian restaurants serve french fries though |
| 13:59:50 | <gentauro> | maerwald, that parts is 100% AI-sponsored by none other than -> https://openai.com/index/openai-to-acquire-astral/ |
| 13:59:50 | <int-e> | mesaoptimizer: presumably the actual one was derived from $HOME |
| 14:00:03 | <int-e> | (because adding . there is a bit silly) |
| 14:00:49 | <int-e> | mesaoptimizer: but sorry for writing "bogus" instead of the actual value I said |
| 14:01:16 | <gentauro> | people who doesn't like current Haskell should spawn a new lang just like they did with Elm -> https://gren-lang.org/ |
| 14:01:19 | <gentauro> | xD |
| 14:01:26 | <int-e> | (I guess it's conceivable that the logic depends on the platform; I'm on linux) |
| 14:01:57 | <mesaoptimizer> | int-e: https://paste.sh/X_M1kjxN#L5GyW1Hni0xwD514hGzF53dh here, I tried it and it still worked. guess it likely does depend on the platform |
| 14:02:42 | × | Fijxu_ quits (~Fijxu@user/fijxu) (Quit: XD!!) |
| 14:02:53 | × | Rembane quits (~Rembane@user/Rembane) (Quit: WeeChat 4.1.1) |
| 14:03:20 | <mesaoptimizer> | gentauro: lol at AI sponsored |
| 14:04:05 | → | Rembane joins (~Rembane@user/Rembane) |
| 14:04:11 | <int-e> | mesaoptimizer: actually, if you do `ghc-pkg field ghc-prim extra-libraries`, what does that say? |
| 14:04:26 | <int-e> | For me it's extra-libraries: c m |
| 14:04:30 | → | Fijxu joins (~Fijxu@user/fijxu) |
| 14:06:18 | <int-e> | (and `gmp` comes from extra-libraries in ghc-bignum) |
| 14:06:30 | <mesaoptimizer> | gentauro: I think it makes sense to use text over String as a default, and records as properties instead of functions seems.... I'm unsure about that one. I agree that tooling is really important and I think you underestimate this. I dislike haskell, but I dislike it less than python. Even so, the tooling is a lovely experience in Python and Rust, and the feeling of using the tooling matters. A |
| 14:06:32 | <mesaoptimizer> | language is not just its syntax and semantics |
| 14:08:11 | × | mistivia quits (~mistivia@user/mistivia) (Read error: Connection reset by peer) |
| 14:08:30 | <mesaoptimizer> | int-e: it returns an empty string for me |
| 14:09:44 | <int-e> | Huh I didn't expectt hat. But it may well explain the difference. |
| 14:10:13 | <mesaoptimizer> | gentauro: emacs' `haskell-mode` for example, seems terrible |
| 14:11:31 | <Vq> | mesaoptimizer: haskell-mode is a bit terrible, yeah. But I'm used to it now so it's not too bad. |
| 14:11:51 | → | sim590 joins (~simon@2001:18c0:a82:2400::9fb) |
| 14:12:54 | → | machinedgod joins (~machinedg@d172-219-48-230.abhsia.telus.net) |
| 14:31:25 | <gentauro> | Vq: I got it to work again (LSP) but I was just writing Haskell "without" any help. |
| 14:31:59 | × | synchromesh quits (~john@2406:5a00:2412:2c00:9d1a:235e:4b6d:c07a) (Read error: Connection reset by peer) |
| 14:32:01 | <gentauro> | I wouldn't be able to do that if they keep changing the lang (staying with Haskell2010 without all the pragmas enabled by default … jaiks) |
| 14:32:24 | → | synchromesh joins (~john@2406:5a00:2412:2c00:fc97:d0a4:cdd9:afc1) |
| 14:35:44 | × | CiaoSen quits (~Jura@p549cb690.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 14:44:38 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 14:49:15 | × | rainbyte quits (~rainbyte@181.47.219.3) (Ping timeout: 246 seconds) |
| 14:51:57 | → | acidjnk_new3 joins (~acidjnk@p200300d6e700e5001e1160b7d23e5dd6.dip0.t-ipconnect.de) |
| 14:58:16 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 15:05:59 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 15:07:05 | <Vq> | gentauro: I haven't started using LSP for any language yet. Does it work well for Haskell? |
| 15:09:54 | × | somemathguy quits (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1) |
| 15:16:44 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 15:17:04 | → | FirefoxDeHuk joins (~FirefoxDe@user/FirefoxDeHuk) |
| 15:17:54 | × | FirefoxDeHuk quits (~FirefoxDe@user/FirefoxDeHuk) (Client Quit) |
| 15:19:06 | → | ft joins (~ft@p508db341.dip0.t-ipconnect.de) |
| 15:20:52 | <gentauro> | Vg: kind of. It gives you hints on refactoring and so. However, if you use `length` you will get annoyed by -> `Name: Infinite: ghc-internal/length`. It's OK I guess |
| 15:21:17 | <gentauro> | I don't really use the intellisense. I'm kind of used to Hoogle |
| 15:23:17 | <Vq> | I generally use hoogle as well and the only autocompletion thing I have is hippie-expand. I think I need to try LSP out though. |
| 15:24:00 | <gentauro> | Vg: it will save you a few compiles ;) |
| 15:24:50 | <bwe> | Currently I am doing `S.mapM_ f s` over some stream `s`. While this processes the stream sequentially, how do I process the stream concurrently (instead of using S.mapM_ )? https://hackage.haskell.org/package/streaming-0.2.4.0/docs/Streaming-Prelude.html |
| 15:24:57 | gentauro | a trick to avoid a compile check, is to hook up `stylish-haskell` on save. If the code doesn't format nicely, then there is something that does not compile ;) |
| 15:25:14 | Vq | does use stylish-haskell |
| 15:25:39 | <gentauro> | stylish-haskell is pretty, pretty, nice |
| 15:26:19 | <Vq> | I know it's not universal, but I like the alignment behaviour of stylish-haskell. |
| 15:26:53 | <mauke> | bwe: depends on what you mean by that |
| 15:27:12 | <gentauro> | Vq: so do I. However, from time to time, the project changes and then codes become "ugly" until you tweak to your liking |
| 15:28:21 | <gentauro> | for good or for bad, the `elm-format` is very rigid in the sense that "Evans knows best, take it or leave it". The good thing about that approach, is that all code cases using the tool, looks the same. And that bad is that people who don't like it, just don't use the tool |
| 15:28:25 | <gentauro> | :-\ |
| 15:28:26 | <mauke> | bwe: the way I see it, there are two kinds of monadic actions involved. one is the actions "embedded" in the stream; the other kind is the ones returned by your 'f' |
| 15:28:35 | <Vq> | When I write Python I quite like having the formatter black just strictly format everything, but with Haskell I prefer the amount of artistic freedom stylish-haskell gives me. |
| 15:29:27 | <gentauro> | Vq: when doing `case … of` all your cases get aligned with a nice uniform separation <3 |
| 15:29:45 | <Vq> | Maybe I subconsciously regard pretty Python to be a lost cause. :o) |
| 15:29:50 | <mauke> | bwe: the latter can be parallelized by collecting the values in a list and mapping over that, or by having your 'f' fork off a new thread for each element |
| 15:30:22 | <mauke> | bwe: the former is impossible because the rest of the stream doesn't exist unless you run the embedded action first |
| 15:30:35 | <Vq> | gentauro: Guard patterns and long expressions can trigger stylish-haskell to give up on alignment, but doing it by hand in those cases work for me. |
| 15:31:39 | <bwe> | mauke: well, I could do a chunksOf 5 and fork a thread for that, for example. |
| 15:32:10 | <bwe> | mauke: then again, how is processing a list concurrently without streams different than with list? |
| 15:33:05 | <mauke> | huh? |
| 15:33:17 | <mauke> | the difference between processing a list and a list is |
| 15:37:20 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 15:44:53 | → | somemathguy joins (~somemathg@user/somemathguy) |
| 15:55:44 | <alter2000> | bwe: would it make sense to `S.mapM (Concurrently {- or whatever concurrency primitive type you feel like -}) >>> S.foldM runConcurrently`, or do none of the existing async libraries allow capping out on the number of concurrent coroutines? |
| 15:56:52 | <alter2000> | iirc Conduit had a useful adaptation of `async` that let you build a thread pool sink that consumed chunks of tasks |
| 15:57:09 | <geekosaur> | `async-pool` is a thing |
| 15:57:36 | <alter2000> | (practical library yap aside I don't see any way to handle it besides a sort of `chunksOf <threads>`) |
| 15:58:19 | <alter2000> | ooh yea that's the one I was thinking about, misremembered the conduit integration |
| 16:02:04 | → | gmg joins (~user@user/gehmehgeh) |
| 16:03:55 | → | EvanR joins (~EvanR@user/evanr) |
| 16:16:25 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 16:21:58 | × | califax quits (~califax@user/califx) (Quit: ZNC 1.10.1 - https://znc.in) |
| 16:22:12 | → | califax joins (~califax@user/califx) |
| 16:24:18 | × | sp1ff quits (~user@2601:1c2:4080:14c0::ace8) (Read error: Connection reset by peer) |
| 16:25:26 | × | ss4 quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 16:33:54 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 16:47:41 | × | vetkat quits (~vetkat@user/vetkat) (Read error: Connection reset by peer) |
| 16:50:02 | → | vetkat joins (~vetkat@user/vetkat) |
| 16:52:27 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 16:53:06 | <tomsmeding> | is there a way to see the hackage build queue? (i.e. not just build reports for a single package, but something that gives an indication of how long it's going to take) |
| 17:01:24 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:a19d:edd6:ba09:3a91) |
| 17:01:24 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:a19d:edd6:ba09:3a91) (Changing host) |
| 17:01:24 | → | arandombit joins (~arandombi@user/arandombit) |
| 17:02:18 | → | Square3 joins (~Square@user/square) |
| 17:03:55 | × | alter2000 quits (~alter2000@user/alter2000) (Ping timeout: 264 seconds) |
| 17:04:41 | × | Square2 quits (~Square4@user/square) (Ping timeout: 248 seconds) |
| 17:15:45 | → | alter2000 joins (~alter2000@user/alter2000) |
| 17:16:22 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 276 seconds) |
| 17:26:04 | → | mistivia joins (~mistivia@user/mistivia) |
| 17:31:26 | × | alter2000 quits (~alter2000@user/alter2000) (Ping timeout: 256 seconds) |
| 17:32:04 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:a19d:edd6:ba09:3a91) |
| 17:32:04 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:a19d:edd6:ba09:3a91) (Changing host) |
| 17:32:04 | → | arandombit joins (~arandombi@user/arandombit) |
| 17:34:29 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 17:37:10 | <tomsmeding> | Accelerate 1.4 is a thing! |
| 17:37:31 | <tomsmeding> | @package accelerate |
| 17:37:31 | <lambdabot> | https://hackage.haskell.org/package/accelerate |
| 17:39:37 | → | alter2000 joins (~alter2000@user/alter2000) |
| 17:47:45 | <Athas> | tomsmeding: hooray! |
| 17:47:51 | <Athas> | Is it easy to install? |
| 17:48:21 | <tomsmeding> | that's the perfect question to ask! |
| 17:48:34 | <tomsmeding> | since this release, no special build of LLVM is required, just install clang(1) |
| 17:48:40 | <Athas> | You gotta get gloss-accelerate working, that stuff used to be the bomb. |
| 17:48:49 | <tomsmeding> | and, for the NVIDIA gpu backend, cuda |
| 17:51:28 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 17:52:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 17:52:44 | ← | mistivia parts (~mistivia@user/mistivia) (Leaving) |
| 17:56:36 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 18:05:21 | → | YoungFrog joins (~youngfrog@2a02:a03f:ca07:f900:4452:7d8d:4d90:7a3c) |
| 18:07:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 18:08:18 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 18:08:58 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 18:10:03 | <haskellbridge> | <sm> I've never used it, but that sounds like an excellent update |
| 18:11:10 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 18:12:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 18:13:01 | <[exa]> | tomsmeding: cooooooool |
| 18:13:18 | × | target_i quits (~target_i@user/target-i/x-6023099) (Ping timeout: 246 seconds) |
| 18:14:18 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 18:14:18 | × | haskellbridge quits (~hackager@96.28.224.214) (Read error: Connection reset by peer) |
| 18:14:44 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit) |
| 18:16:35 | <tomsmeding> | Athas: that seems to be blocked only on a bounds bump in linear-accelerate; I've pinged the maintainer. :) |
| 18:19:40 | → | haskellbridge joins (~hackager@96.28.224.214) |
| 18:19:40 | ChanServ | sets mode +v haskellbridge |
| 18:26:25 | × | Pozyomka quits (~pyon@user/pyon) (Ping timeout: 245 seconds) |
| 18:32:23 | × | somemathguy quits (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1) |
| 18:33:13 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 18:43:41 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 18:48:18 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 18:48:50 | × | alter2000 quits (~alter2000@user/alter2000) (Ping timeout: 248 seconds) |
| 18:50:26 | → | alter2000 joins (~alter2000@user/alter2000) |
| 18:54:14 | → | Pozyomka joins (~pyon@user/pyon) |
| 18:55:28 | → | tessier_ joins (~tessier@ip68-8-117-219.sd.sd.cox.net) |
| 18:57:07 | × | tessier quits (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 276 seconds) |
| 18:59:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 19:03:24 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:a19d:edd6:ba09:3a91) |
| 19:03:24 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:a19d:edd6:ba09:3a91) (Changing host) |
| 19:03:24 | → | arandombit joins (~arandombi@user/arandombit) |
| 19:04:11 | <Athas> | tomsmeding: will it be five years untli the next update? |
| 19:04:50 | <tomsmeding> | I don't know! |
| 19:05:02 | <tomsmeding> | I hope not, but that's out of my hands :) |
| 19:05:35 | <tomsmeding> | This was my last act of vengeance here in Utrecht before I leave for a postdoc :) |
| 19:05:54 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 19:09:08 | <Athas> | A productive end. |
| 19:11:02 | <tomsmeding> | At least, Ivo's intent is to have a release earlier than five years from now, but then, previously there was also an intent. |
| 19:11:19 | <davean> | tomsmeding: haha, why has it failed to get updates? Its lack of maintanership really hurts it. |
| 19:12:27 | → | ss4 joins (~wootehfoo@user/wootehfoot) |
| 19:12:30 | × | ss4 quits (~wootehfoo@user/wootehfoot) (Remote host closed the connection) |
| 19:12:47 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 19:12:52 | <tomsmeding> | davean: the people "connected" with accelerate fall into 3 categories: 1. moved on (other job, other interests, etc.); 2. is a full professor and is busy; 3. is a PhD student and is busy |
| 19:13:32 | <tomsmeding> | I wasn't even officially connected to accelerate, really, but I dragged myself into it (for better or for worse), and am now transitioning from 3 to 1 |
| 19:14:03 | <davean> | Well what is your postdoc? |
| 19:14:05 | <EvanR> | someone write "AI" somewhere on accelerate to get more funding and support |
| 19:14:10 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 19:14:19 | <tomsmeding> | currently forming is a new category containing 1 person who is not moving on and yet not a PhD student any more. We'll see how that category develops |
| 19:14:20 | <Athas> | Also, Accelerate comprises many packages, so release engineering is harder than a tag (I suppose). |
| 19:15:00 | <tomsmeding> | davean: I something in an area that could involve Accelerate, but likely will not for practical reasons |
| 19:15:27 | <tomsmeding> | Athas: kinda yes, but also what's mostly slow is getting everyone to respond to an email. |
| 19:15:43 | <tomsmeding> | also fixing all the bugs in the GPU backend. That took us a year or so |
| 19:15:52 | <tomsmeding> | (There's probably more!) |
| 19:16:12 | <Athas> | I have heard that some released software has bugs, so maybe fixing them all is not necessary before tagging a release. |
| 19:16:42 | <tomsmeding> | Athas: having the thing segfault when running a program with more than a few kernels is not something that I'd want to release on my name |
| 19:16:58 | <davean> | Athas: People who release buggy software should be ashamed |
| 19:17:11 | <davean> | Its kinda a plauge of this era that people really are so sloppy with the software they release. |
| 19:17:12 | <tomsmeding> | (and I was the only one willing to do the work to make an actual release, so the known-buggy release indeed didn't happen) |
| 19:18:37 | <tomsmeding> | davean: if you replace "buggy" with "known-buggy", then I can get on board |
| 19:18:45 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 19:18:47 | <EvanR> | just don't make mistakes smh |
| 19:18:57 | <davean> | tomsmeding: the problem with that is people aren't putting in the effort to look much lately. |
| 19:18:57 | <tomsmeding> | well it's haskell already, so what can go wrong |
| 19:19:07 | <EvanR> | this tbh |
| 19:19:10 | <EvanR> | xD |
| 19:19:15 | <tomsmeding> | davean: if you haven't made an effort to look, it's kinda known-buggy, isn't it? |
| 19:19:18 | <davean> | I'd have said "known-buggy" even 15 years ago. |
| 19:19:26 | <davean> | tomsmeding: They sure don't think so1 |
| 19:19:33 | <tomsmeding> | :p |
| 19:20:05 | <davean> | If we can agree on a reasonably extensive QA process I'm happy to only say known bugs. |
| 19:20:19 | <tomsmeding> | EvanR: tangentially, turns out that "when it compiles it works" comes crashing down HARD once you do weird stuff with a GPU driver |
| 19:20:21 | <davean> | But I know a lot of people who ship it when it runs at all and think its fine. |
| 19:21:33 | <davean> | Its a bit harder to test GPU compilers, esp since a lot of what you're debugging is the GPU stack |
| 19:22:42 | <EvanR> | I blame the compiler in the driver |
| 19:24:15 | × | alter2000 quits (~alter2000@user/alter2000) (Ping timeout: 272 seconds) |
| 19:24:27 | <davean> | I probably am impacted by more software bugs each month now than I dealt with in the entir 2000-2005 period. |
| 19:24:55 | × | tusko quits (~uwu@user/tusko) (Remote host closed the connection) |
| 19:25:01 | <davean> | Software was not good then, not at all, but its complexity vs. the effort put in was a bit more in balance. |
| 19:25:14 | → | tusko joins (~uwu@user/tusko) |
| 19:25:16 | <tomsmeding> | davean: I can say with certainty that accelerate's current testing regime is beneath your standards, but at least it's slightly better than it was a few years ago |
| 19:25:16 | <davean> | I was impacted a lot more by it just not having features. |
| 19:25:48 | <davean> | tomsmeding: I kinda assume for accelerate you need a lot of users to actually start testing well because of the complexity of the stack you sit on top of. |
| 19:26:01 | → | alter2000 joins (~alter2000@user/alter2000) |
| 19:26:02 | <davean> | the problem with that is it so often is broken no one can rely on it to start using it,. |
| 19:26:13 | <tomsmeding> | right |
| 19:26:22 | <tomsmeding> | well, I think it works well enough now for people to start testing it :) |
| 19:26:39 | <davean> | Sure, the problem is will it work in a year? :) |
| 19:26:40 | <tomsmeding> | the CPU backend worked well enough for a long time already, by the way; it was the GPU backend that was unstable |
| 19:26:46 | <tomsmeding> | I dunno! |
| 19:27:18 | <tomsmeding> | Mostly depends on how backwards-compatible LLVM's IR format is, and how backwards-compatible CUDA turns out to be next year round |
| 19:27:31 | <davean> | I get hesitant every time I consider designing something that relies on accelerate for this reason :) |
| 19:27:40 | <tomsmeding> | the former seems to be fine so far |
| 19:28:08 | <davean> | Hum, so CUDA software I have from 2008 still works fine. |
| 19:28:13 | <davean> | There is something more |
| 19:28:39 | <davean> | (I recently found out, because someone got me to fix the compile on an ancient game project) |
| 19:28:40 | <tomsmeding> | if you try to bind CUDA functions from Haskell, you're more exposed to the function name shuffling they do under the hood |
| 19:28:58 | <tomsmeding> | doing this (instead of writing the CUDA glue code in C) was probably a mistake, and one that is in the plans of being fixed |
| 19:29:30 | <davean> | Ah yah if you're trying to hook it yourself instead of use the compiler which is what their spec actually is ... good luck! |
| 19:29:32 | <tomsmeding> | davean: and very old stuff is more likely to still work than the fancy thing from 2 years ago |
| 19:29:33 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 19:29:36 | <davean> | and I don't mean that encuragingly. |
| 19:29:41 | <tomsmeding> | yeah |
| 19:30:23 | <tomsmeding> | in any case, the people hacking on accelerate are aware of all this, but there's little incentive in the academic system to spend the hours to fix it |
| 19:33:48 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 19:35:23 | <davean> | tomsmeding: does it have an AMD backend these days that works? |
| 19:35:33 | <tomsmeding> | there's plans for one |
| 19:35:42 | <davean> | So no and never? |
| 19:36:04 | <tomsmeding> | that depends on funding, I think |
| 19:36:28 | <davean> | Its too bad, with the iGPUs and such floating around. |
| 19:36:51 | <tomsmeding> | there's also Metal on the nice Apple chips |
| 19:37:12 | <tomsmeding> | davean: Futhark supports AMD GPUs :) |
| 19:37:14 | <davean> | Ah yah for anyone in that ecosystem. |
| 19:37:33 | <davean> | tomsmeding: I know, its supported :) |
| 19:38:06 | × | zzz quits (~zero@user/zero) (Ping timeout: 255 seconds) |
| 19:46:23 | → | merijn joins (~merijn@62.45.136.136) |
| 19:49:36 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 19:49:50 | → | califax joins (~califax@user/califx) |
| 19:50:33 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 248 seconds) |
| 19:54:18 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 19:54:27 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 19:57:06 | Lord_of_Life_ | is now known as Lord_of_Life |
| 20:01:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:06:10 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 20:07:19 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 20:17:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:20:59 | × | alter2000 quits (~alter2000@user/alter2000) (Quit: WeeChat 4.8.1) |
| 20:21:38 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 20:22:51 | → | arandombit joins (~arandombi@user/arandombit) |
| 20:32:27 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:34:13 | × | michalz quits (~michalz@185.246.207.221) (Remote host closed the connection) |
| 20:38:54 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 20:39:49 | → | emmanuelux joins (~em@user/emmanuelux) |
| 20:50:18 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 20:50:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:54:29 | × | olivial quits (~benjaminl@user/benjaminl) (Ping timeout: 245 seconds) |
| 20:54:52 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 20:55:40 | → | Tuplanolla joins (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) |
| 21:03:46 | → | somemathguy joins (~somemathg@user/somemathguy) |
| 21:03:52 | → | olivial joins (~benjaminl@user/benjaminl) |
| 21:10:48 | → | ircbrowse_tom joins (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) |
| 21:10:51 | Server | sets mode +Cnt |
| 21:15:50 | → | zzz joins (~zero@user/zero) |
| 21:16:29 | → | weary-traveler joins (~user@user/user363627) |
| 21:20:18 | × | zzz quits (~zero@user/zero) (Ping timeout: 248 seconds) |
| 21:21:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:25:38 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 21:31:22 | × | somemathguy quits (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1) |
| 21:35:49 | × | Pozyomka quits (~pyon@user/pyon) (Remote host closed the connection) |
| 21:35:56 | → | Pozyomka_ joins (~pyon@user/pyon) |
| 21:36:34 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:40:53 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 21:51:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:56:34 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 22:07:50 | → | ircbrowse_tom joins (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) |
| 22:07:53 | Server | sets mode +Cnt |
| 22:09:43 | → | somemathguy joins (~somemathg@user/somemathguy) |
| 22:13:38 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 248 seconds) |
| 22:14:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 22:17:40 | → | rainbyte joins (~rainbyte@181.47.219.3) |
| 22:25:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:25:53 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 22:30:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 22:31:21 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 22:36:09 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:36:51 | → | Nosrep joins (~jimothy@user/nosrep) |
| 22:40:42 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:44:42 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 22:45:06 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 22:48:38 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 22:56:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:56:26 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 22:57:01 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 23:00:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 23:02:07 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds) |
| 23:08:34 | × | olivial quits (~benjaminl@user/benjaminl) (Ping timeout: 248 seconds) |
| 23:09:20 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 23:11:27 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:13:50 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 252 seconds) |
| 23:16:02 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 23:17:26 | → | olivial joins (~benjaminl@user/benjaminl) |
| 23:23:56 | → | pavonia joins (~user@user/siracusa) |
| 23:26:32 | × | Tuplanolla quits (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:26:48 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:31:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 23:42:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:46:20 | → | squid64 joins (~user@fsf/member/squid64) |
| 23:49:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 23:54:54 | × | Square3 quits (~Square@user/square) (Ping timeout: 245 seconds) |
| 23:56:44 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
All times are in UTC on 2026-04-02.