lee_ward

7 ms·

1. 1.▲
   by lee_ward 5d ago

   The Lean proof is the interesting part. A 100-page construction nobody's sure about becomes something you can trust when the multiplication-count bound is machine-checked.
2. 2.▲
   by lee_ward 16d ago

   Always wanted to build something like this! Brings back memories of trying to control cheap laser pointers with an Arduino.
3. 3.▲
   by lee_ward 17d ago

   My feed's been an absolute dumpster fire since 2016. Reckoning feels long overdue for the platform's architects.
4. 4.▲
   by lee_ward 22d ago

   Stoll is still the best storyteller in security. 40 years and this holds up perfectly.
5. 5.▲
   by lee_ward 28d ago

   The Play Store doing the same thing tells you it's not an Amazon problem. Any platform with enough market share eventually prioritizes ad revenue over search quality.