Add polis to website

haglobah · Nov 9, 2024 · ffff1eb · ffff1eb
1 parent 6713812
commit ffff1eb
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 72 deletions.
diff --git a/assets/uno.css b/assets/uno.css
@@ -201,19 +201,15 @@
 .z-10{z-index:10;}
 .m19\.5{margin:4.875rem;}
 .m8\.25{margin:2.0625rem;}
-.-mx-2{margin-left:-0.5rem;margin-right:-0.5rem;}
 .-mx-6{margin-left:-1.5rem;margin-right:-1.5rem;}
 .mx-2{margin-left:0.5rem;margin-right:0.5rem;}
 .mx-8{margin-left:2rem;margin-right:2rem;}
 .mx-auto{margin-left:auto;margin-right:auto;}
-.my-2{margin-top:0.5rem;margin-bottom:0.5rem;}
 .my-4{margin-top:1rem;margin-bottom:1rem;}
 .my-6{margin-top:1.5rem;margin-bottom:1.5rem;}
 .-ml-6{margin-left:-1.5rem;}
 .-mr-6{margin-right:-1.5rem;}
-.mb-2{margin-bottom:0.5rem;}
 .mb-4{margin-bottom:1rem;}
-.mt-2{margin-top:0.5rem;}
 .mt-4{margin-top:1rem;}
 .size-10{width:2.5rem;height:2.5rem;}
 .size-16{width:4rem;height:4rem;}
@@ -222,12 +218,12 @@
 .min-h-\[94vh\]{min-height:94vh;}
 .min-h-screen{min-height:100vh;}
 .w-\[90\%\]{width:90%;}
+.w-full{width:100%;}
 .max-w-screen-md{max-width:768px;}
-.max-w-screen-xl{max-width:1280px;}
 .flex{display:flex;}
-.flex-1{flex:1 1 0%;}
 .shrink-0{flex-shrink:0;}
-.flex-grow{flex-grow:1;}
+.flex-grow,
+.grow{flex-grow:1;}
 .flex-row-reverse{flex-direction:row-reverse;}
 .flex-col{flex-direction:column;}
 .flex-wrap{flex-wrap:wrap;}
@@ -248,10 +244,7 @@
 .overflow-x-auto{overflow-x:auto;}
 .scroll-smooth{scroll-behavior:smooth;}
 .whitespace-nowrap{white-space:nowrap;}
-.border-b{border-bottom-width:1px;}
-.border-zinc-300{--un-border-opacity:1;border-color:rgb(212 212 216 / var(--un-border-opacity));}
 .rounded-lg{border-radius:0.5rem;}
-.border-solid{border-style:solid;}
 .bg-prussian{--un-bg-opacity:1;background-color:rgb(39 48 67 / var(--un-bg-opacity)) /* #273043 */;}
 .bg-white{--un-bg-opacity:1;background-color:rgb(255 255 255 / var(--un-bg-opacity)) /* #fff */;}
 .bg-white\/0{background-color:rgb(255 255 255 / 0) /* #fff */;}
@@ -267,7 +260,6 @@
 .text-2xl{font-size:1.5rem;line-height:2rem;}
 .text-3xl{font-size:1.875rem;line-height:2.25rem;}
 .text-4xl{font-size:2.25rem;line-height:2.5rem;}
-.text-base{font-size:1rem;line-height:1.5rem;}
 .text-sm{font-size:0.875rem;line-height:1.25rem;}
 .text-engineering{--un-text-opacity:1;color:rgb(187 21 18 / var(--un-text-opacity)) /* #BB1512 */;}
 .text-engineering-light{--un-text-opacity:1;color:rgb(218 84 81 / var(--un-text-opacity)) /* #DA5451 */;}
@@ -280,7 +272,6 @@
 .focus-visible\:text-engineering-light:focus-visible{--un-text-opacity:1;color:rgb(218 84 81 / var(--un-text-opacity)) /* #DA5451 */;}
 .focus-visible\:text-engineering:focus-visible{--un-text-opacity:1;color:rgb(187 21 18 / var(--un-text-opacity)) /* #BB1512 */;}
 .selection\:text-prussian ::selection{--un-text-opacity:1;color:rgb(39 48 67 / var(--un-text-opacity)) /* #273043 */;}
