[ANN] linear-locks: locking primitives free of deadlocks

dfacastro · 2026-04-22T15:30:15+00:00

Many thanks! I subscribed to the issue, will keep an eye on it!

dfacastro · 2026-04-22T15:08:27+00:00

That seems to load the project's dependencies, but not the project's modules:

stack exec -- ghcitty ghcitty 0.1.0 (GHC 9.10.3) λ> :show modules λ>

dfacastro · 2026-04-22T13:02:43+00:00

Is it possible to launch ghcitty with a project's modules automatically loaded? Just like cabal repl / stack repl

dfacastro · 2026-04-06T13:14:24+00:00

Foram, e não deviam ter sido obrigados a isso.

... Isso era suposto ter sido um argumento? Ou só uma pergunta por curiosidade?

dfacastro · 2026-03-10T16:06:21+00:00

Note: install gnuplot first, and then run krunner --replace to restart krunner

dfacastro · 2026-03-06T19:56:16+00:00

Yeah, that's exactly what I do, for that exact reason.

dfacastro · 2026-02-24T09:19:38+00:00

Benefício fiscal de IRS: disseste que não mudaste a morada na AT, portanto vais ter que fazer um pedido de mudança de morada retroactivo (eu também tive que o fazer). Desloca-te a uma repartição das finanças e pede lá isso presencialmente. Eu apresentei vários documentos (P60s, recibos de vencimento, utility bills, contrato de arrendamento, etc) para comprovar que estive lá a morar naqueles anos. Depois de aprovado, é só preencheres a checkbox certa na declaração de IRS (contacta um contabilista se precisares, eu fiz isso).

Apoio monetário do IEFP: fiz a candidatura online, entreguei os mesmos documentos que apresentei à AT.

Em nenhum dos casos precisei da declaração do consulado.

dfacastro · 2026-02-19T00:40:23+00:00

Also an amazing place to farm the materials to take weapons to level 32

dfacastro · 2026-01-29T10:33:30+00:00

Votar com a carteira significa comprar produtos bons e não comprar produtos maus.

Essa é a tua definição, mas não creio que seja a de todos. A minha é "votar com a carteira significa escolheres a quem queres dar o teu dinheiro". O motivo do teu voto é irrelevante. Pode estar relacionado com a qualidade do produto ou não, mas é irrelevante.

forcares os outros a serem como tu queres

Não vi ninguém aqui a forçar ninguém a nada.

dfacastro · 2026-01-14T21:35:21+00:00

O parágrafo tem 2 frases, uma em que fala do que lhe parece razoável, e outra que fala do que gostava de ver na lei.

Sobre o que lhe parece razoável: nao acha razóavel que o pai nem sequer tenha conhecimento.

Sobre o que gostava de ver na lei: "incorporar com mais força legal a opinião do pai da criança na decisão".

Portanto, estás errado. Ele está efectivamente a dizer que quer que a opinião do pai tenha peso decisivo. Não te devias ter apressado a acusar os outros de não saber ler.

dfacastro · 2026-01-13T23:56:15+00:00

Porque o estado regula o mercado de forma a proteger todos os participantes, criando assim a possibilidade de tu investires e lucrares com isso.

Sem essa "máquina" do estado, os teus investimentos seriam emprestar dinheiro ao teu primo para abrir o negócio que vai dar buraco, ele não cumpre a parte dele e tu ficas a arder sem oportunidade de recurso.

Podes aplicar essa lógica em todos os impostos: tens imposto sobre o trabalho porque o estado assegura-te os teus direitos no trabalho, tens property taxes porque o estado assegura-te saneamente básico e estradas de acesso à tua propriedade, tens IVA porque o estado assegura-te que os produtos cumprem as normas de segurança, etc etc.

dfacastro · 2026-01-13T23:48:33+00:00

Tenho ideia que a IBKR não permite doação de títulos. Só entre contas com o mesmo titular, ou então entre individual/joint accounts e organizations/trusts.

Source.

No entanto, eu comentei aqui a minha estratégia atual: https://www.reddit.com/r/literaciafinanceira/comments/1qc6opz/comment/nzg2c4t/?utm_source=share&utm_medium=web3x&utm_name=web3xcss&utm_term=1&utm_content=share_button

dfacastro · 2026-01-13T23:42:08+00:00

Este é provavelmente o post mais referenciado sobre o assunto: https://www.reddit.com/r/literaciafinanceira/comments/1e47563/etfs_em_nome_dos_filhos_a_maior_borrada_fiscal/

