constraints   1902

« earlier    

Massachusetts natural gas hookups off limits in more towns - Boston Business Journal
As proposals to build new pipelines and related infrastructure meet opposition from community leaders and environmental activists across Massachusetts, gas companies have frozen new gas hookups several communities citing a lack of pipeline capacity.
BostonBusinessJournal  naturalgas  constraints 
8 weeks ago by eversourcenh
SMT Solving on an iPhone — James Bornholt
Why buy an expensive desktop computer when your iPhone is a faster SMT solver?
computers  constraintprogramming  constraints  phones  apple  comparch 
10 weeks ago by pozorvlak

« earlier    

related tags

2015  abc7  abstraction  accounts  aesthetics  agents  alghoritm  algorithms  ambiguous  angles  apple  architecture  art  auto  autolayout  basketball  bdnmaine  bidirectional  body  bootstrapping  bostonbusinessjournal  bottlenecks  builder  bulletjournal  business  cad  cameras  canvas  cassowary  charles-barkley  chat  check  child-centred  choco  choice  civilization  cms  coaching  cocoa  code  coding  cold  collaboration  collision  communication  communities  comparch  comparison  complexity  computation  computers  computerscience  consider:performance-measures  consistency  constraint  constraintprogramming  context  contexts  control  controls  creative  creativity  cs  csp  css  culture  cynefin  database  debrief  design  developer  development  devops  diagram  difficulty  dimensions  directors  django  documentation  drools  economics  editing  education  edulap  energy  energycosts  enr  favorites  flow  football  foreign  formal  formal_methods  formalization  formalmethods  fuelsecurity  game  games  gender  generic  geometry  github  goal  golang  goldratt  graphics  gui  guide  haskell  how_we_work  howwework  ide  ideas  ik  information  infrastructure  inspiration  interface  interfacebuilder  inverse  ios  irc  iso-ne  issue  iteration  james  java  javascript  jordan_moore  js  k8s  kallanishenergy  key  kinematics  kubernetes  language  larp  layering  layout  layoutengine  learning  lessons  library  load  logic  macos  management  math  microservices  minimalism  mipsytipsy  moderation  molly  motivation  multiparadigm  music  mvp  mysql  naturalgas  navigation  navmesh  nhjournal  noise  non-linear_pedagogy  northernpass  o-ed  objective-c  okd  op-ed  openradar  openshift  optaplanner  optics  optimization  originality  overload  overview  paper  papers  parameters  participation  pathfinding  permisisons  person  philosophy  phones  photography  pipelines  planning  play  pod  poetics  positive  postgresql  product  productivity  products  programming  projects  proof  protocols  publishing  python  race  radar  rails  rather-interesting  rdar  re  reference  reliability  requirements  research  resilience  rtoinsider  rules  sat  satisfied  scalability  scale  scc  scope  scoping  scrum  security  service  size  sketchpad  small  smt  socialmedia  software  solve  solver  specifications  sports  spreadsheet  sql  stack  stackoverflow  steph-curry  strategies  strategy  style  summary  svg  swift  synthesis  techleads  technology  text  theory  time  timesunion  tinycontstraints  tips  to-write-about  todos  tolearn  toread  tounderstand  transitive  travel  triangulation  tutorial  type  types  ui  uicollectionview  uikit  uiscrollview  uistackview  university  ux  validation  variance  verification  views  visual  visualization  wallstreetjournal  warmup  washingtonexaminer  webapp  webdev  wnba  workshop  writing  xcode  xcode10  xcodebug  youth  z3 

Copy this bookmark: