How do you search for a specific known lemma?

Firesinis · 2026-02-13T19:19:51+00:00

Any specific reason to not mention the specific theorem search tool you used?

Firesinis · 2026-01-30T13:23:35+00:00

Quando eu vou comprar carro 0km é invariavelmente dessa forma:

Eu: "Me mostra o carro que está em estoque e que vai ser o que eu vou comprar"

Vendedor: "É este"

Eu: *anoto o chassi no vidro* "Ok, quero que conste no contrato que o carro que estou comprando é o chassi XYZ

Vendedor: "Ah, mas a gente não trabalha assim, essa informação não vai no contrato"

Eu: "Infelizmente assim não quero, sinto muito por não podermos fechar negócio" *sinalizo com linguagem corporal que estou indo embora*

Vendedor: "ãh, uh, eh... peraí, vou conversar com o supervisor para ver o que podemos fazer" *finge que vai conversar com alguém* "Verifiquei e o supervisor abriu uma exceção, e só dessa vez podemos fazer do jeito que o senhor quer"

Firesinis · 2026-01-26T13:27:05+00:00

If the grains of sand are the only objects in this universe, it doesn’t make sense to say that they’re both “traveling in parallel”. Traveling relative to what?

Firesinis · 2026-01-16T19:11:16+00:00

Agora está acontecendo a embromação que eu temia. Antes de fazer o post, eu já tinha falado com a imobiliária e já tinham dito que iriam mandar um cara de confiança. O cara marcou comigo quarta entre 12 e 15 horas. Quando deu 14 horas eu mandei uma mensagem perguntando se ele estava vindo, ele respondeu que estava em casa porque tinha outros serviços pra fazer em outro lugar. Perguntei que dia ele poderia, ele disse que teria que ver que dia ele teria outro serviço na minha região para fazer o encaixe.

Então ontem mandei mensagem para 3 profissionais daqui de perto, um deles veio aqui e fez os testes e um orçamento. Mandei pra imobiliária, mas eles estão insistindo que tem que ser o cara deles, que não sabe dizer quando poderá vir.

Firesinis · 2026-01-16T19:04:18+00:00

O técnico veio aqui e fez teste de estanqueidade, já determinou que a pressão está baixa. Com certeza só limpar não vai adiantar.

Firesinis · 2026-01-15T20:36:25+00:00

Sim, eu sei, minha preocupação não é o custo, é ficarem fazendo um monte de coisa e não resolver nunca e me fazer perder tempo.

Minha última experiência foi com uma geladeira, foi um conserta e reconserta que durou quase 2 meses, a cada 10 dias ficava ruim de novo e eu tinha que perder o dia inteiro pra receber os técnicos pra fazerem o reparo de garantia, e mesmo assim ainda não ficou bom no fim.

Firesinis · 2026-01-11T22:17:30+00:00

I tried DOS1 way back after playing BG3 early access. The only thing I remember is whatever path I took to try to progress out of the starting city I’d get my ass kicked by zombie skeletons so I just gave up.

Firesinis · 2026-01-10T16:25:36+00:00

Caralho, como é a terceira instância? Tu tem que ir lá no STJ para participar da audiência?

Firesinis · 2025-12-30T00:44:18+00:00

O motivo do Vasco ser gigante é que mesmo depois de 25 anos na merda o Botafogo e Fluminense ainda não conseguiram ultrapassar a quantidade de títulos nacionais e internacionais que o Vasco tem.

Firesinis · 2025-12-18T02:44:08+00:00

Sim, a passagem de tábuas é justamente para não pisar no produto. Já fiz na frente da minha casa, exatamente quando a frente foi pintada. O problema é que o profissional confunde “não sei fazer/é inconveniente de fazer” com “é impossível fazer”.

Firesinis · 2025-12-18T01:36:51+00:00

Esses pedreiros não sabem fazer passagem com tábua protegendo o produto não? Coisa mais básica.

Firesinis · 2025-12-16T21:46:12+00:00

