Profile

Cover photo
Kaiyin Zhong
78 followers|120,062 views
AboutPostsPhotos

Stream

Kaiyin Zhong

Обсуждение  - 
 
So, where is the github repo? :-)
6
Add a comment...

Kaiyin Zhong

Shared publicly  - 
 
Exclude multiple chars in fastparse:

// scala code

(!(">" | "<") ~ AnyChar).rep(1)
(!CharIn("><") ~ AnyChar).rep(1)
CharPred(!"><".contains(_)).rep(1)
CharsWhile(!"><".contains(_), min = 1)
1
Add a comment...

Kaiyin Zhong

Shared publicly  - 
 
Math equation editor http://mathide.herokuapp.com/ implemented in Scala.js
1
Add a comment...

Kaiyin Zhong

Shared publicly  - 
 
Scala.js represent heterogeneous javascript arrays: 


 trait Jax extends js.Object
  trait PushItem extends js.Array[Any]
  object PushItem {
    def apply(pushType: String, jax: Jax, toDisplay: String): PushItem = {
      js.Array[Any](pushType, jax, toDisplay).asInstanceOf[PushItem]
    }
  }
1
Add a comment...

Kaiyin Zhong

Shared publicly  - 
 
.gitignore file for scala.js projects:

out/
.idea/
project/target
project/project
target/resolution-cache/
target/streams/
target/scala-2.11/classes/


If the app is purely html+css+javascript, then you might want to add src/
1
Add a comment...

Kaiyin Zhong

Shared publicly  - 
 
C'est un concept très compliqué, donc il est bien évident que tu ne peut pas le comprendre. 

C'est un concept très compliqué, donc il est compréhensible que tu ne le comprennes pas. 

It's a very difficult concept, so it's understandable that you don't understand.


#french  
 ·  Translate
1
Add a comment...

Kaiyin Zhong

Shared publicly  - 
 ·  Translate
1 Paul, serviteur de Jésus-Christ, appelé à être apôtre, mis à part pour annoncer l'Evangile de Dieu,- 2 qui avait été promis auparavant de la part de Dieu par ses prophètes dans les saintes Ecritures, 3 et qui concerne son Fils né de la postérité de David, selon la chair, 4 et déclaré Fils de ...
1
Add a comment...
Have him in circles
78 people
Nauka Znanost's profile photo
Miao Sun's profile photo
David Ratnasabapathy's profile photo
Christopher Black's profile photo
Philippe ABEILLE's profile photo
Ultimate Hacking Keyboard's profile photo
oIsCore: Online Intelligent Systems Core's profile photo
bhakti mange's profile photo
bidwell ikpe's profile photo

Kaiyin Zhong

Shared publicly  - 
 
http://purelytheoretical.com/sywtltt.html

So you want to learn type theory... but where to start? Here are some suggestions.

First, watch Frank Pfenning's OPLSS2012 lectures "Proof Theory Foundations". The videos on the OPLSS website (here) are very large (>1gb per file, 3 files per lecture, 4 lectures), but they're also very high def (1080p I think) which means you can read what he writes on the whiteboard. The videos on YouTube (here) are smaller in size and resolution, but each video is a whole lecture, and it's on YouTube so you don't have to download anything. Other years have other versions of the course, which is also helpful as you get different emphasis, different audience questions, etc.

Second, read Frank's lecture notes for his Constructive Logic course at CMU (here) which go along nicely with the OPLSS class.

Third, once you've felt you've properly understood what Frank was talking about, watch Bob Harper's OPLSS2012 lectures "Type Theory Foundations", at the same link above. This introduces a richer, more complicated theory that's necessary for doing dependently typed programming, mathematical reasoning, etc. YouTube videos are again available (here)

Fourth, read Programming in Martin-Löf Type Theory (here).

Another optional thing you can do is read Harper's excellent book Practical Foundations for Programming Languages (aka PFPL, here), and/or Ben Pierce's Types and Programming Languages. These are both oriented more towards implementing languages with rich type theories, rather than about type theory in and of itself, and so are longer and more involved, but they're great nonetheless.

If you're curious how to implement a type checker, I've written a blog post (here) which is hopefully enlightening.

While you're doing all of these, play around with various strongly typed programming languages, like ML, Haskell, and Agda. Also get on IRC. Go on freenode, join #haskell, #agda, and ##typetheory, and talk to people (my nick there is augur). Learn by doing, and talk to people when you get stuck. It really helps. Also get on Twitter, follow people into this sort of thing (my handle is @psygnisfive), check out who they talk to about type theory, and engage people.
So you want to learn type theory... but where to start? Here are some suggestions. First, watch Frank Pfenning's OPLSS2012 lectures "Proof Theory Foundations". The videos on the OPLSS website (here) are very large (>1gb per file, 3 files per lecture, 4 lectures), but they're also very high def ...
1
Add a comment...

Kaiyin Zhong

Shared publicly  - 
1
Add a comment...

Kaiyin Zhong

Shared publicly  - 
 
Locate the cytoband of a certain DNA base position. A web service for finding the cytoband of your favorite DNA base pair positions.
1
Add a comment...

Kaiyin Zhong

Shared publicly  - 
 
Leur maison est tellement misérable qu'à chasue fois qu'il pleut dehors, il pleut aussi à l'intérieur.
Leur maison est si délabrée qu'il pleut à l'intérieur quand il pleut dehors.
Leur maison est dans un si piètre état que quand il pleut dehors, il pleut aussi à l'intérieur.

They have such a miserable house that whenever it rains outside, it also rains inside.


#french  
 ·  Translate
1
Add a comment...

Kaiyin Zhong

Shared publicly  - 
 
test

Inclusion and exclusion in linear spaces This can actually be generalized to the $aA + bB$ case. I will not provide a proof here, as ... Initialize armadillo matrix with std vector in c++. Armadillo's documentation page shows us how to initialize a arma::mat from a c array, here is how to do it ...
1
Add a comment...
People
Have him in circles
78 people
Nauka Znanost's profile photo
Miao Sun's profile photo
David Ratnasabapathy's profile photo
Christopher Black's profile photo
Philippe ABEILLE's profile photo
Ultimate Hacking Keyboard's profile photo
oIsCore: Online Intelligent Systems Core's profile photo
bhakti mange's profile photo
bidwell ikpe's profile photo
Basic Information
Gender
Male
Relationship
Single
Story
Tagline
PhD student at Erasmus MC, loves math and programming.
Introduction
PhD student at Erasmus MC, loves math and programming. http://bit.ly/1hOw7Mz
Bragging rights
Freedom is earned, not given. Fight for it!
Collections Kaiyin is following
Links