2025/02/27

Newest at the top

2025-02-27 20:52:26 +0100weary-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 +0100agumonke`(~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 +0100lxsameer(~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 +0100Guest4(~Guest29@c-24-56-247-252.customer.broadstripe.net) (Client Quit)
2025-02-27 20:32:24 +0100Guest4(~Guest29@c-24-56-247-252.customer.broadstripe.net)
2025-02-27 20:23:29 +0100fmira(~user@user/fmira) fmira
2025-02-27 20:23:27 +0100alfiee(~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 +0100Square2(~Square4@user/square) (Ping timeout: 248 seconds)
2025-02-27 20:19:25 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-02-27 20:19:04 +0100alfiee(~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 +0100Square(~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 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-02-27 20:11:18 +0100 <haskellbridge> <sm> you maniac :)
2025-02-27 20:09:37 +0100wootehfoot(~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 +0100misterfish(~misterfis@84.53.85.146) misterfish