Go Game Teaching / Playing and Tea Tasting 🍵🎲

Learn and play Go, while enjoying a variety of teas

⏱ 20:00-22:00 Thursday, 11 July
📍 F0RTHSP4CE, Ana Kalandadze, 5
🌐 Language: RU / EN
💰 Entrance: donation
👥 Hosts: @skywinder and @IrinaMolodykh
---
👉 Mark the emoji if you will come 🍵

🗿Clay Art & Tea Session

THE EVENT IS TOMORROW!

We will mold white clay into whatever our imagination inspires. While working, we'll enjoy a Chinese tea ceremony. Feel free to bring your favourite tea and bowls if you have them. We will know about some insights about working with clay, its behavior, and firing techniques.

⏱ 19:00-21:30 Monday, 15 July
📍 F0RTHSP4CE, Ana Kalandadze, 5
💰 free/donation
👅 ru/en
🗣 @spatifer
👮 @dettlaff_zero

16:00, Sunday, 28 Jul
📍 F0RTHSP4CE, Ana Kalandadze st, 5 (Saburtalo)
POSTPONED!

Category theory and its applications in functional programming

Welcome to the second lecture session about Category Theory, where we will delve deeper into advanced topics. This lecture will focus on functors, exploring their role as morphisms between categories, and natural transformations, which provide a way to transform one functor into another. We will also cover limits and colimits, which generalize notions of products and unions within category theory. Additionally, we will examine adjunctions of functors, pairs of functors in specific relationships, and introduce monads, a powerful concept in both category theory and functional programming.

Language: EN/RU
Entrance: free, optional donation
No registration/just come
Host: @curiv
Speaker: @sammyfan

Метод конечных элементов своими руками // Finite Element Method: A Homemade 2D Solver

Метод конечных элементов (МКЭ) применяют в задачах упругости, теплопередачи, гидродинамики — всюду, где нужно как-то решить уравнения сплошной среды или поля. Вокруг него построены ANSYS и подобные ему программы для инженерных расчётов. Мы попробуем объяснить МКЭ от самых основ, с простенькой учебной реализацией и вовсе без упоминания интегралов, частных производных и прочей жути. Это будет МКЭ для расчёта упругой двумерной пластины на прочность и жёсткость. Обсудим все этапы: интерактивный редактор, разбиение модели на треугольные элементы, вычисление напряжений и деформаций, визуализацию результата. Ни одна часть алгоритма не спрячется от нас в недрах MATLAB или NumPy. Подход будет ужасно неоптимальным, но максимально ясным и удобным для освоения.

Language: RU
Place: F0RTHSP4CE, 5 Ana Kalandadze St., Tbilisi
Date: August 10, 2024, 17:00-19:00
Entrance: free/donation
Speaker: @vtereshkov
Host: @Molotov_Molotov

16:00, Sunday, 18 Aug
📍 F0RTHSP4CE, Ana Kalandadze st, 5 (Saburtalo)

Category theory and its applications in functional programming

Welcome to the second lecture session about Category Theory, where we will delve deeper into advanced topics. This lecture will focus on functors, exploring their role as morphisms between categories, and natural transformations, which provide a way to transform one functor into another. We will also cover limits and colimits, which generalize notions of products and unions within category theory. Additionally, we will examine adjunctions of functors, pairs of functors in specific relationships, and introduce monads, a powerful concept in both category theory and functional programming.

Language: EN/RU
Entrance: free, optional donation
No registration/just come
Speaker: @sammyfan

Linguistic problems #1

⏱ 20:00-22:00 Thursday, August 22nd
📍 F0RTHSP4CE, Ana Kalandadze, 5

Мы соберемся, чтобы порешать четыре (самодостаточные) лингвистические задачи. Это такие задачи на логику, сделанные на материале человеческих языков. Узнаем что-то про языки, растрясём полушария, понёрдим.

Возьмите с собой ручку, бумажку, зоны Брока и Вернике.

Language: RU (ZH/YI/NEN)
Entrance: free
Mediator: @vitalypavlenko
Host: @coreglitch

16:00, Sunday, 25 August
Linear Algebra and its applications in programming
📍 F0RTHSP4CE, Ana Kalandadze st, 5 (Saburtalo) (how to get there)

I am pleased to invite you to a comprehensive lecture on Linear Algebra, focusing on both foundational concepts and advanced topics. The session will cover essential areas such as vector spaces, linear operators, and eigenvalues, before progressing to more complex theorems including the Spectral Theorem and the Cayley-Hamilton Theorem. Additionally, we may cover some programming problems related to linear algebra

