Rodolfo Hansen

person man face eye soul

[Rodolfo Hansen @rhansen82]

Search for Fida in the partner, product, & concept categories!

Let's connect with #WineMakers, #Ethereum , and ourselves #CardanoCommunity and bet on our joint success

VOTE for our proposals on @Catalyst_onX!

[Fida Finance @fida_finance]

Voting on Catalyst Fund 13 is your chance to shape Cardano’s future. 🌍

FIDA’s projects are driving real-world impact, bridging blockchain with industries like insurance, cybersecurity, and finance.

Here’s why your vote matters—and what these projects bring to the table. 🧵👇**

[Rodolfo Hansen @rhansen82]

@JustDeezGuy Scala3 has excellent extensible records support via (named) tuples. Shapeless was a heavy inspiration

[Rodolfo Hansen @rhansen82]

And so we rejoice

[Flavio Brasil @fwbrasil]

yep, it seems I'm doing this again 🙃
https://t.co/Cf7gj6ndc5

[Eric Torreborre @etorreborre]

There's a RFC to add implicit parameters to #unison https://t.co/wkrLPGwUaF (and a prototype!) 🎉

[Rodolfo Hansen @rhansen82]

I've been talking about for a while! Zero copy serialization-deserialization with a generic mechanism: if you put a zipper inside a lens, you get a lazy view of the entire structure. And that is super efficient if you want just a part of the structure https://t.co/Pii3nqgGg1

[Jakub Kozłowski @kubukoz]

