computation   3941

« earlier    

NP-hard does not mean hard – Math ∩ Programming
P.S. The class of problems solvable in a finite amount of memory is just the class of regular languages. The “finite memory” is the finite state machine used to solve them.
computation  np  completeness  philosophy  compsci 
7 days ago by stungeye
Wolfram Notebooks: Environment for Technical Workflows
Powerful interactive document that supports live computation, dynamic interfaces, full typeset input, image input, automatic code annotation, high-level programmatic interface, thousands of functions and options.
wolfram  notebooks  science  computation  cloud  jupyter  notebook  compare  datascience  visualization  programming  mathematics  education 
4 weeks ago by orlin
Blockly  |  Google Developers
A JavaScript library for building visual programming editors.
google  computation  language 
5 weeks ago by backspaces
Scratch - Developers
Scratch for Developers
On this page, you’ll find information about open source projects created and maintained by the Scratch Team at MIT, as well as our thoughts on best practices for designing learning experiences for children.
Google Blockly
language  computation 
5 weeks ago by backspaces
Let’s pretend this never happened – Rococo Modem Basilisk – Medium
"The Macintosh looms large because it was so influential, but everything good about GUIs came through the Macintosh from the Alto, while almost everything bad about GUIs comes from mistakes that were made by the Macintosh team and later spun by marketing materials as intentional. [...] The most useful thing we can do, when trying to imagine a desirable future for computing, is to try to forget the entire Macintosh legacy and send our minds back to 1976."
computation  computers  history  ux  ui 
5 weeks ago by aparrish
Computational Trinitarianism
"The central dogma of computational trinitarianism holds that Logic, Languages, and Categories are but three manifestations of one divine notion of computation. There is no preferred route to enlightenment: each aspect provides insights that comprise the experience of computation in our lives.

Computational trinitarianism entails that any concept arising in one aspect should have meaning from the perspective of the other two. If you arrive at an insight that has importance for logic, languages, and categories, then you may feel sure that you have elucidated an essential concept of computation–you have made an enduring scientific discovery." (Harper)
ncatlab  computation  logic  category-theory 
5 weeks ago by abstresma

« earlier    

related tags

2015  2016  2018  @article  @comparison  @concept  @example  @howto  adaptability  adaptive  aestheics  aesthetics  age  ai  algorithms  amazon  announcement  approximation  art  article  artificial-intelligence  artificialintelligence  artificialintelligent  arxiv  authority  automata  automation  avx  ballistic  bias  bibliography  big-surf  bigdata  biggest  biological  biopolitics  body  book  bookreview  books  books:noted  boundedrationalism  bpp  bqp  brains  bratton  bridle  butterfly  c++  cameras  capitalism  category-theory  cellular-automata  challenges  chemtrails  ciphering-books  city  classideas  climate  clojure  cloud  cloudcomputing  code  coding  cognition  collapse  colonialism  come  communication  compare  completeness  complexity  compsci  computational-essay  computational-math  computationalcreativity  computationalthinking  computer-science  computer  computers  computing  concurrency  confusion  consciousness  consistency  conspiracytheories  constraints  control  controls  cool  cosma-shalizi  course  cpu  crab  cryptocurrency  cryptography  cs  culture  dark  darkage  data-driven-law  data  datascience  decolonization  democracy  deportation  deschooling  dev  digital_fabrication  discipline  discovery  displacement  distributed  dreams  drugs  duplo  dynamical_system  dynamical_systems  dynamicland  economics  editing  education  electronics  email  energy  energycirculation  engineering  enlightenment  equality  erc  esb6  essay  essays  ethics  explanation_by_mechanisms  exploitation  expression  fabric  facts  favorites  feminism  figuring  floating-point-numbers  flow  folding  folkliterature  foreden  gate  generation  generative  geo  geometry  gis  global  globalization  godel  google  gpu  graph  graph_theory  graphics  haimsteinback  hardness  hardware  helen  hiearchical  history  hn  howwethink  hpc  htm  human  hybrid  hypertext  i9  immersive  imperialism  incompleteness  indifference  industrial  inequality  information  infrastructure  intel  intelligence  internet  james  jamesbridle  javascript  john-baez  johnruskin  js  juliaweist  jupyter  knowledge  labor  lambda-calculus  landasplatform  language  largest  layering  learning  libraries  lillyirani  linearalgebra  linux  literature  logic  logical  low-light  lower-bounds  lucyraven  machine-learning  machine  machinelearning  markets  math  mathematics  mechanicalturk  meshing  metaphor  migration  military  ml  model  modeling  molecules  mpc  narrative  ncatlab  networth  new  newdarkage  news  nibble  nonequilibrium  notebook  notebooks  np  numbers  numericalcomputing  oakland  objectivity  online  open-problems  opinion  optics  optimization  org:inst  org:mag  org:sci  origami  overknowing  p  paper  parameters  patents  peterwatts  pharmaceutical  philosophy  photograph  photography  physical  physics  plagiarism  politics  polynomial  popsci  populism  power  powerpoint  pritchard  problems  problemsolving  process  processing  programming  promise-future  proofs  qc  quantification  quantum  quantuminfo  queerness  questions  rand-approx  raymond  reality  realtime  research  residual  resne  resource  science  sciencefiction  scientificcomputing  scott.aaronson  sdp  search  sense  seo  simd  simplification  simulation  simulations  smullyan  software  soldier  solvability  solver  spherical  stack  statistics  stats  stencil  stochastic  storytelling  strange  strangest  style  subversion  surveillance  swarm  system  systems  systemsthinking  tcs  technology  telecommunications  text  textiles  theodoradorno  theory  thermodynamics  thestack  thinking  thought  time  to  to:nb  to_be_shot_after_a_fair_trial  toc  tools  toys  trains  transreal  trevorpaglen  triangular  trust  turing  turingcomplete  turker  ubicomp  ugc  ui  understanding  unschooling  utopia  ux  variance  video  violence  visual  visualization  war  weather  weaving  web  wolfram  workflow  writing 

Copy this bookmark: