Tootfinder

Checking Consistency of Event-driven Traces
Parosh Aziz Abdulla, Mohamed Faouzi Atig, R. Govind, Samuel Grahn, Ramanathan S. Thinniyam
https://arxiv.org/abs/2508.07855 https://

Checking Consistency of Event-driven Traces
Event-driven programming is a popular paradigm where the flow of execution is controlled by two features: (1) shared memory and (2) sending and receiving of messages between multiple handler threads (just called handler). Each handler has a mailbox (modelled as a queue) for receiving messages, with the constraint that the handler processes its messages sequentially. Executions of messages by different handlers may be interleaved. A central problem in this setting is checking whether a candidate…

Guten Morgen, Mastodon (heute mal so richtig Sommer mit 27 Grad - statt Hitzesommer mit 37 Grad)!

[2025-08-12 Tue (UTC), 1 new article found for cs.PL Programming Languages]
toXiv_bot_toot

Vorher, nachher. (Selbes Reifenmodell)

football_tsevans: NCAA college football 2000 (corrected metadata)
A network of American football games between Division IA colleges during regular season Fall 2000. This version contains some corrections made by T. S. Evans, in particular:.
This network has 115 nodes and 613 edges.
Tags: Social, Sports, Unweighted
https://

Trump is recklessly shredding our economic advantages in the global economy.
Companies that are looking to make investments shouldn’t have to worry if Trump has cooked the books on economic data--but that’s exactly what’s happening following his decision.
-- Katie Porter

Firing of labor statistics head undermines trust in key data, ex-Trump official warns
President Trump is expected to nominate a new head of the Bureau of Labor Statistics this week, days after firing Commissioner Erika McEntarfer following the release of a disappointing jobs report. The president dismissed the data as “rigged” and “manipulated for political purposes.” Geoff Bennett discussed more with William Beach, the commissioner of labor statistics during the first Trump term.

Also a huge warning: friends don’t let friends register .pe domains.
> This ccTLD's rules allow anyone to buy the domain 12 days before it expires.
https://github.com/immers-space/guppe/issues/118#issuecomment-3265015461

Guppe is dead? · Issue #118 · immers-space/guppe
Hey @wmurphyrd 👋 I notice as of September 2025, the domains gup.pe and immers.space seem to have expired and a.gup.pe has been replaced with a WordPress installation full of SEO-targeted content ab...

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Efficient Decrease-And-Conquer Linearizability Monitoring
Lee Zheng Han, Umang Mathur

Interessant journalistiek onderzoek.
#PVV
https://www.groene.nl/artikel/maak-haar-blond-onschuldig-en-kna…

Vanuit de PVV-fractie worden in het geheim met AI racistische ideeën gepromoot
Op sociale media delen PVV-fanaccounts levensechte AI-beelden, veelal van knappe, blonde vrouwen die worden bedreigd door migranten. Deze pagina’s blijken te worden beheerd door minstens twee PVV-Kamerleden.

🇺🇦 #NowPlaying on KEXP's #StreetSounds
Ying-Yang-Twins ft. Pitbull:
🎵 Shake
#YingYangTwinsftPitbull
https://thedjedits.bandcamp.com/track/sisqo-ying-yang-twins-pitbull-shake-that-thong-wordplay-segue-122-118-dirty
https://open.spotify.com/track/1ZKKdGaFNy2dOMHRgkW93Y

Kissing Garner
#GregoryAlanWilliams #MariMorrow
Season 3 Episode 11 "Dead of Summer"
#RandomBaywatch

🤣
https://www.threads.com/@karaswisher/post/DPoRZRIgAYA

Kara Swisher (@karaswisher) on Threads
Thanks for the spicy guest question from Hillary Clinton for my @onwithkaraswisher pod interview at the Warner Theater in DC last night with @kamalaharris — full video episode coming soon on YouTube too.

"Live Translation with AirPods is not available if you are in the EU and your Apple Account Country or Region is also in the EU." -
Apple is just fighting the EU and their regulation. And they will eventually lose. @…
#Hopefully

Apple being petty
Live Translation with AirPods is not available if you are in the EU and your Apple Account Country or Region is also in the EU. (Source) Apple is just fighting the EU and their regulation. And they will eventually lose.

