Writing

AI is changing the way we develop software. Mattia’s talk takes a fresh look at **Type-Driven Development** (TDD), and how types facilitate not only the work of human developers but also **LLM reasoning**. The talk with be hands-on with code examples and open discussions Agenda: * What is Type-Driven Development * An overview of F#’s type system * How TDD facilitates human developers with AI tools * LLM Tooling with types * LLM reasoning with types * Compositionality and reasoning traces Mattia is a data scientist fighting a losing battle: replacing Python with languages featuring richer type systems. As the co-founder of Entropy42, a Zurich-based startup, he specializes in the verification of ontologies and mathematical optimization programs. There, Mattia leverages type systems and provers to sharpen the performance of specialized small language models. Mattia will use F#, but his talk does not require any prior experience with the language.

Hendrik Klug is joining us to give a talk on the work he has been doing at Synthara to enable their in-memory compute IP using an MLIR-based stack. As usual there will be pizza, snacks, beer, and soft drinks after the event for participants, sponsored by Prof. Zhendong Su and the Advanced Software Technologies (AST) Lab at ETH Zurich. **Abstract:** Licensing custom accelerators as IP to chip makers comes with all sorts of challenges for the compiler. In particular, compute-in-memory hardware moves computation into the memory hierarchy, which requires a different kind of scheduling than conventional compilation pipelines usually perform. Synthara's computeRAM is an in-memory compute IP that is integrated into a wide range of targets, from smartwatches to datacenter accelerators, and each chip maker brings their own toolchain. So computeRAM has to come with a compilation pipeline flexible enough to plug into whichever platform compiler the chip maker is developing, schedule the memory hierarchy and compute capabilities exposed by the hardware, and stay maintainable as the IP evolves. MLIR's dialect and transformation model lets us integrate into the customer's compilation pipeline rather than replace it, and the same pipeline can be retargeted as the integration surface changes from one chip maker to the next. In this talk we walk through the MLIR pipeline we have built around computeRAM at Synthara: the hardware and the platforms it integrates into, the lowering pipeline to both LLVM and EmitC, and the optimizations we do for computeRAM. Throughout, we share what we learned: the good, the bad and the ugly of what's available upstream. **Location:** The event is taking place in the room G51 in the CAB building of ETH Zurich at the Zentrum campus. Enter from Universitätstrasse 6.

**DE** Willst du üben, Menschen zu zeichnen? Dann komm vorbei zum nächsten Treffen. Wir zeichnen uns gegenseitig ab, d.h. jede/jeder steht mal kurz Modell und die anderen halten die Pose im Skizzenbuch fest. (Kurze Posen von ca. 2–10 Minuten). **Wir treffen uns um 17.30 Uhr vor dem Science Pavilion** Wir zeichnen draussen. Und bitte bachte: Dieses Meetup findet statt, wenn mind. 4 Personen teilnehmen *Bitte eigenes Skizziermaterial und ev. Hocker mitnehmen. Alle Zeichner\*innen (geübte und ungeübte) sind willkommen. Wir zeichnen uns gegenseitig in unserer Strassenkleidung, du kannst also so kommen, wie du bist. Wenn du aber gerne ausgefallene Kleidung/Kostüme trägst oder spezielle Accessoires hast, bist du damit auch willkommen.* **EN** Would you like to practise figure drawing? Then come along to our next meetup. We draw each other, i.e. everyone models for a short time and the others record the pose in their sketchbook. (Short poses of approx. 2–10 minutes). **We will meet at 5.30 pm in front of the Science Pavilion** We will be drawing outdoor. And please note: This meetup will only take place if at least 4 people attend. *Please bring your own sketching material and possibly a stool. All sketchers (experienced and inexperienced) are welcome. We will draw each other in our street clothes, so you can come as you are. But if you like to wear fancy clothes/costumes or have special accessories, you are also welcome.*

