fi-le

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

9 tháng trướcdiscuss

Done, thank you!

fi-le

9 tháng trướcdiscuss

Hi, thanks! If someone posts better translations I will update them.

fi-le

10 tháng trướcdiscuss

Did anyone get confirmation that the form got sent? There is no feedback from pressing "submit" for me.

Submissions

Counting ArXiv Delays

In Praise of Observational Evidence

Measuring Is Not Enough Anymore

Printing Blogs

The Harvard Library Passport

For and Against Degrowth

Interview: Nobonoko, Master of the Minimal Sequencer

You Can Stop Marrying for Genes

You are going to get priced out of the best AI coding tools (2025)

Securing AI Model Weights

Programmable Cryptography (2024)

Spell Checking a Year's Worth of Hacker News

Approaches to writing two-sentence journal entries

How Much of AI Labs' Research Is Safety?

Existential Risk and Growth [pdf]

Travel Is Not Education

Nerve Agent Treatment – Autoinjector Instructions

Casuistic Alignment

The Hum

Coding Intelligence Asymptotics

comments