Right now, it sounds like an Ada fanfic - a misinformed one, to be more precise.

However, it is still not the same as California's law since it only describes the provision of "age bracket" and only on particular circumstances. In practice, this requirement will likely be limited to certain platforms due to technical feasibility. Proportionality and "technically secure measurements" are mentioned in the law, so there is no point requiring this from a desktop computer where someone can just type any birth year.

It is likely most of the responsibility will fall on digital platforms:

https://www.brasildefato.com.br/2026/03/27/eca-digital-entra...

https://www.fadc.org.br/noticias/eca-digital-entenda-nova-le...

As an analogy, it would be equivalent to say that "contrary to an airplane, a car sidesteps the problem of requiring wings".

Yes, indeed - but it doesn't fly.

One of the reasons the project was killed was that we couldn't port it to our line of low powered devices without a full rewrite in C.

Please note this was more than a decade ago, way before Rust was the language it was today. I wouldn't chose anything else besides Rust today since it gives the best of both worlds: a truly high level language with low level resource controls.

This was particularly true for one of the projects I've worked with in the past, where Python was chosen as the main language for a monitoring service.

In short, it proved itself to be a disaster: just the Python process collecting and parsing the metrics of all programs consumed 30-40% of the processing power of the lower end boxes.

In the end, the project went ahead for a while more, and we had to do all sorts of mitigations to get the performance impact to be less of an issue.

We did consider replacing it all by a few open source tools written in C and some glue code, the initial prototype used few MBs instead of dozens (or even hundreds) of MBs of memory, while barely registering any CPU load, but in the end it was deemed a waste of time when the whole project was terminated.

> Stores the user's birth date for age verification, as required by recent laws in California (AB-1043), Colorado (SB26-051), Brazil (Lei 15.211/2025), etc.

The Brazilian law does NOT require this. This is a misconception, and likely based on an understanding of California's law being extrapolated to the Brazilian law.

They are almost complete opposites.

The Brazilian law (Lei 15.211/2025) puts the burden of age verification on *providers* of web platforms, app stores, or dumb terminals. Not on operational systems.

It also mentions "reasonable measurements" - which vary according to the type of content, platform, etc - and which are much less strict that anything written in California's or UK's laws regarding the same subject. It is far more based on individual risk assessment and purpose of the platforms themselves.

In all fairness, the Brazilian law is the most friendly to open source and the status quo. Even though I'm also worried about the long term results of this legislation, I'm somewhat relieved by the way it turned out.

You never dealt with C programmers, did you?

Indeed, `defer` as a language feature is an anti-pattern.

It does not allow the abstraction of initialization/de-initialization routines and encapsulating their execution within the resources, transferring the responsibility to manually perform the release or de-initialization to the users of the resources - for each use of the resource.

> I also dislike RAII because it often makes it difficult to reason about when destructors are run [..]

RAII is a way to abstract initialization, it says nothing about where a resource is initialized.

When combined with stack allocation, now you have something that gives you precise points of construction/destruction.

The same can be said about heap allocation in some sense, though this tends to be more manual and could also involve some dynamic component (ie, a tracing collector).

> [..] and also admits accidental leaks just like defer does.

RAII is not memory management, it's an initialization discipline.

> [..] what I would want is essentially a linear type system in the compiler that allows one to annotate data structures that require cleanup and errors if any possible branches fail to execute the cleanup. This has the benefit of making cleanup explicit while also guaranteeing that it happens.

Why would you want to replicate the same cleanup procedure for a certain resource throughout the code-base, instead of abstracting it in the resource itself?

Abstraction and explicitness can co-exist. One does not rule out the other.

This example is specific to C++

> (..) if your programme crashes there's no guarantee that you'll ever give the resources back.

What guarantees can you have from a "crashing program", and by what definition of crashing?

> RAII is a leaky abstraction

Any abstraction is leaky if you look close enough.

Also, the fact that the website is not covered by the CoC makes it worse, since the leadership is excluding themselves from their own engagement rules.

The events you mention above are cherry-picked bits of information to support what you have said from the beginning.

For instance, in what you said above: you are quoting an excerpt of Barroso's comments from 2023 about democracy (not his exact words) without the actual context, something he even clarified later on as it was picked up by the media. Also, his resignation now, 2 years later, has nothing to do with any of this - looks like he was just tired.

I don't blame him. To be honest, now I'm tired as well.

Take care.

Some of the points listed here can be considered a matter of taste or opinion, some are indeed pain points, and some are implementation details.

