2026/02/04

Newest at the top

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 +0100merijn(~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 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2026-02-04 17:53:22 +0100gentaurolucky enough to have experienced edwardk coding-live at Poznan at a river while everybody else were partying <3
2026-02-04 17:52:03 +0100 <gentauro> greetings edwardk
2026-02-04 17:40:53 +0100 <merijn> Not for "bazillions of short-lived tiny things"
2026-02-04 17:40:46 +0100 <merijn> Refcounting is great when you have few mostly long lived big things
2026-02-04 17:40:27 +0100 <merijn> tomsmeding: Additionally that just doesn't jive well with the garbage profile of most haskell programs
2026-02-04 17:39:43 +0100bggd_(~bgg@2a01:e0a:fd5:f510:ffc1:9b0f:82de:9e53) (Remote host closed the connection)
2026-02-04 17:34:15 +0100ezzieyguywuf(~Unknown@user/ezzieyguywuf) ezzieyguywuf
2026-02-04 17:33:55 +0100ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Quit: leaving)
2026-02-04 17:33:51 +0100Enrico63(~Enrico63@148.252.128.12) (Quit: Client closed)
2026-02-04 17:32:43 +0100 <edwardk> merijn: precisely
2026-02-04 17:29:10 +0100Googulator27(~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu)
2026-02-04 17:29:06 +0100Googulator61(~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) (Quit: Client closed)
2026-02-04 17:21:58 +0100Enrico63(~Enrico63@148.252.128.12) Enrico63
2026-02-04 17:12:10 +0100 <tomsmeding> (python is known for its refcounting system but it has a tracing GC too that runs occasionally, because of cycles)
2026-02-04 17:11:42 +0100 <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 17:11:33 +0100petrichor(~jez@user/petrichor) petrichor
2026-02-04 17:08:32 +0100 <merijn> edwardk: Like an eldritch horror ready to melt the minds of man?
2026-02-04 17:07:59 +0100_JusSx_(~jussx@37.161.247.165) (Ping timeout: 265 seconds)
2026-02-04 17:04:48 +0100Googulator61(~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu)
2026-02-04 17:04:32 +0100Googulator61(~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) (Quit: Client closed)
2026-02-04 17:01:53 +0100edwardk(sid47016@haskell/developer/edwardk) edwardk
2026-02-04 17:01:53 +0100edwardk(sid47016@id-47016.ilkley.irccloud.com) (Changing host)
2026-02-04 17:01:21 +0100edwardkawakens from his long slumber.
2026-02-04 17:00:13 +0100Square(~Square4@user/square) (Ping timeout: 244 seconds)
2026-02-04 16:56:31 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2026-02-04 16:53:44 +0100trickard_trickard
2026-02-04 16:49:12 +0100lucabtz(~lucabtz@user/lucabtz) (Quit: Lost terminal)
2026-02-04 16:48:01 +0100Enrico63(~Enrico63@148.252.128.12) (Quit: Client closed)
2026-02-04 16:36:31 +0100 <mesaoptimizer> I've thought about a call-by-push-value lambda calculus compiler for haskell
2026-02-04 16:36:12 +0100 <mesaoptimizer> I think it is a fun idea :)
2026-02-04 16:35:34 +0100 <mesaoptimizer> the obvious downside is that almost the entire hackage system is inaccessible
2026-02-04 16:35:29 +0100 <haskellbridge> <Morj> The worst part is that I get an urge to write one myself too
2026-02-04 16:35:08 +0100 <mesaoptimizer> its lovely to have a very tiny haskell implementation, to be honest
2026-02-04 16:34:38 +0100 <haskellbridge> <Morj> Oh cool. I should install and try it myself (=
2026-02-04 16:34:15 +0100mesaoptimizersighs and reinstalls microhs again to double check
2026-02-04 16:33:51 +0100 <mesaoptimizer> I see. I think that is what the switch that I recall may have been doing.
2026-02-04 16:33:33 +0100fp(~Thunderbi@130.233.70.158) (Ping timeout: 250 seconds)
2026-02-04 16:33:15 +0100wickedjargon(~user@2605:8d80:5431:33ac:d84d:2363:57fe:412) (Remote host closed the connection)
2026-02-04 16:32:51 +0100 <haskellbridge> <Morj> I meant building packages using ghc as the compiler and mcabal as the build system (mcabal calling ghc instead of microhs)
2026-02-04 16:31:21 +0100 <mesaoptimizer> also I'm unsure what happens when you use the `--ghc` switch with mcabal
2026-02-04 16:31:15 +0100pavonia(~user@user/siracusa) (Ping timeout: 265 seconds)
2026-02-04 16:30:59 +0100 <mesaoptimizer> you mean the `--ghc` switch? yeah I have troubles with using cabal for effectively anything. If you have a working cabal setup for your GHC then I guess that works. I don't think that strategy is tenable for someone who wants to use only microhs + mcabal though
2026-02-04 16:25:13 +0100Inline(~User@2a02:908:1246:26e0:e780:60f2:d5f3:ea13) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/)
2026-02-04 16:24:24 +0100 <haskellbridge> <Morj> But can I build using ghc with mcabal?