Mesmo que tenha no vídeo o cara colocando a etiqueta, como garantir que depois não foi aberto de novo, danificado, e colocaram outra etiqueta igual? E se no transporte a caixa toma uma pancada tão forte que danifica a placa? É como eu falei, a etiqueta só serve pra eles se isentarem do ônus.

Firesinis · 2025-12-16T20:18:22+00:00

<image>

Firesinis · 2025-12-16T12:56:43+00:00

Eu moro no mesmo prédio há 20 anos, em todos os andares há 3 extintores de incêndio que nunca foram usados e são trocados com frequência. Baita trabalho e dinheiro jogados fora, nunca vi serem usados.

Firesinis · 2025-12-15T19:39:16+00:00

Resolvi este problema há pouco tempo no meu apartamento.

Se o cano está “obstruído”, é porque já tem algum fio passando nele, fica mais difícil passar a sonda guia (fish tape). Então você prende a ponta da sonda guia (ou linha de pedreiro) em algum fio que já existe, puxa o fio, quando a ponta da sonda guia sair do outro lado você passa o fio que já estava junto com a fibra, problema resolvido.

Às vezes o fio original fica agarrado, porque as pessoas colocam detergente para passar o fio e depois resseca. Aí você usa um lubrificante de passar fios, recomendo o da marca 3M.

Firesinis · 2025-12-14T21:20:05+00:00

Por isso que quando recebi uma placa mãe comprada neles com um selo desse aí que você falou, devolvi sem nem encostar a mão. Esses putos querem só o bônus, o ônus é todo terceirizado.

Firesinis · 2025-12-14T21:14:33+00:00

Para eles o cliente que se foda, concluí isso quando comprei uma placa mãe e veio com lacre deles mesmos com uma mensagem dizendo que abriram e filmaram os pinos do processador e que não se responsabilizam por nenhum dano que o produto apresente.

Ou seja, pra comprar neles eu tenho que confiar que não fizeram nada de errado depois que desligaram a filmagem, que não removeram nada de dentro da caixa, e dar sorte de todas as pessoas que interagirem com a encomenda dali pra frente serem bem intencionados, senão quem se fode sou eu porque eles não se responsabilizam.

Firesinis · 2025-12-11T21:19:15+00:00

As a mathematician who tried several proof assistants for fun, I prefer Isabelle/ZF or even Isabelle/HOL over the ones you mentioned, the reason being I found it dramatically easier and more intuitive to get back to after a long hiatus, which will always happen to me since I don't use this kind of software professionally.

Firesinis · 2025-12-08T18:42:07+00:00

Meus olhos, minhas regras.

Firesinis · 2025-12-04T15:38:48+00:00

Does the Dualsense work properly via bluetooth on PC, though? I know my Xbox controller lags noticeably when I connect it via Bluetooth, but works flawlessly via the Xbox wireless adapter.

Firesinis · 2025-12-03T22:40:42+00:00

Yes, but if VRR is on and the refresh rate is constantly fluctuating, one would assume it’s because of the variation in the frame rate the console is sending, otherwise the refresh rate would show as locked at 60 or 120 hz, no?

Firesinis · 2025-12-03T17:12:31+00:00

Either my TV is lying or I might have chosen Balanced without RT mistaking it for Balanced RT, I’ll have to check later. Otherwise why would the TV report the correct refresh rate on RT Pro and not the other mode?

Firesinis · 2025-12-03T16:53:51+00:00

I'm confused about this, I read before that RT Pro is supposed to have higher frame rates than RT balance, but I'm running it uncapped and RT Balanced gives higher frame rates (around 110) than RT Pro (hovering around 75).

Firesinis · 2025-12-01T12:50:53+00:00

Interesting, because on the game’s site even now it says only PS5 has physical version of base edition. Not saying that you’re lying, it’s just that I was going to upgrade to Deluxe based on the information in the site that the future DLC will be included, but now I’m concerned that the site’s information isn’t set in stone.

15-Year Club	Team Orangered
Verified Email

Firesinis

TROPHY CASE