OCaml as a whole is hard to directly compare with most other languages you mentioned above as "better" or "worse". It both suffers and benefits from being an academic/research project not directly in control of a larger corporation.

As a language, IMHO, it is miles ahead of mostly all the languages mentioned above. It recently adopted a novel mechanism for modeling concurrency called algebraic effects, together with state-of-art multi-core support. This not only abstracts away several features that are usually hardcoded on most languages but puts it on another level as a language and abstraction capability. There are other toy languages that implement similar mechanisms or part of this, but none with the adoption level of OCaml.

However, since it does not have the same amount of resources and adoption, progress sometimes is slower that one would expect. Documentation can be sparse, community is smaller, etc.

Regarding OCaml on Windows, I myself used it exactly 20 years ago. It not only has one implementation, but three. There are some tradeoffs and support is not at the same level as Linux but it's still there, and I wouldn't call it mediocre:

https://github.com/ocaml/ocaml/blob/trunk/README.win32.adoc

https://docs.google.com/document/d/1-aTygzDsxy4mnqvSKEVhifA1...

You might find it harder to find libraries, for sure. I have not checked the situation recently, though given the smaller community that is likely still the case.

As a tongue-in-cheek comment, I could definitely say "OCaml is certainly not a good language - not as bad as most of all the others though".

I said they were trying to "stamp political motivation on on the decisions of the upper judiciary".

IOW, to label them as politically motivated.

I wouldn't call it a conspiracy since these groups have been pretty vocal about it.

By "certain groups" I meant "some political parties, politicians and associates", though I'm not comfortable defining it further since I don't have exact references ATM.

> As you can see, there is absolutely nothing wrong with anything that was claimed.

This is a different inquiry, check the numbers.

> Whatever Bolsonaro plotted to do is mostly irrelevant when faced with this. If anything it'd be a counter-coup.

I understand. Let's agree to disagree.

Motivated reasoning

What evidence?

https://www.stf.jus.br/arquivo/cms/noticiaNoticiaStf/anexo/D...

It names the FEDERAL PUBLIC PROSECUTOR'S OFFICE as the author, not the Supreme Court.

> And you make it out to be a conspiracy theory?

I did not say this and I was not trying to imply a conspiracy in what I said, only that this is a blatant attempt from the Congress to protect their own interests.

It is not a conspiracy when Congress members like Nikolas Ferreira say things like:

'' If any Member of Parliament commits a crime, they will go to jail. This House just needs to say "yes." ''

Which means the Congress now will be the final judge, overriding the Supreme Court (via secret voting, btw).

Source for his speech: https://www.camara.leg.br/internet/SitaqWeb/TextoHTML.asp?et... (in Portuguese)

> Judge straight up comes out to the public and brags about how they all personally defeated Bolsonaro? Same guy who's implicated in the USAID nonsense? And you make it out to be a conspiracy theory?

FYI, I was not taking about Bolsonaro.

Again, 30 seconds of Google and I can find not only what are you taking about USAID (Musk accusing USAID of interfering in the Brazilian election) but the fact that this is most likely false and has no basis whatsoever.

A claim requires evidence, and as far as the evidence goes it is pretty much all there is.

For the other claims, it is a matter of opinion. I don't see it that way.

> I'm tired, man.

I think, in a sense, everyone is.

The question you need to ask youself is: what are you fighting for?

I couldn't put it better than this article: https://www.ibanet.org/Bolsonaro-conviction-signals-Brazil%E...

My suggestion is for you to consider everything Bolsonaro says and stands for and ask youself: is he really standing for democracy? Are the judges in the way of someone that stands for democracy?

If your answer is yes, then we have a fundamental disagreement and from this point on we can only agree to disagree.

Investing is certainly not as risky as people from outside of Brazil generally think it is, since the banking system is well regulated and the legal framework is solid.

My two cents: if someone that is a foreigner in both Brazil and the US asked me what I think, I would say investing is Brazil is likely less risky than the US at the moment.

I would not subject myself or my property to a foreign court system for various reasons, but first and foremost because I'm not subject to their laws.

If I'm on Brazilian territory or doing business in Brazil, however, the question is equally pointless: barring certain exceptions, you are subject to the Brazilian laws to the extent of your presence in the country - period. You have no choice on this matter.

Courts are fallible and that's why you have levels, due process, and presumption of innocence. The Brazilian system is not perfect and it's slow but you cannot say the American system is much better when comparing decisions at same court level.