Newest at the top
| 2026-02-04 21:11:47 +0100 | spew | (~spew@user/spew) (Read error: Connection reset by peer) |
| 2026-02-04 21:02:22 +0100 | kuribas | (~user@2a02-1810-2825-6000-16d8-7b7e-1bcd-b36.ip6.access.telenet.be) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2026-02-04 21:01:20 +0100 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2026-02-04 20:58:35 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2026-02-04 20:57:37 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 264 seconds) |
| 2026-02-04 20:53:09 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-02-04 20:51:15 +0100 | polykernel | (~polykerne@user/polykernel) (Remote host closed the connection) |
| 2026-02-04 20:50:03 +0100 | spew | (~spew@user/spew) spew |
| 2026-02-04 20:49:40 +0100 | Googulator27 | (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) |
| 2026-02-04 20:49:25 +0100 | Googulator27 | (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-04 20:48:13 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2026-02-04 20:47:57 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2026-02-04 20:47:03 +0100 | Tuplanolla | (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) Tuplanolla |
| 2026-02-04 20:44:55 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 245 seconds) |
| 2026-02-04 20:44:17 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2026-02-04 20:43:14 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2026-02-04 20:43:00 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-02-04 20:39:32 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-02-04 20:25:49 +0100 | zenstoic | (uid461840@id-461840.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-02-04 20:23:19 +0100 | trickard_ | trickard |
| 2026-02-04 20:21:59 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2026-02-04 20:19:55 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 245 seconds) |
| 2026-02-04 20:10:45 +0100 | spew | (~spew@user/spew) (Client Quit) |
| 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) |