Newest at the top
| 2025-02-27 20:51:00 +0100 | <EvanR> | Formatting is not idempotent. Please, consider reporting the bug. |
| 2025-02-27 20:50:59 +0100 | <tomsmeding> | :D |
| 2025-02-27 20:50:52 +0100 | <tomsmeding> | naturally! |
| 2025-02-27 20:50:47 +0100 | <EvanR> | it seems to have triggered an apparent bug in ormolu |
| 2025-02-27 20:50:25 +0100 | <tomsmeding> | EvanR: did it say "this is too broken, fix your shit first"? |
| 2025-02-27 20:49:55 +0100 | agumonke` | (~user@2a04:cec0:1902:7e46:f625:ba29:78b6:f3aa) (Ping timeout: 265 seconds) |
| 2025-02-27 20:49:22 +0100 | <EvanR> | tomsmeding, I ran your smiley face code through ormolu live to see what would happen |
| 2025-02-27 20:44:24 +0100 | <haskellbridge> | <thirdofmay18081814goya> in functional programming |
| 2025-02-27 20:43:49 +0100 | <haskellbridge> | <thirdofmay18081814goya> or well are there any interesting enriched categories where the hom object is not just a CCC's internal hom |
| 2025-02-27 20:40:18 +0100 | <ncf> | ~~Hask~~ |
| 2025-02-27 20:40:14 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 268 seconds) |
| 2025-02-27 20:36:49 +0100 | <haskellbridge> | <thirdofmay18081814goya> any interesting enriched categories for functional programming? |
| 2025-02-27 20:34:44 +0100 | Guest4 | (~Guest29@c-24-56-247-252.customer.broadstripe.net) (Client Quit) |
| 2025-02-27 20:32:24 +0100 | Guest4 | (~Guest29@c-24-56-247-252.customer.broadstripe.net) |
| 2025-02-27 20:23:29 +0100 | fmira | (~user@user/fmira) fmira |
| 2025-02-27 20:23:27 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-27 20:20:54 +0100 | <tomsmeding> | > The generated program is easier to understand than the original because its characters are bigger and easier to read. |
| 2025-02-27 20:20:36 +0100 | <tomsmeding> | hah, nice |
| 2025-02-27 20:19:46 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 248 seconds) |
| 2025-02-27 20:19:25 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-02-27 20:19:04 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-27 20:17:25 +0100 | <mauke> | next step: port https://metacpan.org/pod/Acme::EyeDrops |
| 2025-02-27 20:16:09 +0100 | Square | (~Square@user/square) Square |
| 2025-02-27 20:14:54 +0100 | <xerox> | very cool |
| 2025-02-27 20:14:47 +0100 | <haskellbridge> | <sm> 🚀 |
| 2025-02-27 20:14:27 +0100 | <tomsmeding> | I was lucky the few long identifiers had a place to sit in the mouth :) |
| 2025-02-27 20:14:14 +0100 | <tomsmeding> | it worked out okay |
| 2025-02-27 20:14:09 +0100 | <tomsmeding> | but I was lazy and I didn't |
| 2025-02-27 20:14:06 +0100 | <tomsmeding> | normally one would change the code to make it fit the shape better, yes |
| 2025-02-27 20:13:51 +0100 | <tomsmeding> | as usual with this stuff: challenge, figure out how the code works :p |
| 2025-02-27 20:13:51 +0100 | <haskellbridge> | <sm> I imagine you also have to change code to make it more shapeable |
| 2025-02-27 20:13:15 +0100 | <tomsmeding> | ._. |
| 2025-02-27 20:13:13 +0100 | <tomsmeding> | s/automatically/manually/ |
| 2025-02-27 20:13:05 +0100 | <tomsmeding> | it was automatically arranged to match, though I did generate the code shape from the code itself (with different parameters) |
| 2025-02-27 20:12:42 +0100 | <tomsmeding> | it's just an instance of the template "code outputs same shape as code", and I didn't try to optimise the layout of the code to fit the shape (you can see the outer circle is too thin in the left-bottom segment) |
| 2025-02-27 20:12:34 +0100 | <haskellbridge> | <sm> I guess you make a program drawing the picture, then semi-automatedly arrange the code to match ? |
| 2025-02-27 20:12:02 +0100 | <tomsmeding> | honestly it's not very good :p |
| 2025-02-27 20:11:50 +0100 | <haskellbridge> | <sm> should be in an executable art exhibition/contest |
| 2025-02-27 20:11:34 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-02-27 20:11:18 +0100 | <haskellbridge> | <sm> you maniac :) |
| 2025-02-27 20:09:37 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-02-27 20:08:28 +0100 | <haskellbridge> | <sm> my god |
| 2025-02-27 20:07:37 +0100 | <EvanR> | good one |
| 2025-02-27 20:06:01 +0100 | <tomsmeding> | who said haskell was an indentation-sensitive language https://play.haskell.org/saved/aQNtr5Aa |
| 2025-02-27 20:03:29 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2025-02-27 19:59:25 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) julie_pilgrim |
| 2025-02-27 19:55:25 +0100 | notdabs | (~Owner@2600:6c40:4300:950:24fa:651a:9708:e91a) |
| 2025-02-27 19:51:14 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-02-27 19:50:35 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-02-27 19:49:56 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f56f4c4d217527f2fec.dip0.t-ipconnect.de) |