Yordis Prieto

Software Dev Focused on #SystemThinking #DistributedComputing #CodeDeletionOptimizer

[Yordis Prieto @yordisprieto]

Those who chase Easiness over Simplicity will end up creating something that is neither Easy nor Simple!

[Yordis Prieto @yordisprieto]

Hinting Engineering Meta is deprecated

[Yordis Prieto @yordisprieto]

The funny thing about this is that, if you know, there is a bug in it! This is exactly why you should use a library unless you understand it.

Case made by itself!

[pilcrow @pilcrowonpaper]

Do we really need a library for OAuth?

Especially since providers can add their own request parameters (login_hint=SUB) and response fields ("refresh_token_expires_in": 3600)

It's mostly just a JSON validator at this point

[Yordis Prieto @yordisprieto]

@BenjDicken @0ximjosh Hey Josh, posting on behave of Ben, he had a rough day!

[Yordis Prieto @yordisprieto]

Added `trg ai skills eval` to the CLI, give it a try

https://t.co/FsntlJJ7Ya

[Yordis Prieto @yordisprieto]

@tableproapp I just updated and realized you added you added default to pretty print JSONB; thank you so much!

[Yordis Prieto @yordisprieto]

The programming language that made me fall in love with Types is F#
I watched so many videos from Scott Wlachin that I eventually understood how to leverage the compiler in my advantage. While having Jose in the other side reminding us that types cant guarantee all correctness 😛
I am a mixed breed

[José Valim @josevalim]

90% of the types vs tests debate is typing advocates thinking all dynamic languages are like JavaScript and dynamic devs thinking all type systems are OO-based.

[Yordis Prieto @yordisprieto]

Released trogonstack-product-requirements v0.1.0 - PRDs and feature-level FRDs: product context, success metrics, personas, technical constraints, feature trees, and reviews.

https://t.co/1PCqOcuI0C

[Yordis Prieto @yordisprieto]

@devagrawal09 This is a terrible idea!

[Yordis Prieto @yordisprieto]

As I discussed with Dev, I am focusing on the ABI and it will be based on WASM, so you can use TypeScript, C#, or whatever. I do not want to dictate the runtime; most of the work will be behind https://t.co/CyghKULXO5
I would love to have strong, opinionated folks like you work together. We may diverge, but the final outcome will most likely be the combined best.

[Yordis Prieto @yordisprieto]

@Aaronontheweb @devagrawal09 Come to the dark side!

[Yordis Prieto @yordisprieto]

@DNAutics Good for you. I have done daily professional Elixir for 10 years by now and between Dialixer and guards, I can ensure you people are doing it every day.
I happy for Elixir 1.19; I am not asking for annoying type systems neither 😛

[Yordis Prieto @yordisprieto]

My first 10 years as a professional developer were spent almost exclusively in dynamic languages: JavaScript, Ruby, and Elixir. I always understood the appeal of static typing, but I never understood the ideology around it (the idea that you have to be on one side or the other.)

Lately, working in Rust and Go has reminded me how nice it is to define new categories/types and let the compiler enforce them.

I will continue to write tests, because tests capture forms of correctness that categories/types cannot prove. But I love not having to write tests for properties the type system can already guarantee.

[Gary Bernhardt @garybernhardt]

I see that "types and tests do the same thing" has once again reared its head, so here's Ideology again: https://t.co/4iCRhd2Vfq

[Yordis Prieto @yordisprieto]

My runtime resolve await as a monad act so, I am good! 😛

In other word, "It Depends ™" https://t.co/stdb4BosA0

[Ashok Sahoo @ashoKumar89]

Can you spot the backend bug?

Looks correct at first glance. But this can break badly under concurrency.

[Yordis Prieto @yordisprieto]

@DominikTornow That is the Erlang way, which really freaking cool regardless. Here is the Elixir one!
It comes with some built-in monitoring for edge cases

[Yordis Prieto @yordisprieto]

@bcherny will Claude follow Agentskills spec and allow ~/.agents/skills https://t.co/1JSVXFyC6J

[Yordis Prieto @yordisprieto]

All Above!

[Kaito @KaiXCreator]

Are you team Claude or Codex?

[Yordis Prieto @yordisprieto]

@devagrawal09 We need to talk! We are effectively chasing the exact same thing! Is this somewhere I could check (GitHub)?

[Yordis Prieto @yordisprieto]

@zebassembly @voidzerodev Are you doing WASM for this one? Currently working on a WASM-based agentic platform to be able to do exactly this

[Yordis Prieto @yordisprieto]

@dan_note @zebassembly What is the fundamental difference between OTP and what Zeb will most likely do, assuming Zeb uses WASM, given that OTP has no built-in security mechanisms and requires AST parsing in the hope that it will work?

[Yordis Prieto @yordisprieto]

@josevalim I don't mind it, but I would appreciate a tab JUST for these automation tools in general ...

[Yordis Prieto @yordisprieto]

More often than not, the components may be "broken," but the system isn't. Is the component broken then?
#SystemThinking

[Joran Dirk Greef @jorandirkgreef]

People often get this wrong:

But per systems thinking, correctness is not a { language, static allocation, testing, etc. } problem.

Correctness is a design problem.