Wat we doen
We aim to bring systems programming enthusiasts together by organizing not-for-profit events in Ghent and the surrounding area.
A systems programmer is someone who does systems programming. According to Wikipedia: ... systems programming aims to produce software and software platforms which provide services to other software, are performance constrained, or both.
In this group you can expect informal gatherings like:
- Socials: relax after a long day at work and chat with like-minded people. If you are too exhausted to think, no worries, no-one will judge. The primary location will be cafe/restaurant Marengo next to Coupure in Ghent.
- Presentations: exciting tools and frameworks in programming languages that give a combination of performance and expressiveness. For example, Rust or C++, but other topics are welcome.
- Workshops: hands-on, goal-directed practical learning.
Join the Signal chat or follow the official website.
Aankomende evenementen
2
Haskell: A Practical Introduction
DoubleVerify, Kortrijksesteenweg 1084, Gent, BEThe event takes place at the offices of DoubleVerify. They are also sponsoring food and drinks.
Together with the System Programming Ghent group, we are organizing an intro to Haskell. We'll try a more practical approach, starting with a two simple practical problem and solving them using Haskell (a lazy and expressive functional programming language):
1. A (very!) basic ray tracer
2. A simple web service
Through these examples, we will be learning the fundamentals of Haskell, including concepts like pure functions, monads for side effects, and algebraic data types.Speakers: Koen De Keyser and Hendrik De Vloedt.
12 deelnemers
Meet fellow proof assistant lovers!
Jeugdraad, Kammerstraaat 10, Gent, BE[Proof assistants are tools mathematicians or engineers use to verify correctness of proofs or implementions.]
Let's get together with everyone who uses proof assistants in the area, students, researchers or engineers. We can discuss our work or learning process with systems like Isabelle, Lean, Coq (Rocq), Idris, HOL, Isabelle, Agda, ... or many others.
In case there is interest, I booked a meeting room with beamer at 19h close to the restaurant neighborhood of Gent where we could also do some short presentations.
(Credits picture: Utrecht University)
3 deelnemers
Verleden evenementen
11
Groepskoppelingen
Organisatoren
Leden
119
