Newest at the top
| 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) |
| 2026-02-04 18:14:47 +0100 | <gentauro> | I recall bgamari from working on GHC paid by MS right? (Simon Marlow mentioned this) |
| 2026-02-04 18:13:11 +0100 | akegalj | (~akegalj@141-136-251-118.dsl.iskon.hr) (Remote host closed the connection) |
| 2026-02-04 18:11:51 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-02-04 18:08:47 +0100 | acidjnk | (~acidjnk@p200300d6e700e57835d41376842fa308.dip0.t-ipconnect.de) acidjnk |
| 2026-02-04 18:00:08 +0100 | <edwardk> | I think that was an inevitable consequence of hiring johnw and bgamari. |
| 2026-02-04 17:58:40 +0100 | <edwardk> | That said, we are starting to use Haskell again at Positron! |
| 2026-02-04 17:58:28 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2026-02-04 17:58:25 +0100 | <edwardk> | Most of my coding lately has been in systemverilog |
| 2026-02-04 17:57:58 +0100 | <edwardk> | gentauro: =) |
| 2026-02-04 17:53:47 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-02-04 17:53:22 +0100 | gentauro | lucky enough to have experienced edwardk coding-live at Poznan at a river while everybody else were partying <3 |