Skip to content

Commit ee02163

Browse files
hauswirthhauswirth
committed
add config for local build, add Serpiano 2025
1 parent dbd0a74 commit ee02163

9 files changed

+546
-0
lines changed

‎.gitignore

+3
Original file line numberDiff line numberDiff line change
@@ -1 +1,4 @@
11
*~
2+
_site/
3+
.jekyll-cache/
4+
.DS_Store

‎Gemfile

+11
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
source "https://rubygems.org"
2+
3+
# Versions are based on GitHub Pages dependency versions:
4+
# https://pages.github.com/versions/
5+
6+
gem "jekyll", "~> 3.10.0"
7+
gem "github-pages", "~> 232", group: :jekyll_plugins
8+
9+
group :jekyll_plugins do
10+
gem "jekyll-remote-theme", "~> 0.4.3"
11+
end

‎Gemfile.lock

+319
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,319 @@
1+
GEM
2+
remote: https://rubygems.org/
3+
specs:
4+
activesupport (7.2.2.1)
5+
base64
6+
benchmark (>= 0.3)
7+
bigdecimal
8+
concurrent-ruby (~> 1.0, >= 1.3.1)
9+
connection_pool (>= 2.2.5)
10+
drb
11+
i18n (>= 1.6, < 2)
12+
logger (>= 1.4.2)
13+
minitest (>= 5.1)
14+
securerandom (>= 0.3)
15+
tzinfo (~> 2.0, >= 2.0.5)
16+
addressable (2.8.7)
17+
public_suffix (>= 2.0.2, < 7.0)
18+
base64 (0.2.0)
19+
benchmark (0.4.0)
20+
bigdecimal (3.1.9)
21+
coffee-script (2.4.1)
22+
coffee-script-source
23+
execjs
24+
coffee-script-source (1.12.2)
25+
colorator (1.1.0)
26+
commonmarker (0.23.11)
27+
concurrent-ruby (1.3.4)
28+
connection_pool (2.5.0)
29+
csv (3.3.2)
30+
dnsruby (1.72.3)
31+
base64 (~> 0.2.0)
32+
simpleidn (~> 0.2.1)
33+
drb (2.2.1)
34+
em-websocket (0.5.3)
35+
eventmachine (>= 0.12.9)
36+
http_parser.rb (~> 0)
37+
ethon (0.16.0)
38+
ffi (>= 1.15.0)
39+
eventmachine (1.2.7)
40+
execjs (2.10.0)
41+
faraday (2.12.2)
42+
faraday-net_http (>= 2.0, < 3.5)
43+
json
44+
logger
45+
faraday-net_http (3.4.0)
46+
net-http (>= 0.5.0)
47+
ffi (1.17.1)
48+
ffi (1.17.1-aarch64-linux-gnu)
49+
ffi (1.17.1-aarch64-linux-musl)
50+
ffi (1.17.1-arm-linux-gnu)
51+
ffi (1.17.1-arm-linux-musl)
52+
ffi (1.17.1-arm64-darwin)
53+
ffi (1.17.1-x86-linux-gnu)
54+
ffi (1.17.1-x86-linux-musl)
55+
ffi (1.17.1-x86_64-darwin)
56+
ffi (1.17.1-x86_64-linux-gnu)
57+
ffi (1.17.1-x86_64-linux-musl)
58+
forwardable-extended (2.6.0)
59+
gemoji (4.1.0)
60+
github-pages (232)
61+
github-pages-health-check (= 1.18.2)
62+
jekyll (= 3.10.0)
63+
jekyll-avatar (= 0.8.0)
64+
jekyll-coffeescript (= 1.2.2)
65+
jekyll-commonmark-ghpages (= 0.5.1)
66+
jekyll-default-layout (= 0.1.5)
67+
jekyll-feed (= 0.17.0)
68+
jekyll-gist (= 1.5.0)
69+
jekyll-github-metadata (= 2.16.1)
70+
jekyll-include-cache (= 0.2.1)
71+
jekyll-mentions (= 1.6.0)
72+
jekyll-optional-front-matter (= 0.3.2)
73+
jekyll-paginate (= 1.1.0)
74+
jekyll-readme-index (= 0.3.0)
75+
jekyll-redirect-from (= 0.16.0)
76+
jekyll-relative-links (= 0.6.1)
77+
jekyll-remote-theme (= 0.4.3)
78+
jekyll-sass-converter (= 1.5.2)
79+
jekyll-seo-tag (= 2.8.0)
80+
jekyll-sitemap (= 1.4.0)
81+
jekyll-swiss (= 1.0.0)
82+
jekyll-theme-architect (= 0.2.0)
83+
jekyll-theme-cayman (= 0.2.0)
84+
jekyll-theme-dinky (= 0.2.0)
85+
jekyll-theme-hacker (= 0.2.0)
86+
jekyll-theme-leap-day (= 0.2.0)
87+
jekyll-theme-merlot (= 0.2.0)
88+
jekyll-theme-midnight (= 0.2.0)
89+
jekyll-theme-minimal (= 0.2.0)
90+
jekyll-theme-modernist (= 0.2.0)
91+
jekyll-theme-primer (= 0.6.0)
92+
jekyll-theme-slate (= 0.2.0)
93+
jekyll-theme-tactile (= 0.2.0)
94+
jekyll-theme-time-machine (= 0.2.0)
95+
jekyll-titles-from-headings (= 0.5.3)
96+
jemoji (= 0.13.0)
97+
kramdown (= 2.4.0)
98+
kramdown-parser-gfm (= 1.1.0)
99+
liquid (= 4.0.4)
100+
mercenary (~> 0.3)
101+
minima (= 2.5.1)
102+
nokogiri (>= 1.16.2, < 2.0)
103+
rouge (= 3.30.0)
104+
terminal-table (~> 1.4)
105+
webrick (~> 1.8)
106+
github-pages-health-check (1.18.2)
107+
addressable (~> 2.3)
108+
dnsruby (~> 1.60)
109+
octokit (>= 4, < 8)
110+
public_suffix (>= 3.0, < 6.0)
111+
typhoeus (~> 1.3)
112+
html-pipeline (2.14.3)
113+
activesupport (>= 2)
114+
nokogiri (>= 1.4)
115+
http_parser.rb (0.8.0)
116+
i18n (1.14.6)
117+
concurrent-ruby (~> 1.0)
118+
jekyll (3.10.0)
119+
addressable (~> 2.4)
120+
colorator (~> 1.0)
121+
csv (~> 3.0)
122+
em-websocket (~> 0.5)
123+
i18n (>= 0.7, < 2)
124+
jekyll-sass-converter (~> 1.0)
125+
jekyll-watch (~> 2.0)
126+
kramdown (>= 1.17, < 3)
127+
liquid (~> 4.0)
128+
mercenary (~> 0.3.3)
129+
pathutil (~> 0.9)
130+
rouge (>= 1.7, < 4)
131+
safe_yaml (~> 1.0)
132+
webrick (>= 1.0)
133+
jekyll-avatar (0.8.0)
134+
jekyll (>= 3.0, < 5.0)
135+
jekyll-coffeescript (1.2.2)
136+
coffee-script (~> 2.2)
137+
coffee-script-source (~> 1.12)
138+
jekyll-commonmark (1.4.0)
139+
commonmarker (~> 0.22)
140+
jekyll-commonmark-ghpages (0.5.1)
141+
commonmarker (>= 0.23.7, < 1.1.0)
142+
jekyll (>= 3.9, < 4.0)
143+
jekyll-commonmark (~> 1.4.0)
144+
rouge (>= 2.0, < 5.0)
145+
jekyll-default-layout (0.1.5)
146+
jekyll (>= 3.0, < 5.0)
147+
jekyll-feed (0.17.0)
148+
jekyll (>= 3.7, < 5.0)
149+
jekyll-gist (1.5.0)
150+
octokit (~> 4.2)
151+
jekyll-github-metadata (2.16.1)
152+
jekyll (>= 3.4, < 5.0)
153+
octokit (>= 4, < 7, != 4.4.0)
154+
jekyll-include-cache (0.2.1)
155+
jekyll (>= 3.7, < 5.0)
156+
jekyll-mentions (1.6.0)
157+
html-pipeline (~> 2.3)
158+
jekyll (>= 3.7, < 5.0)
159+
jekyll-optional-front-matter (0.3.2)
160+
jekyll (>= 3.0, < 5.0)
161+
jekyll-paginate (1.1.0)
162+
jekyll-readme-index (0.3.0)
163+
jekyll (>= 3.0, < 5.0)
164+
jekyll-redirect-from (0.16.0)
165+
jekyll (>= 3.3, < 5.0)
166+
jekyll-relative-links (0.6.1)
167+
jekyll (>= 3.3, < 5.0)
168+
jekyll-remote-theme (0.4.3)
169+
addressable (~> 2.0)
170+
jekyll (>= 3.5, < 5.0)
171+
jekyll-sass-converter (>= 1.0, <= 3.0.0, != 2.0.0)
172+
rubyzip (>= 1.3.0, < 3.0)
173+
jekyll-sass-converter (1.5.2)
174+
sass (~> 3.4)
175+
jekyll-seo-tag (2.8.0)
176+
jekyll (>= 3.8, < 5.0)
177+
jekyll-sitemap (1.4.0)
178+
jekyll (>= 3.7, < 5.0)
179+
jekyll-swiss (1.0.0)
180+
jekyll-theme-architect (0.2.0)
181+
jekyll (> 3.5, < 5.0)
182+
jekyll-seo-tag (~> 2.0)
183+
jekyll-theme-cayman (0.2.0)
184+
jekyll (> 3.5, < 5.0)
185+
jekyll-seo-tag (~> 2.0)
186+
jekyll-theme-dinky (0.2.0)
187+
jekyll (> 3.5, < 5.0)
188+
jekyll-seo-tag (~> 2.0)
189+
jekyll-theme-hacker (0.2.0)
190+
jekyll (> 3.5, < 5.0)
191+
jekyll-seo-tag (~> 2.0)
192+
jekyll-theme-leap-day (0.2.0)
193+
jekyll (> 3.5, < 5.0)
194+
jekyll-seo-tag (~> 2.0)
195+
jekyll-theme-merlot (0.2.0)
196+
jekyll (> 3.5, < 5.0)
197+
jekyll-seo-tag (~> 2.0)
198+
jekyll-theme-midnight (0.2.0)
199+
jekyll (> 3.5, < 5.0)
200+
jekyll-seo-tag (~> 2.0)
201+
jekyll-theme-minimal (0.2.0)
202+
jekyll (> 3.5, < 5.0)
203+
jekyll-seo-tag (~> 2.0)
204+
jekyll-theme-modernist (0.2.0)
205+
jekyll (> 3.5, < 5.0)
206+
jekyll-seo-tag (~> 2.0)
207+
jekyll-theme-primer (0.6.0)
208+
jekyll (> 3.5, < 5.0)
209+
jekyll-github-metadata (~> 2.9)
210+
jekyll-seo-tag (~> 2.0)
211+
jekyll-theme-slate (0.2.0)
212+
jekyll (> 3.5, < 5.0)
213+
jekyll-seo-tag (~> 2.0)
214+
jekyll-theme-tactile (0.2.0)
215+
jekyll (> 3.5, < 5.0)
216+
jekyll-seo-tag (~> 2.0)
217+
jekyll-theme-time-machine (0.2.0)
218+
jekyll (> 3.5, < 5.0)
219+
jekyll-seo-tag (~> 2.0)
220+
jekyll-titles-from-headings (0.5.3)
221+
jekyll (>= 3.3, < 5.0)
222+
jekyll-watch (2.2.1)
223+
listen (~> 3.0)
224+
jemoji (0.13.0)
225+
gemoji (>= 3, < 5)
226+
html-pipeline (~> 2.2)
227+
jekyll (>= 3.0, < 5.0)
228+
json (2.9.1)
229+
kramdown (2.4.0)
230+
rexml
231+
kramdown-parser-gfm (1.1.0)
232+
kramdown (~> 2.0)
233+
liquid (4.0.4)
234+
listen (3.9.0)
235+
rb-fsevent (~> 0.10, >= 0.10.3)
236+
rb-inotify (~> 0.9, >= 0.9.10)
237+
logger (1.6.4)
238+
mercenary (0.3.6)
239+
mini_portile2 (2.8.8)
240+
minima (2.5.1)
241+
jekyll (>= 3.5, < 5.0)
242+
jekyll-feed (~> 0.9)
243+
jekyll-seo-tag (~> 2.1)
244+
minitest (5.25.4)
245+
net-http (0.6.0)
246+
uri
247+
nokogiri (1.18.1)
248+
mini_portile2 (~> 2.8.2)
249+
racc (~> 1.4)
250+
nokogiri (1.18.1-aarch64-linux-gnu)
251+
racc (~> 1.4)
252+
nokogiri (1.18.1-aarch64-linux-musl)
253+
racc (~> 1.4)
254+
nokogiri (1.18.1-arm-linux-gnu)
255+
racc (~> 1.4)
256+
nokogiri (1.18.1-arm-linux-musl)
257+
racc (~> 1.4)
258+
nokogiri (1.18.1-arm64-darwin)
259+
racc (~> 1.4)
260+
nokogiri (1.18.1-x86_64-darwin)
261+
racc (~> 1.4)
262+
nokogiri (1.18.1-x86_64-linux-gnu)
263+
racc (~> 1.4)
264+
nokogiri (1.18.1-x86_64-linux-musl)
265+
racc (~> 1.4)
266+
octokit (4.25.1)
267+
faraday (>= 1, < 3)
268+
sawyer (~> 0.9)
269+
pathutil (0.16.2)
270+
forwardable-extended (~> 2.6)
271+
public_suffix (5.1.1)
272+
racc (1.8.1)
273+
rb-fsevent (0.11.2)
274+
rb-inotify (0.11.1)
275+
ffi (~> 1.0)
276+
rexml (3.4.0)
277+
rouge (3.30.0)
278+
rubyzip (2.4.1)
279+
safe_yaml (1.0.5)
280+
sass (3.7.4)
281+
sass-listen (~> 4.0.0)
282+
sass-listen (4.0.0)
283+
rb-fsevent (~> 0.9, >= 0.9.4)
284+
rb-inotify (~> 0.9, >= 0.9.7)
285+
sawyer (0.9.2)
286+
addressable (>= 2.3.5)
287+
faraday (>= 0.17.3, < 3)
288+
securerandom (0.4.1)
289+
simpleidn (0.2.3)
290+
terminal-table (1.8.0)
291+
unicode-display_width (~> 1.1, >= 1.1.1)
292+
typhoeus (1.4.1)
293+
ethon (>= 0.9.0)
294+
tzinfo (2.0.6)
295+
concurrent-ruby (~> 1.0)
296+
unicode-display_width (1.8.0)
297+
uri (1.0.2)
298+
webrick (1.9.1)
299+
300+
PLATFORMS
301+
aarch64-linux-gnu
302+
aarch64-linux-musl
303+
arm-linux-gnu
304+
arm-linux-musl
305+
arm64-darwin
306+
ruby
307+
x86-linux-gnu
308+
x86-linux-musl
309+
x86_64-darwin
310+
x86_64-linux-gnu
311+
x86_64-linux-musl
312+
313+
DEPENDENCIES
314+
github-pages (~> 232)
315+
jekyll (~> 3.10.0)
316+
jekyll-remote-theme (~> 0.4.3)
317+
318+
BUNDLED WITH
319+
2.5.6

