You are going to get priced out of the best AI coding tools (2025)newsletter.danielpaleka.com80 points·by fi-le·4 ay önce·88 comments
Approaches to writing two-sentence journal entriesalexanderbjoy.com95 points·by fi-le·5 ay önce·14 comments
fi-le·8 ay önce·discussThank you! As the other commenters already figured out, I manually write HTML and use tufte.css with some minor customizations.
fi-le·8 ay önce·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 ay önce·discussDid anyone get confirmation that the form got sent? There is no feedback from pressing "submit" for me.