Brian J. Cardiff retweeted
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/ta…
Brian J. Cardiff retweeted
And we have a new release: Crystal 1.14.0 🚀
Read about the highlights in crystal-lang.org/2024/10/09/…
Happy Crystalling!
#CrystalLang #release
Brian J. Cardiff retweeted
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...
Brian J. Cardiff retweeted
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 , 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
Brian J. Cardiff retweeted
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.
Brian J. Cardiff retweeted
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/folde…
Querido/a colega que trabajás en la industria del software....
Brian J. Cardiff retweeted
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.
Brian J. Cardiff retweeted
Posted part 2 of my explorations on easing cross-compilation of Crystal programs using a container on my site: luislavena.info/writing/cros…
You can easily build for both Linux and macOS!
(Almost 2 years from my original POC and way simpler).
Last year I released the container image I use to compile @CrystalLanguage apps.
You can use it to build and test against different version, 1.2, 1.3 or latest 1.5.1
This started a series of experiments on things I'm working on since then...
1/ 🧵
Brian J. Cardiff retweeted
We are thrilled to announce the release of Crystal 1.13.0
crystal-lang.org/2024/07/09/…
You can now rescue module types! And there are a few improvements on parallelism. Happy Crystalling!
#CrystalLang #release
Brian J. Cardiff retweeted
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 =)
Brian J. Cardiff retweeted
Desde @aztecnetwork vamos a estar becando estudiantes de Latam que quieran participar en el @PrivacyScaling core program, pero por motivos económicos no puedan dedicarse full time por las 8 semanas que dura el curso.
Queda una semana para inscribirse! ⤵️
¿Querés participar del @PrivacyScaling Core Program pero no podés dedicarte full time por motivos económicos? ¡Inscribite igual!
@aztecnetwork va a becar a algunos estudiantes para que no se pierdan esta oportunidad y puedan enfocarse en aprender durante las 8 semanas🌟
Form 👇
Brian J. Cardiff retweeted
Anyone has an idea how we can fix Elm in nixpkgs for darwin
github.com/NixOS/nixpkgs/iss…
Brian J. Cardiff retweeted
Este Lunes a las 19hs en @utditella se viene:
- Charla introductoria a Zero Knowledge y @NoirLang (y un poquito de lo q estamos cocinando en @aztecnetwork),
- Seguido de la presentación del Core Program del @PrivacyScaling group de la Ethereum Foundation.
Incripción acá ⤵️
Brian J. Cardiff retweeted
Life goes on, but sometimes jobs don't. My employer is restructuring, resulting in several good people being let go.
I'm looking for my next opportunity to help a company grow. I am focused on Developer Relations, but could be swayed back towards Engineering for the right role.
Basic
Racket
Idris
Agda
Nix
This is almost a wishlist. I like it.
You’re unable to view this Post because this account owner limits who can view their Posts. Learn more
Brian J. Cardiff retweeted
Did a quick recording of Drift - a CLI and Crystal library (shard) for managing and integrating SQL-based migrations in your application: youtube.com/watch?v=VvcnN6tw…
Little teaser: being working on ironing cross-compilation (from Linux to macOS) and things are looking good! 😊
Brian J. Cardiff retweeted
La UBA se declaró en emergencia presupuestaria
El Consejo Superior declaró por unanimidad la emergencia presupuestaria de la Universidad, y adhirió y convocó a la Marcha Nacional Federal Universitaria que se realizará el día 23 de abril de 2024.
Brian J. Cardiff retweeted
We relaunched crystal-lang.org with an updated design and a ton of improvements. 🎉🥳
Hope you like it!
Read the anouncement: crystal-lang.org/2024/03/27/…
#CrystalLang #website #relaunch


















