mastodon.social/@jstepien. I don’t read DMs; go ahead and send me an email.

Joined February 2010
18 Photos and videos
Jan Stępień retweeted
2 Mar 2022
Ви розробник або архітектор програмного забезпечення, власник продукту чи маркетолог з України? Шукаєте роботу чи безоплатне робоче місце в Німеччині? INNOQ пропонує можливість працювати дистанційно, а також безоплатний робочий простір у Німеччині. innoq.com/en/jobs/people-fro…

4
19
24
Jan Stępień retweeted
12 Feb 2022
progress in type systems marches inexorably forward, ruling out broader and broader classes of programs as bad. one day, type systems research will achieve the ultimate goal: to conclusively establish that all programs are bad
26
243
1,316
Who wore it better?
1
6
Some inspiring food for thought here. @Mappletons’ writing on writing online resonates an awful lot with me. maggieappleton.com/garden-hi…

1
4
Are we doing this again? We are doing this again. Live Advent of Code in K tomorrow at 14:00 CET. janstepien.com/2021/aoc/

1
1
See you in 35 minutes. twitch.tv/janstepien
Are we doing this again? We are doing this again. Live Advent of Code in K tomorrow at 14:00 CET. janstepien.com/2021/aoc/
I've been having plenty of fun learning K through solving #AdventOfCode problems. K is a variant of APL you don't need a dedicated keyboard for. It's also concise; so far each solution fits into a single toot. Let's see for how long can I keep this up. mastodon.social/web/@jstepie…
2
3
See you tomorrow at lunchtime! meetup.com/de-DE/INNOQ-Techn…

27 Oct 2021
If anybody is interested in Clojure web apps and progressive enhancement, consider joining the INNOQ tech lunch that I am doing with @janstepien next week! We are going to be looking at the architecture of our application (spacy) and would love to answer any and all questions!
1
6
Five years with @INNOQ. Time flies in good company.
1
25
This is going to be fun.
5
1
16
Help me out. I'm trying to understand type systems better. Do you know of programming languages or development environments that: 🧵 1/5
2
12
11
We can't change the existing code that's already running. So to integrate new code and types we must rely on polymorphism. It can be inheritance, traits, type classes, you name it. Hot code reloading with type safety guarantees. 🧵 4/5
3
I've been pointed to unisonweb.org as a potential answer to opening question. Is there more? If not, why? What are the problems, limitations, challenges? Please RT for reach. Cheers! 🧵 5/5

1
9