I made a Scalafix rule as a workaround for slow type inference (affecting things like completions in the entire file) in Scala 3 (https://t.co/Fc4jV1xadS):

https://t.co/aEtZOkjX1E

on its way to maven central now, it'll be up when you start work ;)

cc @ScalaTimes @petr_zapletal

[Jules Ivanic @guizmaii]

Just shipped csvzen v0.1.0 — a zero-allocation streaming CSV writer for Scala 3

Tried scala-csv, kantan-csv, zio-blocks — all are allocation-heavy, so I wrote one

RFC 4180, derived case-class encoders, tight hot path

https://t.co/A6xWREzX80

[Rodolfo Hansen @rhansen82]

It's nice to see the code and benchmarks around the talk i5gave a couple of times before https://t.co/1vXwG8YvFJ but never got the time to write properly until #claudecode came around.... 😨

[Rodolfo Hansen @rhansen82]

Eo should already be fairly usable (https://t.co/7sXYDtMhQw) . I'll push a 0.1.0 on sonatype. Pardon all the Claude shenanigans, I'll work on cleaning the left over Ai cruft soon as well!

[Rodolfo Hansen @rhansen82]

@jdegoes @joshua_amaju There's a large jump between strearing away from "mean" words and power grabbing... You should expand on that.

[Rodolfo Hansen @rhansen82]

Working on eo (https://t.co/ZAdjUOl3kg) an existential optics library for Scala! It's already blazing fast for normal lenses and prisms. Uses hearth (https://t.co/Z0TCTsYDXU) for its derivations and let's you do things you have never used lenses for before!

[Rodolfo Hansen @rhansen82]

@JustDeezGuy It's a gray line for me, I don't think forbidding people from lowering their guard / or ever starting down a bad course can be too strict.

[Rodolfo Hansen @rhansen82]

@etorreborre It's gotten so much better since last November... Before then it was simply trash, now you can get it finish well constrained objectives...

[Quantumplation | Pi Lanningham @Quantumplation]

I hope my life's work will be to make or contribute to a meaningful rise in the global floor and median quality of life.

I believe the best way to do this is for the world to build social institutions on top of transparent, efficient, tamper proof ledgers that reduce bureaucracy, exploitation, and waste.

I believe the second best way to do this is to build up access to finance, passive income, and financial literacy for as many people as possible.

That's why I'm in software. That's why I'm in crypto. That's why I'm on Cardano. And that's why I've built up Sundae Labs as the software company it is. Every day, and nearly everything I do, is geared towards this.

It's why my salary is substantially lower than I could make literally anywhere else, lower than the job I left, and exactly the median salary of what my team makes.

It's why my net worth (excluding the completely illiquid value of my equity in Sundae Labs) has been flat or slightly declining since I started this journey.

It's why I've largely soldiered through death threats and some of the most toxic hateful bile you can imagine.

But spending time on Twitter, where I've often enjoyed connecting with an audience, has become a threat to that mission.

It's clear that I'm not going to solve the problems I see in the world through Twitter discourse. For a long time I thought it might help: engage in good faith to share my perspectives, break down what I know so others can understand in the hopes that it contributes to their ability to navigate the technological changes that are coming, and serve as the best example I can for effective and thoughtful discourse.

But instead, especially lately, it has simply become a drain on my energy and motivation. Even if I engage less, just *reading* the way we treat each other is demoralizing. Even people who I believe have good intentions can't help but contribute to a storm of negativity that is fighting to sweep us out to sea.

There is a mob that is so frustrated by the state of the world and the very problems me and other builders are trying to solve that they can't help but funnel that discontent into a... miasma, directed at anything and everything around them.

Somehow posts that are "just asking questions" and would, in any other environment be totally welcome, end up as weapons picked up off the bloody ground to be hurled in anger at an unintended target.

Somehow close friends grow so embittered with each other they'd rather tear the thing they both believed in in half to spite the other.

Somehow legitimate mistakes immediately get brandished as fraud because scorched earth total-war tactics to destroy someone we dislike become the only thing that can hold our attention, the only thing we can think to do in our ineffectiveness against a cruel and difficult world.

Somehow some of the kindest and most like-minded builders have their patience ground to dust until they reach their breaking point and they lash out in ways that don't reflect who they are.

We're all so fucking tense, or sick to our stomach, or caught up in the sound of our own voice, that it's impossible for us to take a beat and sort out a misunderstanding in DMs before making some public fucking tabloid accusation or insult on the timeline.

And again, I don't think (would like to believe, as a fundamentally optimistic person) that most of this is in bad faith. But the medium leaves no other outcome for us.

So, for me, Twitter is no longer just a waste of time, it's an active threat to my goals. It's a long drag on a cigarette taken between work calls that no longer even brings me comfort, it's just the thing I do, and it's slowly giving us all cancer. It saps my energy, ruins my mood, and makes me, on darker days, doubt whether any of this is even worth it, let alone possible.

I don't want my life's work to amount to being unhappy and resentful of the people I'm trying to help (yes, even if you and I have disagreements, even if we hate each other, I want better for you too).

So, I will be trying the nicotine patches yet again. Since there's no "Non Smoking" section of Twitter, I will be dramatically reducing the time I spend on here, and funneling that energy into other, more productive channels. I hope to write more for my blog, https://t.co/wtBvAD5F4n. Perhaps I'll get back into live-streaming some of my work on Twitch.

If you want to stay in touch and we're not connected elsewhere, the best way is by email. It's just my first name at https://t.co/SHrCYJFsCt.

(Yes, I know this isn't an airport, and I don't have to announce my departure. I considered just disappearing, as this feels a little bit melodramatic. But in the end, I wanted people to know why I've gone quiet, and how to reach me.)

I hope I'm not alone in noticing this trend, especially within our community. If any of this resonates with you, it might be worth looking at what the timeline is accomplishing (or not) for you.

And don't worry. Recent weeks have been harder than most, as I'm sure you've all seen on the timeline, but I'm made of tougher stuff. I'll still be here and building, and you'll still see the impact of the work that my team and I do (and boy do they have some exciting things for you soon).

I just really really don't think Twitter is the right place for me to fix the problems I want to fix.

[Rodolfo Hansen @rhansen82]

@JustDeezGuy I've started down a crazy path I've been keeping in the back of my head. A hard FP language that doesn't often talk about concrete data types, instead focusing on capabilities (type classes)

[Rodolfo Hansen @rhansen82]

@etorreborre How about this : Just as Quine showed logic doesn't need bound variables, Fixed shows programming doesn't need bound data types.
https://t.co/EASKo0qrcG

This is something I've had baking in my head for a while.....

[Rodolfo Hansen @rhansen82]

@runarorama @vpatryshev This is the distilled failure of the enlightenment! It is part of the corrosive force that has helped erode almost all socially cohesive forces... After Virtue is a nice book to read around that 'anoyance'

[Matej Cerny @matej_cerny]

@alexelcu https://t.co/wst2HkWYTH

[Matej Cerny @matej_cerny]

I shared this awesome library called layoutz a few months back... The newest version just added Scala.js and Native support! 🚀

[Rúnar @runarorama]

Don't sleep on this opportunity, folks. Get in touch if your company could use the talents of the finest team of functional programming experts ever assembled.

[Rodolfo Hansen @rhansen82]

I'm building this out for myself with devcontainers, agent inboxes, and strong secret management... super interesting direction!

[John A De Goes @jdegoes]

If only there were an agent runtime that provided:

✅ agent isolation
✅ per-agent file system
✅ durable memory
✅ transactional execution
✅ horizontal scalability
✅ quota management

If such a thing existed, it could potentially become the distributed 'OS' of the future. 😉