Newest at the top
| 2025-03-25 16:46:32 +0100 | <haskellbridge> | <Liamzee> they could actually just inline the damn thing |
| 2025-03-25 16:46:02 +0100 | <EvanR> | then at least it doesn't seem to be spooky action at a distance |
| 2025-03-25 16:45:29 +0100 | <EvanR> | another way to "not repeat yourself" in Foo {a=a, b=b, c=c} is RecordPuns |
| 2025-03-25 16:44:39 +0100 | <haskellbridge> | <Liamzee> https://github.com/nammayatri/nammayatri |
| 2025-03-25 16:44:19 +0100 | <haskellbridge> | <Liamzee> Juspay, very interesting app |
| 2025-03-25 16:44:15 +0100 | <haskellbridge> | <Liamzee> sloccount says it's 290k lines, 250k lines haskell |
| 2025-03-25 16:44:06 +0100 | <EvanR> | that is some weird syntax |
| 2025-03-25 16:42:29 +0100 | <mauke> | not much to override if there's nothing there in the first place |
| 2025-03-25 16:42:17 +0100 | kh0d | (~kh0d@212.200.247.164) (Quit: Leaving...) |
| 2025-03-25 16:41:52 +0100 | ash3en | (~Thunderbi@89.56.182.235) ash3en |
| 2025-03-25 16:41:43 +0100 | <haskellbridge> | <Liamzee> interesting technique |
| 2025-03-25 16:41:39 +0100 | <haskellbridge> | <Liamzee> i'm guessing it's somehow allowing the where names to override items |
| 2025-03-25 16:41:17 +0100 | <mauke> | same thing as in a pattern, but backwards |
| 2025-03-25 16:41:14 +0100 | <haskellbridge> | <Liamzee> https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/record_wildcards.html |
| 2025-03-25 16:40:53 +0100 | <EvanR> | I've seen {..} in a pattern |
| 2025-03-25 16:40:46 +0100 | <EvanR> | what does Sms.SmsHandler {..} mean on the right hand side |
| 2025-03-25 16:40:03 +0100 | Adeon | (sid418992@id-418992.lymington.irccloud.com) Adeon |
| 2025-03-25 16:39:12 +0100 | <haskellbridge> | <Liamzee> yeah, that's what I'm assuming |
| 2025-03-25 16:39:01 +0100 | Adeon | (sid418992@id-418992.lymington.irccloud.com) (Ping timeout: 248 seconds) |
| 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 +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? |