The article presents choreographic programming in Rust.
The chart will appear after repeat observations. The current metric comes from the source.
32 source pointsReal observations only. History before source connection is not reconstructed.
The source mentions a repository for sharing AI progress in mathematics, with links to a GitHub page and a preprints directory.
5 days agoLobstersThe article discusses the mental health challenges faced by software developers.
4 days agoLessWrongThe article discusses the Piltdown man hoax, a fraudulent artifact that misled evolutionary biology for decades. It draws a parallel between the Piltdown man and the Voynich manuscript, suggesting the latter might also be a meaningless fabrication. The author argues that while there is evidence supporting the idea that the Voynich manuscript is a hoax, it does not meet modern standards for proving fraud.
yesterdayLessWrongThe article describes the efforts of the author and his friend Mike to automate the process of transferring data from a website to a spreadsheet using AI. Mike, who works in data processing, spends significant time manually entering information, which the author considers inefficient.
17 hours agoLessWrongThe J++ Lens improves upon the J-Lens by filtering noisy gradients to enhance the accuracy of reading intermediate variables from language model activations. It achieves a 55% success rate in latent variable extraction tasks, outperforming the J-Lens (36%) and R-Lens (38%) with better performance at earlier layers.
3 days agoLobstersDescription: What's Wrong with GitHub
yesterday