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.