HackerTrans
TopNewTrendsCommentsPastAskShowJobs

nilradical

no profile record

Submissions

A simple ray tracer in Lean 4

github.com
53 points·by nilradical·قبل 5 سنوات·28 comments

comments

nilradical
·قبل 4 سنوات·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 سنوات·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.