Brian J. Cardiff

| 🇦🇷 Developer, Teacher, Swing/Blues dancer and ... -

[Mike Dodds @miike]

I’ve done a lot of formal methods “technical sales” - trying to scope projects for Galois clients that solve their problem and fit into a budget. I gave a talk last week on some things that I learned along the way: https://t.co/pEnr6noLpA

[Brian J. Cardiff @bcardiff]

@kerckhove_ts Congrats! Lovely news!

[Crystal Language @CrystalLanguage]

And we have a new release: Crystal 1.14.0 🚀
Read about the highlights in https://t.co/QvaQdaoIyz

Happy Crystalling!

#CrystalLang #release

[Brian J. Cardiff @bcardiff]

@sajeisson @CrystalLanguage Mientras puedas desplegar un binario, cualquier proveedor debería andar. DigitalOcean se presta. Cualquier cosa, https://t.co/pEvt97DgnV 🚀

[Pablo Groisman 🎲 @pgroisma]

Soy director de la Licenciatura en Ciencias de Datos de @Exactas_UBA

https://t.co/nN3Q91vF2k

Hace 4 años, en 2020, festejamos -en medio de la pandemia- que el Consejo Superior de la UBA había aprobado la creación de la carrera. Parecía una oasis en medio de tantas...

[@[email protected] @BetaZiliani]

Soy egresado de @ComputacionUBA, y trabajo en la #IndustriaDelSoftware. Sin la educación de la universidad pública, no hubiese enseñado a 9 generaciones de estudiantes, ni hubiera continuado el desarrollo que lideró @bcardiff antes que yo: @CrystalLanguage

[Brian J. Cardiff @bcardiff]

Soy egresado de @ComputacionUBA , y trabajo en la #IndustriaDelSoftware. Sin la educación de la universidad pública no hubiesen pasado muchas copadas cosas que hicimos en @manastech , por ejemplo @CrystalLanguage

[Carlos Greg Diuk @carlosdiuk]

Soy egresado de @ComputacionUBA, doctor en Inteligencia Artificial, y trabajo en la #IndustriaDelSoftware.

Los que fantasean con una Argentina "potencia en Inteligencia Artificial" mientras desfinancian la ciencia, el Conicet y la Universidad Pública te están engañando.

[Sebastian Uchitel @seba_uchitel]

Carta de un profesional de la informática a otro
Firman docentes de la UBA, UNS, UNC, UNICEN, UNR, UTN, UNRC, UNL, UNQUI, ...

https://t.co/1Yxp9gFIQ6

Querido/a colega que trabajás en la industria del software....

[Brian J. Cardiff @bcardiff]

@marcoroth_ It’s not the default. Not 100% sure but I believe it should fix the corruption issue. @luislavena do you know for sure?

[ICFP Conference @icfp_conference]

ICFP 2024 is just around the corner! It's going to be an exciting week, packed with presentations, co-located workshops, and community events. Can't wait to see you all there!

https://t.co/WpAcukBzSI

[Brian J. Cardiff @bcardiff]

Yay! First (?) Contribution to cabal-install merged. Feels good to contribute to the #Haskell ecosystem a little bit.

[Brian J. Cardiff @bcardiff]

@jfmengels The first time I heard about the coloring analogy was on that article. Timeless read.

[Brian J. Cardiff @bcardiff]

@colinhacks And https://t.co/hIBfdhqItq might be useful depending on what you are looking to do with those specs.

[Brian J. Cardiff @bcardiff]

@colinhacks https://t.co/w5SRcWaAHa is close to what you want i think

[Luis Lavena @luislavena]

Posted part 2 of my explorations on easing cross-compilation of Crystal programs using a container on my site: https://t.co/vQExDUr1f5

You can easily build for both Linux and macOS!

(Almost 2 years from my original POC and way simpler).

[Brian J. Cardiff @bcardiff]

@matteocollina https://t.co/kX9SDEVcqV

[Crystal Language @CrystalLanguage]

We are thrilled to announce the release of Crystal 1.13.0
https://t.co/5Q85vbofkS

You can now rescue module types! And there are a few improvements on parallelism. Happy Crystalling!

#CrystalLang #release

[Glauber Costa @glcst]

I may open a new position for the Turso team.

@penberg and I are debating if the person we are looking for even exists, but if you think you can prove to us that you can do this job, we'd love to chat.

The job is to work on the Turso SDKs.

The reason we find this position very hard is that you would have to understand Rust and C well enough to work on the interfaces and build systems of SQLite (not the database itself), write FFIs, understand how to build and link shared objects, and other low level stuff.

But at the same time be comfortable working in higher level languages and ecosystem. Each ecosystem is very unique, and to thrive in each of them, you need to be able to understand not just how to code in that language, but details of the ecosystem. For example: in Javascript, many non-node runtimes make it essentially impossible to link to our binary, so you need to have an HTTP implementation. In go, it is possible to link to a binary, but that requires CGO, which the community dislikes. This requires much more than the technical ability to work in many languages, but the human empathy to understand those communities and what matters to each of them.

We'd like to not only improve our existing SDKs, but also have SDKs for Swift, Dart, Java, Android, Elixir, you name it.

Is this you? Do you exist? If yes... DM =)