You are going to get priced out of the best AI coding tools (2025)newsletter.danielpaleka.com80 ポイント·投稿者 fi-le·4 か月前·88 コメント
fi-le·8 か月前·議論Thank you! As the other commenters already figured out, I manually write HTML and use tufte.css with some minor customizations.
fi-le·8 か月前·議論Evals 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 か月前·議論Did anyone get confirmation that the form got sent? There is no feedback from pressing "submit" for me.