RE: https://mastodon.social/@randahl/115352490053422595
HAHAHAHAHA!
This is the kind of mean I'm here for! 😂

How bars are responding to ICE raids
#resist

How Bars Are Responding to ICE Raids
Amid ICE raids, bars and restaurants are preparing their staff for the worst. Here, organizers and immigration experts share their resources.

Hybrid Game Control Envelope Synthesis
Aditi Kabra, Jonathan Laurent, Stefan Mitsch, Andr\'e Platzer
https://arxiv.org/abs/2508.05997 https://arxiv.org…

Hybrid Game Control Envelope Synthesis
Control problems for embedded systems like cars and trains can be modeled by two-player hybrid games. Control envelopes, which are families of safe control solutions, correspond to nondeterministic winning policies of hybrid games, where each deterministic specialization of the policy is a control solution. This paper synthesizes nondeterministic winning policies for hybrid games that are as permissive as possible. It introduces subvalue maps, a compositional representation of such policies tha…

Les Français majoritairement favorables aux énergies renouvelables, y compris parmi les électeurs de droite et d’extrême droite
> Une enquête d’opinion, portant sur un panel de 12 000 personnes, montre une dichotomie entre les positions des hommes politiques et les attentes des citoyens en matière d’énergie.

Les Français majoritairement favorables aux énergies renouvelables, même parmi les électeurs de droite et d’extrême droite
Une enquête d’opinion, portant sur un panel de 12 000 personnes, montre une dichotomie entre les positions des hommes politiques et les attentes des citoyens en matière d’énergie.

Hi #Bookstodon!
What’s a book that shaped your life? I’ll start, “Anarcho-syndicalism: Theory and Practice.” Now it’s your turn, reply with yours!
Book link: https://theanarchistlibrary.or…

[2025-08-11 Mon (UTC), 1 new article found for cs.PL Programming Languages]
toXiv_bot_toot

I have a date for Halloween but first I need to take a train 4 hours away to actually get there

hot: silly bandz
not: oil spills
✅

Towards Balanced Behavior Cloning from Imbalanced Datasets
Sagar Parekh, Heramb Nemlekar, Dylan P. Losey
https://arxiv.org/abs/2508.06319 https://arxiv.org…

Towards Balanced Behavior Cloning from Imbalanced Datasets
Robots should be able to learn complex behaviors from human demonstrations. In practice, these human-provided datasets are inevitably imbalanced: i.e., the human demonstrates some subtasks more frequently than others. State-of-the-art methods default to treating each element of the human's dataset as equally important. So if -- for instance -- the majority of the human's data focuses on reaching a goal, and only a few state-action pairs move to avoid an obstacle, the learning algorithm will pla…

Altered Histories in Version Control System Repositories: Evidence from the Trenches
Solal Rapaport (IP Paris, LTCI, ACES, INFRES), Laurent Pautet (INFRES, LTCI, ACES, IP Paris), Samuel Tardieu (INFRES, ACES, IP Paris, LTCI), Stefano Zacchiroli (IP Paris, LTCI, ACES, INFRES)
https://arxiv.org/abs/2509.09294…

Altered Histories in Version Control System Repositories: Evidence from the Trenches
Version Control Systems (VCS) like Git allow developers to locally rewrite recorded history, e.g., to reorder and suppress commits or specific data in them. These alterations have legitimate use cases, but become problematic when performed on public branches that have downstream users: they break push/pull workflows, challenge the integrity and reproducibility of repositories, and create opportunities for supply chain attackers to sneak into them nefarious changes. We conduct the first large-sc…

Series D, Episode 11 - Orbit
EGRORIAN: Apparently not. Can I offer you some refreshment? Everything here is reconstituted, of course, but it remains palatable.
AVON: We came here to talk, Egrorian.
https://blake.torpidity.net/m/411/118 B7B4

Highlight All the Phrases: Enhancing LLM Transparency through Visual Factuality Indicators
Hyo Jin Do, Rachel Ostrand, Werner Geyer, Keerthiram Murugesan, Dennis Wei, Justin Weisz
https://arxiv.org/abs/2508.06846

