Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add scientific talks section #80

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Add scientific talks section #80

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ currently being served by [GitHub Pages](https://pages.github.com).
## Running a local server

### Setting up the environment
To set up the dependencies, you need to have [Ruby]() and the [Bundler](https://bundler.io/) package manager installed (`gem install bundler`). Alternatively, you can also use a devcontainer to set up a VM with all the required dependencies, and have a nicely integrated coding enviroment.
To set up the dependencies, you need to have [Ruby](https://www.ruby-lang.org/en/documentation/installation/) and the [Bundler](https://bundler.io/) package manager installed (`gem install bundler`). Alternatively, you can also use a devcontainer to set up a VM with all the required dependencies, and have a nicely integrated coding enviroment.

Then, you can run
```
Expand Down
18 changes: 16 additions & 2 deletions pages/resources.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

## Conference Talks

| Conference | Year | Speaker | Title |
| Conference | Date | Speaker | Title |
|:----------:|:-------:|:-----------------------------:|:-------------------------------------------------------------------------------------------------------------------------------:|
| C++ on Sea | 2024-07 | Dave Abrahams | [Hylo: The Safe Systems and Generic-programming Language Built on Value Semantics](https://www.youtube.com/watch?v=5lecIqUhEl4) |
| ACCU | 2024-07 | Lucian Radu Teodorescu | [Concurrency Hylomorphism](https://youtu.be/k6fI4asLJxo) |
Expand All @@ -15,12 +15,26 @@

## Scientific Talks

| Venue | Year | Speaker | Title |
| Venue | Date | Speaker | Title |
|:-----:|:-------:|:-------------:|:-----------------------------------------------------|
| IWACO | 2023-05 | Dimi Racordon | [Borrow checking Hylo](https://youtu.be/oFupPFniD9s) |

## Scientific Papers
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
## Scientific Papers
## Academic Papers

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Perhaps more appropriate. Everything we do in this project is scientific, but those papers specifically have been written for an academic audience (except maybe the P2676R0 but I think it's fine to list it with the others).


| Date | Title |
|:-------:|:-------------------------------------------------------------------------------------------------------------:|
| 2024-10 | [Type Checking with Rewrite Rules](https://dl.acm.org/doi/pdf/10.1145/3687997.3695640) |
| 2024-10 | [Method Bundles](https://dl.acm.org/doi/pdf/10.1145/3687997.3695633) |
| 2023-10 | [Borrow checking Hylo](https://2023.splashcon.org/details/iwaco-2023-papers/5/Borrow-checking-Hylo) |
| 2022-10 | [P2676R0: The Val Object Model](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p2676r0.pdf) |
| 2022-01 | [Implementation Strategies for Mutable Value Semantics](https://www.jot.fm/issues/issue_2022_02/article2.pdf) |

#### Other Related Papers

| Date | Title |
|:-------:|:------------------------------------------------------------------------------------------:|
| 2024-10 | [Use Site Checking Considered Harmful](https://dl.acm.org/doi/pdf/10.1145/3689492.3689814) |
| 2024-09 | [Existential Containers in Scale](https://dl.acm.org/doi/abs/10.1145/3679007.3685056) |

## Podcasts

Expand Down