turingmachine   105

« earlier    

Business Card Turing Machine | Programming Praxis
We have something unusual today: a turing machine built from a business card that I learned about on Reddit. I immediately stopped and built my own, and had a lot of fun, and I suspect many of my readers will feel the same way.

march 2019 by alligin
GitHub - 0novanta/nondeterministic-turing-machine-simulator: This program implements a nondeterministic Turing machine simulator in C.
This program implements a nondeterministic Turing machine simulator in C. - 0novanta/nondeterministic-turing-machine-simulator
turingmachine  simulator  opensource  floss 
january 2019 by gilberto5757
On The Turing Completeness of MS PowerPoint- Tom Wildenhain
"Given PowerPoint's versatility and cross-platform compatibility (offering Microsoft branded support for mobile devices and the two commercially relevant desktop operating systems), some have asked whether any other applications are necessary at all, or if all computational tasks can be accomplished the the creation of dedicated .pptx files. This research aims to definitively answer these questions in the affirmative through the creation of a PowerPoint Turing Machine (PPTXTM), proving PowerPoint to be exponentially more capable than competing slideshow editing software."
powerpoint  turingmachine  tomwildenhain  via:iamcal  paper  pdf 
september 2018 by danhon
{λ way}
lambdaway is built on a wiki engine, lambdatank, and a small Lisp dialect, lambdatalk.
turingmachine  implementation  lisp  lambda 
january 2018 by gilberto5757
The Turing Machine: let’s rethink how software works
It was the middle of the second world war, Europe was under siege and while the allied forces were able to intercept radio traffic communication, they could not make any sense of the information…
turingmachine  intro  modern  software  development  influence  problem  decomposition 
september 2017 by gilberto5757
Online Turing Machine Simulator
Interactive Turing machine simulator. Use a simple language to create, compile and run your Turing machines save and share your own Turing machines.
turingmachine  focs 
december 2016 by osteele

« earlier    

related tags

ackermannsequence  ai  ait  alan_turing  alanturing  algorithm  algorithmic  algorithmicinformationtheory  algorithms  allanbrady  alonzochurch  amsterdam  andreykolmogorov  archimedes  argo  arithmetic  arresteddevelopment  article  automata  awesome  axiomaticmethod  beautiful  berryparadox  bertrandrussell  blackbox  blog  blogshare  board  bombe  brainfuck  burali-fortiparadox  busybeaver  by:gregchiatin  by:scottaaronson  c  ca  calculi  calculus  candy  chaitin  chrisrathman  chu-carroll  clojure  code  comic  comics  completeness  complexity  compsci  computability  computation  computer  computer_science  computers  computerscience  computing  conway  cool  cpu  cs  cwi  davidhilbert  davylandman  decidability  decidable  decomposition  deeplearning  deepmind  design  development  dice  discussion  diy  dna  documentary  douglashofstadter  drawing  dwarfforress  emulator  entscheidungsproblem  ethereum  floss  focs  for  formalism  foundations  fun  funny  gadget  game  games  geek  georgcantor  georgeuhing  girlwiththedragontattoo  gjchaitin  godel  godelincompletenesstheorems  gregorychaitin  gregoryjchaitin  hacking  halt  halting  haltingproblem  hardware  haskell  heinermarxen  hilbert'sprogram  history  holland  humans  humor  implementation  imported  incompleteness  inference  influence  information  informationtheory  instaliciousd  instructions  interpreter  intro  jastex  java  javascript  jeroenvandenbos  johntromp  js  jurgenbuntrock  kolmogorov  kolmogorovcomplexity  kurtgodel  lambda  lambdacalculus  language  latex  lc  lego  leibniz  life  lisp  liwc  logic  ltu  machine  magic  magicthegathering  make  markcchu-carroll  markchu-carroll  math  mathematics  mathmatics  mechanics  meta  metamathmatics  microsoft  minsky  minskymachine  model  modern  moore'slaw  mtg  musicthingmodular  nerd  nerdy  netherlands  neuralnetworks  neuralturingmachines  np  npcomplete  nphard  opensource  p  p=np  paper  pdf  peteashton  pharo  philosophy  physics  pinstagram  platform  post  powerpoint  practice  problem  programming  proof  python  quantummechanics  racket  random  raysolomonoff  recursion  rel:01999  rel:02000  replication  retrogames  retrotech  robot  rosettacode  ruby  russellparadox  science  sculpture  settheory  shenlin  simulator  skewes'number  software  spreadsheet  stephenkleene  stephenwolfram  t1000  tech  technology  tensorflow  tex  theoretical  theory  thought  thread  tiborrado  tm  tomwildenhain  towatch  tryit44  turing  turing_machine  turing_test  turingcomplete  turingcompleteness  turingequivalent  turingtest  utm  vactrolmix  video  visualization  wat  webcomic  wilhelmackermann  wolfram  worldbackupday  xkcd  youtube 

Copy this bookmark: