Prompt caching for cheaper LLM tokens(ngrok.com)

268 points by samwho 10 months ago | 67 comments

Test, don't just verify(alperenkeles.com)

180 points by alpaylan 10 months ago | 127 comments

In math, rigor is vital, but are digitized proofs taking it too far?(quantamagazine.org)

110 points by isaacfrond 7 months ago | 99 comments

Smalltalk, Haskell and Lisp(storytotell.org)

103 points by todsacerdoti 1 year ago | 48 comments

A Fake Shell for Pangenomics(cs.cornell.edu)

24 points by matt_d 4 months ago | 2 comments

Python’s Preprocessor(pydong.org)

375 points by rbanffy 2 years ago | 81 comments

Blog post explaining how Python source code encoding declarations (PEP 263) can be abused to implement a preprocessor that transforms code before execution.