cax

Collaborate with #AWS & @rust_foundation to verify the safety of the Rust Standard Library. With the rise of tools and techniques that enable verification of safe and unsafe Rust code, formal verification has become possible. aws.amazon.com/blogs/opensour…

@luishenriquemac Meus sentimentos 🙏

Lamento informar o falecimento de meu pai, o Prof. e ex Vereador Aluísio Machado, idealizador dos aulões no Palácio dos esportes.

Tickets for #GopherConSG 2025 are up! For our most loyal supporters — get your Super Early Gopher tickets now for 40% off the normal price! 2025.gophercon.sg #golang

@MattJamesBoyle not sure what do you mean about "really AI". Langchaing is an orchestrator to call API from AI models. in the end is about business outcomes. but if you are asking about model serving. I use Ollama.

@cax Thanks for sharing, these look like api wrappers for other models though, not really AI

Who are the folks using #golang for AI applications?

How long for an efficient implementation? 😃 quantamagazine.org/scientists-fin…

@shanselman @freeCodeCamp Wondering what is the future of F# ? As one can see much content out there doe dotnet ecosystem is around C#.

ALL NEW ✨FREE✨ training videos that start from Hello World in C# and take you anywhere! dot.net/videos and maybe get a @freeCodeCamp certification when you’re done!

What’s happened with F# ? #Dotnet

I just registered for GopherCon Singapore 2023 ti.to/gopherconsg/20…

Why do people continue to believe $SOL will deliver? So many issues. Unbelievable.

When you treat your tech as a cost centre : wsj.com/articles/south…

$SOL going kaput?

It seems CZ may get FTX bankrupt but will need a good PR team for a long time. Which should not be a big team for him :)

I just got a new mechanical keyboard. Keychron K8. Still early days. But so far, so good.

And we finalized! Happy merge all. This is a big moment for the Ethereum ecosystem. Everyone who helped make the merge happen should feel very proud today.

@starbuxman @java @Oracle Thank you Sun Microsystems 😁

Periodic reminder that the @java team GIVES AWAY the JVM, one of the most innovative and resilient pieces of infrastructure to ever have existed. It represents nearly 30 years and (I’d imagine) millions (billions??) of $ of R&D. Thank you, @oracle. <3 I hope it makes you money.

@ACM_DEBS hi there. how long takes to get registered/access to the platform : grand challenges. Sent email couple days ago. thank you

The #DEBSGrandChallenge organizers just upped the stakes! The team with the best performance will win $1000 Check out the details on the link below and submit your solution before April 5th! 2022.debs.org/call-for-grand…

@FireblocksHQ, there are 25 people on the IM support group. Can we get their attention to reply to our questions? It is amazing how bad the service is. Unbelievable.

Spotify has millions of registered artists, but less than 14k of them earned more than $50k in 2020. Spotify’s founder is worth $5 billion. Web3 fixes this.✨

I came across exa (the.exa.website/docs/command-l…) recently. I must say. I am really enjoying it. a nice replacement for ls.