|
18 | 18 | #let soft = brand-paper |
19 | 19 |
|
20 | 20 | #set text(fill: dark, font: "Manrope", size: 14pt) |
| 21 | +#set text(lang: "cs") |
21 | 22 |
|
22 | 23 | #show heading.where(level: 1): set text(size: 56pt, weight: 700, fill: accent-alt, font: "Neuton") |
23 | 24 | #show heading.where(level: 2): set text(size: 24pt, weight: 600, fill: accent-alt, font: "Neuton") |
|
31 | 32 | fill: accent-alt, inset: (left: 16pt, right: 16pt, top: 2pt, bottom: 8pt), |
32 | 33 | // width: 120%, |
33 | 34 | )[ |
34 | | - #text(size: 28pt, weight: 900, fill: white, font: "Neuton")[PRG • PRG] |
| 35 | + #text(size: 28pt, weight: 600, fill: white, font: "Neuton")[PRG • PRG] |
35 | 36 | ] |
36 | 37 | #v(-5pt) |
37 | 38 | #block( |
38 | 39 | fill: accent, inset: (left: 16pt, right: 16pt, top: 2pt, bottom: 20pt), width: 100%, |
39 | 40 | )[ |
40 | 41 | #text( |
41 | | - size: 54pt, weight: 200, fill: white, font: "Neuton", |
| 42 | + size: 48pt, weight: 600, fill: white, font: "Neuton", |
42 | 43 | )[Student Programming Language Meetup] |
43 | 44 | ] |
44 | | - #v(6pt) |
45 | 45 | #block( |
46 | | - inset: (left: 0pt, right: 0pt, top: 2pt, bottom: 20pt), width: 100%, |
| 46 | + inset: (left: 0pt, right: 0pt, top: 2pt, bottom: 12pt), width: 100%, |
47 | 47 | )[ |
48 | | - #set text(size: 19pt, weight: 600, fill: accent, font: "Manrope") |
| 48 | + #set text(size: 17.7pt, weight: 600, fill: accent, font: "Manrope") |
| 49 | + #show " • ": [#h(6pt) • #h(6pt)] |
49 | 50 | #align( |
50 | | - horizon + center, fit-to-width[Talks • Invited Speakers • Discussion • Community], |
| 51 | + horizon + center, [Talky a prezentace • Externí hosté • Diskuse • Komunita], |
51 | 52 | ) |
52 | 53 | ] |
53 | 54 | ], |
54 | 55 | ) |
55 | 56 |
|
56 | | -#set par(leading: 0.7em, justify: false) |
| 57 | +#set par(leading: 0.75em, justify: true) |
57 | 58 |
|
58 | | -// == What it is? |
59 | | - |
60 | | -Student & alumni community from *FIT ČVUT* • *FEL ČVUT* • *MFF UK* |
61 | | -meeting to discuss programming languages and related topics. |
62 | | - |
63 | | -#set list(marker: text(fill: accent-bright, "▸")) |
64 | | -#list( |
65 | | - [Share lightning & deep-dive talks], [Discuss PL concepts, compilers, runtimes], [Explore research ideas & language design], [Grow a supportive local PL network], |
66 | | -) |
| 59 | +Přidejte se ke komunitě studentů a absolventů #h(4pt) *FEL ČVUT*, #h(4pt) *FIT ČVUT*, #h(4pt) *MFF UK* a přijďte se dozvědět více o nejrůznějších zákoutích programovacích jazyků, compilerů a runtime systémů. |
67 | 60 |
|
| 61 | +#v(16pt) |
| 62 | +#block(fill: none)[ |
| 63 | + #set text(size: 11pt) |
| 64 | + #set par(justify: true) |
| 65 | + #text(weight: 600, fill: accent)[Minulá témata] \ |
| 66 | + #show " · ": [#h(2pt) • #h(2pt)] |
| 67 | + Zig Compiler Internals · Building a High-Performance Linker · How to Build and Break LLVM · Transpiling LLVM · Inside Rust Borrow Checker · Flow-Sensitive Typing (Kotlin) · Lua Register VM · Dependent Type Theory · Algebraic Effects · Type Kinds · Expression Problem · Continuations · Costs of Mutability · Theorems for Free · Automated Theorem Proving = Logic Programming · Isabelle/HOL · Symbolic Execution · Typst Template Lessons · Scalene Profiler · Breaking Python · Slightly Less Broken C · Inside PDF · APL · Φ Nodes are Functions! · WAT: Hardware Edition · Weird Stuff PowerShell Does · (a mnohem více) |
| 68 | +] |
68 | 69 | #v(1fr) |
69 | 70 |
|
70 | 71 | #grid( |
71 | | - columns: (3fr, 1fr), align: bottom, [ |
| 72 | + columns: (6fr, 2fr), align: bottom, [ |
72 | 73 | #block( |
73 | 74 | fill: accent, inset: 16pt, width: 100%, |
74 | 75 | )[ |
75 | | - #text(size: 18pt, weight: 600, fill: white)[Next Meetup (vol. VOL)] |
76 | | - #v(8pt) |
77 | | - #set text(fill: white) |
78 | | - #list( |
79 | | - [📅 *DATE* at *TIME*], [📍 *VENUE / ROOM*], [⏱ Talks ~ 5–30 min — mix of formats], |
80 | | - ) |
| 76 | + #text(size: 14pt, weight: 600, fill: white)[*Příští meetup*] |
| 77 | + #v(3pt) |
| 78 | + #set text(fill: white, size: 12pt) |
| 79 | + |
| 80 | + |
| 81 | + - *Povídání o děrovacích štítcích a páskách*:\ speciální hosté Dr. Božena Mannová |
| 82 | + a prof. Oldřich Starý |
| 83 | + - *Zig comptime a co se s ním dá dělat*: Max Hollmann |
| 84 | + - *Stacking monads*: Michal Atlas |
| 85 | + |
| 86 | + #v(4pt) |
| 87 | + |
| 88 | + 📅 *20.10.* *18:00-21:00* #h(1fr) |
| 89 | + 📍 *FEL ČVUT Dejvice (T2:C3-132)* #h(1fr) |
81 | 90 | ] |
82 | 91 | ], [ |
83 | | - #block(fill: none, [ |
84 | | - #block(fill: white, inset: 15pt, [ |
85 | | - #set text(weight: 900, fill: accent, size: 20pt) |
86 | | - #set align(center) |
87 | | - #qr-code("https://discord.gg/eBznsEpD2V", width: 100%, color: accent) |
88 | | - #v(-13pt) |
89 | | - Discord |
90 | | - ]) |
91 | | - ]) |
| 92 | + #block( |
| 93 | + fill: none, [ |
| 94 | + #block(fill: white, inset: 15pt, [ |
| 95 | + #set text(weight: 900, fill: accent, size: 20pt) |
| 96 | + #set align(center) |
| 97 | + #qr-code("https://discord.gg/eBznsEpD2V", width: 100%, color: accent) |
| 98 | + #v(-13pt) |
| 99 | + Discord |
| 100 | + ]) |
| 101 | + ], |
| 102 | + ) |
92 | 103 | ], |
93 | 104 | ) |
94 | 105 |
|
95 | | -#v(10pt) |
96 | | - |
97 | | -#block()[ |
98 | | - #set text(size: 19pt, weight: 600, fill: accent-alt, font: "Neuton") |
99 | | - #align(horizon + center, fit-to-width[student-meetup.prgprg.org]) |
100 | | -]#v(30pt)#align(center)[ |
| 106 | +#block(width: 100%)[ |
| 107 | + #set align(center) |
| 108 | + #set text(size: 32pt, weight: 600, fill: accent-alt, font: "Neuton") |
| 109 | + #align(horizon + center, "student-meetup.prgprg.org") |
| 110 | +]#v(15pt)#align(center)[ |
101 | 111 | #set text(size: 9pt, style: "italic", fill: luma(30%)) |
102 | 112 | Prague Programming Languages & Systems Research Network |
103 | 113 |
|
104 | | - Responsible FEL CVUT employee: Jakub Dupák \<dupakjak\@fel.cvut.cz> |
| 114 | + Zodpovědná osoba FEL ČVUT: Jakub Dupák \<dupakjak\@fel.cvut.cz> |
105 | 115 | ] |
0 commit comments