Jeremy Heiler
b39322f6c3
Merge pull request #151 from 3rdman/master
...
Add Research Papers from Robert Haper
2014-08-05 20:20:48 -04:00
Ryan Dooley
23a56be18f
Add Research Papers from Robert Haper
...
Research papers around Type Theory, Proof Theory, and Category
Theory.
* Types and Language Design
* Types and Compilation
* Certifying Compilers
* Logical Frameworks
* Scientific Computing
* Computation and Information Grids
* Self-Adjusting Computation
* Security
2014-08-05 11:46:59 -07:00
Jeremy Heiler
9e7ee7f961
Merge pull request #149 from 3rdman/secpapers
...
Add a reference to security papers.
2014-08-02 15:08:01 -04:00
Zeeshan Lakhani
69dc4f19fe
Merge pull request #150 from brandonbloom/patch-1
...
Fix typo
2014-08-01 08:28:11 -04:00
Brandon Bloom
5819c87457
Fix typo
2014-07-31 13:02:50 -04:00
Ryan Dooley
851f8687e2
Add a reference to security papers.
...
This is a link to collected security papers by @jason_trost.
2014-07-30 12:18:11 -07:00
Brian Bowman
5e83805ff7
Merge pull request #148 from papers-we-love/chapter_link
...
added link for chapter list
2014-07-27 00:58:03 -04:00
Ines Sombra
b2cc07912a
added link for chapter list
2014-07-25 15:23:10 -07:00
Ines Sombra
d60e78a78c
Merge pull request #145 from papers-we-love/@skamille-papers
...
add papers referred to by @skamille
2014-07-17 22:00:38 -07:00
Zeeshan Lakhani
cbbf33c11a
add papers referred to by @skamille
2014-07-17 23:03:12 -05:00
Ines Sombra
d70df4f630
Merge pull request #143 from tolitius/phil-bagwell
...
adding "Ideal Hash Trees" by Phil Bagwell
2014-07-16 16:32:43 -07:00
Ethan Gunderson
ac6e347ab0
Adding the Chicago chapter
2014-07-16 15:32:18 -05:00
anatoly
e3a056fd61
adding "Ideal Hash Trees" by Phil Bagwell
2014-07-16 11:09:08 -04:00
Brian Bowman
2b1eb4d59b
Merge pull request #141 from bobholt/bostonChapter
...
add Boston chapter
2014-07-13 12:59:48 -04:00
bobholt
c8d4638ad1
add Boston chapter
2014-07-13 07:47:02 -04:00
Ines Sombra
cfeee91d2f
Update README.md
...
functioning link to code of conduct
2014-06-24 18:31:20 -04:00
Ines Sombra
44bf3249e9
Update README.md
...
Added link to code of conduct - sorry for the push without PR (conference wifi)
2014-06-24 18:30:31 -04:00
Zeeshan Lakhani
eae1b32170
Merge pull request #138 from cuevasclemente/fix_rendering
...
Fixed broken link in 'The Rendering Equation'
2014-06-20 16:59:09 -04:00
cuevasclemente
6128e29df0
Fixed broken link in 'The Rendering Equation'
2014-06-20 16:51:37 -04:00
Zeeshan Lakhani
4a643f41a7
Update README.md
2014-06-17 09:30:27 -04:00
Zeeshan Lakhani
4575e11514
Merge pull request #136 from doothings/master
...
Hints for computer system design @doothings PWL#1
2014-06-16 22:39:02 -04:00
Anuj Deshpande
417d4312e2
Hints for computer system design @doothings PWL#1
2014-06-11 12:33:09 +05:30
Zeeshan Lakhani
5f00af5cd8
Update README.md
2014-06-10 01:34:21 -04:00
Zeeshan Lakhani
52b208e79e
Update README.md
2014-06-10 01:33:52 -04:00
Ines Sombra
659e6d9486
Merge pull request #135 from DarrenN/apis
...
Updated README for api_design
2014-06-09 21:47:11 -07:00
Darren_N
b16225016d
Update README.md
2014-06-09 20:38:20 -04:00
Darren_N
ddeef86b40
Update README.md
2014-06-09 20:28:47 -04:00
Darren_N
c941b99cca
Update headline
2014-06-09 20:28:35 -04:00
Darren_N
841dc3f862
Added headling
2014-06-09 20:27:42 -04:00
Darren_N
8e8d1ce20e
Create README.md
2014-06-09 20:26:25 -04:00
Darren_N
9dbe0d713f
Create README.md
2014-06-09 20:23:48 -04:00
Darren_N
b4262d7c46
Create README.md
2014-06-09 20:21:07 -04:00
DarrenN
6506d6a7c5
Updated README
2014-06-09 20:17:06 -04:00
Jeremy Heiler
ad36170c2e
Merge pull request #133 from DarrenN/organizing-programs-without-classes
...
Added Organizing Programs Without Classes and updated README
2014-06-09 14:40:05 -04:00
Clint Newsom
6b6805a0fe
Update README.md
2014-06-09 09:54:48 -04:00
Clint Newsom
1a4002d43f
Update README.md
...
Add Gittip widget.
2014-06-09 09:48:53 -04:00
DarrenN
61843c4a92
added Organizing Programs Without Classes and updated README
2014-06-09 09:31:24 -04:00
Clint Newsom
16b36505d2
Merge pull request #131 from chrisamaphone/master
...
Added Event Calculus paper
2014-06-09 09:21:38 -04:00
Chris
884a618bef
Create event-calculus.txt
2014-06-06 11:21:31 -04:00
Zeeshan Lakhani
2a4ecd6c16
Fix up for missing link.
2014-06-02 09:55:08 -04:00
Zeeshan Lakhani
6634b4dac5
Merge pull request #129 from borgified/small_format_changes
...
added space after a md formatted link
2014-06-01 19:17:30 -04:00
Fwiffo
84c68445f9
added space after a md formatted link
...
bad: [my link](http://my.link.com ): blahblah
good: [my link](http://my.link.com ) : blahblah
bad: [my link](http://my.link.com )! blahblah
good: [my link](http://my.link.com ) ! blahblah
without the space, url_checker_pwl.pl will get confused
2014-05-30 13:05:49 -07:00
Zeeshan Lakhani
2638450a6f
Merge pull request #126 from ronw/master
...
Add pointers to some speech recognition papers.
2014-05-29 10:07:32 -04:00
Ron Weiss
df6df4d796
Add pointers to some speech recogntion papers.
2014-05-26 14:47:12 -04:00
Zeeshan Lakhani
94084fe209
Merge pull request #124 from leifwalsh/master
...
added The Level Ancestor Problem Simplified
2014-05-26 09:11:17 -04:00
Zeeshan Lakhani
4a3411a107
Merge pull request #125 from jwilkins/patch-1
...
Create README.md
2014-05-26 09:10:53 -04:00
Jonathan Wilkins
4ad5e3e70c
Create README.md
...
Linked thompson paper is also in ethics/README.md, but it's a classic paper and I'm only adding a reference, hope that's ok.
2014-05-24 12:53:20 +02:00
Leif Walsh
a44ffd1cd6
added The Level Ancestor Problem Simplified
2014-05-23 08:57:48 -04:00
Jeremy Heiler
a7791a237b
Merge pull request #122 from igorw/patch-1
...
Berlin chapter of papers we love
2014-05-22 13:21:37 -04:00
Igor Wiedler
1d64e922c9
Berlin chapter of papers we love
2014-05-22 19:16:58 +02:00