Anders C. Sørby
@anders.sorby.xyz
Klima, teknologi, fysikk og matematikk. Leder av @weplanetnorway.org Developing @monad-lang.org
🎃 It's Halloween, but you know what's not scary? Cultivated meat! 👻 It's real meat grown from animal cells, without raising & slaughtering animals. It can cut emissions, reduce land use & free up more space for nature. At our recent conference, attendees got to taste cultivated quail. 😋
Meet our Space Safety fleet. These missions help us monitor solar storms and asteroids, deal with space debris, and keep Earth and space safer for everyone. 🔗 esa.int/ESA_Multimedia/Images/2025/10/ESA_Space_Safety_Fleet @operations.esa.int
New updates on the Monad language @monad-lang.org blog.monad-lang.org/what-i-did-w...
What I did with Monad the last 2 weeks: Oak, a web stack, and a path toward univalence
October 31, 2026 The last two weeks were the busiest stretch this repository has seen. Between October 16 and October 30 the tree took 370 commits — roughly 185,000 lines added and 53,000 removed — and it did not spread those commits evenly: October 18 and 19 alone saw 96 of them. Still a lot of work remains. The priority is to stabilize the language features and ensure they cover enough. Two threads dominated. The first is a small fleet of library motes that turned out to be the foundation of a...
blog.monad-lang.org
In this episode of STWF Bad Ideas, host @marklynas.bsky.social is joined by Olivia Boyd, Senior Engagement Lead at WePlanet, to discuss the campaign to end industrial krill fishing in Antarctic waters. Watch the full episode on YouTube. Sign the petition here → shorturl.at/B0sWE #Podcast #Krill
Since 2004, this community has helped make Firefox and the open internet possible. Our “Come Back to Firefox” campaign reunites a few early internet icons to remind people what made the internet special, and why it’s worth protecting.
In this spirit, the DMA must be extended to social media. The European social media industry has been asking for this for the longest time. We know that we can take this market by storm if it is ever opened up to competition and freedom of movement.
Teresa Ribera@teresaribera.ec.europa.eu · 3w agoEurope has made a sovereign choice: digital markets should be fair and contestable. 🇪🇺 Enforcing the Digital Markets Act means protecting that level playing field and creating the conditions for more companies to grow, innovate and compete in Europe.
Krill fishing is taking food out of the mouths of whales, seals and penguins. That's bad enough, but it gets worse. Krill also play an important role in the Earth's carbon cycle, helping to regulate our climate. That's why we're calling for an end to industrial krill fishing in the Southern Ocean.
Energy sovereignty starts with breaking our dependence on fossil fuels. Nuclear, wind, solar & geothermal give countries the tools to produce abundant, reliable energy domestically—strengthening energy security, reducing reliance on volatile global markets & building a more resilient future.
Did you know - you can use @mu.social with your existing Bluesky account, no need to move to Eurosky. All your posts, feeds and accounts will be there. But you’ll be able to edit your posts and have a companion cat, or dog (or fox).
Monad has gotten an updated website! You can also download the latest nightly build using monadup. monad-lang.org
Monad — Dependently Typed Systems Programming
A purely functional, dependently typed systems programming language with LLVM native compilation.
monad-lang.org
mu is now available for open testing on Android play.google.com/store/apps/d... We’re already aware of some funky text in a couple of places. Please share your feedback and bugs. Note - this version does not have notifications yet
mu - Apps on Google Play
Real conversation & proper fun. Built in Europe for the world. No tracking ever.
play.google.com
waiting for google to finish reviewing our android app like
Pablo Escobar
Alt: Meme of Pablo Escobar waiting in different positions and places
static.klipy.com
Norway's whale hunting has transformed into another method of killing whales — capturing their food, krill, by the hundred-thousand tonnes. There should be no fishing industry in the Antarctic. shorturl.at/H9Uql #Krill #Overfishing #Antarctica
Norway criticised for taking food from whales and penguins in Antarctica
An expert disagrees. 'Science tells us that you can harvest much more.'
shorturl.at
🇮🇹 Italy’s Senate has given final approval to legislation paving the way for nuclear power to return almost four decades after the country shut its reactors. #EU #Italy #Nuclear #EnergySecurity #Decarbonisation www.reuters.com/world/italia...
Italian parliament backs Meloni's plan to restart nuclear power
Italy's upper house Senate on Wednesday gave final approval to a government plan to restart nuclear power generation, almost 40 years after a referendum led to the closure of Italy's reactors.
reuters.com
Calling all Norwegians! 🇳🇴 (heisann #Norge folk) Please use your amazing atmosphere-account to log into @sifa.id and enter your location so we can find each other on here 👋 I wanna connect with more locals who are atmosphere-curious.
celine@cozylittle.house · 3mo agoI wrote this little explainer! It's geared toward those with NO context about the Atmosphere and who have never touched code. Great for 🌸 linking in the replies when people are like "wats atmoshere?" 🌸 sending to people you love 🌸 linking in blog posts when you mention the Atmosphere in passing
WePlanet’s Tea Törmänen is in Baden for discussions on Switzerland’s nuclear future—as the country heads towards a referendum on whether to allow new nuclear power plants. Watch Tea explain a few of the many environmental advantages nuclear energy has to offer. ⬇️ #NuclearEnergy #CleanEnergy
Pet food could be the secret weapon to reducing deforestation. WePlanet’s @joelscotthalkes.bsky.social explains in this video, that this land-saving approach would be achieved by simply by replacing the traditional bits of meat in the kibble for Mr. Sprinkles 🐈 with lab-grown meat instead.
- Heller kjernekraft og vindmøller enn oljeplattformer. WePlanet stiller seg bak bevegelsen mot oljeboring utenfor Røst. www.nationen.no/kvitnes-gard...
Gårdsrestaurant ut av NHO i protest: – Heller vindmøller enn oljesøl på torskeyngelen
Halvar Ellingsen vil melde Kvitnes gård i Vesterålen ut av NHO etter utspillet om å kartlegge muligheten for olje og gass i et område utenfor Røst.
nationen.no
Who's afraid of the veggie burger? Many EU politicans seem to be. We formed the NoConfusion Coalition to fight this madness. We succesfully got words such as "burger" out of the trialogue proposal, but now some politicians want them back in. www.europesays.com/europe/124560/ #noconfusion
Extreme heat has killed at least 25,000 people in Western Europe alone this year. Instead of sitting around waiting for the next heatwave, leaders can take measures *now* to protect our communities. Make air conditioning accessible. Lower energy costs. Divest from fossil fuels. shorturl.at/8ijEn
Europe's silent heat death toll
It’s not news that it’s hot: this summer, we’ve had five major heatwaves. Extreme heat killed at least 25,000 people in Western Europe alone, according to a…
shorturl.at
"Despair is disempowering. Despair is what the bastards want you to feel." — hopeful, motivating words from our friend @georgemonbiot.bsky.social in @theguardian.com A reminder to remain steadfast in the belief of a better, equitable, climate-stable future. www.theguardian.com/membership/2...
Don’t despair about what’s happening to our planet. That’s what they want you to feel
There are social tipping points when the seemingly impossible suddenly becomes inevitable. Good journalism plays an essential role in helping drive these shifts and shows us how real change can happen
theguardian.com
Nuclear energy is not the boogey man the media wants you to think. @ia-aanstoot.bsky.social explains… Read more about our work on nuclear here ➡️ www.weplanet.org/rethinknuclear #WePlanet #NuclearPower #CleanEnergy
Record summer temperatures are wreaking havoc in Europe — but we don't have to accept a fatalistic view of the future. We're not locked in yet. There is still so much to save. It's a call to action for our governments to get comfortable with new climate approaches and technologies ASAP.
European State of the Climate: record heatwaves from the Mediterranean to the Arctic, while glaciers shrink and snow cover declines
Rapid warming in Europe is reducing snow and ice cover, while dangerously high air temperatures, drought, heatwaves and record ocean temperatures are affecting regions from the Arctic to the…
climate.copernicus.eu
Heatwaves don't just put people at risk — they also make it harder for nature to do its job. As temperatures rise, plants become less efficient at photosynthesis, reducing their ability to absorb CO2 just when we need it most. actu.epfl.ch/news/heatwav...
Heatwaves hinder photosynthesis
An EPFL study shows that tropical forests regularly exceed the temperatures at which photosynthesis begins to fail, threatening the planet's ability to absorb carbon dioxide.
actu.epfl.ch
We've helped stop Belgium's nuclear shutdown! Two months after WePlanet won a court injunction freezing demolition, the Belgian government has ordered an immediate halt to all nuclear decommissioning work. And it has entered talks to take control of all seven of the country's reactors.
Building an online profile (or a few) with your work, activities & what others say about you = very useful: others know who they're talking to, whether to trust what you share, whether to collab. That's what we're building. Tying it to a government ID though? BIG Nope 😬 Read why that's very bad 👇
Proton@proton.me · 7mo agoAge verification sounds reasonable until you realize it means every adult hands over their ID just to go online. We wrote about why this is a terrible idea and what should happen instead. https://proton.me/blog/keep-age-verification-from-killing-anonymity-online
Alpha version 0.1.0 of the Monad language has been released. Monad provides dependent types in a Rust context. github.com/monad-lang/m...
GitHub - monad-lang/monad: Monad language implementation
Monad language implementation. Contribute to monad-lang/monad development by creating an account on GitHub.
github.com