Taming LLMs – A Practical Guide to LLM Pitfalls with Open Source Software(souzatharsis.com)158 points by sebg 1 year ago | 26 comments
Scheming a mise-en-abîme in BQN(panadestein.github.io)38 points by todsacerdoti 1 year ago | 0 comments
λProlog: Logic programming in higher-order logic(lix.polytechnique.fr)149 points by ux266478 8 months ago | 36 comments
What is f(x) ≤ g(x) + O(1)? Inequalities With Asymptotics(jamesoswald.dev)36 points by ibobev 8 months ago | 26 comments
The soloists and populars of the software world(mihaiolteanu.me)5 points by molteanu 3 years ago | 0 comments