computing   52894

« earlier    

Boolean Logic in Polynomials | Math ∩ Programming
Discussion: This trick is used all over CS theory to embed boolean logic within polynomials, and it makes the name “boolean algebra” obvious, because it’s just a subset of normal algebra.

Moreover, since boolean satisfiability—the problem of algorithmically determining if a boolean formula has a satisfying assignment (a choice of variables evaluating to true)—is NP-hard, this can be used to show certain problems relating to multivariable polynomials is also hard. For example, finding roots of multivariable polynomials (even if you knew nothing about algebraic geometry) is hard because you’d run into NP-hardness by simply considering the subset of polynomials coming from boolean formulas.
boolean-networks  computing  representation  have-written-about  to-write-about-more  mathematical-recreations  consider:cellular-automata 
yesterday by Vaguery
Eyeo 2017 - Robin Sloan on Vimeo
"Robin Sloan at Eyeo 2017
| Writing with the Machine |

Language models built with recurrent neural networks are advancing the state of the art on what feels like a weekly basis; off-the-shelf code is capable of astonishing mimicry and composition. What happens, though, when we take those models off the command line and put them into an interactive writing environment? In this talk Robin presents demos of several tools, including one presented here for the first time. He discusses motivations and process, shares some technical tips, proposes a course for the future — and along the way, write at least one short story together with the audience: all of us, and the machine."
robinsloan  writing  howwewrite  neuralnetworks  computing  eyeo  eyeo2017  2017 
yesterday by robertogreco
Storage Spaces Overview
Storage Spaces enables cost-effective, highly available, scalable, and flexible storage solutions for business-critical (virtual or physical) deployments. Storage Spaces delivers sophisticated storage virtualization capabilities, which empower customers to use industry-standard storage for single computer and scalable multi-node deployments. It is appropriate for a wide range of customers, including enterprise and cloud hosting companies, which use Windows Server for highly available storage that can cost-effectively grow with demand.
Windows  PC  PCGaming  Technology  Virtualization  Computers  Computing  HDDs  HardDrives  EHD  SSDs  Reference  Microsoft  Windows8  Windows10 
2 days ago by dk33per
The Father Of Mobile Computing Is Not Impressed
He influenced Jobs and dreamed up a digital future designed for learning and thinking. Fifty years on, Alan Kay is still waiting for his dream to come true.
apple  computing  education 
3 days ago by soobrosa
Is This Real Or Are We Living In A Simulation? - Digg
If we assume that super-advanced civilizations like to run simulations, then yes, chances are we are living a simulated reality.
philosophy  Computing 
3 days ago by jorgebarba
The Father Of Mobile Computing Is Not Impressed
He influenced Jobs and dreamed up a digital future designed for learning and thinking. Fifty years on, Alan Kay is still waiting for his dream to come true.
apple  computing  education  alankay  technology  iphone 
4 days ago by lkovanen
The Benefits of Secure Remote Access for Your Law Firm
With internet access and the proper technology, associates, partners, and other staff can all work remotely.
remote  office  secure  access  cloud  computing 
4 days ago by Adventure_Web
Waymo and Intel Join Forces to Create New Waymo Autonomous Vehicles
Waymo and Intel has just announced that both company will work together to build the newest Waymo autonomous vehicles. Waymo’s in-house designers will design and build the entire Chrysler Pacifica minivan hybrid by themselves. Meanwhile, Intel will provide the computing technology as well as the most advanced processors that can be used in Waymo’s platform.
self-driving  cars  Waymo  autonomous  vehicles  Chrysler  Pacifica  computing  technology  with  Intel 
4 days ago by dennyfar

« earlier    

related tags

2  2017-09-18  2017-09-20  2017-09-22  2017-09-24  2017  a-level  access  ai  alan-kay  alan  alan_kay  alankay  algo  algorithm  align  amd  analysis  and  apple  application  architecture  articles  artificial-intelligence  artificialintelligence  atlantic  audio  automata  autonomous  bad.stock.photography  beamer  biography  bit-tech  blank  blockchain  books  boolean-networks  boundaries  boundary-policing  brain  business  cars  character  chrysler  cloud  cms  code  coding  commandline  computation  computer-science  computer  computers  computers_and_internet  conflict-free  consider:cellular-automata  cool  cpu  critcode  culture  data  datascience  daw  debugging  decentralised  decompiling  delicious  design  dev  development  disc  distribuited  distributed  diy  dna  dominoes  drupal  dvd  e  economics  edit  editor  education  ehd  ellison  emit  encoding  engineering  entrepreneurship  epochalypse  ethereum  ethics  event-driven  event  events  excellent  experience  extract  eyeo  eyeo2017  father  foundation  fractal  fraud  functional  funny  gartner  gcse  german  graphic  great  guide  harddrives  hardware  have-written-about  hdds  history  hn  howto  howwewrite  hp  hypercard  identity  ifttt  inls201  intel  intellectual  interview  iot  ipad  iphone  java  javascript  kay  kids  ks3  ks4  ks5  lamport  language  latex  learn  learning  leo  leslie  lisp  list  load  machine  math  mathematical-recreations  media  medium.is.the.message  microsoft  midi  minsky  mobile  module  montessori  motherboard  multiple  music  mykko  mywpcreation  native  net_freedom  neuralnetworks  news  nytimes  office  online  os  pacifica  papert  parallel  patch  pc  pcgaming  pdf  pedagogy  people  performance  philosophy  pianoroll  pocket  politics  privacy  programming-languages  programming  quantum  question  quote  raspberrypi  reference  remote  replicated  representation  resources  reverse  robinsloan  satire  schemas  secure  security  self-driving  semiotics  sequencer  server  simultaneous  slashdot  social-science  sociology  software  ssds  standards  stevejobs  stories  stuff_i_own  sun  superuser  sysex  teaching  tech  technical  technology  text  textbooks  thinking  thought  timestamps  to-write-about-more  tools  top  track  transform  transliteration  tweetit  type  ui  unicode  unix  vehicles  video  virtualization  visualization  waymo  web  webcomic  windows  windows10  windows8  with  workstation  writing  x11  xeon  xkcd  xwindows  y10  y11  y2k  y7  y8  y9 

Copy this bookmark:



description:


tags: