2025/03/25

Newest at the top

2025-03-25 16:38:25 +0100 <mauke> {..} can hide many secrets
2025-03-25 16:34:13 +0100 <haskellbridge> <Liamzee> I mean, it calls handler, but I don't think it actually uses the other elements?
2025-03-25 16:34:01 +0100 <haskellbridge> <Liamzee> does sendSMS not actually use its where clause?
2025-03-25 16:33:45 +0100 <haskellbridge> <Liamzee> https://github.com/nammayatri/nammayatri/blob/main/Backend/app/provider-platform/dynamic-offer-driā€¦
2025-03-25 16:33:42 +0100 <haskellbridge> <Liamzee> question about this code
2025-03-25 16:33:15 +0100JuanDaugherty(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-03-25 16:20:37 +0100kh0d(~kh0d@212.200.247.164) kh0d
2025-03-25 16:19:49 +0100kh0d(~kh0d@212.200.247.164) (Remote host closed the connection)
2025-03-25 16:17:53 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 245 seconds)
2025-03-25 16:13:48 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-25 16:12:21 +0100kh0d(~kh0d@212.200.247.164)
2025-03-25 16:09:26 +0100ash3en(~Thunderbi@89.56.182.235) (Quit: ash3en)
2025-03-25 16:08:25 +0100ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-03-25 16:08:01 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2025-03-25 16:06:42 +0100kh0d(~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 +0100Square(~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 +0100werneta(~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 252 seconds)
2025-03-25 16:00:48 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds)
2025-03-25 16:00:11 +0100 <EvanR> FreeBumfucSD?
2025-03-25 15:59:57 +0100kh0d(~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 +0100acidjnk(~acidjnk@p200300d6e71c4f24c8a043139ebe92bd.dip0.t-ipconnect.de) acidjnk
2025-03-25 15:56:14 +0100kh0d(~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 +0100ezzieyguywuf(~Unknown@user/ezzieyguywuf) ezzieyguywuf
2025-03-25 15:54:19 +0100 <JuanDaugherty> haskellbridge <maerwald> y not
2025-03-25 15:53:51 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 252 seconds)
2025-03-25 15:53:31 +0100CiaoSen(~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 +0100ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Quit: Lost terminal)
2025-03-25 15:51:18 +0100 <tomsmeding> :/