ricardobocchi's profile picture.

Ricardo Bocchi

@ricardobocchi

Ricardo Bocchi gönderiyi yeniden yayınladı

how to hack discord, vercel and more with one easy trick kibty.town/blog/mintlify/


Ricardo Bocchi gönderiyi yeniden yayınladı

Safe resource usage is coming to #Scala! Scala 3.8 is just around the corner (you can test 3.8.0-RC3) - it's a great occasion to try out capture checking. But first, you have to understand how it works - here's my attempt: softwaremill.com/understanding-…


Ricardo Bocchi gönderiyi yeniden yayınladı

Bonsai is our framework for building web-UIs. Or, rather, it's a system for building composable state machines that we only use for building web-uis. Until recently.


Ricardo Bocchi gönderiyi yeniden yayınladı

🎉 Unison 1.0 has landed! After years of engineering, design, and community collaboration, we’re excited to announce this milestone! Spread the word! unison-lang.org/unison-1-0/


Ricardo Bocchi gönderiyi yeniden yayınladı

FFmpeg makes extensive use of hand-written assembly code for huge (10-50x) speed increases and so we are providing assembly lessons to teach a new generation of assembly language programmers. Learn more here: github.com/FFmpeg/asm-les…


Ricardo Bocchi gönderiyi yeniden yayınladı

Summary Of How Fil-C Works (With Links) Fil-C achieves memory safety for C and C++ code by transforming all unsafe operations in LLVM IR into code that does dynamic checking to catch all violations of Fil-C’s rules (fil-c.org/compiler). Most of that is about transforming…


Ricardo Bocchi gönderiyi yeniden yayınladı

New Metals 1.6.3, codename "Osmium", has just been released! It comes with few interesting new features and we'll take the opportunity to go on a small tour.


Ricardo Bocchi gönderiyi yeniden yayınladı

You know you want this. And I'll be shipping it soon. 100% memory safety. 100% the software you know and love. 0% Rust.

filpizlo's tweet image. You know you want this. And I'll be shipping it soon.

100% memory safety. 100% the software you know and love. 0% Rust.

Ricardo Bocchi gönderiyi yeniden yayınladı

We ran an OxCaml tutorial at @icfp_conference. conf.researchr.org/details/icfp-s… Gavin's slidedeck is here: gavinleroy.com/oxcaml-tutoria….

kc_srk's tweet image. We ran an OxCaml tutorial at @icfp_conference. 

conf.researchr.org/details/icfp-s…

Gavin's slidedeck is here: gavinleroy.com/oxcaml-tutoria….

Ricardo Bocchi gönderiyi yeniden yayınladı

The first release is done, better macros are possible github.com/MateuszKubuszo…


Ricardo Bocchi gönderiyi yeniden yayınladı

To celebrate the release of Cats Effect for Native 0.5, I rebuilt my web interface for sn-bindgen in Smithy4s and Http4s. Now on Native 0.5, and actually working!

velvetbaldmime's tweet image. To celebrate the release of Cats Effect for Native 0.5, I rebuilt my web interface for sn-bindgen in Smithy4s and Http4s.

Now on Native 0.5, and actually working!

Ricardo Bocchi gönderiyi yeniden yayınladı

Memory safe Linux demo


Ricardo Bocchi gönderiyi yeniden yayınladı

We are pleased to announce the release of @grailsframework 7.0.0-RC2. Please help evaluate this release candidate. grails.apache.org/blog/2025-09-1…

grailsframework's tweet image. We are  pleased to announce the release of @grailsframework 7.0.0-RC2.  Please help evaluate this release candidate. grails.apache.org/blog/2025-09-1…

Ricardo Bocchi gönderiyi yeniden yayınladı

Why did the main request/response function in #haskell webapps using WAI change to continuation-passing style: journal.infinitenegativeutility.com/resources-lazi… (TL;DR to make resource management safe in presence of laziness)


Ricardo Bocchi gönderiyi yeniden yayınladı

Version 5.0.1 of @ApacheGroovy is available for download with 11 fixes and improvements! Thanks to all involved! Keep the feedback coming! groovy.apache.org/download.html groovy-lang.org/releasenotes/g… #groovylang @TheASF

paulk_asert's tweet image. Version 5.0.1 of @ApacheGroovy is available for download with 11 fixes and improvements! Thanks to all involved! Keep the feedback coming! groovy.apache.org/download.html groovy-lang.org/releasenotes/g… #groovylang @TheASF

Ricardo Bocchi gönderiyi yeniden yayınladı

Scala 3.7.3 just dropped today! It adds one important lint - compiler now warns when given provided in scope is shadowed by default implicit argument. This might prevent some unexpected runtime bugs. See the example from announcement. scala-lang.org/news/3.7.3/ Towards 3.8 now!


Ricardo Bocchi gönderiyi yeniden yayınladı

#Scala.js 1.20.1 is released! It features a number of performance improvements, both for the JavaScript and WebAssembly backends. scala-js.org/news/2025/09/0…


Ricardo Bocchi gönderiyi yeniden yayınladı

Stretch goal 2 (inclusion in Erlang/OTP itself) would solve the #1 thing people get stuck on when trying to get started with Gleam or Erlang! kickstarter.com/projects/peers…


Ricardo Bocchi gönderiyi yeniden yayınladı

1/3 We are pleased to announce the release of Flix 0.61.0! This major release comes with a brand new Datalog engine. Performance has been significantly improved with speed-ups of up to 30x! Thanks to Adam and Casper for their hard work.


Loading...

Something went wrong.


Something went wrong.