Newest at the top
| 2025-02-26 12:44:40 +0100 | LainExperiments | (~LainExper@user/LainExperiments) (Ping timeout: 240 seconds) |
| 2025-02-26 12:44:20 +0100 | LainExperiments2 | (~LainExper@user/LainExperiments) LainExperiments |
| 2025-02-26 12:43:10 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
| 2025-02-26 12:41:24 +0100 | LainExperiments3 | (~LainExper@user/LainExperiments) LainExperiments |
| 2025-02-26 12:33:48 +0100 | plitter | (~plitter@user/plitter) plitter |
| 2025-02-26 12:33:00 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-26 12:31:01 +0100 | Everything | (~Everythin@46.211.65.235) (Ping timeout: 248 seconds) |
| 2025-02-26 12:27:28 +0100 | xff0x | (~xff0x@2405:6580:b080:900:17f4:b7d4:84ba:3a30) (Ping timeout: 245 seconds) |
| 2025-02-26 12:23:10 +0100 | LainExperiments4 | (~LainExper@user/LainExperiments) (Ping timeout: 240 seconds) |
| 2025-02-26 12:20:18 +0100 | LainExperiments | (~LainExper@user/LainExperiments) LainExperiments |
| 2025-02-26 12:20:17 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-02-26 12:15:23 +0100 | Digit | (~user@user/digit) (Ping timeout: 245 seconds) |
| 2025-02-26 12:12:53 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-02-26 12:08:40 +0100 | LainExperiments2 | (~LainExper@user/LainExperiments) (Ping timeout: 240 seconds) |
| 2025-02-26 12:06:01 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-02-26 12:04:40 +0100 | LainExperiments | (~LainExper@user/LainExperiments) (Ping timeout: 240 seconds) |
| 2025-02-26 12:03:28 +0100 | Everything | (~Everythin@46.211.65.235) Everything |
| 2025-02-26 12:02:56 +0100 | LainExperiments4 | (~LainExper@user/LainExperiments) LainExperiments |
| 2025-02-26 12:02:07 +0100 | LainExperiments2 | (~LainExper@user/LainExperiments) LainExperiments |
| 2025-02-26 12:01:02 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-26 12:00:25 +0100 | <Athas> | Well, let's see. |
| 2025-02-26 12:00:02 +0100 | <Athas> | Flags are the worst part of the Hackage ecosystem. |
| 2025-02-26 11:59:40 +0100 | <tomsmeding> | I wonder why this flag is not enabled by default |
| 2025-02-26 11:59:21 +0100 | <tomsmeding> | `constraints: ad +ffi` in cabal.project |
| 2025-02-26 11:58:40 +0100 | <Athas> | Well, that ought to make a difference. Now to see if I remember how to set cabal flags. |
| 2025-02-26 11:57:52 +0100 | <tomsmeding> | Athas: it switches to taping in C, instead of in haskell |
| 2025-02-26 11:57:36 +0100 | <Athas> | tomsmeding: I do use Numeric.AD.Double, but what does +ffi do? |
| 2025-02-26 11:57:04 +0100 | <lambdabot> | Consider it noted. |
| 2025-02-26 11:57:04 +0100 | <tomsmeding> | @tell Athas You may get better performance with 'ad' if you use Numeric.AD.Double _and_ enable the +ffi flag |
| 2025-02-26 11:50:23 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f8044b147bcd5cee5e7.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-02-26 11:48:10 +0100 | xff0x | (~xff0x@2405:6580:b080:900:17f4:b7d4:84ba:3a30) |
| 2025-02-26 11:40:09 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-26 11:39:03 +0100 | <ncf> | cheater: it's just a pair of functions. all functions are total unless stated otherwise, in mathematics |
| 2025-02-26 11:36:54 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-02-26 11:23:28 +0100 | hattckory | (~hattckory@149.102.242.103) |
| 2025-02-26 11:20:24 +0100 | acidsys | (~crameleon@openSUSE/member/crameleon) crameleon |
| 2025-02-26 11:19:46 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-02-26 11:14:57 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-26 11:14:06 +0100 | ski | (~ski@remote11.chalmers.se) |
| 2025-02-26 11:12:40 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f8044b147bcd5cee5e7.dip0.t-ipconnect.de) acidjnk |
| 2025-02-26 11:10:40 +0100 | <ames> | it ranges from subtly incorrect and extra verbose to complete and utter bullshit |
| 2025-02-26 11:10:29 +0100 | ski | (~ski@remote11.chalmers.se) (Ping timeout: 248 seconds) |
| 2025-02-26 11:09:54 +0100 | <ames> | just don't listen to nlab when it comes to type theory |
| 2025-02-26 11:09:10 +0100 | <tomsmeding> | I'd personally expect that as soon as that bouncing has any kind of _property_ (it converges, or you end up where you started, ...) then it _does_ have a name |
| 2025-02-26 11:06:18 +0100 | <cheater> | even smoothly so |
| 2025-02-26 11:06:11 +0100 | <cheater> | and can be continuated |
| 2025-02-26 11:05:47 +0100 | <cheater> | and a topology |
| 2025-02-26 11:05:44 +0100 | <cheater> | it can easily create congruences, for example |
| 2025-02-26 11:04:59 +0100 | <cheater> | anyways i think the idea of being able to bounce back and forth an infinite amount of times is pretty interesting |
| 2025-02-26 11:04:44 +0100 | <cheater> | you don't know about ncatlab? |