Highlight All the Phrases: Enhancing LLM Transparency through Visual Factuality Indicators
Large language models (LLMs) are susceptible to generating inaccurate or false information, often referred to as "hallucinations" or "confabulations." While several technical advancements have been made to detect hallucinated content by assessing the factuality of the model's responses, there is still limited research on how to effectively communicate this information to users. To address this gap, we conducted two scenario-based experiments with a total of 208 participants to systematically co…

Last call for today's free webinar all about the importance of #SelfCare and effective coping. We kick off at 12pm UK time and you can grab a place via our eventbrite page here:
👉🏻 https://www.eventb…

Block all ads
Good job Ublock origin 👍🏻
#ublockorigin #firefox

Amstelveen - Amsteldijk Noord
#kamafotos

Headed to LA on the Coast Starlight - I’m going to actually not work on Labor Day weekend!
#Amtrak #CaliforniaZephyr #Tågskryt

What a time to be alive! :)
https://youtu.be/NtZaP8VMv0c

Global renewable energy generation surpasses coal for first time
> The world generated almost a third more solar power in the first half of the year compared with the same period in 2024, meeting 83% of the global increase in electricity demand. Wind power grew by just over 7%, allowing renewables to displace fossil fuels for the first time.
> China and India were largely responsible for the surge in renewables, according to the Ember report, in contrast with the US and Eur…

As of September 2025, the domains gup.pe and immers.space
seem to have expired
and a.gup.pe has been replaced with a WordPress installation full of SEO-targeted content about Mastodon.
Is this the end of Guppe Groups as a service?
If so, I would like to remind you that there are still monthly and annual financial donors to the service via Guppe Groups on OpenCollective.
...
upstream registry sold it off before it expired. My registrar said I had till 9/15…

Guppe is dead? · Issue #118 · immers-space/guppe
Hey @wmurphyrd 👋 I notice as of September 2025, the domains gup.pe and immers.space seem to have expired and a.gup.pe has been replaced with a WordPress installation full of SEO-targeted content ab...

Esta merda é de pôr os cabelos em pé.
Supostamente era para ter piada.
Não tem. Nenhuma.
https://youtu.be/9Iwc9NsjwIU

TIL que o bluesky ainda usa URL shorteners.
Ugh!
Detesto URL shorteners. São um valente perigo num mundo cheio de gente a fazer phishing com cópias de sites reais.

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Qunity: A Unified Language for Quantum and Classical Computing (Extended Version)
Finn Voichick, Liyi Li, Robert Rand, Michael Hicks

A large part of Russian (and Chinese, for that matter) propaganda consists of presenting themselves as allies in anti-colonial struggles around the world, and some people are all too happy to parrot that point. They should really read this.
Russia (and China, for that matter) is a colonial empire, violently repressing its own subjugated peoples, as clearly expressed here by members of those peoples.

This, folks, is a very good article. Lengthy but well worth the read. Especially if you are in any way involved in European foreign policymaking.
https://mastodon.social/@meduza_bot/115350582219170636

RE: https://mastodon.social/@badastro/115350341474213632
This is a cute little piece. Great in particular if you plan to write some Martian science fiction with scenes set at the surface of the planet. Or on one of the moons. Or in orbit.

Consistent Updates for Scalable Microservices
Devora Chait-Roth, Kedar S. Namjoshi, Thomas Wies
https://arxiv.org/abs/2508.04829 https://arxiv.org/pdf/2508…

Consistent Updates for Scalable Microservices
Online services are commonly implemented with a scalable microservice architecture, where isomorphic worker processes service client requests, recording persistent state in a backend data store. To maintain service, any modifications to the service functionality must be made on the fly -- i.e., as the service continues to process client requests -- but doing so is challenging. The central difficulty is that of avoiding potential inconsistencies caused by ''mixed mode'' operation, where workers …

RE: https://vmst.io/@nhc_atlantic_bot/115349029051101430
Se isto é sinal do que aí vem mais lš para o meio/fim do século, Š medida que as alterações climšticas avançam, estamos bem arranjados.
Especialmente nos próprios Açores. Mas não só.

[2025-08-08 Fri (UTC), 1 new article found for cs.PL Programming Languages]
toXiv_bot_toot