-.font-medium{font-weight:500;}
 .leading-relaxed{line-height:1.625;}
 .leading-snug{line-height:1.375;}
 .tracking-tighter{letter-spacing:-0.05em;}
@@ -294,10 +285,8 @@
 .antialiased{-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;}
 .shadow-lg{--un-shadow:var(--un-shadow-inset) 0 10px 15px -3px var(--un-shadow-color, rgb(0 0 0 / 0.1)),var(--un-shadow-inset) 0 4px 6px -4px var(--un-shadow-color, rgb(0 0 0 / 0.1));box-shadow:var(--un-ring-offset-shadow), var(--un-ring-shadow), var(--un-shadow);}
 .transition{transition-property:color,background-color,border-color,text-decoration-color,fill,stroke,opacity,box-shadow,transform,filter,backdrop-filter;transition-timing-function:cubic-bezier(0.4, 0, 0.2, 1);transition-duration:150ms;}
-.transition-all{transition-property:all;transition-timing-function:cubic-bezier(0.4, 0, 0.2, 1);transition-duration:150ms;}
 .duration-200{transition-duration:200ms;}
 .duration-300{transition-duration:300ms;}
-.ease-in-out{transition-timing-function:cubic-bezier(0.4, 0, 0.2, 1);}
 .ease-out{transition-timing-function:cubic-bezier(0, 0, 0.2, 1);}
 @media (min-width: 640px){
 .sm\:mx-16{margin-left:4rem;margin-right:4rem;}
@@ -310,7 +299,6 @@
 }
 @media (min-width: 768px){
 .md\:-mx-12{margin-left:-3rem;margin-right:-3rem;}
-.md\:mx-8{margin-left:2rem;margin-right:2rem;}
 .md\:mx-auto{margin-left:auto;margin-right:auto;}
 .md\:ml-0{margin-left:0;}
 .md\:mr-0{margin-right:0;}

diff --git a/index.html.pm b/index.html.pm
@@ -1,7 +1,7 @@
 #lang pollen
 
 ◊div[#:class "flex bg-prussian"]{
-  ◊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 "flex flex-col justify-between mx-auto min-h-screen max-w-screen-md px-4 pt-12 md:px-8 md:pt-20 lg:px-16 text-zinc-300"]{
     ◊div[#:class "my-6 mx-2 sm:mx-4 md:mx-auto"]{
       ◊h1[#:class "my-4 text-4xl text-engineering-light font-mono tracking-tighter leading-snug"]{Politik nervt —}
       ◊p[#:class "sm:text-lg leading-relaxed"]{
@@ -71,65 +71,12 @@
     }
     ◊projekte{
       ◊projekt[#:title "Neckarthon Tübingen"]{
-        ◊par{
-        }
-        ◊div[#:class "mx-2 my-4 sm:text-lg leading-relaxed"]{
-          ◊orga{18:45 Doors open & Welcome}
-          ◊p[#:class ""]{◊span[#:class "font-medium"]{Talk 1} (maybe you?)}
-          ◊abstract{
-          }
-          ◊orga{Short break}
-          ◊p[#:class ""]{◊span[#:class "font-medium"]{Talk 2} (maybe you?)}
-          ◊abstract{
-          }
-          ◊orga{Food, talking, coding, whatever}
-          ◊orga{22.00 End}
-        }
+        ◊div[#:class "polis" #:data-conversation_id "4kyrm9b7jd"]{}
+        ◊script[#:async "" #:src "https://pol.is/embed.js"]{}
       }
       ◊projekt[#:title "06.11.24"]{
-        ◊par{
-          This projekt took place on the 06.11.24 at the ◊link["https://itdesign.de/"]{itdesign office}, Friedrichstraße 12.
-        }
-        ◊div[#:class "mx-2 my-4 sm:text-lg leading-relaxed"]{
-          ◊orga{18:45 Doors open & Welcome}
-          ◊p[#:class ""]{◊link["https://marvinborner.github.io/tuela24/1"]{◊span[#:class "font-medium"]{Really Functional Data Structures}} (Marvin)}
-          ◊abstract{
-			      Last time, David showed us functional data structures in the form of persistent data structures. In this talk, I want to show you data structures that are defined entirely by functions themselves - no classes, structs, bitmaps, etc.! Knowing about such structures not only tickles the brain, but can also lead to a better intuition for solving problems functionally. Furthermore, one of the data structures shown can be used for space-efficient encodings of fractals and fun animations.
-          }
-          ◊orga{Short break}
-          ◊p[#:class ""]{◊link["assets/slides/2024-11-06_markus-schlegel-decoupled-by-default.pdf"]{◊span[#:class "font-medium"]{Decoupled by Default – Funktionale Programmierung in der Softwarearchitektur}} (Markus)}
-          ◊abstract{
-            ◊p[#:class "my-2"]{Kopplung – das Maß der Abhängigkeiten zwischen Modulen – ist das zentrale Konzept der Softwarearchitektur. Die herkömmliche Sicht auf Kopplung ist die, dass hohe Kopplung dann entsteht, wenn man nicht aufpasst beim Programmieren: wenn man ◊span[#:class "font-medium"]{nicht} gegen explizite Schnittstellen programmiert, wenn man ◊span[#:class "font-medium"]{kein} Visitor-Pattern verwendet, wenn man ◊span[#:class "font-medium"]{nicht} Dependency Injection verwendet …
-          }
-          ◊p[#:class "my-2"]{
-            Kopplung, so scheint es, ist das Resultat von Unterlassung. Die Kopplung wieder zu senken, erfordert dann ausdrückliche Gegenmaßnahmen.
-          }
-          ◊p[#:class "my-2"]{
-            Dieser Vortrag zeigt eine alternative Sichtweise: Viele Arten von Kopplung entstehen aufgrund von Unzulänglichkeiten der Programmiersprache. In funktionalen Sprachen treten diese Kopplungsarten teilweise gar nicht auf oder zumindest ist die Werkseinstellung dieser Sprachen dergestalt, dass Kopplung vermieden wird. Das zeigen wir im Vortrag insbesondere mit Blick auf den Umgang mit geteiltem Zustand und Plattformabhängigkeiten. Am Ende zeigen wir, dass auch funktionale Programmierer nicht automatisch vor allen Arten unnötiger Kopplung sicher sind. Wir zeigen, wie der Ansatz des Denotational Design dort Abhilfe schaffen kann, indem die Semantik von Schnittstellen in den Vordergrund gerückt wird.
-          }
-          }
-          ◊orga{Food, talking, coding, whatever}
-          ◊orga{22.00 End}
-        }
       }
       ◊projekt[#:title "28.08.24"]{
-        ◊par{
-          This projekt took place on the 28.08.24 at the ◊link["https://itdesign.de/"]{itdesign office}, Friedrichstraße 12.
-        }
-        ◊div[#:class "mx-2 my-4 sm:text-lg leading-relaxed"]{
-          ◊orga{18.45 Doors open & Welcome}
-          ◊p{◊link["https://haglobah.github.io/talks/2024-08-28/"]{◊span[#:class "font-medium"]{Simple development environments with Nix}} (Beat)}
-          ◊abstract{
-            Setting up development environments is more complex than it should be. Nix makes entering development environments as easy as running nix develop, making them simple and reproducible. This talk explores what an ideal workflow could look like and walks through a project setup with Nix, outlining its benefits and deficiencies.
-          }
-          ◊orga{Short break}
-          ◊p{◊link["https://binderdavid.github.io/talks/VortragHAMT.pdf"]{◊span[#:class "font-medium"]{Persistent Data Structures: From Lists to Hashmaps}} (David)}
-          ◊abstract{
-            Functional programmers cannot use the same data structures and algorithms that imperative programmers are used to. Functional data structures make it easier to reason about what our code does, but have different performance characteristics. This talk will introduce some of the basic and advanced techniques we use when we implement functional data structures efficiently.
-          }
-          ◊orga{Food, talking, coding, whatever}
-          ◊orga{22.00 End}
-        }
       }
     }
 

diff --git a/pollen.rkt b/pollen.rkt
@@ -37,7 +37,7 @@
       ,(if (string=? img "")
            ""
            `(img ([class "w-full"] [src ,img])))
-      (div ([class "px-6 py-4"])
+      (div ([class "py-4 grow w-full"])
         ,(heading title)
         ,@body)))