iiinova — where your digital self keeps evolving

Impure Pics @impurepics.bsky.social · 28/09/2026

Niclas already uses Roc in production and is living an engineering dream. Full-stack web apps in roc using joy: youtu.be/12yVcgQHAK0

youtu.be

How to program with Joy (w/ Niclas Åhdén)

YouTube video by Impure Pics

000

Impure Pics @impurepics.bsky.social · 05/09/2026

Talking about the fast, friendly, and functional Roc programming language, which you can use on the BE, FE, and for scripting. Oh, and it solved error handling? www.youtube.com/watch?v=CIxi...

youtube.com

Why I'm excited about Roc

YouTube video by Impure Pics

010

Impure Pics @impurepics.bsky.social · 20/07/2026

@guillheu.bsky.social talks EVE Online, arbitrage tools, Gleam, and the Lustre framework. Enjoy. www.youtube.com/watch?v=XypX...

youtube.com

Becoming eve-rich with Gleam (w/ Guillaume Heu)

YouTube video by Impure Pics

1131

Impure Pics @impurepics.bsky.social · 13/07/2026

For people interested in trying Gleam and making indie games www.youtube.com/watch?v=zhi2...

youtube.com

Making indie games with Gleam (w/ NNB)

YouTube video by Impure Pics

120

Impure Pics @impurepics.bsky.social · 03/07/2026

One of the best blog posts I've ever seen

160

Impure Pics @impurepics.bsky.social · 22/06/2026

@lexi-lambda.bsky.social talks Racket, nonogram/picross puzzles, puzzle solvers, a functional picture combinator library on top of OpenGL, and programming for fun. Enjoy. youtu.be/LwpnwQGNC9Q

youtu.be

Having fun with Racket Nonograms (w/ Alexis King)

YouTube video by Impure Pics

0124

Impure Pics @impurepics.bsky.social · 15/06/2026

I keep wondering why OCaml is so underrated. Got some answers from @david.sancho.dev, who is making some cool tools for OCaml and Reason ecosystems youtu.be/s8uevq8d4LY

youtu.be

OCaml, Reason, Melange, and server side React components (w/ David Sancho)

YouTube video by Impure Pics

030

Impure Pics @impurepics.bsky.social · 09/06/2026

We cover - What's the point of generative testing - How to reduce friction around PBT/generative testing - Capabilities (in Scala 3) - Capture checking and how they fit with capabilities - Capabilities vs Monads vs Effect handlers - The cost of purity and referential transparency

010

Impure Pics @impurepics.bsky.social · 08/06/2026

This one is for people who are scared or overwhelmed by property based testing, capabilities, monads, and capture checking. Nicolas is working on a low-friction property-based testing library, whose design was (in)directly affected by the hottest Scala feature: capabilities. youtu.be/TYzDzwu7H38

youtu.be

Making Scala cool with capabilities and low friction PBT library (/w Nicolas Rinaudo)

YouTube video by Impure Pics

000

Impure Pics @impurepics.bsky.social · 02/06/2026

- The purpose and design of Alexandrite - Differences between "normal" compilers and "analyzers" - Reasons to choose Rust or OCaml for compiler development - Internals of compilers, some optimizations and tradeoffs - Importance of clarity and posterity

021

Impure Pics @impurepics.bsky.social · 01/06/2026

@purefunctor.me is building Alexandrite – a PureScript analyzer – designed for interactive editing. Wonder why languages need multiple compilers? How do language servers work? And how long does it take to compile a hundred thousand lines of PureScript? youtu.be/XSv5B9yI6F4

youtu.be

Improving PureScript developer experience using Rust (\w Justin Garcia)

YouTube video by Impure Pics

041

Impure Pics @impurepics.bsky.social · 18/05/2026

@isaacvando.bsky.social journey building Software Should Work, an independent conference on software reliability; the technical decisions behind the conference website; and insights into the importance of thinking about software and caring about the user experience. youtu.be/R2L7M5PV6xE

youtu.be

Software Should Work with Isaac Van Doren

YouTube video by Impure Pics

010

Reposted by Impure Pics

