HackerTrans
TopNewTrendsCommentsPastAskShowJobs

l-mdev

no profile record

Submissions

Formally Verifying Peephole Optimisations in Lean

l-m.dev
26 points·by l-mdev·há 7 meses·9 comments

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

youtube.com
1 points·by l-mdev·há 7 meses·0 comments