home.social

#austral — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #austral, aggregated by home.social.

  1. #Ecuador🔴#URGENTE

    La Comisión Nacional Anticorrupción alerta que el caso #PROGEN - #AUSTRAL va camino a la impunidad, por la lentitud de las indagaciones y la ausencia de sanciones a los implicados

    #ParoNacionalEcuador #TodoNO #ParoNacional2025

    👍🏼💙↩️
    Radio Antisana Media Online: antisananews.blogspot.com/
    TikTok: tiktok.com/@antisanamediaonlin
    Telegram: t.me/AntisanaMediaOnline
    Facebook: facebook.com/antisanamediaonli
    Mastodon: mastodon.social/@antisananews

  2. #Ecuador🔴#URGENTE

    La Comisión Nacional Anticorrupción alerta que el caso #PROGEN - #AUSTRAL va camino a la impunidad, por la lentitud de las indagaciones y la ausencia de sanciones a los implicados

    #ParoNacionalEcuador #TodoNO #ParoNacional2025

    👍🏼💙↩️
    Radio Antisana Media Online: antisananews.blogspot.com/
    TikTok: tiktok.com/@antisanamediaonlin
    Telegram: t.me/AntisanaMediaOnline
    Facebook: facebook.com/antisanamediaonli
    Mastodon: mastodon.social/@antisananews

  3. #Ecuador🔴#URGENTE

    La Comisión Nacional Anticorrupción alerta que el caso #PROGEN - #AUSTRAL va camino a la impunidad, por la lentitud de las indagaciones y la ausencia de sanciones a los implicados

    #ParoNacionalEcuador #TodoNO #ParoNacional2025

    👍🏼💙↩️
    Radio Antisana Media Online: antisananews.blogspot.com/
    TikTok: tiktok.com/@antisanamediaonlin
    Telegram: t.me/AntisanaMediaOnline
    Facebook: facebook.com/antisanamediaonli
    Mastodon: mastodon.social/@antisananews

  4. #Ecuador🔴#URGENTE

    La Comisión Nacional Anticorrupción alerta que el caso #PROGEN - #AUSTRAL va camino a la impunidad, por la lentitud de las indagaciones y la ausencia de sanciones a los implicados

    #ParoNacionalEcuador #TodoNO #ParoNacional2025

    👍🏼💙↩️
    Radio Antisana Media Online: antisananews.blogspot.com/
    TikTok: tiktok.com/@antisanamediaonlin
    Telegram: t.me/AntisanaMediaOnline
    Facebook: facebook.com/antisanamediaonli
    Mastodon: mastodon.social/@antisananews

  5. Nice "Introduction to Linear Types", as part of the #austral language documentation

    austral-lang.org/linear-types

  6. 🚀 Introducing Austral: because clearly what the world was missing was #Rust wearing Ada's hand-me-downs. 🎩 With a name like #Austral, you'd expect a trip Down Under, but instead, you get a lecture on linear types and "capabilities" that promises #security and correctness like a used car salesman assures you of a "reliable" engine. 😂
    borretti.me/article/introducin #Ada #Capabilities #HackerNews #ngated

  7. @Dragofix

    True, pastures are flourishing this year!

    Also true, 2 years ago we had nation wide the worst drought ever and heat has hell. #Montevideo, the capital was without "good" water than, never happened before.

    So this is, as the arcticle states, just a part of weather extrems. Actually, the calimate of #Uruguay and the one of capital #BuenosAires and Provincia of Buenos Aires as well as #EntreRios Province are quite the same. The fact that #Argentina is much bigger simply makes that the nation wide reoprt is different.

    It looks like weather patterns run from south to north and vice versa over here, with the Rocky Andes as a barrier, and a subtropic frontier around the border with #Brazil. So this year we have the cold coming from the #Antarctic reagion pasing over the #Argentine #Pampa a lot.

    Actually journalist @gusdelsur published a toot a few days ago about the cold #austral" summer this year:
    mastodon.social/@gusdelsur/113

  8. Flavien part à l'assaut de Los #Dientes de #Navarino au #Chili

    L'aventure de Flavien connaît des haut et des bas. La météo ajoute une difficulté à surmonter. Le moral est souvent tributaire de l'apparition du soleil. Le trek dont il rêve depuis des mois est à portée de semelle. La légende du Chili n'est pas galvaudée. Savoureux mélange de plats emblématiques, de créatures, de faunes et de flores. Comme la légende de la Difunta Correa qui atteint le Chili en 1975. Elle trouve ses racines dans les classes populaires du nord de l’Argentine. Elle meurt de soif avec son nourrisson dans le désert. Depuis, il est possible de voir des autels en son hommage. Un nombre incalculable de bouteilles d'eau sont déposées. Pour que plus jamais elle ne manque d'eau. Dans ce trek, Flavien va-t-il manquer d'eau durant le trek de Los Dientes de Navarino ? Seule la météo peut répondre...

    #austral #chile #conaf #dientesdenavarino #flavien #france #librexpression #navarino #onf #pancho #tipula #trek

    librexpression.fr/los-dientes-

    (Crédits : Flavien Saboureau)

  9. Flavien part à l'assaut de Los #Dientes de #Navarino au #Chili

    L'aventure de Flavien connaît des haut et des bas. La météo ajoute une difficulté à surmonter. Le moral est souvent tributaire de l'apparition du soleil. Le trek dont il rêve depuis des mois est à portée de semelle. La légende du Chili n'est pas galvaudée. Savoureux mélange de plats emblématiques, de créatures, de faunes et de flores. Comme la légende de la Difunta Correa qui atteint le Chili en 1975. Elle trouve ses racines dans les classes populaires du nord de l’Argentine. Elle meurt de soif avec son nourrisson dans le désert. Depuis, il est possible de voir des autels en son hommage. Un nombre incalculable de bouteilles d'eau sont déposées. Pour que plus jamais elle ne manque d'eau. Dans ce trek, Flavien va-t-il manquer d'eau durant le trek de Los Dientes de Navarino ? Seule la météo peut répondre...

    #austral #chile #conaf #dientesdenavarino #flavien #france #librexpression #navarino #onf #pancho #tipula #trek

    librexpression.fr/los-dientes-

    (Crédits : Flavien Saboureau)

  10. The #Austral Programming Language

    austral-lang.org/

    "Austral is a new systems #ProgrammingLanguage. You can think of it as #Rust: The Good Parts or a modernized, stripped-down #Ada. It features a strong #StaticTypeSystem, #LinearTypes, capability-based security, and strong modularity."

    Introducing Austral: A Systems Language with Linear Types and Capabilities:

    borretti.me/article/introducin

    Looks like my prediction of future programming langs hold true:
    floss.social/@janriemer/109727

  11. The #Austral Programming Language

    austral-lang.org/

    "Austral is a new systems #ProgrammingLanguage. You can think of it as #Rust: The Good Parts or a modernized, stripped-down #Ada. It features a strong #StaticTypeSystem, #LinearTypes, capability-based security, and strong modularity."

    Introducing Austral: A Systems Language with Linear Types and Capabilities:

    borretti.me/article/introducin

    Looks like my prediction of future programming langs hold true:
    floss.social/@janriemer/109727

  12. The #Austral Programming Language

    austral-lang.org/

    "Austral is a new systems #ProgrammingLanguage. You can think of it as #Rust: The Good Parts or a modernized, stripped-down #Ada. It features a strong #StaticTypeSystem, #LinearTypes, capability-based security, and strong modularity."

    Introducing Austral: A Systems Language with Linear Types and Capabilities:

    borretti.me/article/introducin

    Looks like my prediction of future programming langs hold true:
    floss.social/@janriemer/109727

  13. The #Austral Programming Language

    austral-lang.org/

    "Austral is a new systems #ProgrammingLanguage. You can think of it as #Rust: The Good Parts or a modernized, stripped-down #Ada. It features a strong #StaticTypeSystem, #LinearTypes, capability-based security, and strong modularity."

    Introducing Austral: A Systems Language with Linear Types and Capabilities:

    borretti.me/article/introducin

    Looks like my prediction of future programming langs hold true:
    floss.social/@janriemer/109727

  14. The #Austral Programming Language

    austral-lang.org/

    "Austral is a new systems #ProgrammingLanguage. You can think of it as #Rust: The Good Parts or a modernized, stripped-down #Ada. It features a strong #StaticTypeSystem, #LinearTypes, capability-based security, and strong modularity."

    Introducing Austral: A Systems Language with Linear Types and Capabilities:

    borretti.me/article/introducin

    Looks like my prediction of future programming langs hold true:
    floss.social/@janriemer/109727

  15. [ Interview with Fernando Borretti about Austral - a systems programming language with linear types ]
    https://blog.lambdaclass.com/austral/ #Austral #Programming

  16. Good news for Vivaldi’s #car fans! 🚙

    Our #browser will be available in #Renault’s All-New #Rafale E-Tech Hybrid 🤩

    The SUV Coupé will reach markets in spring 2024, and #Vivaldi is joining the ride! ✨

    Get to know all the specs👇
    renault.co.uk/hybrid-cars/rafa

    This is the third model from Renault to incorporate the Vivaldi Browser, after the #Megane E-Tech and the #Austral. :tony_wee:

    Let us know if you get to try these out! 😍

  17. Pour information on change le bocal à scolopendres 2 fois par an. Celui ci a été entamé en début d'été soit en décembre dernier. Pour l'hiver #austral , le bocal doit être plus grand car ils sont nombreux à rentrer dans la maison malgré le produit "barrage" qu'on applique autour des portes et fenêtres.
    Ça laisse une idée du nombre de ces animaux qui transitent ici.
    Après on filtre le rhum, on le donne aux membres de la famille qui l'utilisent encore. Certains le vendent à raison de 40€/L

  18. Tiny invader reengineering Antarctic soils by increasing rates of plant decomposition: 'potentially "opens the door" for other species to become established which can further accelerate climate change'. #Austral
    phys.org/news/2023-05-reveals-

  19. Le #navigateur #Web #Vivaldi est disponible à bord de certaines 🚗 #Renault récentes, comme les #Megane E-Tech et le nouveau SUV hybride #Austral.

    Ces modèles sont équipés d'un système embarqué sous #Android #automotive OS sur lequel Vivaldi pourra être installé.

    Évidemment, le navigateur ne pourra être utilisé qu'à l'#arrêt, pendant une pause ou une période de recharge de la voiture par exemple, sur un grand écran tactile.

    Annonce par Jon : vivaldi.com/blog/vivaldi-and-r

    vivaldi.com/fr/android/automot