Time: 16:00
Language: EN/RU
Entrance: free/donation, no registration needed
Speaker: @sammyfan
Host: @klntsky

Linguistic problems #2

⏱ 20:00-23:00 Thursday, August 29nd
📍 F0RTHSP4CE, Ana Kalandadze, 5

Мы соберемся, чтобы порешать пять (самодостаточных) лингвистических задач. Это такие задачи на логику, сделанные на материале человеческих языков. Узнаем что-то про языки, растрясём полушария, понёрдим.

В этот раз задачи будут попроще, чем в прошлый.

Возьмите с собой ручку и бумажку.

Language: RU (AR/KZ/YI)
Entrance: free
Mediator: @vitalypavlenko
Host: @piligrim_oliver

16:00, Sunday, 1st September
Linear Algebra
📍 F0RTHSP4CE, Ana Kalandadze st, 5 (Saburtalo)

Welcome to the second lecture on Linear Algebra! This lecture will cover, eigenvalues, diagonalization, Cayley-Hamilton Theorem and inner product spaces.

Time: 16:00
Language: EN/RU
Entrance: free/donation, no registration needed
Speaker: @sammyfan
Host: @klntsky

Linguistic problems #3

⏱ 20:00-23:00 Thursday, September 5th
📍 F0RTHSP4CE, Ana Kalandadze, 5

Мы соберемся, чтобы порешать четыре самодостаточные лингвистические задачи. Это такие задачи на логику, сделанные на материале человеческих языков. Для их решения никаких специальных знаний не нужно. Все встречи независимы, можно прийти на любую.

Узнаем что-то про языки, растрясём полушария, понёрдим.

В этот раз задачи будут ещё проще, чем в прошлый.

Возьмите с собой ручку и бумажку.

Language: RU (MED/BEL/KA/TH)
Entrance: free
Mediator: @vitalypavlenko
Host: @piligrim_oliver

Music theory problems #1

⏱ 20:00-23:30 Monday, September 23rd
📍 F0RTHSP4CE, Ana Kalandadze, 5

Мы соберемся, чтобы порешать задачи про структуры в нотной музыке. Это такие задачи, в которых нужно найти закономерности в реальных музыкальных произведениях.

Предварительные знания в теории музыки не требуются.

Обязательно возьмите с собой ноутбук и наушники.

Сами задачи вот

Проверьте, что они у вас открываются и проигрываются.

Это цикл встреч, все встречи цикла зависят друг от друга.

Напишите в лс, если соберётесь прийти.

Language: RU
Entrance: free
Host: @vitalypavlenko

Music theory problems #2

⏱ 12:00-15:00 Saturday, September 28th
📍 F0RTHSP4CE, Ana Kalandadze, 5

Мы соберемся, чтобы порешать задачи про структуры в нотной музыке. Это такие задачи, в которых нужно найти закономерности в реальных музыкальных произведениях.

Предварительные знания в теории музыки не требуются.

Обязательно возьмите с собой ноутбук и наушники.

Сами задачи вот

Проверьте, что они у вас открываются и проигрываются.

На эту встречу можно прийти, если не были на предыдущей: это семинар, все движутся в своём темпе.

Напишите в лс, если соберётесь прийти.

Language: RU
Entrance: free
Host: @vitalypavlenko

How to code web applications in React using Cursor IDE

⏱ 18:00-23:30 Thursday, October 3rd
📍 F0RTHSP4CE, Ana Kalandadze, 5

На этом семинаре мы научимся строить веб-приложения на реакте в объёме скиллов восьмилетней девочки. Мозг не понадобится, умение программировать — тоже. Хотя с ними всё почему-то получается в 10 раз быстрее.

Приносите ноут и приходите с идеей приложения. Я сделал шаблон и помогу всё запустить и накурсорить.

Это семинар (не лекция), поэтому приходите в любое время начиная с 18:00: каждый курсорит в своём темпе.

Ещё можете посмотреть мой стрим.

Language: RU
Entrance: free
Host: @vitalypavlenko (напишите заранее, если думаете прийти)

Music theory problems #3

⏱ 12:00-15:30 Saturday, October 5th
📍 F0RTHSP4CE, Ana Kalandadze, 5

Колупаемся с теорией западной музыки и пытаемся понять какие-то закономерности в нотах.

Обязательно возьмите с собой ноутбук и наушники.

