Josherich logs

# CS

# recent list

new in apple file systems

hash benchmark https://github.com/rurban/smhasher

# CS talks

  • wwdc 2019

  • Building Correct Programs - William Mansky, Princeton University

    • https://www.theregister.co.uk/2015/06/10/airbus_a400m_probe_torque_data/

    • https://www.reuters.com/article/us-airbus-a400m/airbus-knew-of-software-vulnerability-before-a400m-crash-idUSKBN1D819P

  • Programming Abstractions for Data Stream Processing Systems - Konstantinos Mamouras, University of Pennsylvania

  • Liquid Haskell: Usable Language-Based Program Verification - Niki Vazou, University of Maryland

  • Towards Generalizable Imitation in Robotics - Animesh Garg, Stanford University

  • Machine Learning for Computational Social Science - Jacob Eisenstein, Georgia Institute of Technology

  • Knowledge from Language via Deep Understanding - Danqi Chen, Stanford University

# computation theory

# NP-hardness

non-deterministic polynomial-time hardness

a problem H is NP-hard when every problem L in NP can be reduced in polynomial time to H; that is, assuming a solution for H takes 1 unit time, we can use H‎'s solution to solve L in polynomial time.

# algorithm

# P is not NP

If P ≠ NP, then NP-hard problems cannot be solved in polynomial time.

nphard

# tree

b- tree b+ tree b-link tree b* tree

# hash

cuckoo hashing linear hashing split pointer murmurhash google cityhash google farmhash clhash

# fast algorithm

# N-body problem

# FFT

# FMM

  • Laplace equation
  • fast Gauss transform
  • Helmholtz equation

# degenerate kernel

# Books

# Asymptopia - Joel Spencer

# Misc algorithms

# Tomasulo out-of-order algorithm

https://www.wikiwand.com/en/Tomasulo_algorithm

# Formal method

  • specification: functional behavior or non-functional properties
  • modeling: extract formal models from specs, implementations, verification artifacts such as test benches
  • implementation: build parts of system
  • execution: run in simulation, VM, hardware
  • validation: execute, evaluate using runtime assertion checking
  • verification: check properties of a model for all inputs/envs

# parallel

    1. create type

MPI_Type_contiguous(count...) MPI_Type_vector(count,...,stride...) MPI_Type_indexed() MPI_Type_create_subarray() MPI_Type_create_struct()

    1. commit

MPI_Type_commit()

# seminars

http://mad.cds.nyu.edu/micsem/

http://mad.cds.nyu.edu/seminar/

https://cs.nyu.edu/dynamic/news/colloquium/?semester=spring_2018

# reverse eng

# mongo source

https://github.com/mongodb/mongo/blob/master/src/mongo/base/concept/assignable.h

# ruby source

https://github.com/ruby/ruby/blob/trunk/object.c

# code query

https://github.com/ruben2020/codequery/blob/master/doc/HOWTO-LINUX.md

# AR

ARKit

https://developer.apple.com/documentation/arkit

# type checking

https://pyre-check.org/docs/gradual-typing.html

# pattern matching

https://github.com/tc39/proposal-pattern-matching/blob/latest/CORE.md

# yacc JavaScript

https://github.com/zaach/jison

# libs

  • document static site

  • open radar

  • alamofire - http in swift

  • GCDwebserver server in ios

  • angus - rest api framework in ruby

  • bacon.js - functional reactive, TypeScript

  • basil.js - JS persistent layer, dict, Unified localstorage, cookie and session storage JavaScript API

  • countable - count paragraph, words

  • cc500.c c compiler

  • drake - robotic framework

  • oryx - lambda arch

  • flashlight standalone c++ ml

  • immutable.js

  • falcor json data interface

  • promises test suite

  • Vulcan.js React, GraphQL & Meteor

  • manim

  • sockeye - seq to seq, MXNet

  • sockeye recipe

  • emsdk

  • staticman

  • ruby source code

  • pdf.js - mobile version?

  • spark-2.2.1-bin-hadoop2.7

  • tushare financial data api

  • sempre semantic parser, and voxelrun.com

  • coffeescript

  • LambdaS5

  • Katex

  • preact, minimal react clone

  • corenlp, stanfordnlp

  • word2vec slim

  • react

  • nn playground

  • convnet.js

  • openNMT

  • nmt - nmt tutorial

  • peloton - terrier

  • nn4nlp

  • openrefine - clean messy data

  • Quantum - microsoft q computing framework

  • deck.gl map data visualization

  • reason, react in ocaml

  • aframe - web vr

  • parsy - parser in python

  • comlink - web worker wrapper

  • kmath - js numertical math

  • isometric contributions

  • TextAnnotationGraphs text with annotation graph

  • luigi - pipelines of batch jobs, dependency resolution, workflow management, visualization, hadoop support

  • simditor text editor

  • arxiv-sanity-preserver

  • mojs - motion graphic

  • zepto.js

  • primer on Beizier

  • react-sketchapp

  • tangle - interactive text

  • recurrent net js

  • nile lang - Declarative Stream Processing for Media Applications

  • pysnooper, python tracer

  • 500 lines or less

  • bucklescript, ocaml web

  • ireading react-native reading app template

  • coremltools convert ml model to coreML(Keras, Caffe, scikit-learn, libsvm, and XGBoost)

  • opencc - convert simplified, traditional Chinese

  • paperjs

  • zalo.github

  • polymer

  • madge - generate codebase dep graph

  • pokedex - pwa demo

  • stimulus standalone mvc framework

  • trapcc - proof the Intel MMU's fault handling mechanism is Turing complete

  • walt accessible webassembly

  • pollyjs, record, replay, stub, http actions

  • dayjs, small moment.js

  • open sesame, frame parser

  • voxel mesh

  • impact web game engine, crosscode web demo

  • code forensics

  • Sequelize - node ORM for sql databases

  • prisma general ORM for different langs and databases

  • nethack web emcc porting example

  • tinycc

  • minikube

  • fluent anna kvs, and data-first computation built on it

  • light2d - unity 2d ligth system

  • tensorly tensor ops in python

  • dm lab - deepmind lab for RL

  • pycolab, grid world engine for RL

  • scws - simple cn word seg

  • jieba

  • spaCy

  • bites corenlp RDF extractor

  • warplda

  • nevergrad

  • solid

  • hanabi learning

  • snorkel - data programming, weakly supervised data

  • truskill rating system

  • fairseq

  • shogun - unified machine learning methods, many langs

  • senteval - setence embedding benchmark

  • quootstrap - extracting quotation-speaker pairs from large news corpora.

  • cove Contextualized Word Vectors

  • parlAI - framework for dialog AI

  • drQA - Reading Wikipedia to Answer Open-Domain Questions

# dataset

← Database →