2024/06/30

2024-06-30 00:00:12 +0200 <geekosaur> I'll agree with that
2024-06-30 00:00:34 +0200 <geekosaur> for that matter, I have no formal CS training and barely any programming training (I once took a fortran course)
2024-06-30 00:01:27 +0200 <zzz> that being said, i recognise the importance of knowing
2024-06-30 00:02:21 +0200 <geekosaur> but in this case, I'll also argue that many of the rules you have to know about aren't just from the Report; they're from how early GHC devs chose to implement them and the resulting technical debt
2024-06-30 00:02:30 +0200 <geekosaur> cf. Integer behavior
2024-06-30 00:02:52 +0200 <geekosaur> and you can't get that even from the GHC manual
2024-06-30 00:04:12 +0200 <geekosaur> much of it you have to get by reading the source to the ghc-bignum package
2024-06-30 00:05:21 +0200 <geekosaur> which you won't even know about unless you get curious about ghc-pkg --global output, or pay very close attention to ghc release notes
2024-06-30 00:07:29 +0200aaronv(~aaronv@user/aaronv) (Ping timeout: 268 seconds)
2024-06-30 00:11:00 +0200aaronv(~aaronv@user/aaronv)
2024-06-30 00:11:48 +0200mikess(~mikess@user/mikess) (Ping timeout: 268 seconds)
2024-06-30 00:16:26 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2024-06-30 00:38:19 +0200emm(~emm@user/edmeme) (Ping timeout: 268 seconds)
2024-06-30 00:46:10 +0200xdminsy(~xdminsy@117.147.70.231) (Quit: Konversation terminated!)
2024-06-30 00:46:24 +0200aaronv(~aaronv@user/aaronv) (Remote host closed the connection)
2024-06-30 00:46:36 +0200xdminsy(~xdminsy@117.147.70.231)
2024-06-30 00:46:43 +0200aaronv(~aaronv@user/aaronv)
2024-06-30 00:48:30 +0200mikess(~mikess@user/mikess)
2024-06-30 01:01:07 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2024-06-30 01:07:11 +0200mikess(~mikess@user/mikess) (Ping timeout: 264 seconds)
2024-06-30 01:10:53 +0200acidjnk_new3(~acidjnk@p200300d6e714dc64f17ffbaa6306596b.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2024-06-30 01:17:10 +0200aaronv(~aaronv@user/aaronv) (Ping timeout: 268 seconds)
2024-06-30 01:17:59 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-06-30 01:27:20 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2024-06-30 01:28:32 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2024-06-30 01:29:25 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 256 seconds)
2024-06-30 01:30:58 +0200aaronv(~aaronv@user/aaronv)
2024-06-30 01:34:48 +0200justsomeguy(~justsomeg@user/justsomeguy)
2024-06-30 01:41:01 +0200madeleine-sydney(~madeleine@c-71-229-185-228.hsd1.co.comcast.net) (Remote host closed the connection)
2024-06-30 01:42:10 +0200alexherbo2(~alexherbo@2a02-8440-3216-58a7-4198-eabe-8a40-71c0.rev.sfr.net) (Remote host closed the connection)
2024-06-30 01:55:06 +0200OscarZ(~oscarz@mobile-access-5d6ab7-137.dhcp.inet.fi)
2024-06-30 01:55:16 +0200pavonia(~user@user/siracusa) (Read error: Connection reset by peer)
2024-06-30 01:57:52 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-06-30 01:59:01 +0200pavonia(~user@user/siracusa)
2024-06-30 02:01:48 +0200OscarZ(~oscarz@mobile-access-5d6ab7-137.dhcp.inet.fi) (Quit: Leaving)
2024-06-30 02:14:40 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-06-30 02:25:30 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2024-06-30 02:26:23 +0200mhatta(~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection)
2024-06-30 02:29:07 +0200onliner10_(uid656258@user/onliner10) (Quit: Connection closed for inactivity)
2024-06-30 02:32:53 +0200mhatta(~mhatta@www21123ui.sakura.ne.jp)
2024-06-30 02:39:02 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2024-06-30 02:39:30 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-06-30 02:41:04 +0200califax(~califax@user/califx)
2024-06-30 02:44:44 +0200ft(~ft@i5C743B07.versanet.de) (Ping timeout: 268 seconds)
2024-06-30 02:45:59 +0200ft(~ft@mue-88-130-107-007.dsl.tropolys.de)
2024-06-30 02:46:51 +0200phma(~phma@host-67-44-208-9.hnremote.net) (Read error: Connection reset by peer)
2024-06-30 02:47:20 +0200phma(~phma@2001:5b0:215d:ae38:bf89:58e8:737e:e16c)
2024-06-30 02:51:49 +0200hololeapprogress-bot
2024-06-30 02:52:35 +0200progress-bothololeap