wjy + resources   153

Home | Golden
Explore the world's first self-constructing knowledge database built by artificial and human intelligence.
encyclopedia  resources  ai  knowledge 
may 2019 by wjy
TLA+ Video Course
This is a series of video lectures to teach programmers and software engineers how to write their own TLA+ specifications. It assumes a basic understanding of programming concepts. Some knowledge of elementary mathematics, such as might be taught in a beginning university math course for computer scientists, would also be helpful.
A Word of Warning These videos are not light entertainment. They require careful viewing and actual thinking. You may often stop a video to digest what you've just seen, and perhaps to skip back and view it again. To accompany the videos, coffee will be better than popcorn.

The lectures can be watched on the Web. However, people with slow network connections might prefer to download lower resolution versions of the videos and watch them off-line. Instructions on how to do that are given below.
The script of each video is also provided. It contains everything shown and said on the video, except for shots of the author. The hearing impaired and viewers not fluent in English will find it helpful to read the script as they watch the video. The script can also be read instead of watching the video by those who want to review the lecture and those who hate videos. However, the html file that displays the video may be needed to download material.
tla+  design  programming  mathematics  courses  resources  videos  video 
april 2019 by wjy
Custom Elements Everywhere
Making sure frameworks and custom elements can be BFFs 🍻
javascript  js  frameworks  ui  resources  webdev 
october 2018 by wjy
Introduction  |  Google for Education  |  Google Developers
Welcome to Google's C++ Class. This class includes written materials, lecture videos, examples, and exercises to practice C++ coding.
programming  tutorial  c++  google  coding  cpp  learning  resources 
march 2018 by wjy
OpsTips
Notes from learning to build stuff.
no-frills content for developers wanting to ship ⚡️
devops  tips  resources  learning 
february 2018 by wjy
Btcdiv.com - Bitcoin Dividends and Airdrops
Own Bitcoin? Through chain splits of the bitcoin blockchain and altcoin airdrops to bitcoin holders everyone holding bitcoin can generate a sort of dividend by collecting and exchanging free altcoins for more bitcoin.
bitcoin  airdrops  resources  cryptocurrency 
december 2017 by wjy
SQL Injection Wiki
This wiki's mission is to be a one stop resource for fully identifying, exploiting, and escalating SQL injection vulnerabilities across various Database Management Systems (DBMS). This wiki assumes you have a basic understanding of SQL injection, please go here for an introduction if you are unfamiliar.
resources  security  cheatsheet  sql  database 
december 2017 by wjy
Learn Anything
Learn Anything is an Open Source website and thus anyone can help and make it better than it is by simply using the website and sharing useful and interesting resources or by helping with the development of the website itself.
learning  interactive  mindmap  education  opensource  resources  learnanything 
december 2017 by wjy
Build Realtime APIs - Realtime API Hub
The Hub’s mission is to centralize realtime API information and provide a foundation for others to build their own APIs. This is proudly maintained by the team at Fanout.io and other individual contributors.
resources  reference  realtime  api  push 
september 2017 by wjy
Logo Crunch - The multi-resolution logo maker
Logo Crunch is a multi-resolution logo maker, it uses computer vision to make your high-res logo legible at lower resolutions. Use it for a website favicon, iOS app icon or Android app icon.
tool  resources  logo  favicon  icon  graphics  cv  resize 
september 2017 by wjy
secfigo/Awesome-Fuzzing: A curated list of fuzzing resources ( Books, courses - free and paid, videos, tools, tutorials and vulnerable applications to practice on ) for learning Fuzzing and initial phases of Exploit Development like root cause analysis.
A curated list of fuzzing resources ( Books, courses - free and paid, videos, tools, tutorials and vulnerable applications to practice on ) for learning Fuzzing and initial phases of Exploit Development like root cause analysis.
awesome  fuzzing  testing  list  resources 
june 2017 by wjy
wkjagt/awesome-ddd: A curated list of awesome Domain Driven Design resources inspired by Awesome PHP and Awesome Sysadmin.
A curated list of awesome Domain Driven Design resources inspired by Awesome PHP and Awesome Sysadmin.
ddd  list  awesome  resources  learning 
may 2017 by wjy
Learn TensorFlow and deep learning, without a Ph.D. | Google Cloud Big Data and Machine Learning Blog  |  Google Cloud Platform
This 3-hour course (video + slides) offers developers a quick introduction to deep-learning fundamentals, with some TensorFlow thrown into the bargain.
google  learning  machinelearning  deeplearning  tensorflow  resources 
january 2017 by wjy
OpenAI Gym
Open source interface to reinforcement learning tasks.
The gym open-source project provides a simple interface to a growing collection of reinforcement learning tasks. You can use it from Python, and soon from other languages.
algorithms  ai  machinelearning  resources 
january 2017 by wjy
GitHub - donnemartin/awesome-aws: A curated list of awesome Amazon Web Services (AWS) libraries, open source repos, guides, blogs, and other resources. Featuring the Fiery Meter of AWSome. https://bit.ly/git-AWSome
A curated list of awesome Amazon Web Services (AWS) libraries, open source repos, guides, blogs, and other resources. Featuring the Fiery Meter of AWSome.
aws  list  awesome  resources 
april 2016 by wjy
GitHub - tayllan/awesome-algorithms: A curated list of awesome places to learn and/or practice algorithms.
A curated list of awesome places to learn and/or practice algorithms. Inspired by awesome-awesomeness and all the other awesome Awesome libraries.
list  awesome  programming  algorithms  resources  learning 
april 2016 by wjy
wbinnssmith/awesome-promises · GitHub
A curated list of useful resources for JavaScript Promises
javascript  js  promises  promise  list  awesome  resources 
january 2016 by wjy
« earlier      
per page:    204080120160

