MathJax: Beautiful and accessible math in all browsers(mathjax.org)199 points by peter_d_sherman 3 years ago | 74 comments
Carnap – A formal logic framework for Haskell(carnap.io)97 points by ravenical 10 months ago | 20 comments
The 100 hour gap between a vibecoded prototype and a working product(kanfa.macbudkowski.com)219 points by kiwieater 7 months ago | 291 comments
Do we really need a specialized vector database?(modelz.ai)111 points by gaocegege 3 years ago | 73 comments