Newest at the top
2024-11-14 21:55:13 +0100 | <c_wraith> | you can't really do perfect hot-swap of web sites anyway, unless every deploy has a different URL... and that's really bad for bookmarks. |
2024-11-14 21:54:12 +0100 | <shapr> | Would be nice if nixos ran on Erlang and I could do real hotswap |
2024-11-14 21:53:49 +0100 | <shapr> | yeah, similar |
2024-11-14 21:53:32 +0100 | <guy_> | sounds like hotswapping... i was trying to use nix-copy-closure for this |
2024-11-14 21:51:07 +0100 | <shapr> | I love using nix to re-compile my blog on my beefy laptop and push only the compiled result to my server. Fast and easy updates are pleasant. |
2024-11-14 21:49:39 +0100 | emfrom | (~emfrom@78.243.183.111) |
2024-11-14 21:48:05 +0100 | <guy_> | :-) |
2024-11-14 21:48:00 +0100 | <sm> | well, welcome back and thanks for not deluging :) |
2024-11-14 21:47:03 +0100 | <guy_> | here is the link again if anyones interest is piqued https://vocaroo.com/14nNu3Nm5FaV |
2024-11-14 21:46:39 +0100 | <guy_> | sm: i used to chat here under the names fog and fen. i was often kicked for giving walls of text on the seti/geti methodology, so i thought a voice note would at least save the users from the normal deluge |
2024-11-14 21:45:54 +0100 | <guy_> | sm: i was kind of hoping someone could help me cobble it together for a PhD proposal im trying to submit to philip wadler. he insists he wont supervise anything to do with scientific computation, so im trying to make it a pure language consideration |
2024-11-14 21:45:52 +0100 | <sm> | a youtube would get more listens |
2024-11-14 21:45:32 +0100 | <sm> | the thing about a 20m voice memo is nobody has time for it probably, unless they know you / your work |
2024-11-14 21:44:56 +0100 | <guy_> | kind of shy to release a voice note on the open internets |
2024-11-14 21:44:55 +0100 | <sm> | the idle chatters ? :) |
2024-11-14 21:44:45 +0100 | <guy_> | the people i want to reach are right here im sure |
2024-11-14 21:44:30 +0100 | <sm> | guy_ maybe worth a post on the haskell discourse / reddit, you might get more input |
2024-11-14 21:44:03 +0100 | <guy_> | just off the back of some abstraction i developed for mixture models for the AGI |
2024-11-14 21:43:43 +0100 | <guy_> | "nonlinear graphically complete languages" i think is a really strong result |
2024-11-14 21:43:28 +0100 | <sm> | Up but nicely blank. I didn't think you had to monitor a static website 😂 |
2024-11-14 21:43:21 +0100 | <guy_> | just visiting #haskell to give some of this theory about "functor sheduling" and the implications it has on the haskell prelude |
2024-11-14 21:43:08 +0100 | <shapr> | sm: oh no, website down? |
2024-11-14 21:42:51 +0100 | <guy_> | its been a blast |
2024-11-14 21:42:49 +0100 | <guy_> | iv been away from the haskell comunity for a while, working on AGI research with sam altman and lex fridman |
2024-11-14 21:42:40 +0100 | <sm> | holy.... ! thanks! |
2024-11-14 21:42:12 +0100 | <guy_> | sm: dead link |
2024-11-14 21:41:59 +0100 | <sm> | probably not needed |
2024-11-14 21:41:38 +0100 | <sm> | shapr thanks! https://joyful.com is the other |
2024-11-14 21:41:35 +0100 | <guy_> | yeah, i wonder what he's up too! |
2024-11-14 21:41:21 +0100 | <sm> | nice link guy_. I'd love to see Neil's latest build system, whatever it is |
2024-11-14 21:41:08 +0100 | <guy_> | the moustache specification markup seems interesting |
2024-11-14 21:41:05 +0100 | <shapr> | Oh speaking of hakyll, I had a feature request to include the blog post body in my RSS feed. |
2024-11-14 21:40:25 +0100 | <guy_> | https://github.com/ChrisPenner/slick (which claims to be a simpler alternative to hakyll/jekyll) |
2024-11-14 21:40:25 +0100 | <guy_> | and |
2024-11-14 21:40:24 +0100 | <guy_> | rib (as a static site generator - sounds like a good alternative to hakyll) https://github.com/srid/rib |
2024-11-14 21:40:24 +0100 | <guy_> | this links; |
2024-11-14 21:40:23 +0100 | <guy_> | https://www.reddit.com/r/haskell/comments/i97lz7/is_there_something_similar_to_hakyll_using_shake/ |
2024-11-14 21:40:19 +0100 | <shapr> | I should stick to Swedish, my French has rusted away. |
2024-11-14 21:39:59 +0100 | <shapr> | guy_: oui, c'est ca |
2024-11-14 21:38:38 +0100 | <shapr> | sm: I'll pitch that link into the poscript. Also, I linked to your mastodon in the post, do you have some other preferred link target? |
2024-11-14 21:36:20 +0100 | <guy_> | https://neilmitchell.blogspot.com/2021/09/reflecting-on-shake-build-system.html |
2024-11-14 21:34:42 +0100 | <sm> | shapr: stack script example, if you want one ^ |
2024-11-14 21:33:01 +0100 | <sm> | https://github.com/simonmichael/hledger/blob/master/Shake.hs |
2024-11-14 21:32:12 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-11-14 21:31:58 +0100 | <c_wraith> | But it's not like I'm short on free time these days. I should take another shot at it. |
2024-11-14 21:31:48 +0100 | <sm> | but anything I have implemented in it has been rock solid and I never had to worry about it again |
2024-11-14 21:31:19 +0100 | <sm> | c_wraith I hear that. Even if you know make, Shake is not exactly a walk in the park to program, especially if you're not using regularly. |
2024-11-14 21:30:33 +0100 | <haskellbridge> | <Bowuigi> Yeah that's easier, otherwise try https://github.com/ggerganov/whisper.cpp which is not Python but C++ |
2024-11-14 21:30:00 +0100 | <guy_> | im going afk for ~20 mins to give people time to listen through, see you at about 10 too |
2024-11-14 21:29:13 +0100 | <guy_> | never mind! it would be most simple if people could just listen to the recording, save the the hassle! https://vocaroo.com/14nNu3Nm5FaV |