Meetup 21/5

[Jan Kronquist]

Jag träffade Oskar Wickström i fredags, snackade programmering och drack en öl eller två. Vi försökte komma på en bokklubb eller nåt liknande. Oskar hade som vanligt massor av idéer och jag fastnade för att lära mig mer om SMT solvers som är helt nytt för mig. Ideen är att vi på egen hand läser på lite om detta och sedan träffas för en mob-programmerings session där vi provar att lösa lite problem tillsammans.

https://github.com/z3prover/z3

En kort video som ger en bra intro: https://www.youtube.com/watch?v=EacYNe7moSs

Anmälan: Skicka ett mail till mig!
Var: RemotiveLabs, Stora Varvsgatan 6A (MEC), 4:e våningen
När: Tisdag 21/5 16.30

Läs gärna på lite innan och låt oss dyka in i koden tillsammans.

/Jan

PS: Har du förslag på andra ämnen eller saker att göra tillsammans?