Logs: liberachat/#haskell
| 2026-02-04 16:01:53 | × | edwardk quits (sid47016@id-47016.ilkley.irccloud.com) (Changing host) |
| 2026-02-04 16:01:53 | → | edwardk joins (sid47016@haskell/developer/edwardk) |
| 2026-02-04 16:04:32 | × | Googulator61 quits (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-04 16:04:48 | → | Googulator61 joins (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) |
| 2026-02-04 16:07:59 | × | _JusSx_ quits (~jussx@37.161.247.165) (Ping timeout: 265 seconds) |
| 2026-02-04 16:08:32 | <merijn> | edwardk: Like an eldritch horror ready to melt the minds of man? |
| 2026-02-04 16:11:33 | → | petrichor joins (~jez@user/petrichor) |
| 2026-02-04 16:11:42 | <tomsmeding> | magic_rb: you can't suffice with refcounting for haskell, you get cycles all over the place that you have to collect with some kind of tracing GC |
| 2026-02-04 16:12:10 | <tomsmeding> | (python is known for its refcounting system but it has a tracing GC too that runs occasionally, because of cycles) |
| 2026-02-04 16:21:58 | → | Enrico63 joins (~Enrico63@148.252.128.12) |
| 2026-02-04 16:29:06 | × | Googulator61 quits (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-04 16:29:10 | → | Googulator27 joins (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) |
| 2026-02-04 16:32:43 | <edwardk> | merijn: precisely |
| 2026-02-04 16:33:51 | × | Enrico63 quits (~Enrico63@148.252.128.12) (Quit: Client closed) |
| 2026-02-04 16:33:55 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Quit: leaving) |
| 2026-02-04 16:34:15 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 2026-02-04 16:39:43 | × | bggd_ quits (~bgg@2a01:e0a:fd5:f510:ffc1:9b0f:82de:9e53) (Remote host closed the connection) |
| 2026-02-04 16:40:27 | <merijn> | tomsmeding: Additionally that just doesn't jive well with the garbage profile of most haskell programs |
| 2026-02-04 16:40:46 | <merijn> | Refcounting is great when you have few mostly long lived big things |
| 2026-02-04 16:40:53 | <merijn> | Not for "bazillions of short-lived tiny things" |
| 2026-02-04 16:52:03 | <gentauro> | greetings edwardk |
| 2026-02-04 16:53:22 | gentauro | lucky enough to have experienced edwardk coding-live at Poznan at a river while everybody else were partying <3 |
| 2026-02-04 16:53:47 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-02-04 16:57:58 | <edwardk> | gentauro: =) |
| 2026-02-04 16:58:25 | <edwardk> | Most of my coding lately has been in systemverilog |
| 2026-02-04 16:58:28 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2026-02-04 16:58:40 | <edwardk> | That said, we are starting to use Haskell again at Positron! |
| 2026-02-04 17:00:08 | <edwardk> | I think that was an inevitable consequence of hiring johnw and bgamari. |
| 2026-02-04 17:08:47 | → | acidjnk joins (~acidjnk@p200300d6e700e57835d41376842fa308.dip0.t-ipconnect.de) |
| 2026-02-04 17:11:51 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-02-04 17:13:11 | × | akegalj quits (~akegalj@141-136-251-118.dsl.iskon.hr) (Remote host closed the connection) |
| 2026-02-04 17:14:47 | <gentauro> | I recall bgamari from working on GHC paid by MS right? (Simon Marlow mentioned this) |
| 2026-02-04 17:15:34 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-02-04 17:16:58 | <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 17:19:55 | <gentauro> | geekosaur: I guess the wording should have been "sponsored" by MS. |
| 2026-02-04 17:20:12 | <gentauro> | I guess also since Marlow left FB/Meta, they dropped Haskell right? |
| 2026-02-04 17:21:16 | × | Googulator27 quits (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-04 17:21:24 | → | Googulator27 joins (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) |
| 2026-02-04 17:24:41 | <edwardk> | gentauro, geekosaur: correct on both accounts |
| 2026-02-04 17:25:02 | <edwardk> | re fb/meta not sure if _all_ haskell inside meta is gone, but a lot of it is |
| 2026-02-04 17:25:11 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-02-04 17:25:17 | jmcantrell_ | is now known as jmcantrell |
| 2026-02-04 17:29:40 | <gentauro> | edwardk: :'( |
| 2026-02-04 17:30:45 | <gentauro> | and when Mathieu Boespflug sold Tweag, both Haskell and OCaml was "somehow" abandoned :'( |
| 2026-02-04 17:30:55 | <gentauro> | not good time for FP tbh :-\ |
| 2026-02-04 17:31:35 | gentauro | what if we rename the awesome tools to: hAIskell and ocAIml xD |
| 2026-02-04 17:31:43 | × | mniip quits (mniip@libera/staff-emeritus/mniip) (Ping timeout: 612 seconds) |
| 2026-02-04 17:31:48 | gentauro | we would probably down in funding xD |
| 2026-02-04 17:33:48 | <gentauro> | down = drown |
| 2026-02-04 17:36:48 | → | mniip joins (mniip@libera/staff-emeritus/mniip) |
| 2026-02-04 17:46:31 | <int-e> | gentAIuro: Be caireful whait you wish for. |
| 2026-02-04 17:49:11 | <gentauro> | AInt-e: roger that |
| 2026-02-04 17:54:53 | → | wickedjargon joins (~user@24.83.46.194) |
| 2026-02-04 17:57:35 | → | ft joins (~ft@p508db4c0.dip0.t-ipconnect.de) |
| 2026-02-04 17:59:24 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2026-02-04 18:02:56 | × | gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 256 seconds) |
| 2026-02-04 18:03:25 | <apache> | tomsmeding: thanks for dealing with that :) |
| 2026-02-04 18:03:38 | <apache> | the lycurgus situation I mean |
| 2026-02-04 18:03:44 | → | gabiruh joins (~gabiruh@vps19177.publiccloud.com.br) |
| 2026-02-04 18:04:02 | <apache> | gentauro: you don't need to rename ocaML |
| 2026-02-04 18:04:03 | <edwardk> | gentauro: i mean, positron is still hiring haskell folks |
| 2026-02-04 18:04:25 | <apache> | haskeLLM - fixed |
| 2026-02-04 18:04:54 | <edwardk> | haskLLM has a nice ring to it |
| 2026-02-04 18:13:45 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-02-04 18:14:00 | → | divlamir joins (~divlamir@user/divlamir) |
| 2026-02-04 18:14:08 | × | wickedjargon quits (~user@24.83.46.194) (Remote host closed the connection) |
| 2026-02-04 18:16:58 | × | trickard quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-04 18:17:11 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-04 18:27:23 | <gentauro> | edwardk: that's pretty nice :) |
| 2026-02-04 18:28:24 | <gentauro> | and I'm guessing Galois is also still hiring haskells right? |
| 2026-02-04 18:30:10 | <edwardk> | i haven't checked galois' pulse in a while. i'd presume so |
| 2026-02-04 18:30:40 | <edwardk> | topos institute is working with aria on some category theory ish stuff, but its all over in rust these days |
| 2026-02-04 18:31:19 | <gentauro> | iirc teh LEAN project also hired a few prominent haskellers |
| 2026-02-04 18:32:37 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-02-04 18:37:20 | → | kilolympus joins (~kilolympu@vmi1102682.contaboserver.net) |
| 2026-02-04 18:43:54 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2026-02-04 19:01:31 | × | gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 264 seconds) |
| 2026-02-04 19:02:23 | → | gabiruh joins (~gabiruh@vps19177.publiccloud.com.br) |
| 2026-02-04 19:04:32 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-02-04 19:06:35 | × | gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 245 seconds) |
| 2026-02-04 19:07:10 | → | gabiruh joins (~gabiruh@vps19177.publiccloud.com.br) |
| 2026-02-04 19:09:19 | → | spew joins (~spew@user/spew) |
| 2026-02-04 19:10:45 | × | spew quits (~spew@user/spew) (Client Quit) |
| 2026-02-04 19:19:55 | × | gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 245 seconds) |
| 2026-02-04 19:21:59 | → | gabiruh joins (~gabiruh@vps19177.publiccloud.com.br) |
| 2026-02-04 19:23:19 | trickard_ | is now known as trickard |
| 2026-02-04 19:25:49 | × | zenstoic quits (uid461840@id-461840.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-02-04 19:39:32 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2026-02-04 19:43:00 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-02-04 19:43:14 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2026-02-04 19:44:17 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2026-02-04 19:44:55 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 245 seconds) |
| 2026-02-04 19:47:03 | → | Tuplanolla joins (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) |
| 2026-02-04 19:47:57 | × | gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2026-02-04 19:48:13 | → | gabiruh joins (~gabiruh@vps19177.publiccloud.com.br) |
| 2026-02-04 19:49:25 | × | Googulator27 quits (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-04 19:49:40 | → | Googulator27 joins (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) |
| 2026-02-04 19:50:03 | → | spew joins (~spew@user/spew) |
| 2026-02-04 19:51:15 | × | polykernel quits (~polykerne@user/polykernel) (Remote host closed the connection) |
| 2026-02-04 19:53:09 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
All times are in UTC.