You are going to get priced out of the best AI coding tools (2025)newsletter.danielpaleka.com80 points·by fi-le·4 mesi fa·88 comments
Approaches to writing two-sentence journal entriesalexanderbjoy.com95 points·by fi-le·5 mesi fa·14 comments
fi-le·8 mesi fa·discussThank you! As the other commenters already figured out, I manually write HTML and use tufte.css with some minor customizations.
fi-le·8 mesi fa·discussEvals for programming languages with formal verification. It's not clear how far we are from good coding performance in less popular languages in general, and formal verification has some quirks on top also.
fi-le·10 mesi fa·discussDid anyone get confirmation that the form got sent? There is no feedback from pressing "submit" for me.