1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
|
#lang pollen
◊(require string-interpolation)
◊`(div ([class ,"flex bg-[@{raisin-black}]"])
(div ([class "hidden my-2 lg:flex flex-col items-center shrink-0 justify-around ml-12 xl:ml-36"])
,(badge "Locality of Behavior")
(a ([href "https://nixos.org"])
(img ([src "assets/logos/nix.png"] [class "aspect-auto w-24"])))
,(badge "Simplicity")
(a ([href "https://clojure.org"])
(img ([src "assets/logos/clojure.svg"] [class "aspect-auto w-24"])))
,(badge "Lenses")
(a ([href "https://rust-lang.org"])
(img ([src "assets/logos/ferris.svg"] [class "aspect-auto w-24"])))
,(badge "Reproducibility")
)
(div ([class ,"flex flex-col justify-between mx-auto min-h-screen max-w-screen-xl px-4 pt-12 md:px-8 md:pt-20 lg:px-16 text-zinc-300"])
(div ([class "my-6"])
(h1 ([class ,"my-4 text-4xl text-[@{jordy}] font-fira-code tracking-tighter leading-snug text-center"])
"Coding is hard —")
(p ([class "my-2 sm:text-lg leading-relaxed text-center"])
"Most of the tools and languages (make it easy to) add unnecessary complexity.")
(p ([class "my-2 sm:text-lg leading-relaxed text-center"])
"This creates unnecessary cognitive load.")
(p ([class "my-2 sm:text-lg leading-relaxed text-center"])
"If we constantly battle cognitive load, we get exhausted, unhappy and frustrated.")
)
(div ([class "my-6"])
(h1 ([class ,"my-4 text-4xl text-[@{jordy}] font-fira-code tracking-tighter leading-snug text-center"])
"but it does it have to be that hard?")
(p ([class "my-2 sm:text-lg leading-relaxed text-center"])
"There are tools and techniques that manage complexity comparatively well.")
(p ([class "my-2 sm:text-lg leading-relaxed text-center"])
"Using those " (span ([class "italic"]) "reduces") " cognitive load.")
(p ([class "my-2 sm:text-lg leading-relaxed text-center"])
"So that you can be energetic, happy and joyful while coding.")
)
(div ([class "mx-auto"])
(a ([href "#meetup"]
[class ,"mb-4 flex flex-col gap-2 items-center hover:text-[@{jordy}] focus-visible:text-[@{jordy}] duration-300"])
(span ([class "text-xl text-[@{jordy}] font-fira-code tracking-tighter leading-snug"])"Interested?")
(svg ([xmlns "http://www.w3.org/2000/svg"] [fill "none"] [viewBox "0 0 24 24"] [stroke-width "1"] [stroke "currentColor"] [class "size-16"])
(path ([stroke-linecap "round"] [stroke-linejoin "round"] [d "m19.5 8.25-7.5 7.5-7.5-7.5"]))))
)
)
(div ([class "hidden my-2 lg:flex flex-col items-center shrink-0 justify-around mr-12 xl:mr-36"])
,(badge "Functional Data Structures")
(a ([href "https://www.haskell.org/"])
(img ([src "assets/logos/haskell.svg"] [class "aspect-auto w-28"])))
,(badge "Category Theory")
(a ([href "https://elixir-lang.org"])
(img ([src "assets/logos/elixir.svg"] [class "aspect-auto w-24"])))
,(badge "Distributed Systems")
(a ([href "https://racket-lang.org"])
(img ([src "assets/logos/racket.svg"] [class "aspect-auto w-24"])))
,(badge "Low Coupling")
)
)
◊`(div ([class "bg-white"])
(div ([id "meetup"] [class "min-h-screen my-4 text-zinc-700 mx-auto h-full max-w-screen-md px-6 py-12 md:px-12 md:py-20 lg:px-24"])
,(heading "About")
(p ([class "my-4 sm:text-lg leading-relaxed"])
"Hi 👋")
(p ([class "my-4 sm:text-lg leading-relaxed"])
"We're " ,(link "David" "https://binderdavid.github.io") " and " ,(link "Beat" "https://me.beathagenlocher.com") " and we thought it would be nice if the wonderful city of Tübingen had a functional programming meetup (again).")
(p ([class "my-4 sm:text-lg leading-relaxed"])
"That's why we're launching " (span ([class "italic"]) "Functional Coders Tübingen") " — we want to create a space where people interested in functional programming can meet and learn from each other.
To achieve this, we will start off with talks, followed by food and an open exchange between the participants.")
(p ([class "my-4 sm:text-lg leading-relaxed"])
"The first event will take place at the dd.mm.yy at the " (a ([href "https://ki-maker.space/"]) "KI Makerspace Tübingen") ", Wöhrdstraße 25.")
,(heading "Schedule")
)
)
◊; ,(->badges "Haskell, Nix, Elixir, Erlang, Rust, Clojure, Racket, Category Theory, Lenses")
|
