| Subject | Datestamp | Replies | Score | |||
|---|---|---|---|---|---|---|
| An introduction to a proof assistant (Lean) | ||||||
| attached to Mathematicians Welcome Computer-Assisted Proof in 'Grand Unification' Theory | ||||||
| Re:I have yet to see a good shared whiteboard | ||||||
| attached to Ask Slashdot: What Features Would Your Ideal Telework Systems Incorporate? | ||||||
| Re:Battery life | ||||||
| attached to A Mobile Phone Mesh That Can Survive Carrier Network Failure | ||||||
| When marketing chooses version numbers... | ||||||
| attached to Do Software Versions Really Matter? | ||||||
| And the winners are... | ||||||
| attached to Green Cars You Can't Buy | ||||||
Ya'll hear about the geometer who went to the beach to catch some rays and became a tangent ?
