Newest at the top
| 2026-02-04 20:09:19 +0100 | spew | (~spew@user/spew) spew |
| 2026-02-04 20:07:10 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2026-02-04 20:06:35 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 245 seconds) |
| 2026-02-04 20:04:32 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-02-04 20:02:23 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2026-02-04 20:01:31 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 264 seconds) |
| 2026-02-04 19:43:54 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2026-02-04 19:37:20 +0100 | kilolympus | (~kilolympu@vmi1102682.contaboserver.net) kilolympus |
| 2026-02-04 19:32:37 +0100 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-02-04 19:31:19 +0100 | <gentauro> | iirc teh LEAN project also hired a few prominent haskellers |
| 2026-02-04 19:30:40 +0100 | <edwardk> | topos institute is working with aria on some category theory ish stuff, but its all over in rust these days |
| 2026-02-04 19:30:10 +0100 | <edwardk> | i haven't checked galois' pulse in a while. i'd presume so |
| 2026-02-04 19:28:24 +0100 | <gentauro> | and I'm guessing Galois is also still hiring haskells right? |
| 2026-02-04 19:27:23 +0100 | <gentauro> | edwardk: that's pretty nice :) |
| 2026-02-04 19:17:11 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-04 19:16:58 +0100 | trickard | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-04 19:14:08 +0100 | wickedjargon | (~user@24.83.46.194) (Remote host closed the connection) |
| 2026-02-04 19:14:00 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-02-04 19:13:45 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-02-04 19:04:54 +0100 | <edwardk> | haskLLM has a nice ring to it |
| 2026-02-04 19:04:25 +0100 | <apache> | haskeLLM - fixed |
| 2026-02-04 19:04:03 +0100 | <edwardk> | gentauro: i mean, positron is still hiring haskell folks |
| 2026-02-04 19:04:02 +0100 | <apache> | gentauro: you don't need to rename ocaML |
| 2026-02-04 19:03:44 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2026-02-04 19:03:38 +0100 | <apache> | the lycurgus situation I mean |
| 2026-02-04 19:03:25 +0100 | <apache> | tomsmeding: thanks for dealing with that :) |
| 2026-02-04 19:02:56 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 256 seconds) |
| 2026-02-04 18:59:24 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-02-04 18:57:35 +0100 | ft | (~ft@p508db4c0.dip0.t-ipconnect.de) ft |
| 2026-02-04 18:54:53 +0100 | wickedjargon | (~user@24.83.46.194) wickedjargon |
| 2026-02-04 18:49:11 +0100 | <gentauro> | AInt-e: roger that |
| 2026-02-04 18:46:31 +0100 | <int-e> | gentAIuro: Be caireful whait you wish for. |
| 2026-02-04 18:36:48 +0100 | mniip | (mniip@libera/staff-emeritus/mniip) mniip |
| 2026-02-04 18:33:48 +0100 | <gentauro> | down = drown |
| 2026-02-04 18:31:48 +0100 | gentauro | we would probably down in funding xD |
| 2026-02-04 18:31:43 +0100 | mniip | (mniip@libera/staff-emeritus/mniip) (Ping timeout: 612 seconds) |
| 2026-02-04 18:31:35 +0100 | gentauro | what if we rename the awesome tools to: hAIskell and ocAIml xD |
| 2026-02-04 18:30:55 +0100 | <gentauro> | not good time for FP tbh :-\ |
| 2026-02-04 18:30:45 +0100 | <gentauro> | and when Mathieu Boespflug sold Tweag, both Haskell and OCaml was "somehow" abandoned :'( |
| 2026-02-04 18:29:40 +0100 | <gentauro> | edwardk: :'( |
| 2026-02-04 18:25:17 +0100 | jmcantrell_ | jmcantrell |
| 2026-02-04 18:25:11 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-02-04 18:25:02 +0100 | <edwardk> | re fb/meta not sure if _all_ haskell inside meta is gone, but a lot of it is |
| 2026-02-04 18:24:41 +0100 | <edwardk> | gentauro, geekosaur: correct on both accounts |
| 2026-02-04 18:21:24 +0100 | Googulator27 | (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) |
| 2026-02-04 18:21:16 +0100 | Googulator27 | (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-04 18:20:12 +0100 | <gentauro> | I guess also since Marlow left FB/Meta, they dropped Haskell right? |
| 2026-02-04 18:19:55 +0100 | <gentauro> | geekosaur: I guess the wording should have been "sponsored" by MS. |
| 2026-02-04 18:16:58 +0100 | <geekosaur> | dunno about that but more recently he was working for Well-Typed which I think took on ghc after MSR dropped it? |
| 2026-02-04 18:15:34 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |