Fork me on GitHub
#off-topic
<
2020-08-10
>
kulminaator04:08:36

Found this in the closet today. Feels like it was 3000 years ago ...

borkdude07:08:26

Still wear that shirt regularly, it's one of my favorites (unlike the Berlin 2017 one, I don't like the white shirts)

jsn08:08:47

It's funny, I live in Bratislava, some of my friends came to Bratislava in 2017 for that event, but I was completely uninterested in Clojure back then (as opposed to now)

Timur Latypoff08:08:04

Does anybody use Zulip chat at work or in some active communities? I would really love if you could share your experiences if it's worth migrating from Slack. I kind of like what they say on their website: it's easier to keep up with long conversations — but I joined Clojurians Zulip (less active than Slack) to check it out and can't say that the thesis is obviously true.

thomas08:08:48

I am wearing my Berlin EuroClojure shirt today. for the first time I think.

thomas08:08:23

and I started #msfs2020 to discuss all things related to Microsoft FlightSimulator. Please come and join me.

Daniel Hines13:08:21

I'm working on a Redux-like framework that, in theory, can automatically detect bugs based on high-level specifications (using a combination of generative testing and SAT solving). The idea is to compile it to JS so as to use it in web apps. I'm looking for examples of subtle bugs in state-machine like programs that I can use both to test my framework and highlight the merits of the approach. Any ideas?