GOPHERSPACE.DE - P H O X Y
gophering on hngopher.com
HN Gopher Feed (2017-08-21) - page 1 of 10
 
___________________________________________________________________
Winning the War on Error: Solving the Halting Problem and Curing
Cancer [video]
47 points by cmeiklejohn
https://www.youtube.com/watch?v=MdmQUlD7P40
___________________________________________________________________
 
justifier - 1 hours ago
Link to another lecture by this lecture, mentioned mid op, where
the lecturer live codes an abstract interpreter like the one
discussed in the ophttps://youtu.be/POvX4hYIoxg
 
justifier - 2 hours ago
A fun recent example mitigating the halting problem came from an
affectionate troll level(o) in mario makerI'm unsure whether the
underlying implementation uses approximation techniques, as the op
suggests, or if Nintendo simply identified potential halting
offenders and added a layer of checks to overcome the intractable
issuenote: the clip is loud and includes the player yelling fuck;
in case that offends.. that said, the whole level playthrough is a
lot of fun(o) https://m.youtube.com/watch?v=Hg4OjsC3Ty8&t=1102
 
  sp332 - 2 hours ago
  I'm pretty sure it makes the level creator finish the level
  before they can upload it. They only have to manage it once
  though :)
 
    justifier - 2 hours ago
    Yeah, but this is about player death stead level completionIn
    the clip the level maker cleverly constructed a trap wherein
    the player gets stuck between two blocked doors which creates
    an infinite loop passing Mario back and forthThe game engine
    realises what is happening after the second pass and just kills
    Mario closing the loop
 
      sp332 - 1 hours ago
      Oh, I see what you mean now by mitigation.
 
    mpnordland - 2 hours ago
    True, but that's proving that the level can be finished.
    Proving the level will be finished is more analogous to the
    halting problem.
 
agumonkey - 1 hours ago
Talking about that, I feel obliged again to mention the work of
Damien Woods, Yannick Rondelez and Nicolas Schabanel who are
actually assembling DNA tiles implementing wang tile gliders (a la
game of life) and then "higher" primitives up to a nano Turing
complete machine.An odd feeling to watch his slides (I don't have
them as of now sadly)
 
  macawfish - 1 hours ago
  If you find them, I'd be interested in seeing them.edit: is it
  these ones?
  https://tapdance.inria.fr/woods/download/UCNC%202014%20Woods...
 
    agumonkey - 45 minutes ago
    The talk I saw was from Nicolas Schabanel only, and his
    presentation was aimed at undergrad so the content has a
    smaller scope. But I recognized some fundamentals in this (213
    pages!) PDF.Here's Schabanel website:
    https://www.irif.fr/users/nschaban/indexI don't think what I
    saw is published here, but you might enjoy his publications
    nonetheless