2025/06/03

Newest at the top

2025-06-03 19:20:25 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 19:20:02 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-03 19:19:12 +0200Digit(~user@user/digit) (Ping timeout: 252 seconds)
2025-06-03 19:17:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-03 19:16:47 +0200trickard(~trickard@cpe-51-98-47-163.wireline.com.au)
2025-06-03 19:14:14 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 19:13:52 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-03 19:12:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-03 19:11:44 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-06-03 19:08:33 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 19:08:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-03 19:05:16 +0200tromp(~textual@2001:1c00:3487:1b00:7d34:d696:3458:218b)
2025-06-03 19:01:46 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 19:01:21 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-03 19:00:45 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-06-03 19:00:45 +0200tromp(~textual@2001:1c00:3487:1b00:7d34:d696:3458:218b) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-06-03 18:57:03 +0200iNomad(~iNomad@user/iNomad) (Quit: leaving)
2025-06-03 18:56:22 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 18:56:01 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-03 18:51:13 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 18:50:50 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-03 18:49:01 +0200trickard(~trickard@cpe-51-98-47-163.wireline.com.au) (Ping timeout: 252 seconds)
2025-06-03 18:45:49 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 18:45:37 +0200 <tomsmeding> dminuoso: that's setting flags, not reading flags, which I believe is what the discussion was about
2025-06-03 18:45:22 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-03 18:44:41 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-03 18:39:39 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 18:39:16 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-03 18:34:59 +0200trickard(~trickard@cpe-51-98-47-163.wireline.com.au)
2025-06-03 18:33:34 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 18:33:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-03 18:28:52 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 18:28:29 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-03 18:25:33 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 18:25:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-03 18:22:01 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-06-03 18:21:49 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 260 seconds)
2025-06-03 18:21:27 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 18:21:04 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-03 18:19:59 +0200sawilagar(~sawilagar@user/sawilagar) sawilagar
2025-06-03 18:16:49 +0200manwithluck(~manwithlu@2a09:bac5:5082:2432::39b:b0) manwithluck
2025-06-03 18:16:15 +0200 <EvanR> but noooooo we can't return two values
2025-06-03 18:16:12 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 18:15:59 +0200 <EvanR> and returning two values would solve the lack of pattern matching or deconstructive assignment
2025-06-03 18:15:51 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-03 18:15:34 +0200 <EvanR> all you need is pair, it could even be a primitive
2025-06-03 18:10:27 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 18:10:12 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3))
2025-06-03 18:10:05 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-03 18:05:29 +0200 <haskellbridge> <Morj> Yeah, and I'm not sure if turing incompleteness is what I want