gabby @fullmoon.id · 14/05/2026

I'm in my first YouTube short! www.youtube.com/shorts/Fk4PL...

youtube.com

The functional programming way of breaking down problems

YouTube video by Impure Pics

2231

Reposted by Impure Pics

gabby @fullmoon.id · 09/05/2026

Y'all have to watch this because I look so prettyyyyy in this podcast But more seriously I give a really extended tour of my @trygrace.dev project and also shoot the shit on the current state of the software engineering industry

1314

Impure Pics @impurepics.bsky.social · 09/05/2026

@fullmoon.id takes us on a journey with Grace: from a typed interpreted functional programming language to prompt-engineering pipelines; with thoughts on cunning LLMs, agentic coding, SE excellence (the importance of ownership, typing the code out, and holistic knowledge) youtu.be/lTEP0zrjPwY

youtu.be

Beyond agentic coding with Grace, inspiring nice programming language

YouTube video by Impure Pics

0174

Impure Pics @impurepics.bsky.social · 04/05/2026

Need to represent some complex data? Looking for a d3 alternative? Or just want to look at pretty visualizations? www.youtube.com/watch?v=gA6H...

youtube.com

Building complex and beautiful visualizations (with PureScript)

YouTube video by Impure Pics

000

Impure Pics @impurepics.bsky.social · 27/04/2026

Why learn Haskell (functional programming, or anything) in 2026? www.youtube.com/watch?v=Zxo_eY69yCY

130

Impure Pics @impurepics.bsky.social · 20/04/2026

A conversation about APIs that can't lie: PureScript libraries for HTTP, GraphQL, and PostgreSQL youtu.be/qTxHc8G0C0g

youtu.be

Type-safe APIs with PureScript: http, graphql, and postgres

YouTube video by Impure Pics

000

Impure Pics @impurepics.bsky.social · 30/03/2026

Nobody knows what the future of programming looks like. If the coding stays, the types and compilers will play a bigger role. Probably. youtu.be/Pnu7dXOAaQU If we are all jobless and irrelevant soon, at least I get this off my chest.

youtu.be

Types and Compilers are our friends

YouTube video by Impure Pics

010

Impure Pics @impurepics.bsky.social · 03/03/2026

Anyone interested in 1-1/mentoring/Q&A/whatever FP conversation? Not trying to sell or record anything, just looking for new ways to help (and talk to someone outside of the immediate bubbles) Ping me on Discord (Zelenya) or DM here or on other platforms

100

Reposted by Impure Pics

Unison @unison-lang.org · 24/02/2026

🫣 Ever open social media to post one thing… and resurface 20 minutes later? Well, here's @impurepics.bsky.social wiring up a Unison-powered CLI solution for that. They walk through the code, the Unison workflow, and how it all fits together. 👑 Thanks @impurepics.bsky.social, we're huge fans!

youtu.be

I automated social media posting with this Unison cli app

You know that feeling when you need to post something on social media really quickly, but then you get stuck scrolling through all the bad takes. Well, I do ...

063

Impure Pics @impurepics.bsky.social · 23/02/2026

This was posted by a cli app written in Unison. Here is how: youtu.be/JspYnldTS8c

110

Impure Pics @impurepics.bsky.social · 16/02/2026

I'm a big fan of functional programming and obsessed with myths surrounding it. Now that we are entering a new era of programming and I'm entering a new era of being a grumpy grandpa, I want to share one story about PureScript and ramble about agency and agents. youtu.be/tASAbCENfU4

youtu.be

Our last chance to use fun programming languages at work?

YouTube video by Impure Pics

041

Impure Pics @impurepics.bsky.social · 30/12/2025

I lost my mind. Let’s go through each of the 23 GoF patterns and see which one I actually see being used and what the functional alternatives are (if any) youtu.be/qYEmJ8MYrs4

youtu.be

Functional takes on the GoF design patterns

YouTube video by Impure Pics

110

Impure Pics @impurepics.bsky.social · 21/11/2024

Which part of (*./@(~:"1) # ]) @ (#: i.@(*/)) you don’t understand?

030