HackerTrans
TopNewTrendsCommentsPastAskShowJobs

nilradical

no profile record

Submissions

A simple ray tracer in Lean 4

github.com
53 points·by nilradical·il y a 5 ans·28 comments

comments

nilradical
·il y a 4 ans·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
·il y a 5 ans·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.