Spontaneous Introduction to Haskell
Date: Sunday 12/02/2023
Starting at: 18:00 PM
Duration: 4-6 hours
Language: Russian
This Sunday (12/02/23) at 18:00 we'll write our second (and hopefully not the last) Haskell program.
Part I:
We'll continue wrapping our heads around monads and speak more about syntax and semantics.
Part II:
Practice.
Bring your own laptops with GHC and Cabal pre-installed (this is a requirement)
Link to the study group: https://t.me/+LtB7BkG72Vc4Mzcy
@klntsky and @aka_dude
Date: Sunday 12/02/2023
Starting at: 18:00 PM
Duration: 4-6 hours
Language: Russian
This Sunday (12/02/23) at 18:00 we'll write our second (and hopefully not the last) Haskell program.
Part I:
We'll continue wrapping our heads around monads and speak more about syntax and semantics.
Part II:
Practice.
Bring your own laptops with GHC and Cabal pre-installed (this is a requirement)
Link to the study group: https://t.me/+LtB7BkG72Vc4Mzcy
@klntsky and @aka_dude
👍5🆒4🍌2🍓2🫡2🦄2🌭1👀1
ALGO MEETUP
11 Feb Saturday 14:00 - 19:00
Series of events, dedicated to learning algorithms and solving LeetCode problems. Nice option to prepare for job interviews.
topic: Graphs part 1
At first we will have a small lecture about topological sort, shortest paths, Eulerian and Hamilton paths. Then we will solve 3-4 medium/hard LeetCode problems together using these algorithms. Use your favorite programming language.
Minimal participant requirements: you have already successfully solved easy problems at LeetCode.
Max 10 people, please comment if you want to participate and not already in the group.
11 Feb Saturday 14:00 - 19:00
Series of events, dedicated to learning algorithms and solving LeetCode problems. Nice option to prepare for job interviews.
topic: Graphs part 1
At first we will have a small lecture about topological sort, shortest paths, Eulerian and Hamilton paths. Then we will solve 3-4 medium/hard LeetCode problems together using these algorithms. Use your favorite programming language.
Minimal participant requirements: you have already successfully solved easy problems at LeetCode.
Max 10 people, please comment if you want to participate and not already in the group.
🔥6
6th Cyberpunk Anime Night @ F0RTHSP4CE
Continue watching GITS Innocence this Saturday
Date: 11/02/2023
Starting at: 20:00 PM
Duration: 1:39
Sound: Japanese
Subtitles: English or Russian
Continue watching GITS Innocence this Saturday
Date: 11/02/2023
Starting at: 20:00 PM
Duration: 1:39
Sound: Japanese
Subtitles: English or Russian
❤5
Unlocking the secrets of networks: L3
Date: 16.02.2023
Time: 20:30
Registration: in comments
Join us for a lecture on the fundamentals of Layer 3 (L3) protocols in computer networks.
In this session, we will dive deep into the mechanics of IP addressing, subnetting, netmasks, netmask counting, and classless addressing.
We will explore the IPv4 protocol and its packet structure, including the sub protocols needed for IP, ICMP, PMTU discovery, and PMTU black hole.
We will also discuss Address Resolution Protocol (ARP) and Reverse Address Resolution Protocol (RARP) and how they relate to L3 networking.
Additionally, we will cover Open Shortest Path First (OSPF) and how it fits into L3 networks.
Lastly, we will examine the latest version of the IP protocol, IPv6, and its subprotocols.
We will compare and contrast IPv4 and IPv6 and discuss their respective benefits and drawbacks.
This lecture is perfect for anyone who wants to gain a better understanding of L3 networks and their underlying protocols.
Date: 16.02.2023
Time: 20:30
Registration: in comments
Join us for a lecture on the fundamentals of Layer 3 (L3) protocols in computer networks.
In this session, we will dive deep into the mechanics of IP addressing, subnetting, netmasks, netmask counting, and classless addressing.
We will explore the IPv4 protocol and its packet structure, including the sub protocols needed for IP, ICMP, PMTU discovery, and PMTU black hole.
We will also discuss Address Resolution Protocol (ARP) and Reverse Address Resolution Protocol (RARP) and how they relate to L3 networking.
Additionally, we will cover Open Shortest Path First (OSPF) and how it fits into L3 networks.
Lastly, we will examine the latest version of the IP protocol, IPv6, and its subprotocols.
We will compare and contrast IPv4 and IPv6 and discuss their respective benefits and drawbacks.
This lecture is perfect for anyone who wants to gain a better understanding of L3 networks and their underlying protocols.
🔥7👍2❤1
Paper reading club:
language models + acid
When: 17 Feb Friday 19:00-22:00
Lang: RU
Where: main room
Topics:
- key papers on in-context/zero-shot learning i.e. using language models with minimal finetuning and an instruction finetuning approach to prompt engineering
- a synthesis of hierarchical predictive processing, a default brain function model, and the entropic brain hypothesis, a model of psychedelics action
Papers of the day:
Finetuned Language Models Are Zero-Shot Learners
Multitask Prompted Training Enables Zero-Shot Task Generalization
Training language models to follow instructions with human feedback
Improving alignment of dialogue agents via targeted human judgements
Scaling Instruction-Finetuned Language Models
REBUS and the Anarchic Brain: Toward a Unified Model of the Brain Action of Psychedelics
Read the papers and come discuss them!
Shall you get stuck as you read, pop over to our chat — we’ll try to help.
Event co-organized by F0 and paper reading club.
language models + acid
When: 17 Feb Friday 19:00-22:00
Lang: RU
Where: main room
Topics:
- key papers on in-context/zero-shot learning i.e. using language models with minimal finetuning and an instruction finetuning approach to prompt engineering
- a synthesis of hierarchical predictive processing, a default brain function model, and the entropic brain hypothesis, a model of psychedelics action
Papers of the day:
Finetuned Language Models Are Zero-Shot Learners
Multitask Prompted Training Enables Zero-Shot Task Generalization
Training language models to follow instructions with human feedback
Improving alignment of dialogue agents via targeted human judgements
Scaling Instruction-Finetuned Language Models
REBUS and the Anarchic Brain: Toward a Unified Model of the Brain Action of Psychedelics
Read the papers and come discuss them!
Shall you get stuck as you read, pop over to our chat — we’ll try to help.
Event co-organized by F0 and paper reading club.
🔥4
Spontaneous Introduction to Haskell #3
Date: Sunday 19/02/2023
Starting at: 18:00 PM
Duration: 5-6 hours
Language: Russian
Last week we wrote a few functions that work on lists and tested them using QuickCheck. This week we are going to focus more on monad type class, its well-known instances, and learn about monad transformers.
Bring your own laptops with GHC and Cabal pre-installed (this is a requirement)
Link to the study group: https://t.me/+LtB7BkG72Vc4Mzcy
@klntsky and @aka_dude
Date: Sunday 19/02/2023
Starting at: 18:00 PM
Duration: 5-6 hours
Language: Russian
Last week we wrote a few functions that work on lists and tested them using QuickCheck. This week we are going to focus more on monad type class, its well-known instances, and learn about monad transformers.
Bring your own laptops with GHC and Cabal pre-installed (this is a requirement)
Link to the study group: https://t.me/+LtB7BkG72Vc4Mzcy
@klntsky and @aka_dude
🌚3👍1🤓1
ALGO MEETUP
18 Feb Saturday 14:00 - 19:00
Series of events, dedicated to learning algorithms and solving LeetCode problems. Nice option to prepare for job interviews.
topic: Dynamic programming
At first we will have a small lecture about principles of dynamic programming, common problems, traveling salesman problem. Then we will solve 3-4 medium/hard LeetCode problems together using these algorithms. Use your favorite programming language.
Minimal participant requirements: you have already successfully solved easy problems at LeetCode.
Max 10 people, please comment if you want to participate and not already in the group.
18 Feb Saturday 14:00 - 19:00
Series of events, dedicated to learning algorithms and solving LeetCode problems. Nice option to prepare for job interviews.
topic: Dynamic programming
At first we will have a small lecture about principles of dynamic programming, common problems, traveling salesman problem. Then we will solve 3-4 medium/hard LeetCode problems together using these algorithms. Use your favorite programming language.
Minimal participant requirements: you have already successfully solved easy problems at LeetCode.
Max 10 people, please comment if you want to participate and not already in the group.
❤1👍1🔥1
7th Cyberpunk Anime Night @ F0RTHSP4CE
Let's watch Blame!
Date: 18/02/2023
Starting at: 20:00 PM
Duration: 1:45
Sound: Japanese
Subtitles: English or Russian
Let's watch Blame!
Date: 18/02/2023
Starting at: 20:00 PM
Duration: 1:45
Sound: Japanese
Subtitles: English or Russian
🔥9👍2💔1
Seminar: category theory
for deep learning
When: 19 Feb Sunday 14:00-16:00
Lang: RU
Where: main room
We'll follow a recent course — cats.for.ai — to take a peek at recent advances in distilling ad-hoc machine learning constructs to algebra.
The course we're going to follow promises to provide an accessible introduction to category theory targeted at deep learning practitioners. The authors suggest that ML can benefit greatly from CT's compositional ideas, and that category theory will become an essential element in the machine learning researchers' toolbox.
We'll see if that rings true for us at the seminar.
Check out Lecture 1 of the course to prepare.
Shall you get stuck, pop over to the chat — we’ll try to help.
for deep learning
When: 19 Feb Sunday 14:00-16:00
Lang: RU
Where: main room
We'll follow a recent course — cats.for.ai — to take a peek at recent advances in distilling ad-hoc machine learning constructs to algebra.
The course we're going to follow promises to provide an accessible introduction to category theory targeted at deep learning practitioners. The authors suggest that ML can benefit greatly from CT's compositional ideas, and that category theory will become an essential element in the machine learning researchers' toolbox.
We'll see if that rings true for us at the seminar.
Check out Lecture 1 of the course to prepare.
Shall you get stuck, pop over to the chat — we’ll try to help.
🔥5👍1
Synth jam: minimal
When: 26 February 14:00 - 18:00
Where: basement @ F0RTHSP4CE
Language: english / russian
We'll try to work with the trickiest instrument: silence.
First hour we'll spend on sync,
so bring your sequencers, MIDI cables and loopers to stay in time.
And of cause, bring cable to connect your audio devices to mixer by 6.3 jack.
If you have specific theme for next jams, that make your palms sweat, feel free to suggest in comments.
When: 26 February 14:00 - 18:00
Where: basement @ F0RTHSP4CE
Language: english / russian
We'll try to work with the trickiest instrument: silence.
First hour we'll spend on sync,
so bring your sequencers, MIDI cables and loopers to stay in time.
And of cause, bring cable to connect your audio devices to mixer by 6.3 jack.
If you have specific theme for next jams, that make your palms sweat, feel free to suggest in comments.
🔥11
ALGO MEETUP
25 Feb Saturday 14:00 - 19:00
Series of events, dedicated to learning algorithms and solving LeetCode problems. Nice option to prepare for job interviews.
topic: Dynamic programming 2
This time we will just continue to solve medium/hard LeetCode problems using dynamic programming. There will be no lecture, but you could study previous presentation by yourself if you missed it.
Use your favorite programming language.
Minimal participant requirements: you have already successfully solved easy problems at LeetCode.
Max 10 people, please comment if you want to participate and not already in the group.
25 Feb Saturday 14:00 - 19:00
Series of events, dedicated to learning algorithms and solving LeetCode problems. Nice option to prepare for job interviews.
topic: Dynamic programming 2
This time we will just continue to solve medium/hard LeetCode problems using dynamic programming. There will be no lecture, but you could study previous presentation by yourself if you missed it.
Use your favorite programming language.
Minimal participant requirements: you have already successfully solved easy problems at LeetCode.
Max 10 people, please comment if you want to participate and not already in the group.
👍2
8th Anime Night
Saturday 25 Feb, 20:00 - 00:00
We'll watch Girls' Last Tour 1-6 series. It's slice of life of two little girls in post-apocalyptic setting.
sound: jap
sub: rus
Saturday 25 Feb, 20:00 - 00:00
We'll watch Girls' Last Tour 1-6 series. It's slice of life of two little girls in post-apocalyptic setting.
sound: jap
sub: rus
❤5👍1👀1
Spontaneous Introduction to Haskell #4
Date: Sunday 26/02/2023
Starting at: 18:00 PM
Duration: 5-6 hours
Language: Russian
Last week we wrote a few Monad instances, but still didn't get to monad transformers. This week we are going to learn how to compose effects of multiple monads with monad transformers and how to choose transformer stack for your effectful programs.
Bring your own laptops with GHC and Cabal pre-installed (this is a requirement)
Link to the study group: https://t.me/+LtB7BkG72Vc4Mzcy
@klntsky and @aka_dude
Date: Sunday 26/02/2023
Starting at: 18:00 PM
Duration: 5-6 hours
Language: Russian
Last week we wrote a few Monad instances, but still didn't get to monad transformers. This week we are going to learn how to compose effects of multiple monads with monad transformers and how to choose transformer stack for your effectful programs.
Bring your own laptops with GHC and Cabal pre-installed (this is a requirement)
Link to the study group: https://t.me/+LtB7BkG72Vc4Mzcy
@klntsky and @aka_dude
🔥4🦄2🐳1
Seminar: geometric
deep learning
When: 26 Feb Sunday 14:00-16:00
Lang: RU
Where: main room
After finding CT x ML study resources lacking, we turn to the previous course by same authors on geometric deep learning, a field dedicated to making models invariant to some properties of data.
Read chapters 1, 2 and 3 of the book to prepare. You can also check out lectures 2 and 3. (We're skipping lec 1).
Shall you get stuck, pop over to the chat — we’ll try to help.
deep learning
When: 26 Feb Sunday 14:00-16:00
Lang: RU
Where: main room
After finding CT x ML study resources lacking, we turn to the previous course by same authors on geometric deep learning, a field dedicated to making models invariant to some properties of data.
Read chapters 1, 2 and 3 of the book to prepare. You can also check out lectures 2 and 3. (We're skipping lec 1).
Shall you get stuck, pop over to the chat — we’ll try to help.
👍2
RETRO GAMING: Full pipe
When: 03 March, 20:00
Lang: Russian
Swiper trapped Uncle to psychic adventure through underworld, full of hardcore riddles and freaky character design.
When: 03 March, 20:00
Lang: Russian
Swiper trapped Uncle to psychic adventure through underworld, full of hardcore riddles and freaky character design.
🔥7😍1
Spontaneous Introduction to Haskell #5
Date: Sunday 05/03/2023
Starting at: 18:00 PM
Duration: 5-6 hours
Language: Russian
Last week we implemented our own monad transformer, now it's time to learn how to use MTL to automate lifting of monadic actions.
Bring your own laptops
Link to the study group: https://t.me/+LtB7BkG72Vc4Mzcy
org: @klntsky
Date: Sunday 05/03/2023
Starting at: 18:00 PM
Duration: 5-6 hours
Language: Russian
Last week we implemented our own monad transformer, now it's time to learn how to use MTL to automate lifting of monadic actions.
Bring your own laptops
Link to the study group: https://t.me/+LtB7BkG72Vc4Mzcy
org: @klntsky
👀2👍1🫡1
ALGO MEETUP
4 March Saturday 14:00 - 19:00
Series of events, dedicated to learning algorithms and solving LeetCode problems. Nice option to prepare for job interviews.
topic: Priority queue (heap)
At first we will have a small lecture about different implementations of priority queue. Then we will solve 3-4 medium/hard LeetCode problems with priority queues.
Use your favorite programming language.
Minimal participant requirements:
* you have already successfully solved easy problems at LeetCode
* you have laptop, pen and paper
Max 10 people, please comment if you want to participate and not already in the group.
4 March Saturday 14:00 - 19:00
Series of events, dedicated to learning algorithms and solving LeetCode problems. Nice option to prepare for job interviews.
topic: Priority queue (heap)
At first we will have a small lecture about different implementations of priority queue. Then we will solve 3-4 medium/hard LeetCode problems with priority queues.
Use your favorite programming language.
Minimal participant requirements:
* you have already successfully solved easy problems at LeetCode
* you have laptop, pen and paper
Max 10 people, please comment if you want to participate and not already in the group.
🔥6
9th Anime Night
Saturday 4 March, 20:00 - 00:00
We'll watch Girls' Last Tour 7-12 series. It's slice of life of two little girls in post-apocalyptic setting.
sound: jap
sub: rus/eng
Saturday 4 March, 20:00 - 00:00
We'll watch Girls' Last Tour 7-12 series. It's slice of life of two little girls in post-apocalyptic setting.
sound: jap
sub: rus/eng
❤4👍1
HACK BASICS: Program execution model
When: Wednesday, March 8, 19:30
Language: English/Russian
• Program execution model in modern computing
• Executable files and memory layout
• Memory management (static, stack, heap)
• Assembly & C language basics
We recommend to grab a laptop with a UNIX-like operating system
(GNU/Linux (Debian, Ubuntu, etc.), *BSD, MacOS and others).
When: Wednesday, March 8, 19:30
Language: English/Russian
• Program execution model in modern computing
• Executable files and memory layout
• Memory management (static, stack, heap)
• Assembly & C language basics
We recommend to grab a laptop with a UNIX-like operating system
(GNU/Linux (Debian, Ubuntu, etc.), *BSD, MacOS and others).
🔥8👍5😍1