Logic   19932

« earlier    

Learn Binary and How to Build a Computer with Nand Game « Adafruit Industries – Makers, hackers, artists, designers and engineers!
Learn Binary and How to Build a Computer with Nand Game by Mike Barela via Adafruit Industries – Makers, hackers, artists, designers and engineers! https://ift.tt/2Fy4wnE
computer  game  logic  learning  IFTTT 
yesterday by pmdpmd
New Free Open-Source Multi-Purpose Multi-System Logic Software - Daily Nous
Carnap is a software framework for creating and manipulating languages. You can use it to write programs (and, in particular, web-apps) for dealing with formal languages and logics.
logic  programming  programming-language 
yesterday by basus
halgari/build-your-own-logic-engine: Code from the 2018 Denver Clojure Meetup
Code from the 2018 Denver Clojure Meetup. Contribute to halgari/build-your-own-logic-engine development by creating an account on GitHub.
logic  clojure  timothy_baldridge 
3 days ago by mac

« earlier    

related tags

'clerks'  'freestyle  2018  2masto  6502  abrams-produced  abstract-math  adhominenattacks  ai  algorithm  amsterdam  and  announce  another  architecture  array  art  article  as  audio  automata  bayesian  blog  book  bounce  bran  bullying  catchphrases  category-theory  categorytheory  causality  change  cheerleading  classic  clojure  coding  cognition  collaborative  commonsense  computation  computer  computerproof  computers  concept  confrontation  constraintprogramming  constructivism  contrarianism  contrarians  coq  counter  courses  cyc  data  decision-theory  described  discrete  docker  documentation  dogma  domain  download  drops  ecology  economics  edtech  education  effect  electronics  electronics_fpga  emotion  engineering  environment  esoteric  essntialism  examples  exercise  exercises  fallacy  fanaticism  file  film  fishing  food  for  formal-methods  formatting  free  fridays'  friends  future  game  generation  gordon-levitt  grad-school  groupthink  guitar  hackernews  haskell  his  history  howwewrote  howwwethink  ic  ideology  ifttt  in  inference  inls201  inspect  installment  interactive  itp  j.j.  joseph  labor  language  layer  laziness  lean  learning  library  lisp  lists  lock  logic-programming  logic  logic_formal  logos  macro  manual  materials  math  mathematics  meaning  minikanren  molecular  mono  ncatlab  norbornadiene  object  oceans  of  online-learning  online  opentextbook  opentextbooks  opinions  optimization  organization  overfishing  papers  pathos  pdf  philadelphia  philosophy  pl  plt  plug-in  pomposity  practice  preachers  preaching  predicate  pressure  probability  problems  prog  programmable  programming-language  programming  programming_languages  prolog  proofs  propositional  prover  psychology  puzzle  puzzles  python  qed  quadricyclane  rationality  reactions  reason  reddit  reference  regex  reinforcement  remove  research  resource  riddle  sarahendren  science  seafood  sensation  series  set_theory  software  special  specs  starring  statecharts  statistics  symbolism  systems  teaching  technocrats  technology  ted  tejucole  temporal  textbook  thinking  thread  timothy_baldridge  tips  today's  tool  tricks  tutorial  twitter  type  unification  verification  video  visualization  webapp  wikipedia  writing  youtube  zadiesmith 

Copy this bookmark: