@janstepien
Account based inPoland
About this account
- Account based in
- Poland
- Connected via
- Web
Account-level information from X, not a live location or the device used for a specific post.
https://nitter.cf/t.co/PSRpDIm00k. I don’t read DMs; go ahead and send me an email.
Berlin, Germany
Joined February 2010
- Tweets65
- Following386
- Followers863
- Likes3
Jan Stępień retweeted
Ви розробник або архітектор програмного забезпечення, власник продукту чи маркетолог з України? Шукаєте роботу чи безоплатне робоче місце в Німеччині?
INNOQ пропонує можливість працювати дистанційно, а також безоплатний робочий простір у Німеччині.
innoq.com/en/jobs/people-fro…
Jan Stępień retweeted
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
Who wore it better?
ALT Reviews of Designing Data-Intensive Applications, a book, featuring the boar from Cacciata. 3.8 stars.
ALT Reviews of Designing Data-Intensive Applications, a book, featuring the boar from Cacciata. 4.7 stars.
Some inspiring food for thought here. @Mappletons’ writing on writing online resonates an awful lot with me. maggieappleton.com/garden-hi…
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
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/
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! mastodon.social/web/@jstepie…
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…
See you tomorrow at lunchtime! meetup.com/de-DE/INNOQ-Techn…
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!
This is going to be fun.
ALT A photo of a page from "Software Design for Flexibility". The focus is on the following paragraph from the preface: "The code in this book is written in Scheme, a mostly functional language that is a variant of Lisp. Although Scheme is not a popular language, or widely used in an industrial context, it is the right choice for this book."
Help me out. I'm trying to understand type systems better. Do you know of programming languages or development environments that: 🧵 1/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
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