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
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...
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, 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, ...
https://t.co/1Yxp9gFIQ6
Querido/a colega que trabajás en la industria del software....
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
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).
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
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 =)