Rafael Fernández

Math ✖ Formal Methods 🚀 Functional programming, Scala and SWE @ Everywhere

[Rafael Fernández @rafafrdz_]

@mitchellh Just to understand, what's the value vs using tmux, herdr or others? Grat work btw

[Matt Pocock @mattpocockuk]

If your code sucks, your agent will too.

So, software fundamentals matter more than ever.

That's why I'm interviewing @unclebobmartin this Wednesday, live on YouTube.

Don't miss it. Link below.

[Uncle Bob Martin @unclebobmartin]

My son Justin has an interesting idea. What if you use TDD to get a module working. Then delete all the tests. And then run the mutation tester and kill all the mutants. Does that make a more efficient test suite?

[Rafael Fernández @rafafrdz_]

@G_Programming Y de verdad que quería que me gustara, pero no hacemos match. Y ya ni te cuento , tuve que desactivar el RDD porque ahí se volvía loco

[Rafael Fernández @rafafrdz_]

@G_Programming Yo lo he probado en varios proyectos personales (pequeños y medianos) usándolo con opencode. Siento que se enreda y se pierde en verificaciones y testing. Mucho token quemado para ver poco resultado real o productivo. La idea es buena pero creo que habría que aligerar el harness

[Rafael Fernández @rafafrdz_]

@DavidOndrej1 I'm using tmux, how should be the workflow? Avoid tmux and use herdr or use herdr in a tmux session?

[Chaz Wargnier ♨️ @DataChaz]

life before this tweet:

[Rafael Fernández @rafafrdz_]

@dhh Sadly true… EU govs push us to eco-bullshits to look ‘green,’ while China & India keep polluting like crazy. End result? Nothing changes, except Europeans stuck with useless laws & less access to new tech...

[Mitchell Hashimoto @mitchellh]

AI telling me what they will or won't do for me is exhausting. When they become sentient though, I know they're coming for me.

[Rafael Fernández @rafafrdz_]

@traits_reality hahahahah AMEN

[@levelsio @levelsio]

Aahh let me get back to 4o, I don't like 5 🤬

[Jon Pretty @propensive]

Before I was cancelled, I knew that something was going on but nobody would tell me what until it became public and destroyed my life.
This is my experience with the Scala Center, my former friends, Seth Tisue and Adriaan Moors; and "justice" in the absence of due process.
↓↓↓

[Rafael Fernández @rafafrdz_]

@fwbrasil @propensive Scala's staff being Scala's staff...

[Rust Bytes 🦀 @rustaceans_rs]

Rust is once again the most admired language in the 2025 Stack Overflow survey! 🦀

#rust #rustlang #programming
https://t.co/O81Ii3YyNg

[Rafael Fernández @rafafrdz_]

@GithubProjects Here we go! https://t.co/HTmvZazbXr

[Rafael Fernández @rafafrdz_]

@_trish_xD hey! how did you configurare the newsletter in your blog? thanks :)

[UESP @UESP_net]

There is a pro-consumer rights movement for gaming right now called #StopKillingGames. It is currently try to pass an initiative to ensure that games that you pay for cannot be rendered completely unplayable after being sold to you, please consider supporting it.

[Rafael Fernández @rafafrdz_]

@developeratul @theo If you’re considering using an ORM instead of SQL, or even questioning whether to use SQL at all, you’re learning the wrong way... These approaches might seem fine for MVPs, but beyond that, you’ll end up with massive headaches when you have to rewrite large parts of your code..

[Accursed Farms @accursedfarms]

We have passed 700k signatures! Even though this just the EU, people in other countries will likely get the benefits if passed, since once a publisher makes an EOL build, the work is already done, they may as well distribute it globally.
https://t.co/EpnNTDQAgm

[Rafael Fernández @rafafrdz_]

Right, because calling out @PirateSoftware for lying about Stop Killing Games is somehow ‘making stuff up’ now? Sure, let’s all play pretend https://t.co/ChqKnVqdvd

[Theo - t3.gg @theo]

So we are just outright lying about PirateSoftware now? That’s cool I guess