Brian J. Cardiff

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: mikedodds.github.io/files/talks/20…

@kerckhove_ts Congrats! Lovely news!

My first child was born yesterday. Terrible timing (of the baby)!

And we have a new release: Crystal 1.14.0 🚀 Read about the highlights in crystal-lang.org/2024/10/09/1.1… Happy Crystalling! #CrystalLang #release

@sajeisson @CrystalLanguage Mientras puedas desplegar un binario, cualquier proveedor debería andar. DigitalOcean se presta. Cualquier cosa, forum.crystal-lang.org 🚀

He estado leyendo un poco sobre @CrystalLanguage me gusta su enfoque y es lo más parecido a Ruby. En la empresa debo hacer un microservicio y usaré Crystal para aprender. ¿Dónde lo puedo desplegar fácilmente?

Soy director de la Licenciatura en Ciencias de Datos de @Exactas_UBA lcd.exactas.uba.ar 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...

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

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

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.

Carta de un profesional de la informática a otro Firman docentes de la UBA, UNS, UNC, UNICEN, UNR, UTN, UNRC, UNL, UNQUI, ... drive.google.com/drive/folders/… Querido/a colega que trabajás en la industria del software....

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

@bcardiff Not sure. But probably not, unless it's enabled by default

SQLite is cool and all, but is there something you could do so that a double Ctrl-C doesn't corrupt the database when you try to quit `rails s`? 🙃

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! icfp24.sigplan.org

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

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

The first time I heard about function coloring, I thought it was about pure and impure functions. Was I the only one? journal.stuffwithstuff.com/2015/02/01/wha…

@colinhacks And mlabs-haskell.github.io/lambda-buffers/ might be useful depending on what you are looking to do with those specs.

@colinhacks dhall-lang.org is close to what you want i think

Is there a data format spec that's like JSON Schema but capable of representing a wider range of types? Strings, booleans, numbers, null, objects, arrays (of course) Fixed-width numeric types (int16, etc) Date BigInt Symbols Undefined Bytes Byte arrays/buffers

Posted part 2 of my explorations on easing cross-compilation of Crystal programs using a container on my site: luislavena.info/writing/cross-… You can easily build for both Linux and macOS! (Almost 2 years from my original POC and way simpler).

@matteocollina lightbot.com

My daughter has asked me to learn programming. She is almost 4 and she can't read yet. What's the next best thing I can do? Some game?

We are thrilled to announce the release of Crystal 1.13.0 crystal-lang.org/2024/07/09/1.1… You can now rescue module types! And there are a few improvements on parallelism. Happy Crystalling! #CrystalLang #release

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 =)