Newest at the top
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 +0200 | mceresa | (~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 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-01 23:24:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-01 23:22:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-01 23:21:33 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-06-01 23:17:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-01 23:16:50 +0200 | michalz | (~michalz@185.246.207.218) (Remote host closed the connection) |
2025-06-01 23:16:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-01 23:16:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-01 23:13:57 +0200 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 248 seconds) |
2025-06-01 23:13:51 +0200 | notzmv | (~daniel@user/notzmv) notzmv |
2025-06-01 23:08:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-01 23:08:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-01 23:05:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-06-01 23:01:50 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 268 seconds) |
2025-06-01 23:00:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-01 23:00:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-01 23:00:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-01 22:54:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-01 22:54:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-01 22:53:00 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
2025-06-01 22:49:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-06-01 22:48:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-01 22:47:40 +0200 | sabathan2 | (~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 +0200 | dhil | (~dhil@5.151.29.137) dhil |
2025-06-01 22:44:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-01 22:42:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-01 22:36:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-01 22:34:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-06-01 22:32:14 +0200 | pavonia | (~user@user/siracusa) siracusa |
2025-06-01 22:31:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-01 22:31:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-01 22:28:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-01 22:24:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-01 22:24:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-01 22:23:34 +0200 | Frostillicus | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-01 22:16:45 +0200 | Taneb | (~Taneb@runciman.hacksoc.org) (Quit: I seem to have stopped.) |
2025-06-01 22:16:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |