Jan Stępień

I’m at @jstepien" target="_blank" rel="nofollow noopener">mastodon.social/@jstepien

Ви розробник або архітектор програмного забезпечення, власник продукту чи маркетолог з України? Шукаєте роботу чи безоплатне робоче місце в Німеччині? INNOQ пропонує можливість працювати дистанційно, а також безоплатний робочий простір у Німеччині. innoq.com/en/jobs/people…

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

@mknoszlig boah

Who wore it better?

Some inspiring food for thought here. @Mappletons’ writing on writing online resonates an awful lot with me. maggieappleton.com/garden-history

That was good fun! twitch.tv/videos/1230505…

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/

See you in 35 minutes. twitch.tv/janstepien

Today's #AdventOfCode in K live on Twitch at 16:00 CET. Do swing by! twitch.tv/janstepien

#AdventOfCode day 4 in K. Slowly learning the ropes. Still under half a kB without excessive minification! @jstepien/107388488481259254" target="_blank" rel="nofollow noopener">mastodon.social/web/@jstepien/…

@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.

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. @jstepien/107382680691592187" target="_blank" rel="nofollow noopener">mastodon.social/web/@jstepien/…

@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.

@janstepien I used J some years ago for Advent of Code. Pretty interesting languages.

See you tomorrow at lunchtime! meetup.com/de-DE/INNOQ-Te…

@lapaqui @INNOQ High five!

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

This is going to be fun.

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

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

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