Formou-se uma tempestade subtropical a noroeste dos Açores.
A NORoeste dos Açores!
A mais de 40ºN!
https://techhub.social/@meteopedagogie/115350289678205724

Météo Pédagogie (@meteopedagogie@techhub.social)
Attached: 1 image Dans l'Atlantique, la tempête subtropicale #Karen s'est formée hier à 44°N, ce qui est inédit. Cette structure hybride se note avec la convection autour de la dépression alors qu'un système frontal, maintenant détache continue à être actif dans un gros creux d'altitude 🐦🔗 https://twitter.com/MeteoPedagogie/status/1976647357631717853 🕐 10/10 15:53

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- RTLCoder: Outperforming GPT-3.5 in Design RTL Generation with Our Open-Source Dataset and Lightwe...
Shang Liu, Wenji Fang, Yao Lu, Qijun Zhang, Hongce Zhang, Zhiyao Xie

Heads up!
A new honest government ad just dropped.
https://youtu.be/h-yjkAXxnMA

(jš deito a merda das obras no prédio pelas orelhas.)
(que digo? por todos os poros!)

Isto é que são notícias importantes, pš!
https://masto.pt/@sapopt/115350145018339511

RE: https://mastodon.social/@WarnerCrocker/115350001798882417
I guess little Donny will never get his Nobel, huh?
Poor little Donny. He may throw a tantrum now.

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification
Saketh Ram Kasibatla, Arpan Agarwal, Yuriy Brun, Sorin Lerner, Talia Ringer, Emily First

O Maduro deve ter gostado deste prémio nobel da paz.
Estava prestes a ser atacado pelo regime do trump. Agora, como a Corina ganhou o nobel, o trump odeia-a, portanto deve tornar-se amiguinho do maduro.
Sim, tudo o que mete o trump é um recreio de escola infantil.

Olha, morreu a Diane Keaton.
Tenho dela a ideia de uma porreira. Para não falar de uma ótima atriz.

Weak Memory Model Formalisms: Introduction and Survey
Roger C. Su, Robert J. Colvin
https://arxiv.org/abs/2508.04115 https://arxiv.org/pdf/2508.04115

Weak Memory Model Formalisms: Introduction and Survey
Memory consistency models define the order in which accesses to shared memory in a concurrent system may be observed to occur. Such models are a necessity since program order is not a reliable indicator of execution order, due to microarchitectural features or compiler transformations. Concurrent programming, already a challenging task, is thus made even harder when weak memory effects must be addressed. A rigorous specification of weak memory models is therefore essential to make this problem …

Se o papa americano seguir sempre nesta linha, sim senhor, temos homem.
https://hachyderm.io/@suzannealdrich/115356030943949417

Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
Andreas Pointner (University of Applied Sciences Upper Austria, Austria), Josef Pichler (University of Applied Sciences Upper Austria, Austria), Herbert Pr\"ahofer (Johannes Kepler University Linz, Austria)
https://arxiv.org/abs/2508.03832

Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
A vast number of software systems include components that parse and process structured input. In addition to programming languages, which are analyzed by compilers or interpreters, there are numerous components that process standardized or proprietary data formats of varying complexity. Even if such components were initially developed and tested based on a specification, such as a grammar, numerous modifications and adaptations over the course of software evolution can make it impossible to pre…

E por falar em imigração...
https://mastodon.mediafaro.org/@mf_analysis/115356092352541764

RE: https://mastodon.social/@effinbirds/115355922245331183
Uma t-shirt com isto para ir aos comícios do chunga é que era.

