Survival LLM: AI assistant and emergency library that runs on your own computerbrangus.io·525 pts·Luc·194
Visual Lean: An experimental graphical user interface for writing Lean codeleangame.autumnofautumn.com·1 pts·Luc·0
I Want to Build a Sandboxed, Cross-Platform Software Distribution Systempointersgonewild.com·3 pts·Luc·0
Attention is all we have: A conjectural theory of cognitive inequalitydavidbessis.substack.com·4 pts·Luc·0
Disintegration Fingerprinting: Tool to Identify Falsified Solid-Dosage Medicinesmedrxiv.org·2 pts·Luc·0