programming   1306571

« earlier    

Binder (beta)
This seems like it would be great for creating a data science portfolio.
github  python  notebook  programming  datascience  useful  presentation  portfolio 
37 minutes ago by np
An Introduction to Tkinter (Work in Progress)
Reference + explanation + examples for Tkinter
Python  programming  reference  gui 
2 hours ago by fj
Why Don't People Use Formal Methods? • Hillel Wayne -
I saw this question on the Software Engineering Stack Exchange: What are the barriers that prevent widespread adoption of formal methods? The question was closed as opinion-based, and most of the answers were things like “its too expensive!!!” or “website isn’t airplane!!!” These are sorta kinda true but don’t explain very much. I wrote this to provide a larger historical picture of formal methods, why they’re actually so unused, and what we’re doing to make them used.
development  programming  formal  verification  management 
4 hours ago by insertrealname

« earlier    

related tags

1965  1970s  3d  ai  algorithm  algorithms  android  app  applicative  architecture  art  artificialintelligence  bestpractices  blog  blogs  book  books  boolean  bootstrap  boundary  browsers  c++  c  career  career_advice  carmack  cars  category  challenges  cheat-sheet  chess  children  cli  cnn  code-review  code  computer-science  coolstuff  counter  cs  css  cv  database  dataflow  datascience  datastructures  db  debugging  demonstration  design  developement  development  directory  documentation  economics  editor  editors  education  electronics  embedded  firefox  firmware  flair  font  fonts  formal  forth  fp  framework  free  fun  functional  functionalprogramming  fuzzy  fuzzyconcept  fuzzysemantics  games  georgelakoff  git  github  google  graphics  greg_egan  gui  hail  haskell  html  hub  ifttt  indefinite  inference  interactive  interesting  interview  interviews  japan  java  javascript  job  jobs  jquery  julia  keyboard  kinematics  kotlin  language  learning  library  life  lines  loc  loftizadeh  machinelearning  management  math  meaning  medium  minimalism  ml  monad  monospace  motion  mvp  mysql  natural  network  nlp  node  nodejs  notebook  onlinetools  oop  opensource  parking  partial  patterns  physics  plt  plugin  portfolio  postgres  postgresql  precision  presentation  preview  processing  productivity  professionalism  programming-challenges  programming_career  puzzle  python  quickstart  raytracing  reference  regex  repository  rust  salary  scheme  science_fiction  scripting  shell  simplicity  software  software_engineering  specs  speechrecognition  sql  stm32  sublime  tetris  threshold  tips  tla  tolearn  toolkit  tools  toread  touchdesigner  tutorial  typeface  typefaces  typing  typography  ui  unfixed  unread  unsharp  useful  vague  variable  verification  versioncontrol  video  vim  visual  visualization  want  webdesign  webtool  work  writers  z80 

Copy this bookmark: