#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...
-
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...
-
#Ecuador🌕Hace un año, #Ecuador esperaba que los 48 #generadores comprados a la empresa #Austral aportaran 90 megavatios de energía al sistema eléctrico. La inversión, cercana a 71 millones de dólares, debía aliviar la crisis eléctrica. Pero se convirtió en otra #estafa
👍🏼💙↩️
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
-
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
-
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 -
🚀 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
-
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
-
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 -
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
-
Aleja Sanchez, “Macula solaris” (Nótt, 2019) ★ Colombia ★ https://nottrecords.bandcamp.com/track/aleja-sanchez-macula-solaris ⦾ https://soundcloud.com/nottla/aleja-sanchez-macula-solaris ⦾ https://invidious.drgns.space/watch?v=XENtZ4NNptQ ⦾ https://www.youtube.com/watch?v=XENtZ4NNptQ #AlejaSanchez #sunspots #sun #deeptechno #techno #techhouse #idm #Colombiammusicians #Nótt #austral #2010s
-
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 -
[ Interview with Fernando Borretti about Austral - a systems programming language with linear types ]
https://blog.lambdaclass.com/austral/ #Austral #Programming -
[ 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/
-
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! 😍
-
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 -
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/