Сами задачи вот

Проверьте, что они у вас открываются и проигрываются.

Напишите в лс, если соберётесь прийти.

Language: RU
Entrance: free
Host: @vitalypavlenko

Что такое Nix?

⏰ 20:00-22:00 Thursday, October 17th
📌 F0RTHSP4CE, Ana Kalandadze, 5

@alurm будет демонстрировать что такое Nix (язык), Nixpkgs (репозиторий пакетов на базе Nix) и NixOS (операционная система на базе Nix).

Дискуссия приветствуется, с собой брать ничего не обязательно.

Потенциальные отступления

* Сравнение с Docker.
* Элементы функционального программирования в Nix.
* Другие компоненты экосистемы Nix.

Ссылка на трансляцию: https://youtube.com/watch?v=noEbul27dHE

Language: RU
Entrance: free
Speaker: @alurm
Host: @cofob

Metaprompt: creation. Part 0.

⏰ 16:00-21:00 Saturday, November 9
📌 F0RTHSP4CE, Ana Kalandadze, 5

Language: EN/RU
Entrance: free
Speaker: @klntsky

Hi! I'm building a template engine for LLM prompts that I call MetaPrompt. Its purpose is to bridge the gap between prompts and software by letting the programmer create/modify prompts via other prompts, as well as provide a way to package reusable parameterized prompts as functions, and let prompts interact with other software.

I want to make the development process public to attract attention to this project and find potential users.

You are welcome to come and chat. It's going to look like a programming twitch stream but IRL.

Prompt Club #1

⏰ 16:00-19:00 Saturday, November 16
📌 F0RTHSP4CE, Ana Kalandadze, 5

Language: EN/RU
Entrance: free
Host: @klntsky

Hi! Last week so many people came to my talk that I decided to start a club on the topic of LLMs in general.

Agenda:

- I will show my progress for the week with the MetaPrompt implementation (30 min)
- We will try to set up and run PLang, an experimental language that uses LLMs for the build process (1.5 h)
- Free form discussion

* Fprog Tbilisi Meetup

* Программа мероприятия:

*** Воркшоп: формальная верификация программ с состоянием на Lean4 (@GabrielFallen)

(sic!) Воркшоп стартует в 12:00, хронометраж ~3 часа. Это практическое занятие, берите с собой компьютеры. После воркшопа обеденный перерыв на 1 час, потом доклады из списка ниже.

*** Оптимизации в Common Lisp (@love5an)
*** Метапрограммирование в языках семейства Lisp (@akater)
*** Сорта Clojure(Script) в браузере (@astynax)
*** Дебаггеры в Clojure (@apostaat)

* Язык: чёрное наречие
* Вход: бесплатный
* Хост: @cofob @klntsky
* Место: F0RTHSPACE, Ana Kalanadze, 5
* Дата: 01.12.2024 (воскресенье)
* Дискуссия - а куда без неё
* Если планируете прийти - ставьте 👍

UPD:
YouTube - https://www.youtube.com/watch?v=5T-XONZCptc
Meet - https://meet.jit.si/fprogtbilisi

Prompt Club #2

⏰ 16:00-19:00 Saturday, November 30
📌 F0RTHSP4CE, Ana Kalandadze, 5

Language: EN/RU
Entrance: free
Host: @klntsky

Hi! Last week we had a video chat with the creator of PLang.

Next meetup agenda:

- Quick demo of windsurf and why I like it
- I will show my progress for the week with the MetaPrompt implementation (30 min)
- We will try to get a grasp of modelcontextprotocol.io - an open protocol that enables seamless integration between LLM applications and external tools, analogous to language-server-protocol for IDEs.
- Free form discussion

👉 Join the new chat (EN): @PromptHackers

Токсичный разговор про боевых роботов для ничего о них не знающих

⏰ 14:00 - 16:00 Sunday, December 8
📌 F0RTHSP4CE, Ana Kalandadze, 5


Рассказ про "спорт" боевых роботов (battlebots/robot wars и анмалогов) от участника. Как потратить все свои сбережения на 100 кг металлолома, почему роботы все ещё менее популярные, чем формула 1, кому не стоит заниматься этим движем, почему правила такие "скучные". А на фуршете обсудим самые гениальные идеи для роботов, о которых ещё никто не додумался.

Домашнее задание: ютуб battlebots / robotwarsм

Language: RU
Entrance: free
Host: mrk.62
Contact: mrk.62 Signal messenger