‎README.md

+36
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,36 @@
1+
# Sources of Webpage of IFIP TC2 Working group 2.16 on Language Design
2+
3+
This is deployed via GitHub Pages to appear on:
4+
5+
https://languagedesign.org/
6+
7+
This site is statically generated using Jekyll.
8+
9+
## Testing Locally
10+
11+
1. Install Jekyll ([Jekyll installation guide](https://jekyllrb.com/docs/))
12+
13+
2. Install the project `gem` dependencies:
14+
15+
```bash
16+
bundle install
17+
```
18+
19+
3. Open the development server:
20+
21+
```bash
22+
bundle exec jekyll serve
23+
bundle exec jekyll serve --livereload
24+
```
25+
26+
The `--livereload` optional flag will automatically refresh the page when the source files change.
27+
28+
4. To check that `build` does not fail:
29+
30+
```bash
31+
bundle exec jekyll build
32+
```
33+
34+
## Deployment
35+
36+
Simply push.

‎index.md

+1
Original file line numberDiff line numberDiff line change
@@ -39,6 +39,7 @@ We need to affirm what really matters about programming languages, both to ourse
3939
- 14: [Claremont 2023](meetings/Claremont2023.md)
4040
- 15: [Delft 2023](meetings/Delft2023.md)
4141
- 16: [Pittsburgh 2024](meetings/Pittsburgh2024.md)
42+
- 17: [Serpiano 2025](meetings/Serpiano2025.md)
4243

4344
[Photos](http://www.flickr.com/groups/wgld/)
4445

‎meetings/Serpiano2025-Hotel.jpg

926 KB
Loading

‎meetings/Serpiano2025-MendrisioBus.jpg

225 KB
Loading

‎meetings/Serpiano2025-MendrisioTaxi.jpg

235 KB
Loading

0 commit comments

Comments
 (0)