HackerTrans
TopNewTrendsCommentsPastAskShowJobs

l-mdev

no profile record

Submissions

Formally Verifying Peephole Optimisations in Lean

l-m.dev
26 points·by l-mdev·il y a 7 mois·9 comments

Randomx.js: Bringing Webmining Back from the Grave [video]

youtube.com
1 points·by l-mdev·il y a 7 mois·0 comments