Jan Stępień

I don’t read DMs; go ahead and send me an email.

[Jan Stępień @janstepien]

I’m at https://t.co/8YihzJw32h

[INNOQ @INNOQ]

Ви розробник або архітектор програмного забезпечення, власник продукту чи маркетолог з України? Шукаєте роботу чи безоплатне робоче місце в Німеччині?

INNOQ пропонує можливість працювати дистанційно, а також безоплатний робочий простір у Німеччині.
https://t.co/C4KNrP483m

[Lindsey @lindsey]

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

[Jan Stępień @janstepien]

@mknoszlig boah

[Jan Stępień @janstepien]

Who wore it better?

[Jan Stępień @janstepien]

Some inspiring food for thought here. @Mappletons’ writing on writing online resonates an awful lot with me. https://t.co/iW8w0DkxSF

[Jan Stępień @janstepien]

That was good fun! https://t.co/YOTsyRa8KE

[Jan Stępień @janstepien]

Are we doing this again? We are doing this again. Live Advent of Code in K tomorrow at 14:00 CET. https://t.co/BqYUlbuDut

[Jan Stępień @janstepien]

See you in 35 minutes. https://t.co/7fKO4yfwEx

[Jan Stępień @janstepien]

Are we doing this again? We are doing this again. Live Advent of Code in K tomorrow at 14:00 CET. https://t.co/BqYUlbuDut

[Jan Stępień @janstepien]

Today's #AdventOfCode in K live on Twitch at 16:00 CET. Do swing by! https://t.co/7fKO4yfwEx

[Jan Stępień @janstepien]

#AdventOfCode day 4 in K. Slowly learning the ropes. Still under half a kB without excessive minification! https://t.co/OBDh7kFMX0

[Jan Stępień @janstepien]

@mknoszlig Cheers! I'm thinking about streaming the process one day, maybe over the weekend. The solutions are a bit less cryptic if you see the small steps that it took to get there.

[Jan Stępień @janstepien]

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. https://t.co/B7eyshExJf

[Jan Stępień @janstepien]

@arcatan J looks interesting as well. What I like the most so far is that the built-in operations are few in numbers and make for excellent building blocks.

[Jan Stępień @janstepien]

See you tomorrow at lunchtime! https://t.co/1qiF2qos5i

[Joy Heron @iamjoyheron]

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!

[Jan Stępień @janstepien]

@lapaqui @INNOQ High five!

[Jan Stępień @janstepien]

Five years with @INNOQ. Time flies in good company.

[Jan Stępień @janstepien]

This is going to be fun.

[Jan Stępień @janstepien]

I've been pointed to https://t.co/ZnqLuRbibZ 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

[Jan Stępień @janstepien]

Help me out. I'm trying to understand type systems better. Do you know of programming languages or development environments that: 🧵 1/5

[Jan Stępień @janstepien]

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