News for hackers. Stuff that matters.
Re:Use GitHub Actions to Make Your GitHub Profile Dynamic by OkayPhysicist on Monday April 10, 2023 @02:48PM (#35515870)
Very cool. Literate programming is always an interesting exercise. In my undergrad I developed a little Julia macro library for turning my code with LaTeX encoded comments into a LaTeX document with code blocks, since the relevant source code needed to be explained as a central part of my thesis.

P.S., nice profile. Just finished reading the Landstreicher translation of The Unique and Its Property last night.

Re:Use GitHub Actions to Make Your GitHub Profile Dynamic by beardog on Monday April 10, 2023 @03:12PM (#35516138)
Indeed, I think literate programming might see a resurgence with the help of LLM tooling. Both Copilot and ChatGPT already have some ability with it and in the former case it helps with the loss of autocomplete you typically get when doing literate programming.
Re:Use GitHub Actions to Make Your GitHub Profile Dynamic by OkayPhysicist on Monday April 10, 2023 @04:55PM (#35517283)
The autocomplete problem is pretty easily solved by implementing custom language servers that just dispatch to two existing language servers depending on context. I was half way through doing that before realizing that the entire project was a massive yak-shave off of the thesis I needed to finish.

I do think that it should be considered best practice to leave the prompt that generated some functional code inline in a comment or so forth. It acts as a marker letting the reader know "this is what the code was intended to do". If I find some weird code on a bug hunt, I need to spend time triaging it between "weird code required because of weird intent", "weird code that works, but a simpler solution exists", and "weird code that contains the bug I'm looking for". Context helps, and if you're writing the context anyway, there's no reason to exclude it from the source.

Re:Use GitHub Actions to Make Your GitHub Profile Dynamic by throwaway290 on Monday April 10, 2023 @09:36PM (#35519643)
nvim allows more than one language server to be attached to buffer...