related tags

!awesome  !cool  3d  accessibility  acl  ai  airdrops  algorithms  amadeus  Analytics  android  angular  angularjs  api  arch  article  asm  assembly  assets  asyncio  atcommand  auth  aviation  awesome  aws  backend  background  bestpractice  bestpractices  bigdata  bitcoin  blockchain  blog  blogs  book  books  bootstrap  bug  bugtracking  c++  cbradio  ccra  cheatsheet  china  chinese  client  clip  clippath  closurelibrary  closuretools  code  codesnippets  coding  collaboration  collection  collections  compsci  computerscience  cooking  course  courses  cpp  cppcon  cpu  cqrs  crypto  cryptocurrency  cs  css  css3  cv  data  database  datascience  ddd  deeplearning  deno  design  designpatterns  developement  developer  development  devops  devstack  dexter.yy  dictionary  distributed  docs  documentation  ebook  ebooks  education  encyclopedia  english  episodes  eventsourcing  examples  excel  favicon  flag  flags  flutter  food  framework  frameworks  free  frontend  fullstack  fun  fuzzing  gallery  game  gamedev  gatsby  gcc  generator  geolocation  geometry  github  gnu  google  grammar  graphics  graphql  gsm  gui  guide  hackernews  hacking  hn  html  ibm  icon  icons  iconset  iconsets  images  info  inspiration  interactive  interface  intro  ios  ip  iphone  issuetracking  java  javascript  jose  jquery  js  jwt  kernel  knowledge  kubernetes  layout  learnanything  learning  libraries  library  libs  links  linux  list  logo  lua  luajit  mach  machinelearning  make  mask  materialdesign  math  mathematics  meteor  meteorjs  mindmap  mit  ml  mobile  mobiledev  modern  mooc  mysql  networking  news  nlp  node  node.js  nodejs  nyt  nytimes  oauth2  omnigraffle  openid  openidconnect  opensource  opera  organize  organizer  p2p  packages  papers  path  pattern  patterns  performance  photo  photoshop  php  physics  postmortem  presentations  princeton  probability  programming  projects  promise  promises  psd  push  python  python3  queue  radio  realtime  recipes  referces  reference  references  research  resize  resource  resources  responsive  reverseengineering  rollercoaster  script  scripting  security  service  share  sharing  shortcut:webmaster  shows  sitepoint  sms  soap  software  softwareengineering  spreadsheet  sql  ssh  ssl  stack  static  statistics  stencil  stockphotos  stylesheet  svg  sysadmin  system  tcp  techstack  template  templates  tensorflow  testing  textbooks  textures  thu  tips  tla+  tls  tool  tools  tracking  trading  transaction  translation  trends  tutorial  tutorials  tv  typescript  typetheory  ui  unix  ux  v8  vector  vert.x  vertx  video  videos  visualization  web  webcomponents  webdesign  webdev  webfinger  webservice  wiki  wikipedia  wiktionary  words  ycombinator 

Copy this bookmark:



description:


tags: