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 | ||||||
Remember: Silly is a state of Mind, Stupid is a way of Life. -- Dave Butler