RSS

MakoYass

Karma: 1,393

interactive system design http://​​aboutmako.makopool.com

Is progress in ML-as­sisted the­o­rem-prov­ing benefi­cial?

MakoYass28 Sep 2021 1:54 UTC
10 points
2 comments1 min readLW link

Auck­land, New Zealand – ACX Mee­tups Every­where 2021

MakoYass23 Aug 2021 8:49 UTC
6 points
0 comments1 min readLW link

Think­ing of our epistem­i­cally trou­bled friend

MakoYass17 Aug 2021 10:33 UTC
5 points
10 comments1 min readLW link

Con­tin­u­ous Minor­ity Elimination

MakoYass29 Jul 2021 9:29 UTC
6 points
3 comments2 min readLW link