HackerTrans
TopNewTrendsCommentsPastAskShowJobs

nilradical

no profile record

Submissions

A simple ray tracer in Lean 4

github.com
53 points·by nilradical·5 tahun yang lalu·28 comments

comments

nilradical
·4 tahun yang lalu·discuss
get in touch with the aus psychedelic society. they can't assist you directly, but someone in the community will point you in the right direction

https://www.psychedelicsociety.org.au/contactus
nilradical
·5 tahun yang lalu·discuss
wonderful! hopefully this addition helps people to wake to the reality that python is a convoluted , unprincipled, unintelligent sluggish steaming pile of turd of a language . Python and javascript need to die.