A Type System for Data Privacy Compliance in Active Object Languages
Chinmayi Prabhu Baramashetru (University of Oslo, Norway), Paola Giannini (Universita' del Piemonte Orientale, Italy), Silvia Lizeth Tapia Tarifa (University of Oslo, Norway), Olaf Owe (University of Oslo, Norway)
https://arxiv.org/abs/2508.03831

A Type System for Data Privacy Compliance in Active Object Languages
Data protection laws such as GDPR aim to give users unprecedented control over their personal data. Compliance with these regulations requires systematically considering information flow and interactions among entities handling sensitive data. Privacy-by-design principles advocate embedding data protection into system architectures as a default. However, translating these abstract principles into concrete, explicit methods remains a significant challenge. This paper addresses this gap by propos…

Se forem os alemães a fazê-lo, podemos chamar-lhe até Volkswagen.
https://masto.pt/@tugatech/115180248501369174

If-T: A Benchmark for Type Narrowing
Hanwen Guo (University of Utah, USA), Ben Greenman (University of Utah, USA)
https://arxiv.org/abs/2508.03830 https://…

If-T: A Benchmark for Type Narrowing
**Context:** The design of static type systems that can validate dynamically-typed programs (**gradually**) is an ongoing challenge. A key difficulty is that dynamic code rarely follows datatype-driven design. Programs instead use runtime tests to narrow down the proper usage of incoming data. Type systems for dynamic languages thus need a **type narrowing** mechanism that refines the type environment along individual control paths based on dominating tests, a form of flow-sensitive typing. In …

Pré-requisitos para se ser do Chega:
1. ter cadastro.
2.
(vou deixar em branco, mas tenho a certeza de que vocês arranjam o que pôr ali)
https://masto.pt/@EsquerdaNet/115179647678563862

Esquerda.Net (@EsquerdaNet@masto.pt)
Attached: 1 image Candidato do Chega em Aveiro abastecia o carro com gasóleo das ambulâncias do INEM: O cabeça de lista do Chega à junta de freguesia de Aradas, em Aveiro, foi despedido por justa causa do INEM por furto de combustível. https://www.esquerda.net/artigo/candidato-do-chega-em-aveiro-abastecia-o-carro-com-gasoleo-das-ambulancias-do-inem/95940?utm_source=dlvr.it&utm_medium=mastodon

[2025-08-07 Thu (UTC), 4 new articles found for cs.PL Programming Languages]
toXiv_bot_toot

Os nazis atacaram a Polónia. Um clšssico.

HAHAHAHAHAHA!
Irra, que é burro!
Se calhar convinha investigar um bocadinho antes de dizer merda, não?
Não?
OK, ventrulha, you do you, e tal.
https://mastodon.online/@quiosque/115182719231781519

He who pedlles hate will only get back hate.
He who promotes violence will end up as victim of the violence he promotes.
Here's something the fascists never seem to understand.
Is it good that it's so? Hell, no. It's sickening and very, very dangerous. But there's no point in pretending things are not how things are.
Violence WILL generate more violence. And everything in the fascist agenda is deeply violent. So prepare for what is coming, because it I…

Nothing to see here. Just a Nazi saying Nazi things.
https://assortedflotsam.com/@NewsBot/115187032207649435

Os alemães a fazer com a nossa CDU a mesma figura que a gente faz, ao inverso, com a CDU deles. 😂
https://climatejustice.social/@stefanmuelller/115186734874972172

Stefan Müller :verified: (@stefanmuelller@climatejustice.social)
Attached: 1 image Die #CDU ist jetzt kommunistisch geworden. Mit Hammer und Sichel. #Portugal #Lissabon

Saw #eurovision trending. Checked out why.
It's just the Irish doing the right thing.
https://flipboard.com/@eveningstandard

Ireland will not take part in Eurovision if Israel participates, RTE announces
The Irish broadcaster made the announcement on Thursday. Ireland will not take part in the Eurovision Song Contest in 2026 if Israel participates, …

Teaching Introductory Functional Programming Using Haskelite
Pedro Vasconcelos (University of Porto)
https://arxiv.org/abs/2508.03640 https://arxiv.org/pdf…

Teaching Introductory Functional Programming Using Haskelite
Learning functional programming requires learning a substitution-based computational model. While substitution should be a familiar concept from high-school algebra, students often have difficulty applying it to new settings, such as recursive definitions, algebraic data types and higher-order functions. Step-by-step interpreters have been shown to help beginners by clarifying misconceptions and improving understanding. This paper reports on the experience of using a step-by-step tracing inte…

LMAO
https://mastodon.social/@mcc/115186085809852563

Devia ser uma medida de toda a União.
(embora eu tenha dúvidas sobre a sua eficšcia: como é que se garante que o produto identificado como vindo de fora dos colonatos não foi produzido nos colonatos?)
https://masto.pt/@EsquerdaNet/115186251820118762

Esquerda.Net (@EsquerdaNet@masto.pt)
Attached: 1 image Países Baixos vão proibir importações dos colonatos israelitas: Um mês após a demissão do ministro dos Negócios Estrangeiros do governo neerlandês em gestão, alegando falta de apoio para medidas adicionais contra Israel, o seu sucessor anunciou agora uma medida há muito reclamada. https://www.esquerda.net/artigo/paises-baixos-vao-proibir-importacoes-dos-colonatos-israelitas/95959?utm_source=dlvr.it&utm_medium=mastodon

Compositional Quantum Control Flow with Efficient Compilation in Qunity
Mikhail Mints, Finn Voichick, Leonidas Lampropoulos, Robert Rand
https://arxiv.org/abs/2508.02857 https:/…

Compositional Quantum Control Flow with Efficient Compilation in Qunity
Most existing quantum programming languages are based on the quantum circuit model of computation, as higher-level abstractions are particularly challenging to implement - especially ones relating to quantum control flow. The Qunity language, proposed by Voichick et al., offered such an abstraction in the form of a quantum control construct, with great care taken to ensure that the resulting language is still realizable. However, Qunity lacked a working implementation, and the originally propos…

O mundo segundo Ventura:
Um burguês é simplesmente um tipo que come hamburguers.

[2025-08-06 Wed (UTC), 3 new articles found for cs.PL Programming Languages]
toXiv_bot_toot

O mundo segundo Ventura:
A cidade de Hamburgo recebeu o nome depois de um cidadão americano se instalar lš, ainda antes da era McDonalds, e abrir um restaurante de hamburgers. Os alemães gostaram tanto que decidiram rebatizar a cidade por causa disso.

Jafoste Bolsonaro. :)

