Do dependently typed languages (such as #roq or #agda) tend toward coupling more than languages with (less dependently typed) ml-style typing (such as #haskell or #ocaml)?

Does this bear out as you move down spectrum toward less typing?

Discover Roq, the Quarkus Way for Static Site Generation in Java - JVM Advent https://www.javaadvent.com/2025/12/discover-roq-the-quarkus-way-for-static-site-generation-in-java.html
#java #quarkus #roq

New hands-on tutorial on The Main Thread:
Build and deploy a static website with Quarkus + Roq — all powered by Java and GitHub Actions.

✅ Generate your site in minutes
✅ Live reload during development
✅ Automatic deploys to GitHub Pages

No Node.js. No hassle. Just Java.

👉 https://www.the-main-thread.com/p/quarkus-roq-github-pages-static-site-tutorial

#Quarkus #Java #Roq #GitHubPages #DevOps

Java devs, ever wanted to build a clean static site without Node.js?
With Quarkus Roq + Qute + Bulma, you can create an elegant author website straight from your Java toolbox.

https://www.the-main-thread.com/p/quarkus-roq-author-website-tutorial

#Java #Quarkus #Roq #StaticSite #BulmaCSS

I just uploaded my slides for the "RTP Over QUIC: An Interesting Opportunity Or Wasted Time?" talk I gave at Kamailio World 2025. As the title says, I introduced RTP over #QUIC (#ROQ) and my new #imquic library, with a few observations on what future this may have, if any (especially considering most of the focus is on #MoQ instead)

https://www.slideshare.net/slideshow/rtp-over-quic-an-interesting-opportunity-or-wasted-time/279010739

Kamailio World 2025 has started! I'll do my presentation on #RoQ (RTP over #QUIC) later today, at 4.50pm Germany time. You can watch the live stream here!

https://www.youtube.com/watch?v=p4ZrY2DxmCU

Just a few weeks until #fosdem, where I'll give two talks:

1. "imquic, a QUIC library for real-time media" at the #RTC devroom, on my #quic, #roq, #moq library, and
2. "Become an orchestra composer using FOSS!" at the #OpenMedia devroom, on my workflow to write/arrange/mix orchestral music.

My submission on KIAVC (adv. game engine) to the lightning talks was ignored for the 3rd year in a row, instead, so I guess I'll take the hint and shelf it forever 😁

See you there?

https://fosdem.org/2025/schedule/speaker/lorenzo_miniero/

Whether you celebrate it or not, we have an early #Christmas gift for you... the #QUIC library I've been working on is now open source! Learn more about it and how I've been using it as a playground for #RoQ and #MoQ!

Happy holidays! 🎄

https://www.meetecho.com/blog/imquic/

Today as a "hack'n hustle" day at #redhat , I tried to use #quarkus #roq to create a simple blog hosted via github pages (it's a new static html site generator, similar to jekyll), for hosting @netobserv blogs.
Well, that was fun!
Here's the result: https://jotak.github.io/netobserv.github.io/

I just need to fix images display, but it's really cool already. We're surely going to adopt Roq.

In case you want to catch up with the presentation I made at RTC.ON on #quic, #roq and #moq, the video is now available! Playing with RTP Over QUIC and Media Over QUIC was a ton of fun, can't wait to do more with this

https://youtu.be/bq9LRCfxz_E?si=W1IJXSA_RIPYDyFS

It took a while (I got a break for summer vacations 😁), but after the #quic intro and the #roq overview, I've finally written about #moq (Media Over QUIC) and my experiments getting it to talk to #webrtc. I'll talk about this at RTC.ON, see you there!

https://www.meetecho.com/blog/moq-webrtc/

After my intro post a few weeks ago, I wrote about my first steps in real-time media on #QUIC by playing with RTP Over QUIC (#RoQ), sharing some details on the interop tests we've done at the #ietf120 hackathon as well. A post #MoQ will follow soon too, but in the meanwhile I hope you'll enjoy this! Feedback welcome 😁

https://www.meetecho.com/blog/roq-n-roll/

Looking forward to this #ietf #hackathon here in Vancouver to see if the RTP Over QUIC and Media Over QUIC code I've written so far is entirely broken 😁

#ietf120 #quic #roq #moq