1.
A Lean-Checked Ethereum Verification Benchmark
Lean-checked tasks turn Ethereum verification into a benchmark you can actually trust
@Th0rgal_ on Backlist
2 appearances on the backlist front page in the last 30 days.
11.
An Oura Ring Reversed Into a Computer Controller (x.com)
Streaming raw accelerometer data from a wearable turns a consumer device into a control surface