SAGE-HLS: Syntax-Aware AST-Guided LLM for High-Level Synthesis Code Generation
M Zafir Sadik Khan, Nowfel Mashnoor, Mohammad Akyash, Kimia Azar, Hadi Kamali
https://arxiv.org/abs/2508.03558

SAGE-HLS: Syntax-Aware AST-Guided LLM for High-Level Synthesis Code Generation
In today's rapidly evolving field of electronic design automation (EDA), the complexity of hardware designs is increasing, necessitating more sophisticated automation solutions. High-level synthesis (HLS), as a pivotal solution, automates hardware designs from high-level abstractions (e.g., C/C++). However, it faces significant challenges, particularly in design space exploration and optimization. While large language models (LLMs) have shown notable capabilities in code generation, their appli…

Yeah.
Just compare this to what the pedophile in the white house said on the same topic.
It's night and day.
https://youtu.be/HlIvH6ozvv4

This seems to be *very* well thought out. Hopefully it'll be well implemented as well.
https://mastodon.social/@Mastodon/115187078125939270

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- MCTS-SQL: Light-Weight LLMs can Master the Text-to-SQL through Monte Carlo Tree Search
Shuozhi Yuan, Limin Chen, Miaomiao Yuan, Jin Zhao

Hahahaha
A reportagem na rtp sobre os hamburgers do ventrulha foi deliciosa. 🤣

4 da manhã. 25°C. Vinte e cinco.
E o pior não é isso. O pior é que não me sai da cabeça uma canção do José Cid que detesto e nem sequer ouvi.
Aaaaaargh!

Violento pet peeve: marquetês com zero informação em vez das características técnicas dos equipamentos.
Morra ele, morra, pim!

LOL no.
https://masto.pt/@tugatech/115011897895923151

Oh, look, the Russians set up a bot army on the Fediverse, which started spewing the exact same bullshit en masse.
Admins are going on overtime.
(seriously, something has to be done about instances that promote this kind of BS)

Estes tipos das televisões quererão saber que uma das motivações mais comuns na porção de incendišrios que é chalada da cabeça é aquilo que fazem aparecer na televisão?

Keir Starmer will go down in history as even worse than Tony Blair in the Labour PM rankings, which is no small feat.
If he was just trying his best to deliver the UK to the far-right with all the repressive apparatus ready to go, he wouldn't be doing a better job at it.

O pior de tudo? O pior de tudo é que não sopra a porra duma aragem.

This kind of stuff looks strangely alive, doesn't it?
https://mastodon.social/@flameReactor/115005435006636010