|
15 | 15 | "past": [ |
16 | 16 | { |
17 | 17 | "title": "Student PL Meetup vol. 9", |
18 | | - "date": "10. April 2026 (18:00 - 21:00)", |
| 18 | + "date": "10th of April 2026 (18:00 - 21:00)", |
19 | 19 | "recording": "https://youtube.com/playlist?list=PLIsBvRXhzG5tgFipze-hlLmy5Qonv__-0&si=C_WWpyru3WdHX9lP", |
20 | 20 | "talks": [ |
21 | 21 | "Optimizing UTF8 validation for ~~fame and glory~~ fail and gory: Max Hollmann", |
|
25 | 25 | }, |
26 | 26 | { |
27 | 27 | "title": "Student PL Meetup vol. 8", |
28 | | - "date": "5. March 2026 (18:00 - 21:00)", |
| 28 | + "date": "5th of March 2026 (18:00 - 21:00)", |
29 | 29 | "recording": "https://www.youtube.com/playlist?list=PLIsBvRXhzG5vhZ45GvQAqV4yrLf8fIFkP", |
30 | 30 | "talks": [ |
31 | 31 | "How do we grow our languages?: Filip Říha", |
|
35 | 35 | }, |
36 | 36 | { |
37 | 37 | "title": "Student PL Meetup vol. 7", |
38 | | - "date": "28. November 2025", |
| 38 | + "date": "28th of November 2025", |
39 | 39 | "recording": "https://www.youtube.com/playlist?list=PLIsBvRXhzG5sVVW98ahW96xynJsjBUydw", |
40 | 40 | "talks": [ |
41 | 41 | "Cool and crazy stuff in the Jai language: Jan Řehoř", |
|
45 | 45 | }, |
46 | 46 | { |
47 | 47 | "title": "Student PL Meetup vol. 6", |
48 | | - "date": "20. October 2025", |
| 48 | + "date": "20th of October 2025", |
49 | 49 | "recording": "https://www.youtube.com/playlist?list=PLIsBvRXhzG5tRBy7pvXuVP1rz02e1KlLM", |
50 | 50 | "talks": [ |
51 | 51 | "Povídání o děrných štítcích a páskách: čestní hosté [Dr. Božena Mannová](https://www.pametnaroda.cz/cs/mannova-bozena-1941) a [prof. Oldřich Starý](https://fel.cvut.cz/cs/fakulta/lide/352-oldrich-stary/)", |
|
55 | 55 | }, |
56 | 56 | { |
57 | 57 | "title": "Student PL Meetup vol. 5", |
58 | | - "date": "3. September 2025", |
| 58 | + "date": "3rd of September 2025", |
59 | 59 | "recording": "https://www.youtube.com/playlist?list=PLIsBvRXhzG5tDrCd1JZH2Egncb-Jr9ewW", |
60 | 60 | "talks": [ |
61 | 61 | "Zig Compiler Internals", |
|
65 | 65 | }, |
66 | 66 | { |
67 | 67 | "title": "Student PL Meetup vol. 4", |
68 | | - "date": "31. July 2025", |
| 68 | + "date": "31st of July 2025", |
69 | 69 | "recording": "https://www.youtube.com/playlist?list=PLIsBvRXhzG5sHxM9l-jAXYuCBBQ_NRmU9", |
70 | 70 | "talks": [ |
71 | 71 | "[Lessons learnt building a FEE CTU template in Typst](https://typst.app/project/rONUnXcOkPaqzsXiPrn3tp)", |
|
75 | 75 | }, |
76 | 76 | { |
77 | 77 | "title": "Student PL Meetup vol. 3", |
78 | | - "date": "6. June 2025", |
| 78 | + "date": "6th of June 2025", |
79 | 79 | "recording": "https://www.youtube.com/playlist?list=PLIsBvRXhzG5uhTYluyzcSQw9T_JOmHqdh", |
80 | 80 | "talks": [ |
81 | 81 | "Variace na ~~Renesanční~~ PL téma\n- Jak se dá jednoduše pochopit a implementovat type-based overloading\n- Proč je algebraic subtyping chvílema jednodušší než opěvovaný Hindley-Milner", |
|
85 | 85 | }, |
86 | 86 | { |
87 | 87 | "title": "Student PL Meetup vol. 2", |
88 | | - "date": "9. April 2025", |
| 88 | + "date": "9th of April 2025", |
89 | 89 | "recording": "https://www.youtube.com/playlist?list=PLIsBvRXhzG5ugnknDBtN9TqIxHR-2QHBj", |
90 | 90 | "talks": [ |
91 | 91 | "[Breaking had: Jak rozbít Python snadno a rychle](resources/s02/Breaking_Had.pdf)", |
|
95 | 95 | }, |
96 | 96 | { |
97 | 97 | "title": "Student PL Meetup vol. 1", |
98 | | - "date": "12. March 2025", |
| 98 | + "date": "12th of March 2025", |
99 | 99 | "recording": "https://youtube.com/playlist?list=PLIsBvRXhzG5vYKLh0emgJDRae9tm104GG&si=c5D9R7EpHt3oTvZu", |
100 | 100 | "talks": [ |
101 | 101 | "Building a high-performance linker", |
|
105 | 105 | }, |
106 | 106 | { |
107 | 107 | "title": "lang-talk meetup vol. 16", |
108 | | - "date": "16. September 2024", |
| 108 | + "date": "16th of September 2024", |
109 | 109 | "recording": "https://youtu.be/jW5e6vCEhB0", |
110 | 110 | "talks": [ |
111 | 111 | "Algebraic Effects", |
|
115 | 115 | }, |
116 | 116 | { |
117 | 117 | "title": "lang-talk meetup vol. 15", |
118 | | - "date": "23. May 2024", |
| 118 | + "date": "23rd of May 2024", |
119 | 119 | "recording": null, |
120 | 120 | "talks": [ |
121 | 121 | "Lua and register-based VM" |
122 | 122 | ] |
123 | 123 | }, |
124 | 124 | { |
125 | 125 | "title": "lang-talk meetup vol. 14", |
126 | | - "date": "24. April 2024", |
| 126 | + "date": "24th of April 2024", |
127 | 127 | "recording": "https://youtu.be/mLtHML1shYI", |
128 | 128 | "talks": [ |
129 | 129 | "A Generic Introduction to Algebraic Effects", |
|
133 | 133 | }, |
134 | 134 | { |
135 | 135 | "title": "lang-talk meetup vol. 13", |
136 | | - "date": "27. March 2024", |
| 136 | + "date": "27th of March 2024", |
137 | 137 | "recording": "https://youtu.be/HW8xNzV0U88", |
138 | 138 | "talks": [ |
139 | 139 | "[Jak zahodit bash pro skripty a nahradit ho Pythonem aniž by toho člověk litoval](resources/13/unbash.pdf)", |
|
143 | 143 | }, |
144 | 144 | { |
145 | 145 | "title": "lang-talk meetup vol. 12", |
146 | | - "date": "19. February 2024", |
| 146 | + "date": "19th of February 2024", |
147 | 147 | "recording": [ |
148 | 148 | "https://youtu.be/pZjsCWpHAw0", |
149 | 149 | "https://youtu.be/ford0RdAVZs", |
|
156 | 156 | }, |
157 | 157 | { |
158 | 158 | "title": "lang-talk meetup vol. 11", |
159 | | - "date": "29. January 2024", |
| 159 | + "date": "29th of January 2024", |
160 | 160 | "recording": null, |
161 | 161 | "talks": [ |
162 | 162 | "Isabelle/HOL (*invited speaker*)", |
|
165 | 165 | }, |
166 | 166 | { |
167 | 167 | "title": "lang-talk meetup vol. 10", |
168 | | - "date": "29. November 2023", |
| 168 | + "date": "29th of November 2023", |
169 | 169 | "recording": null, |
170 | 170 | "talks": [ |
171 | 171 | "[Automated Theorem Proving = Logic Programming](resources/10/logic.pdf)", |
|
175 | 175 | }, |
176 | 176 | { |
177 | 177 | "title": "lang-talk meetup vol. 9", |
178 | | - "date": "30. October 2023", |
| 178 | + "date": "30th of October 2023", |
179 | 179 | "recording": null, |
180 | 180 | "talks": [ |
181 | 181 | "[Expression problem](resources/9/expression-problem)", |
|
185 | 185 | }, |
186 | 186 | { |
187 | 187 | "title": "lang-talk meetup vol. 8", |
188 | | - "date": "26. July 2023", |
| 188 | + "date": "26th of July 2023", |
189 | 189 | "recording": null, |
190 | 190 | "talks": [ |
191 | 191 | "How to build and break LLVM" |
192 | 192 | ] |
193 | 193 | }, |
194 | 194 | { |
195 | 195 | "title": "lang-talk meetup vol. 7", |
196 | | - "date": "29. June 2023", |
| 196 | + "date": "29th of June 2023", |
197 | 197 | "recording": [ |
198 | 198 | "https://youtu.be/-ftxd2QNXis", |
199 | 199 | "https://youtu.be/pUJqE9v3bsI" |
|
205 | 205 | }, |
206 | 206 | { |
207 | 207 | "title": "lang-talk meetup vol. 6", |
208 | | - "date": "30. May 2023", |
| 208 | + "date": "30th of May 2023", |
209 | 209 | "recording": "https://youtu.be/SCGJM7OkGmU", |
210 | 210 | "talks": [ |
211 | 211 | "Historie programování: APL", |
|
214 | 214 | }, |
215 | 215 | { |
216 | 216 | "title": "lang-talk meetup vol. 5", |
217 | | - "date": "20. April 2023", |
| 217 | + "date": "20th of April 2023", |
218 | 218 | "recording": "https://youtu.be/mGLxYYmkUho", |
219 | 219 | "talks": [ |
220 | 220 | "[Historie programování: Microsoft Visual Basic](resources/5/vb.pdf)", |
|
224 | 224 | }, |
225 | 225 | { |
226 | 226 | "title": "lang-talk meetup vol. 4", |
227 | | - "date": "27. March 2023", |
| 227 | + "date": "27th of March 2023", |
228 | 228 | "recording": "https://youtu.be/NYslWINATGI", |
229 | 229 | "talks": [ |
230 | 230 | "[Harry Potter And The Methods of Equality Saturation](resources/4/hp-equality-saturation.pdf)", |
|
235 | 235 | }, |
236 | 236 | { |
237 | 237 | "title": "lang-talk meetup vol. 3", |
238 | | - "date": "28. February 2023", |
| 238 | + "date": "28th of February 2023", |
239 | 239 | "recording": "https://youtu.be/4wtDB4PASDE", |
240 | 240 | "talks": [ |
241 | 241 | "Symbolic Execution, is it even useful?", |
|
244 | 244 | }, |
245 | 245 | { |
246 | 246 | "title": "lang-talk meetup vol. 2", |
247 | | - "date": "31. January 2023", |
| 247 | + "date": "31st of January 2023", |
248 | 248 | "recording": "https://youtu.be/qD_nt0Rrlsw", |
249 | 249 | "talks": [ |
250 | 250 | "[Continuations, how to have made a different sandwich](resources/2/continuations.pdf)", |
|
254 | 254 | }, |
255 | 255 | { |
256 | 256 | "title": "lang-talk meetup vol. 1", |
257 | | - "date": "15. December 2022", |
| 257 | + "date": "15th of December 2022", |
258 | 258 | "recording": "https://youtu.be/AFKpPIl9RDU", |
259 | 259 | "talks": [ |
260 | 260 | "[Malbolge: the self-modifying puzzle?](resources/1/malbolge.pdf)", |
|
263 | 263 | }, |
264 | 264 | { |
265 | 265 | "title": "lang-talk meetup vol. 0", |
266 | | - "date": "16. November 2022", |
| 266 | + "date": "16th of November 2022", |
267 | 267 | "recording": "https://youtu.be/ECtC_Y6RLBI", |
268 | 268 | "talks": [ |
269 | 269 | "Weird Stuff PowerShell Does", |
|
0 commit comments