Hahn+Zimmermann will present their project «Women in Politics», a visual investigation into the representation of women in government in 193 countries since 1950, offering insights into its development from concept to execution. The presentation covers the motivation behind this self-initiated project, design decisions, and the challenges encountered along the way. A particular focus will be on their cross-media approach, which extends the project beyond the website to include printed materials and textiles. **Speaker:** [Hahn+Zimmermann](https://hahn-zimmermann.ch/) is a design studio specialized in communication design and information graphics based in Bern. **Agenda**: 17:00 Doors open 17:00–17:30 Drinks & chats 17:30–18:30 Presentation 18:30–19:00 Drinks & chats 19:00 Goodbye! **Format**: This session will be a presentation followed by a plenary conversation for questions and answers with our speakers. **Language**: Please note, this presentation will be held in German. **Streaming:** If you can’t be with us in person, you can join the livestream at 17:30 on Zoom. **You don’t need to register on Meetup to join virtually.** Link: https://us02web.zoom.us/j/82762945983 Interactive Things will provide drinks and snacks and moderate the presentation.

**Our first outdoor meetup of the year! With a new location.** We are getting together to talk about whatever science fiction, new and old, got us excited lately! Movies, books, games; everything goes. This is an outdoor meetup. Feel free to bring your own picnic blanket, food and drinks. We'll be gathering near the tallest trees. **IF IT RAINS: We'll coordinate an alternative meetup space on the WhatsApp Group and update this page.** If this is your first meetup with this group: There is no fixed subject or theme, just feel free to discuss whatever you would like to share about anything Science Fiction. The lingua franca is English, as it is the language we all have in common. However we also switch languages, whenever convenient. We look forward to meeting you. We have a closed chat group on WhatsApp. Not a member? Ask for the invitation link. See you soon!

**join my new adults songwriting group** for 1 session every 3-4 weeks Saturdays from 10-14:00 Next class is Jan 20th 2024 **Connect with Ariane: 077 425 0018** **Registration and payment is required 150.-/workshop of 4hours** Classes are in English! Dive into the world of songwriting with our beginner-friendly classes! Tailored for newcomers and more advanced songwriters, our monthly sessions offer a supportive space to ignite your creativity. Classes take place once a month on Saturdays and last for 4 hours. Through various exercises, you'll learn the basics of lyric writing, melody development, and song structure. Draw inspiration from personal experiences and various music genres to cultivate your own style. These courses offer more than just musical skills. You'll become part of a relaxed, mindful process that allows for self-expression and stress relief. Additionally, join a community of like-minded individuals fostering collaboration and providing constructive feedback in a supportive environment. In addition, we offer a WhatsApp group for supportive communication and advice between classes. Join us and discover the joy of songwriting under the guidance of Ariane, an experienced teacher with over 20 years of expertise. Ariane specializes in nurturing artists and excels as a vocal coach. Become part of this experience and explore the art of songwriting under Ariane's guidance. Unleash your creativity, relax, and connect with fellow music enthusiasts as you embark on this fulfilling journey!

\*\*\* Event in Italian\*\*\* Una serata speciale dedicata alla scrittura, ai libri e alle storie che lasciano il segno. LibriAMO Zurigo insieme a Gli Attomatti sono felici di presentare un incontro con Alice Malerba, autrice dalla voce intensa e autentica, capace di raccontare emozioni, fragilità e relazioni umane con grande sensibilità. Durante la serata parleremo del suo percorso nel mondo dell’editoria, del dietro le quinte della scrittura e dei libri che hanno accompagnato la sua carriera. In particolare, scopriremo il suo ultimo romanzo, Come brace coperta, una storia intensa e coinvolgente che affronta temi profondi con delicatezza e forza narrativa. Un’occasione per dialogare con l’autrice, fare domande, condividere riflessioni e lasciarsi ispirare dal potere delle parole. 📚✨ Dialoga con l'autrice Elisa Donati e Alina Cebotari 📍 ABZ, Balberstrasse 47, 8038 Wollishofen 🕖 Giovedì 18 giugno \| dalle 19:00 alle 21:00 Ingresso gratuito Vi aspettiamo per un viaggio tra libri, emozioni e creatività. Per registrarsi scrivere una mail a libriamozurigo@gmail.com

Durch ein grösseres Waldstück erreichen wir die Lorze. Wir überqueren sie und stehen vor den Höllgrotten, 6000 Jahre alten Tropfsteinhöhlen. Wir folgen wir dem Lauf der Lorze, die durch Wildheit und Schönheit besticht. Der Rückweg führt uns vorbei an der Burgruine Wildenburg durch ein Waldstück namens Himmelrich. Wie immer mit Meditationsübungen in der Natur. Eintrittspreis für die Höllgrotten 14 CHF. Spendensammlung für Pro Natura. Mehr Fotos und Tourenblatt **[HIER Klicken](https://www.bernhardeisenbarth.ch/meditation/meditatives-wandern/#cc-m-header-15002150427)**

**Al Aire Libre Club** Son “gatherings creativos” de verano en la naturaleza para inspirarnos a través de conversaciones, journaling, juegos y actividades creativas al aire libre. ¿Y porque este espacio existe?… because girls just wanna have fun 🎶 **Primer encuentro de verano: LA INSPIRACIÓN** La inspiración… esa que emerge en lo cotidiano. Una frase de una película que nos mueve, una canción que despierta recuerdos, algo que nos atraviesa, un paisaje que nos devuelve la calma, un instante simple en el que sentimos que algo se despierta y se mueve dentro de nosotras. Y ese impulso se siente como ganas: ganas de crear, de tomar una decisión, de darle forma a algo que tiene significado para nosotras. **¿Cuál es la actividad para romper el hielo?** En este encuentro creativo vamos a jugar con la inspiración... Trae algo que te haya inspirado: una frase de un libro, una canción cuya letra te atraviese, un libro que te cambió la vida, un dije u objeto con un significado profundo para ti, una foto que amas o algo que hayas/estes creando.. ya sea físico, un concepto de un proyecto o algo que tú misma hayas escrito y sientas que ya es momento de compartir. La idea es venir a dejar que ruja tu alma: compartir lo que traes y contarnos por qué es tan especial para ti. * Queremos inspirarnos mutuamente, tener conversaciones auténticas y profundas. * Que este sea un espacio donde nos enseñes un pedacito de ese mágico universo que habita en ti. * Queremos conocerte a través de lo que te mueve, y que todas salgamos con los ojos llenos de estrellitas, listas para seguir creando más de eso que nos inspira. **Trae:** * Una manta o tela para sentarte * Tu libreta y lápiz * Una bebida para mantenerte hidratada (necesitamos ese cerebro prendido, creativo y presente) * Algo para comer o compartir * Y, obviamente, no olvides traer algo que te inspire (según la descripción de arriba) Este espacio lo vamos a co-crear juntas. **¿Te sumas?** 🗓 Sábado 20 de Junio 🕒 10:30 am – 13:00pm 📍 Zürichhorn, Höschgasse 3, Zürich, CH (Cerca de Chinagarten, junto al lago, a lado de la escultura llamada “Heureka" de Jean Tinguely) *\*Nota a tomar en cuenta: el evento está sujeto a las condiciones climáticas. En caso de lluvia, la fecha será postergada o cancelada* Si tienes dudas o preguntas escríbeme y conversamos +41767277515 Con cariño, Mile

Join us for an hour of writing! We’ve discovered that it’s strikingly helpful to write with other writers. See if it’s true for you at 7:00pm on Wednesday, February 11 at Streetlight Guild. Be it a book, blog, script, essay, dissertation, resume, melody, poem or just plain work stuff, you are invited to write it with us. No one will see what you've written or give you unsolicited advice. Instead of just thinking about writing, come and get some real writing done. **SCHEDULE:** 6:45ish - Quick introductions 7:00 - Timer starts: write for 1 hour 8:00 - The End **OPTIONAL SOCIALIZING** happens before and after the writing hour. Writing is very solitary. Connecting (and sometimes even commiserating) with other writers is a cool thing. **BEING LATE IS OKAY:** just show up and get settled! If you were on time, please be willing to make room for the friendly latecomer. Happy writing & I look forward to seeing you at Streetlight Guild! **WHAT SHOULD I BRING?** Whatever you need to be able to write! You're welcome to bring earplugs/headphones if noise will bother you! **OTHER IMPORTANT DETAILS:** * **RSVP:** Please RSVP by 6:00pm the evening of the meeting. This helps me know how many to expect, and if we'll need additional space! * **COVID:** While masks are not required, please be mindful of the other writers around you and their comfort levels. * **WIFI/OUTLETS:** Outlets are limited, so please ensure your devices are charged when you come! But Streetlight Guild does have free WiFi! Yay! * **PARKING:** There is free public parking at Streetlight Guild.

**We are expanding our creative programming opportunities with Queer Quills, a quiet writing and sharing space. Queer Quills features some prompts, supplies and friendly faces to help get some inspiration or feedback for your writing. Hope to see you there!**

Greetings writers! Come down and join your fellow wordsmiths for one hour of uninterrupted writing time in the upper level of the Market District Supermarket in Upper Arlington. The main entrance of the shopping center opens onto stairs/elevator leading up to the 2nd floor cafe section where we will have a table displaying a sign with the Shut Up & Write logo. Writing is largely a solitary craft. Practicing with others in a community setting may be the thing you need to fire your own routine. We’ll meet on Wednesday evenings, starting the clock at 6:30, following a brief period of introductions. This is solid writing time and all inclusive. Any project is acceptable, be it fiction, non -fiction, work or homework assignment. All is welcome and will remain private to you. The market boasts a Starbucks, a full service bar and various affordable food options. Parking is plentiful, free Wifi is provided as well as outlets for charging your devices, though they are somewhat limited, so plan accordingly. Show up as early as you like, or stay late. This group tends to socialize some, both before and after the alloted time, but this is not mandatory to you. Feel free to come and go as you please and late arrivals are welcome. The cafe may be noisy on occasion so headphones/ earbuds are reccommended as you see fit. Please try to RSVP if possible so that we may grab enough seats for all—the venue can be busy at times. Feel free to message me privately wth any questions and/ or concerns you may have. Happy writing!

We'll meet at The Capital One Café, 167 Easton Town Center, Space A-103. This is in the main mall where the Microsoft store used to be, on your left if you're standing at the bottom of the AMC Theater escalator. Join us on Saturday for an hour of uninterrupted wordmaking! • What we'll do Join us for an hour of writing! We’ve discovered that it’s strikingly helpful to write with other writers. See if it’s true for you at 10AM on Saturday mornings. Be it a book, blog, script, essay, dissertation, resume, melody, poem or just plain work stuff, you are invited to write it with us. No one will see what you've written or give you unsolicited advice. Instead of just thinking about writing, come and get some real writing done. SCHEDULE: 10:00 - SESSION 1: quick intros. 10:10 - timer starts: write for 1 hour. 11:10 - chat / take off / keep writing. OPTIONAL SOCIALIZING happens at 11A-11:30ish. Writing is very solitary. Connecting (and sometimes even commiserating) with other writers is a cool thing. BEING LATE IS OKAY: just show up and get settled, then check-in with me after the session. (I’ll be the person with the Shut Up & Write! sign.) If you were on time, please be willing to make room for the friendly latecomer. Happy writing and I look forward to seeing you! • What to bring Whatever you need to be able to write! Bring earbuds/earplugs if you want to block noise or the occasional conversation by other patrons. Electrical outlets are limited, so charge your devices before whenever possible. See you at The Café on Saturday!