Hillel Wayne
|
616ce4d69c
|
Merge pull request #28 from pitmonticone/master
Fix typos
|
2024-01-04 19:14:55 -06:00 |
|
Pietro Monticone
|
91065e8497
|
Update README.md
|
2024-01-05 02:10:24 +01:00 |
|
Pietro Monticone
|
5cfbebf972
|
Update pull_request_template.md
|
2024-01-05 02:10:22 +01:00 |
|
Hillel Wayne
|
e221adce1a
|
Merge pull request #20 from technosophos/camel-case
camelCase versus under_scores
|
2023-04-11 15:41:28 -05:00 |
|
Hillel Wayne
|
1c8b91d9fe
|
Merge pull request #14 from ahnberg/master
Changed URL to "Verification Techniques" material
|
2020-08-06 12:04:31 -05:00 |
|
Mattias Ahnberg
|
e48ee51886
|
Updated Verification Techniques Notes
Added a link to the full thesis in the Notes section under Verification Techniques
|
2020-08-03 00:18:22 +02:00 |
|
Mattias Ahnberg
|
353a5106f4
|
Merge branch 'master' into master
|
2020-08-03 00:16:50 +02:00 |
|
Matt Butcher
|
f24f53dd8e
|
updated with suggestions from review
|
2020-07-27 12:49:13 -06:00 |
|
Matt Butcher
|
f3f8cde3d1
|
camelCase versus under_scores
|
2020-07-27 12:49:13 -06:00 |
|
Hillel Wayne
|
01c7f9c1ac
|
Merge pull request #24 from ggorlen/patch-1
fix typo
|
2020-07-26 16:07:22 -05:00 |
|
Greg Gorlen
|
85dc31a5f4
|
fix typo
|
2020-07-25 14:20:44 -07:00 |
|
Hillel Wayne
|
e9584ec403
|
Merge pull request #18 from technosophos/go-concurrency
Add Go Concurrency paper by Tu, et al.
|
2020-07-24 18:43:53 -05:00 |
|
Matt Butcher
|
ed38dcb0f7
|
Updated the title, and added another caveat (per request)
|
2020-07-24 16:18:46 -06:00 |
|
Matt Butcher
|
abfdddd4cc
|
Add Go Concurrency paper by Tu, et al.
|
2020-07-24 14:59:03 -06:00 |
|
Hillel Wayne
|
088d1d3259
|
Fix "Verification Techniques" link
Issue raised in https://github.com/hwayne/awesome-cold-showers/pull/14
|
2020-07-24 10:09:09 -05:00 |
|
Mattias Ahnberg
|
0d7b5b4bdd
|
Changed URL to "Verification Techniques" material
|
2020-07-24 16:07:38 +02:00 |
|
Hillel Wayne
|
c447d04517
|
Update README.md
Updating the web benchmarks based on suggestions [here](https://twitter.com/TFBenchmarks/status/977254627442765824)
|
2018-03-23 22:42:40 -05:00 |
|
Hillel Wayne
|
9503475157
|
Add expensify thing about scaling out
|
2018-01-27 20:03:07 -06:00 |
|
Hillel Wayne
|
3eb0b889e7
|
Merge pull request #10 from vext01/warmup_paper
Add warmup paper cold shower.
|
2018-01-17 10:27:50 -06:00 |
|
Edd Barrett
|
4a96e455f2
|
Add warmup paper cold shower.
|
2018-01-16 11:16:41 +00:00 |
|
Hillel Wayne
|
59d9dc3079
|
Update README.md
|
2018-01-02 20:54:13 -06:00 |
|
Hillel Wayne
|
4f785562bd
|
Update README.md
Found an exemplary paper
|
2017-12-29 19:30:14 -06:00 |
|
Hillel Wayne
|
3fb6bbb675
|
Update README.md
An Empirical Study on the Correctness of Formally Verified Systems, closes #6
|
2017-12-29 18:12:24 -06:00 |
|
Hillel Wayne
|
65fbe17e89
|
Update README.md
Make it a bit clearer that we aren't trying to hate on things, just keeping people grounded
|
2017-12-28 22:40:26 -06:00 |
|
Hillel Wayne
|
5086f2f98c
|
Add "Agile Methods"
|
2017-12-28 17:13:15 -06:00 |
|
Hillel Wayne
|
4778c8324d
|
Update CONTRIBUTING.md
Better format
|
2017-12-27 12:20:42 -06:00 |
|
Hillel Wayne
|
2d677aefb2
|
Update README.md
Actual stuff in the list
|
2017-12-27 12:20:18 -06:00 |
|
Hillel Wayne
|
77f6080740
|
Merge pull request #1 from hwayne/hwayne-patch-1
Update CONTRIBUTING.md
|
2017-12-27 11:48:47 -06:00 |
|
Hillel Wayne
|
ad0be56bb5
|
Update CONTRIBUTING.md
Add a template for submitters
|
2017-12-27 11:47:58 -06:00 |
|
Hillel Wayne
|
2d3482d2b7
|
Create pull_request_template.md
PR Checklist
|
2017-12-27 11:09:54 -06:00 |
|
Hillel Wayne
|
cb47810398
|
Create CONTRIBUTING.md
First draft of contributing guidelines.
|
2017-12-26 17:06:54 -06:00 |
|
Hillel Wayne
|
c380147e7d
|
Create CODE_OF_CONDUCT.md
Remind people not to be dicks to each other, not that I'm expecting it, but better safe than sorry
|
2017-12-26 16:31:39 -06:00 |
|
Hillel Wayne
|
3aad7cf89e
|
Update LICENSE
Github doesn't have a CC0 template
|
2017-12-26 16:23:51 -06:00 |
|
Hillel Wayne
|
7db66b2a9c
|
Initial commit
|
2017-12-26 16:17:12 -06:00 |
|