logic   20118

« earlier    

Why I Prefer Dynamic Typing Over Static Typing (2017) | Hacker News
What a bizarre argument. You could replace "static" with "dynamic" and you would have an equivalent argument that would just as strongly (i.e., in fact, weakly) argue against dynamic typing. This logical hole is obvious enough to drive a bus through. I don't understand how the author wouldn't have noticed it.
28 minutes ago by sh
>> 74HCT125N from NEXPERIA >> Specification: IC, 74HCT CMOS, 74HCT125, DIP14, 5V.
logic  3.3v  5v  level  arduino  electroincs 
yesterday by choffee
The Declarative Imperative: Experiences and Conjectures in Distributed Logic | the morning paper
The Declarative Imperative: Experiences and Conjectures in Distributed Logic - Hellerstein 2010. This paper is an extended version of an invited talk that Joe Hellerstein gave to the ACM PODS conference in 2010. The primary audience is therefore database researchers, but there's some good food for thought for the rest of us in there too.…
distributed  logic  paper  toread 
yesterday by joshuathayer
GitHub - klaussinani/awesome-prolog: ⚡️ Curated list of Prolog packages and resources
⚡️ Curated list of Prolog packages and resources. Contribute to klaussinani/awesome-prolog development by creating an account on GitHub.
prolog  resource  list  logic  programming  awesome 
10 days ago by gilberto5757

« earlier    

related tags

"ayy"  10  2019  3.3v  5v  advice  agda  ai  algorithm  all  alloy  americana  analyzer  and  apple  architecture  arduino  argument  audio  awesome  backtracking  berner  black  blog  book  books  boston  busblaster  business  buspirate  c++  calling  cheatsheet  circuits  classification  clojure  clojurescript  code  collab  computation  computer-science  computer  computerscience  computing  conditionals  connect  content  coolstuff  coq  cpu  cs  data-structures  data  database  databases  debate  debugging  deeplearning  denotational-semantics  dependent-types  descriptionlogic  design  dev  development  dialog  dijkstra  distributed  ebook  education  electroincs  electronics  embedded  facebook  failure  features  for  formal_methods  formalmethods  fpga  framework  free  functional-programming  functional  game  games  gametheory  gates  general-relativity  godel  hanabi  handlebars  hardware  haskell  historia  history  hoare  howto  idris  indexed  indexing  install  intro  issue  joins  keyboard  keyboard_shortcuts  keycommands  learning  level  lisp  list  logic-magazine  logicprox  logicsniffer  machinelearning  macs  magazine  maps  math  mathematics  maths  military  minikanren  models  monoid  more  mozzy  multi  music  mvc  nan  new  odin  on  ontology  organization  osshardware  owl  paper  pattern  pdf  pellet  people  persuasion  philosophy  pi  plt  pm  politics  pro  probability  programming  prolog  prompts  proof  puzzle  puzzles  python  query  rails  raspberry  rationality  read-later  reasoned-schemer  reasoner  reasoning  recording  reference  reinforcementlearning  research  resource  rewriting  ruby  rust  sandpile  sanity  science  scott  sep  sigrok  simulation  sisters  sniffer  software  spacetime  sql  ssd5  star  strategy  sys  sysex  tapped  tdd  technology  term  testing  theorem-proving  thinking  tips-and-tricks  tla+  to_read  toread  towatch  transformation  travis  trends  trusted_computing  turing  tutorial  tweetit  twins  type-theory  user  users  verification  verifier  video  videos  web  with  would_your_sister  x  yg  zachary.tatlock 

Copy this bookmark: