Interview: Nobonoko, Master of the Minimal Sequencerfi-le.net60 points·by fi-le·قبل 4 أشهر·5 comments
You are going to get priced out of the best AI coding tools (2025)newsletter.danielpaleka.com80 points·by fi-le·قبل 4 أشهر·88 comments
Approaches to writing two-sentence journal entriesalexanderbjoy.com95 points·by fi-le·قبل 5 أشهر·14 comments
Nerve Agent Treatment – Autoinjector Instructionschemm.hhs.gov1 points·by fi-le·قبل 6 أشهر·0 comments
fi-le·قبل 8 أشهر·discussThank you! As the other commenters already figured out, I manually write HTML and use tufte.css with some minor customizations.
fi-le·قبل 8 أشهر·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 أشهر·discussDid anyone get confirmation that the form got sent? There is no feedback from pressing "submit" for me.