gilberto5757 + mit   34

We Need a New Science of Progress - The Atlantic
Humanity needs to get better at knowing how to get better.
progress  science  advocacy  mit 
7 weeks ago by gilberto5757
Making it easier to program and protect the web | MIT News
Adam Chlipala, an associate professor in MIT’s Department of Electrical Engineering and Computer Science and Computer Science (EECS) and Computer Science and Artificial Intelligence Laboratory (CSAIL), develops tools to help programmers generate and mathematically prove algorithms for cryptography, apps, and web services.
programming  theory  software  quality  security  mit  simplification 
11 weeks ago by gilberto5757

related tags

30years  activity  advocacy  ai  analog  anonimity  anonymity  anonymous  application  arithmetic  artificial  audio  automated  bigdata  block  blockchain  book  brain  builder  centralized  chat  child  choice  civilization  codeless  coding  collaboration  collective  comparison  compiler  computer  computing  control  course  crowdsourcing  data  decentralized  deeplearning  description  design  detector  development  discussion  draganddrop  education  educational  electroacoustic  encrypted  excessive  floss  framework  free  fusion  game  graduation  graph  hack  hardware  history  howto  html  human  imprecise  innovation  intelligence  interpreter  interruption  invention  irc  jargon  kid  kindergartener  language  learning  lisp  logo  machinelearning  mathematics  meaning  medialab  meter  mindstorms  mit  model  modular  multitasking  music  natural  nuclear  object  ocaml  online  ontology  opensource  optimization  parallel  performance  php  physical  preschool  preschooler  processing  programming  progress  project  pure  python  quality  randomization  reactor  reference  relational  remote  replacement  research  resnick  ruby  sat  scheme  science  scratch  secure  security  semantic  sicp  simplification  simulation  software  spreadsheet  structured  synth  task  teaching  template  theory  toddler  tor  tutorial  video  webapplication  word  wordprocessor  work 

Copy this bookmark:



description:


tags: