Viewing profile — fluffypony

lolwut. There is no specialised verification function.

Hmmm. That's not the reason we changed it. We just got tired of tweaking things to prevent ASICs. I'll add that there was such a large influx of miners at the outset, that (statist…

Thanks! Bumpr was good in its day; sad to see it drift. Tracker list is fully editable. Preferences > Advanced > Tracker Parameters lets you add, remove, or disable any entry; rule…

Author here. Yojam sits in place of your default browser on macOS and intercepts every http/https click, mailto, .webloc, Handoff page, AirDrop link, Share menu item, and yojam:// …

I don't want to gush about this too much, but it's SUCH a big deal. Graphene has languished with hardware support for so long - they basically only had Pixel devices as first-class…

I wonder if they're going to prevent people buying GH stars to get this?

I spent a lot of time 25 years ago learning to love BSD in general, but FreeBSD in particular. I tried to make DragonflyBSD my desktop OS for a time. It’s sad how little love BSD g…

Agree with this. The punchline here is not "dependent types bad", it is "choose your battles". Isabelle/HOL pushed frighteningly far without proof objects or dependent types, from …