fluffypony

3 ms·

1. 1.▲
   by fluffypony 5mo ago

   lolwut. There is no specialised verification function.
2. 2.▲
   by fluffypony 5mo ago

   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 (statistically) it seems any crippling of the original alg
3. 3.▲
   by fluffypony 6mo ago

   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; rules are plain strings or regex, and they apply globally
4. 4.▲
   Show HN: Yojam – Route links to the right browser/profile, strip trackers first(github.com)

   4 points by fluffypony 6mo ago|2 comments
5. 5.▲
   by fluffypony 7mo ago

   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 citizens, which are not bad devices per se, but i
6. 6.▲
   by fluffypony 7mo ago

   I wonder if they're going to prevent people buying GH stars to get this?
7. 7.▲
   by fluffypony 11mo ago

   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 gets nowadays…especially given how much of modern iOS /
8. 8.▲
   by fluffypony 11mo ago

   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 schemes to BSG, and never hit the m