2025/06/01

Newest at the top

2025-06-01 23:32:03 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-01 23:27:38 +0200 <lambdabot> I will remember.
2025-06-01 23:27:37 +0200 <sm> @where+ minimap https://joyful.com/Haskell+minimap
2025-06-01 23:27:25 +0200 <lambdabot> Done.
2025-06-01 23:27:25 +0200 <sm> @where+ map https://joyful.com/Haskell+map
2025-06-01 23:27:13 +0200 <lambdabot> Okay.
2025-06-01 23:27:12 +0200 <sm> @where+ locations http://www.haskell.org/haskellwiki/HaskellUserLocations
2025-06-01 23:26:17 +0200 <sm> That page is only of historical interest; I'd like to reclaim this id, if no-one objects
2025-06-01 23:26:09 +0200mceresa(~mceresa@user/mceresa) (Ping timeout: 248 seconds)
2025-06-01 23:25:15 +0200 <lambdabot> http://www.haskell.org/haskellwiki/HaskellUserLocations
2025-06-01 23:25:15 +0200 <sm> @where map
2025-06-01 23:24:54 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-01 23:24:34 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-01 23:22:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-01 23:21:33 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-06-01 23:17:01 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-01 23:16:50 +0200michalz(~michalz@185.246.207.218) (Remote host closed the connection)
2025-06-01 23:16:37 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-01 23:16:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-01 23:13:57 +0200infinity0(~infinity0@pwned.gg) (Ping timeout: 248 seconds)
2025-06-01 23:13:51 +0200notzmv(~daniel@user/notzmv) notzmv
2025-06-01 23:08:49 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-01 23:08:27 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-01 23:05:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-06-01 23:01:50 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 268 seconds)
2025-06-01 23:00:47 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-01 23:00:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-01 23:00:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-01 22:54:44 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-01 22:54:21 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-01 22:53:00 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-06-01 22:49:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-06-01 22:48:02 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-01 22:47:40 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-01 22:46:48 +0200 <monochrom> I think at this point only pseudocode can be agnostic. Pseudocode that assumes algebraic effects has the best chance of surviving translations.
2025-06-01 22:45:10 +0200dhil(~dhil@5.151.29.137) dhil
2025-06-01 22:44:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-01 22:42:15 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-01 22:36:15 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-01 22:34:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-06-01 22:32:14 +0200pavonia(~user@user/siracusa) siracusa
2025-06-01 22:31:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-01 22:31:01 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-01 22:28:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-01 22:24:29 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-01 22:24:06 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-01 22:23:34 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-01 22:19:49 +0200 <jle`> has anyone tried out the different effects systems in out there? if i wanted to write something about a specific effect in an effects-system-agnostic way, is there a "most agnostic" effects sysyem out there
2025-06-01 22:17:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-01 22:16:45 +0200Taneb(~Taneb@runciman.hacksoc.org) (Quit: I seem to have stopped.)