#austral — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #austral, aggregated by home.social.
-
Australia news live: record renewable capacity added in last quarter of 2025; wage growth expected to remain on hold https://www.theguardian.com/australia-news/live/2026/feb/18/australia-news-live-renewable-energy-capacity-battery-grid-real-wage-growth-cost-of-living-albanese-angus-taylor-coalition-liberal-front-bench-immigration-ntwnfb #AustraliaNews #AustralianPolitics #AustralianEconomy #Business #Health #AustralianEducation #AustralianImmigrationAndAsylum #Austral...
-
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: https://antisananews.blogspot.com/
TikTok: https://www.tiktok.com/@antisanamediaonline?lang=es
Telegram: https://t.me/AntisanaMediaOnline
Facebook: https://www.facebook.com/antisanamediaonline
Mastodon: https://mastodon.social/@antisananews -
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: https://antisananews.blogspot.com/
TikTok: https://www.tiktok.com/@antisanamediaonline?lang=es
Telegram: https://t.me/AntisanaMediaOnline
Facebook: https://www.facebook.com/antisanamediaonline
Mastodon: https://mastodon.social/@antisananews -
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: https://antisananews.blogspot.com/
TikTok: https://www.tiktok.com/@antisanamediaonline?lang=es
Telegram: https://t.me/AntisanaMediaOnline
Facebook: https://www.facebook.com/antisanamediaonline
Mastodon: https://mastodon.social/@antisananews -
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: https://antisananews.blogspot.com/
TikTok: https://www.tiktok.com/@antisanamediaonline?lang=es
Telegram: https://t.me/AntisanaMediaOnline
Facebook: https://www.facebook.com/antisanamediaonline
Mastodon: https://mastodon.social/@antisananews -
Fernando Borretti (of #Austral programming language fame) is so disciplined about life 🤯🫢🫡:
“Notes On Managing ADHD” (https://borretti.me/article/notes-on-managing-adhd).
Via HN: https://news.ycombinator.com/item?id=45083134
#ADHD #ADD #ToDo #Todoist #Obsidian #Productivity #Procrastination #Life #Discipline #Habits
-
https://www.evshift.com/339113/renault-austral-full-hybrid-e-tech-self-charging/ Renault Austral full hybrid E-Tech self-charging #Austral #ElectricCars #ElectricVehicles #ETECH #EV #Full #Hybrid #renault #RenaultUK #Selfcharging
-
Nice "Introduction to Linear Types", as part of the #austral language documentation
-
https://www.evshift.com/323030/new-renault-austral-full-hybrid-e-tech-self-charging/ new Renault Austral full hybrid E-Tech self-charging #Austral #ElectricCars #ElectricVehicles #ETECH #EV #Full #Hybrid #renault #RenaultUK #Selfcharging
-
🚀 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. 😂
https://borretti.me/article/introducing-austral #Ada #Capabilities #HackerNews #ngated -
Austral: A Systems Language with Linear Types and Capabilities
https://borretti.me/article/introducing-austral
#HackerNews #Austral #Systems #Language #Linear #Types #Capabilities #Programming
-
L’ #observatoire du #cerro #Paranal, situé dans les #Andes #chiliennes et appartenant à l’ #observatoire #européen #austral (dont la #France est membre), est #menacé par la construction d’un #complexe #industriel #américain #US #USA
-
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:
https://mastodon.social/@gusdelsur/113772307769370681 -
En el sur de #Chile se están desarrollando #destilerías artesanales que #rescatan y revalorizan recursos #frutícolas patrimoniales de esa #austral zona. Son el #epicentro emergente en la #elaboración de productos #únicos, capaces de #competir en el mundo
https://mostosydestilados.cl/destilerias-artesanales-buscan-impulsar-innovacion-en-la-patagonia/
-
En el sur de #Chile se están desarrollando #destilerías artesanales que #rescatan y revalorizan recursos #frutícolas patrimoniales de esa #austral zona. Son el #epicentro emergente en la #elaboración de productos #únicos, capaces de #competir en el mundo
https://mostosydestilados.cl/destilerias-artesanales-buscan-impulsar-innovacion-en-la-patagonia/
-
En el sur de #Chile se están desarrollando #destilerías artesanales que #rescatan y revalorizan recursos #frutícolas patrimoniales de esa #austral zona. Son el #epicentro emergente en la #elaboración de productos #únicos, capaces de #competir en el mundo
https://mostosydestilados.cl/destilerias-artesanales-buscan-impulsar-innovacion-en-la-patagonia/
-
En el sur de #Chile se están desarrollando #destilerías artesanales que #rescatan y revalorizan recursos #frutícolas patrimoniales de esa #austral zona. Son el #epicentro emergente en la #elaboración de productos #únicos, capaces de #competir en el mundo
https://mostosydestilados.cl/destilerias-artesanales-buscan-impulsar-innovacion-en-la-patagonia/
-
Tres #planetas con #condiciones prometedoras (mismo #tamaño y mismas #temperaturas ) para una vida similar a la #Tierra realizado con el telescopio #TRAPPIST en el #Observatorio La Silla ( #Chile ) y respaldado por el #Observatorio #Austral #Europeo
-
Tres #planetas con #condiciones prometedoras (mismo #tamaño y mismas #temperaturas ) para una vida similar a la #Tierra realizado con el telescopio #TRAPPIST en el #Observatorio La Silla ( #Chile ) y respaldado por el #Observatorio #Austral #Europeo
-
Tres #planetas con #condiciones prometedoras (mismo #tamaño y mismas #temperaturas ) para una vida similar a la #Tierra realizado con el telescopio #TRAPPIST en el #Observatorio La Silla ( #Chile ) y respaldado por el #Observatorio #Austral #Europeo
-
Tres #planetas con #condiciones prometedoras (mismo #tamaño y mismas #temperaturas ) para una vida similar a la #Tierra realizado con el telescopio #TRAPPIST en el #Observatorio La Silla ( #Chile ) y respaldado por el #Observatorio #Austral #Europeo
-
Tres #planetas con #condiciones prometedoras (mismo #tamaño y mismas #temperaturas ) para una vida similar a la #Tierra realizado con el telescopio #TRAPPIST en el #Observatorio La Silla ( #Chile ) y respaldado por el #Observatorio #Austral #Europeo
-
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
https://librexpression.fr/los-dientes-de-navarino-epis-20
(Crédits : Flavien Saboureau)
-
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
https://librexpression.fr/los-dientes-de-navarino-epis-20
(Crédits : Flavien Saboureau)
-
Nice:
“Interview With Fernando Borretti About Austral - A Systems Programming Language With Linear Types”, LambdaClass (https://blog.lambdaclass.com/austral/).
On HN: https://news.ycombinator.com/item?id=38756319
#PLDI #ProgrammingLanguages #Austral #Interview #LinearTypes #TypeTheory #Capability
-
Nice:
“Interview With Fernando Borretti About Austral - A Systems Programming Language With Linear Types”, LambdaClass (https://blog.lambdaclass.com/austral/).
On HN: https://news.ycombinator.com/item?id=38756319
#PLDI #ProgrammingLanguages #Austral #Interview #LinearTypes #TypeTheory #Capability
-
Nice:
“Interview With Fernando Borretti About Austral - A Systems Programming Language With Linear Types”, LambdaClass (https://blog.lambdaclass.com/austral/).
On HN: https://news.ycombinator.com/item?id=38756319
#PLDI #ProgrammingLanguages #Austral #Interview #LinearTypes #TypeTheory #Capability
-
Nice:
“Interview With Fernando Borretti About Austral - A Systems Programming Language With Linear Types”, LambdaClass (https://blog.lambdaclass.com/austral/).
On HN: https://news.ycombinator.com/item?id=38756319
#PLDI #ProgrammingLanguages #Austral #Interview #LinearTypes #TypeTheory #Capability
-
The #Austral Programming Language
"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:
https://borretti.me/article/introducing-austral
Looks like my prediction of future programming langs hold true:
https://floss.social/@janriemer/109727164361812679 -
The #Austral Programming Language
"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:
https://borretti.me/article/introducing-austral
Looks like my prediction of future programming langs hold true:
https://floss.social/@janriemer/109727164361812679 -
The #Austral Programming Language
"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:
https://borretti.me/article/introducing-austral
Looks like my prediction of future programming langs hold true:
https://floss.social/@janriemer/109727164361812679 -
The #Austral Programming Language
"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:
https://borretti.me/article/introducing-austral
Looks like my prediction of future programming langs hold true:
https://floss.social/@janriemer/109727164361812679 -
The #Austral Programming Language
"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:
https://borretti.me/article/introducing-austral
Looks like my prediction of future programming langs hold true:
https://floss.social/@janriemer/109727164361812679 -
[ Interview with Fernando Borretti about Austral - a systems programming language with linear types ]
https://blog.lambdaclass.com/austral/ #Austral #Programming -
Interesting:
“The Austral Programming Language”, Fernando Borretti (https://austral-lang.org/).
On HN: https://news.ycombinator.com/item?id=36898612
On Lobsters: https://lobste.rs/s/boru64/austral_programming_language
On /r/ProgrammingLanguages: https://www.reddit.com/r/ProgrammingLanguages/comments/zzw39s/introducing_austral_a_systems_language_with/
-
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👇
https://www.renault.co.uk/hybrid-cars/rafale.htmlThis 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! 😍
-
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 -
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
https://phys.org/news/2023-05-reveals-invading-insects-antarctic-soils.html -
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 : https://vivaldi.com/blog/vivaldi-and-renault-team-up-for-the-best-on-road-experience/
