Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Formalizing Text Editors in Coq. Parent comment
A good example is this gorgeous paper about grid-free methods for geometry processing: https://www.cs.cmu.edu/~kmcrane/Projects/MonteCarloGeometryP...
Yes, it uses greek symbols, but it's referencing mathematical concepts of geometry and the associated algebra. Hence, this is appropriate.
But that paper balances this out with illustrative diagrams and renderings. In full colour! Showing practical applications!
It's just beautiful. I wish more papers were like this one...
There are no comments on this comment yet.
A good example is this gorgeous paper about grid-free methods for geometry processing: https://www.cs.cmu.edu/~kmcrane/Projects/MonteCarloGeometryP...
Yes, it uses greek symbols, but it's referencing mathematical concepts of geometry and the associated algebra. Hence, this is appropriate.
But that paper balances this out with illustrative diagrams and renderings. In full colour! Showing practical applications!
It's just beautiful. I wish more papers were like this one...