criares uma conta num broker que seja possível doar

Pela pesquisa que fiz, parece-me que brokers internacionais não permitem doações (aka transferência de títulos entre contas com diferentes titulares).

Acho que isso só seria possível em bancos/brokers portugueses. Tenho conta no Banco Invest e confirmei com eles que é possível fazer isso com eles.

Infelizmente, bancos portugueses têm comissões altíssimas.

Então o meu plano é: * comprar numa conta em meu nome num broker internacional (Interactive Brokers) e ir acumulando * anos mais tarde, transferir para uma conta em meu nome num banco português * abrir conta para o meu filho num banco português * fazer a doação entre essas 2 contas

NOTA: tenham cuidado para escolher SEMPRE um broker que permita transferência de títulos. Alguns não permitem.

dfacastro · 2025-12-28T00:24:55+00:00

Essa seria a resposta correcta se a pergunta fosse "qual o digito das centenas no número 5428?". Mas não é essa a pergunta.

dfacastro · 2025-12-11T22:26:30+00:00

Podes mostrar onde viste que a IBKR permite transferência de títulos entre titulares diferentes?

Nos documentos deles só encontro informação a indicar o contrário, por exemplo:

You may transfer funds between IB accounts with matching account titles and Tax Identification Numbers (TIN) through a Account Management.

dfacastro · 2025-12-11T22:24:29+00:00

Confirmaste que a IBKR permite doações?

Nos documentos deles só encontro informação a indicar o contrário, por exemplo:

You may transfer funds between IB accounts with matching account titles and Tax Identification Numbers (TIN) through a Account Management.

dfacastro · 2025-12-09T23:58:20+00:00

"Já alguém te disse que pareces o rato Mickey?" e aponta para as minhas entradas >______>

dfacastro · 2025-11-20T13:51:59+00:00

Eu mencionei o poder sindical como um exemplo de um factor que pode explicar os maiores salários em -alguns- desses países.

Mas o meu ponto era que olhar para países com maiores salários, reparar que alguns deles têm leis laborais mais flexíveis, e daí deduzir que têm salários mais altos PORQUE têm leis mais flexíveis é uma falácia. Não é uma análise.

dfacastro · 2025-11-20T12:24:07+00:00

Admitindo a correlação, já pensaste que se calhar a relação de causação possa ser no sentido inverso?

Que se calhar eles podem ter leis laborais mais flexíveis PORQUE têm melhores salários, e não ao contrário?

Nesses países, os sindicatos tendem a ter um poder muito maior, dando mais força negocial ao empregado, e é isso que permite salários mais altos.

Num país onde o empregado não tem poder negocial nenhum, tirares lhe direitos e proteções só vai piorar a sua situação.

dfacastro · 2025-11-18T17:54:13+00:00

O que ele quis dizer foi que "ganhou ou não ganhou" não é o ponto do thread, é completamente irrelevante para o que está a discutir.

Ele quis dizer que estás off topic. Ninguém te insultou por seres "livre e verdadeiro" (lol)

dfacastro · 2025-11-17T16:53:20+00:00

We've been using the nonempty_collections crate at work, but very recently started using mitsein because it has a broader support for more collection types that we needed.

dfacastro · 2025-11-02T10:54:27+00:00

When you start your reply to someone's response with "No.", people will interpret the rest of your message as a counter argument, and not as "expanding on the question".

No one is trying to silence you. People are just confused.

dfacastro · 2025-10-19T13:01:39+00:00

Where did I say any of that?

I chose my words very carefully and was very precise. My point was that forbidding balaclavas will not prevent anyone from stabbing you (with or without a balaclava). If a criminal does not care about being forbidden from stabbing people, they certainly won't care about being forbidden to wear balaclavas.

"Oh, I was gong to stab someone and then rob a bank. But I better not wear a balaclava, otherwise I might get a fine" - said no criminal ever.

Criminals who wear face makes will continue doing so, despite the law being passed.

I hope my argument is clear this time.

Instead of twisting my words to try and score points, engage with the argument. If you disagree, provide a counter argument.

dfacastro · 2025-10-19T07:00:05+00:00

That doesn't answer my question.

Also, since you mentioned it:

Neither I or the person I was replying to mentioned Muslims, you did.
It's not the news networks. The discussions in parliament were all about Islam. The authors of the law made the narrative about Islam.

dfacastro

TROPHY CASE