Newest at the top
2025-03-25 16:33:15 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
2025-03-25 16:20:37 +0100 | kh0d | (~kh0d@212.200.247.164) kh0d |
2025-03-25 16:19:49 +0100 | kh0d | (~kh0d@212.200.247.164) (Remote host closed the connection) |
2025-03-25 16:17:53 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
2025-03-25 16:13:48 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-25 16:12:21 +0100 | kh0d | (~kh0d@212.200.247.164) |
2025-03-25 16:09:26 +0100 | ash3en | (~Thunderbi@89.56.182.235) (Quit: ash3en) |
2025-03-25 16:08:25 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
2025-03-25 16:08:01 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2025-03-25 16:06:42 +0100 | kh0d | (~kh0d@212.200.247.164) (Ping timeout: 246 seconds) |
2025-03-25 16:06:35 +0100 | <EvanR> | you would already know that |
2025-03-25 16:06:30 +0100 | <EvanR> | which if locus was a GADT-like thing with constructor OnLocus :: x:Point -> c:Condition x -> Locus c x |
2025-03-25 16:06:14 +0100 | <EvanR> | the converse is "if a point lies on the locus, it satisfies the condition" |
2025-03-25 16:06:03 +0100 | <EvanR> | I wrote that backwards |
2025-03-25 16:05:43 +0100 | Square | (~Square@user/square) (Ping timeout: 244 seconds) |
2025-03-25 16:04:02 +0100 | <EvanR> | I'm like that is evident directly from the definition why are you using an indirect method lol |
2025-03-25 16:03:33 +0100 | <EvanR> | Then it goes on to prove the converse "if a point satisfies the condition, it lies on the locus" by using "The indirect method. For suppose that the condition is not true..." |
2025-03-25 16:03:28 +0100 | <JuanDaugherty> | reviewing that reminded me of how sbcl is always fixin stuff that isn broke in the better cls |
2025-03-25 16:02:43 +0100 | <EvanR> | birkhoff Basic Geometry 3rd edition is annoying right here: the definition of locus is a figure which includes all the points that satisfy a given condition (or conditions) and no other points. Then regards this as an if and only if, with one direction going "if a point satisfies the condition, it's on the locus" |
2025-03-25 16:01:15 +0100 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-03-25 16:00:48 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
2025-03-25 16:00:11 +0100 | <EvanR> | FreeBumfucSD? |
2025-03-25 15:59:57 +0100 | kh0d | (~kh0d@212.200.247.164) kh0d |
2025-03-25 15:59:06 +0100 | <haskellbridge> | <maerwald> Check the release notes |
2025-03-25 15:58:41 +0100 | <JuanDaugherty> | (even better to know its on bumfuc OS) |
2025-03-25 15:58:14 +0100 | <JuanDaugherty> | but not linux? |
2025-03-25 15:57:52 +0100 | <haskellbridge> | <maerwald> FreeBSD is known to trigger it |
2025-03-25 15:57:41 +0100 | <haskellbridge> | <maerwald> https://downloads.haskell.org/ghc/9.6.7/docs/users_guide/9.6.7-notes.html |
2025-03-25 15:57:36 +0100 | <JuanDaugherty> | *and |
2025-03-25 15:57:29 +0100 | <JuanDaugherty> | for like sparks ans stuff? |
2025-03-25 15:57:08 +0100 | <JuanDaugherty> | good to know, ty |
2025-03-25 15:56:50 +0100 | <haskellbridge> | <maerwald> 9.6.6 has a kqueue bug |
2025-03-25 15:56:43 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f24c8a043139ebe92bd.dip0.t-ipconnect.de) acidjnk |
2025-03-25 15:56:14 +0100 | kh0d | (~kh0d@212.200.247.164) (Ping timeout: 260 seconds) |
2025-03-25 15:56:09 +0100 | <JuanDaugherty> | i'm good with 9.6.6, just making convo; is something juicy in the new old branch? |
2025-03-25 15:56:06 +0100 | <haskellbridge> | <maerwald> Smoke tests are here https://github.com/haskell/ghcup-metadata/actions/runs/14034851759 |
2025-03-25 15:55:05 +0100 | <haskellbridge> | <maerwald> Release announcement went to: ghc-releases, discourse, haskell-cafe and the #haskell-releases:matrix.org channel |
2025-03-25 15:55:03 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
2025-03-25 15:54:19 +0100 | <JuanDaugherty> | haskellbridge <maerwald> y not |
2025-03-25 15:53:51 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
2025-03-25 15:53:31 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-03-25 15:53:22 +0100 | <haskellbridge> | <maerwald> Myself? |
2025-03-25 15:53:20 +0100 | <haskellbridge> | <maerwald> JuanDaugherty: Wait for what? |
2025-03-25 15:52:34 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal) |
2025-03-25 15:51:18 +0100 | <tomsmeding> | :/ |
2025-03-25 15:50:48 +0100 | <haskellbridge> | <maerwald> So there might be some rough corners regarding release process |
2025-03-25 15:50:28 +0100 | <haskellbridge> | <maerwald> 9.6.7 release manager is in the hospital |
2025-03-25 15:49:37 +0100 | <tomsmeding> | if nothing changed between the final RC and the actual release, and the RC was already smoke tested, one doesn't need to wait |
2025-03-25 15:49:14 +0100 | <tomsmeding> | there have also been release candidates and the maintainer of ghcup is aware of those, including what the actual difference is between the release candidates and the final release |
2025-03-25 15:49:08 +0100 | <JuanDaugherty> | makes sense h,o be slow |