Slashdot Mirror

← Back to Users

User: roba

roba's activity in the archive.

Stories
0
Comments
3
First seen
Last seen
Profile
(view on slashdot.org)

Comments · 3

  1. Re:Types on The Hundred-Year Language · · Score: 1
    Unfortunately, that is an undecidable (in the Turing sense) problem in the general case.
    Then get the programmer to provide proofs.
  2. Re:Grandma's curling iron on Are There Still Privacy Concerns With IPv6? · · Score: 1

    I don't think there is a 'manufacturer-field' part of the MAC. It's just that the numbers are given out in large blocks by the Grand High MAC council or whatever it is. Might be wrong though.

  3. Re:Modern day "Great Egg Race" on More Junkyard Wars · · Score: 1

    I think the Great Egg Race is still being repeated now on BBC Choice in the UK (if you've got digital). They don't repeat the whole program, just a ~15min shortened version though.