Skip to content

Commit 802965a

Browse files
committed
pollen rewrite + add manifesto
1 parent 38f20c8 commit 802965a

20 files changed

Lines changed: 200 additions & 831 deletions

.github/workflows/scribble.yml

Lines changed: 9 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
name: Build and Deploy Scribble Documentation
1+
name: Build and Deploy Pollen Site
22

33
on:
44
push:
@@ -26,13 +26,17 @@ jobs:
2626
with:
2727
version: '8.17'
2828

29-
- name: Build Documentation
29+
- name: Install Pollen
30+
run: raco pkg install --auto --no-docs pollen
31+
32+
- name: Build Site
3033
run: |
3134
cd docs
32-
raco scribble --html main.scrbl
35+
raco pollen render
3336
mkdir -p ../_site
34-
cp main.html ../_site/index.html
35-
cp *.css *.js *.png *.svg ../_site/ 2>/dev/null || true
37+
cp *.html ../_site/
38+
cp *.css *.png *.svg ../_site/ 2>/dev/null || true
39+
cp ../CNAME ../_site/
3640
3741
- name: Setup Pages
3842
id: pages

.gitignore

Lines changed: 4 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -2,16 +2,13 @@
22
_site/
33
*.html
44

5-
# Jekyll
6-
.jekyll-cache/
5+
# Racket compiled files
6+
compiled/
7+
*.zo
8+
*.dep
79

810
# macOS
911
.DS_Store
1012

1113
# Logs
1214
*.log
13-
14-
# Racket compiled files (platform-specific)
15-
compiled/
16-
*.zo
17-
*.dep

Makefile

Lines changed: 5 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -1,23 +1,15 @@
11
.PHONY: build watch serve clean
22

33
DOCS_DIR := docs
4-
MAIN_SCRBL := $(DOCS_DIR)/main.scrbl
54

65
build:
7-
cd $(DOCS_DIR) && raco make main.scrbl && scribble --html main.scrbl
6+
cd $(DOCS_DIR) && raco pollen render
87

98
watch:
10-
@echo "Watching for changes in $(DOCS_DIR)/*.scrbl..."
11-
@fswatch -r -m poll_monitor $(DOCS_DIR) | while read file; do \
12-
if echo "$$file" | grep -q '\.scrbl$$'; then \
13-
echo "Detected change in $$file, rebuilding..."; \
14-
make build; \
15-
fi; \
16-
done
9+
@echo "Starting Pollen dev server at http://localhost:8080..."
10+
cd $(DOCS_DIR) && raco pollen start
1711

18-
serve:
19-
@echo "Serving docs at http://localhost:8000/main.html"
20-
cd $(DOCS_DIR) && python3 -m http.server 8000
12+
serve: watch
2113

2214
clean:
23-
rm -f $(DOCS_DIR)/*.html $(DOCS_DIR)/*.js $(DOCS_DIR)/*.css
15+
cd $(DOCS_DIR) && raco pollen reset

docs/about.scrbl

Lines changed: 0 additions & 9 deletions
This file was deleted.

docs/common.scrbl

Lines changed: 0 additions & 12 deletions
This file was deleted.

docs/contact.scrbl

Lines changed: 0 additions & 10 deletions
This file was deleted.

docs/index.html.pm

Lines changed: 29 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,29 @@
1+
#lang pollen
2+
3+
◊h2{About}
4+
5+
◊cyan{We are an independent research lab focused on exploring interesting ideas in the interaction between system reliability and programming languages.}
6+
7+
We ❤️ building withlink["https://gleam.run/"]{Gleam} and are finding ways to give back through sponsorships and contributions.
8+
9+
◊h2{Projects}
10+
11+
◊cyan{Active research projects:}
12+
13+
◊ul{
14+
◊li{◊link["https://caffeine-lang.run/"]{Caffeine}: a programming language for generating reliability artifacts from service expectation definitions.◊br{}◊em{Status: Active Development}}
15+
}
16+
17+
◊h2{Speaking}
18+
19+
◊cyan{Upcoming talks and presentations:}
20+
21+
◊ul{
22+
◊li{◊link["https://www-old.cs.utah.edu/plt/"]{University of Utah PLT Department Lecture}◊br{}◊pink{Title:} ◊em{10,000 Lines Later: When a Tool Became a Compiler}◊br{}February 12, 2026 | Salt Lake City, Utah, USA 🇺🇸}
23+
24+
◊li{◊link["https://gleamgathering.com/"]{Gleam Gathering '26}◊br{}◊pink{Title:} ◊em{10,000 Lines Later: When a Tool Became a Compiler (and I Became a Gleamlin)}◊br{}February 21, 2026 | Bristol, UK 🇬🇧}
25+
}
26+
27+
◊h2{Contact}
28+
29+
◊cyan{For inquiries, collaborations, or questions, please ◊link["mailto:rob@brickellresearch.org"]{email us}.}

docs/index.ptree

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
#lang pollen
2+
3+
index.html
4+
manifesto.html

docs/main.html

Lines changed: 0 additions & 2 deletions
This file was deleted.

docs/main.scrbl

Lines changed: 0 additions & 18 deletions
This file was deleted.

0 commit comments

Comments
 (0)