Newest at the top
| 2025-02-27 21:15:23 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 268 seconds) |
| 2025-02-27 21:13:35 +0100 | zungi | (~tory@user/andrewchawk) andrewchawk |
| 2025-02-27 21:10:59 +0100 | talismanick | (~user@2601:644:937c:ed10::ae5) (Read error: Connection reset by peer) |
| 2025-02-27 21:09:24 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-27 21:05:43 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f567091d751b62dd8ec.dip0.t-ipconnect.de) |
| 2025-02-27 21:04:49 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-27 21:04:09 +0100 | hseg | (~gesh@46.120.20.40) (Ping timeout: 260 seconds) |
| 2025-02-27 21:03:34 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f56f4c4d217527f2fec.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-02-27 21:03:12 +0100 | zungi | (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
| 2025-02-27 21:00:51 +0100 | tabaqui1 | (~root@87.200.129.102) (Ping timeout: 252 seconds) |
| 2025-02-27 21:00:42 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-02-27 21:00:02 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-02-27 20:54:13 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2025-02-27 20:52:26 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-02-27 20:51:56 +0100 | <tomsmeding> | inb4 they re-layout the code to be a :( instead and then the bug doesn't occur -- "fixed" |
| 2025-02-27 20:51:25 +0100 | <EvanR> | :( |
| 2025-02-27 20:51:23 +0100 | <EvanR> | they will say |
| 2025-02-27 20:51:16 +0100 | <tomsmeding> | I wonder what they'll say if they see the input code |
| 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> | ._. |