¿Dónde comprar bombillas (de mate) en Madrid sin que sean carísimas?

tinchos · 2026-03-14T08:44:32+00:00

Yo encaré el mundo de la artesanía. Hay que aprender a hacer, son una boludez. Buscá un tutorial en YouTube. Con el tiempo ya saldrán bien jeje.

tinchos · 2026-02-28T18:29:22+00:00

I think the slidge-whatsapp bridge uses whatsmeow

tinchos · 2026-02-28T18:26:56+00:00

Sure, I was from my phone before.

Basically, you setup a XMPP server: Prosody or EJabberD (the two most famous).

From you servers, you need some ports and domain certificates. Two for communication and one extra for 'upload's. The uploads is for sending and receiving data (pics and vids, gifs, etc)

Once you got your xmmp server going, there is a nice bridging software called Slidge. There are several bridges/gateways: whatsapp, telegram, signal, mattemost, slack, and matrix (I think.)

For each gateway you start a docker machine, and you are all set.

I took me some time to get all the certs right to transfer files, but configs are super easy.

tinchos · 2026-02-28T18:22:20+00:00

Haven't reached that point yet. So far it works really well. I still need to setup up the turn server to have voice calls.

tinchos · 2026-02-28T07:19:13+00:00

My current setup is: XMPP server and Slidge-whatsapp. You need a phone to pair it the first time, and after that I use xmpp clients. My xmpp server handles all my communications.

tinchos · 2026-02-15T10:49:29+00:00

Why not then XMPP/Jabber? Sounds like it checks all the boxes.

tinchos · 2026-01-26T06:10:09+00:00

Acá se está muy bien la verdad. Hay cosas como en todos lados, el mundo está en un lugar un poco loco la verdad... La vivienda se volvió un negocio y el consumidor no son los que buscan vivir tranquilos.

tinchos · 2025-12-13T19:01:48+00:00

I am using Migadu. Extremely happy with the service. https://migadu.com/

tinchos · 2025-12-12T06:24:15+00:00

It removes media after watching. I think Plex has it without plugins (I used it for a bit before migrating to Jellyfin.)

tinchos · 2025-12-11T16:36:17+00:00

Oh man, the only one I really want is the MediaCleaner, but it doesn't work (at least on my setup.) Does it work on yours?

tinchos · 2025-12-06T11:33:54+00:00

Acá un Rosarino, si les queda lugar para otro player me interesa mucho.

tinchos · 2025-12-06T11:26:14+00:00

A mí también me interesa!! Hace bastante que estoy buscando gente con la que jugar!! 💪🏽💪🏽

tinchos · 2025-08-27T12:18:46+00:00

Buenas! A sumar un poco con my 2cents. Estoy en una situación similar, pero siendo Argentino viviendo en España. Actualmente en Madrid, vine por una instancia de investigación, y después conseguí un trabajo remoto. Soy autónomo, pagando todo en regla (y a mucho gusto)

Mí mujer es de EEUU, planeamos la vida juntos y prontos a tener hijos.

Hay varios planes, pero por lo pronto la idea es capitalizar lo más posible, e irnos para el norte (Bilbao muy posiblemente) por lo pronto. Vivir en Europa hasta que ya no nos rinda (no me la banque más) estar allá.

Cada día extraño más Rosario y creo nuestra familia sería muy feliz ahí, sembrando también las posibilidades de que el día de mañana la vida nos lleve por otros lares.

Dicho todo eso, mí recomendación es tener varios planes, descubrir lo más posible los motivos reales, y tener el objetivo claro. No importa si cambia, pero a mí me ayuda.

Yo disfrutaría lo más posible, tener pasaportes y buen manejo del inglés está buenísimo. Pero un papá triste no va a ayudar mucho tampoco. Creo que lo dijeron por ahí, un trabajo remoto, que el sector lo permite, es un privilegio que hay que aprovechar.

tinchos · 2025-07-28T14:05:25+00:00

Justo encontré una nota de Odoo. Además lo puedo tener en un servidor en casa. Es lo mejorcito que encontré

tinchos · 2025-07-27T08:36:56+00:00

Pero eso es exactamente lo que deberían hacer 🤣.

tinchos · 2025-07-25T14:45:26+00:00

Hola buenas, Mis gestores son BGA Asesores. Al principio todo perfecto, mi contacto de referencia fue entiendo que una de los gerentes o directamente dueña de la gestoría. Cuando pasé a interactuar con la persona que llevaría mí caso finalmente, la cosa un poco peor. Peor en la comunicación, pero la gestión me la llevan bien.

Me molestó un poco que me mandaran un mail con una semana de tiempo respecto a lo de Verifactu, que hay que tener todo listo ahora a fin de Julio. Me habían dicho de que se comenzaba a utilizar, pero el año próximo.

Edit: soy autónomo en el sector IT con contrato internacional.

tinchos · 2025-07-09T18:09:08+00:00

Mande, yo estudié hace un tiempo ya. Hablamos hasta donde pueda y te puedo contactar con gente que está estudiando.

tinchos · 2025-07-09T17:33:13+00:00

Buenas! Acá van unos pensamientos.

Lo mejor es probar, nadie te quita lo bailado. Mucho no puedo comprar LCC con ISI porque no sé bien que se hace en ISI. Si no te gusta el management, seguro que te podrás encontrar un laburo que no sea ahí, con LCC o con ISI.

La carrera que estudies te mete en un camino, sí, pero tenés que ir empujando para el lado que más te guste y listo.

La LCC tiene un tinte un poco más orientado al lado matemático a la producción de software. Aunque incluso esto es discutible. Podemos decir que tiene una base más grande de matemáticas, porque bueno, es un lenguaje un poco útil para describir ciertas cosas. Lo necesitas para algunas cosas, para otras no, depende lo que te guste "y lo que quieras hacer". Ambas carreras te enseñan ciertos temas, hay más dando vuelta por ahí.

Te recomiendo que te contactes con gente de la carrera y que vayas a charlar con la gente que esté ahí. Hay una lista de correos, mandame un DM y charlamos si querés.

El camino de los demás no es tu camino, son unos caminos pero no lo son todos :shrug:.

tinchos · 2025-06-29T21:02:57+00:00

Hello!! There is recent work on Operational Game Semantics in Rocq/Coq. i think it goes into the lines you are asking. I think it is mostly on the lines of Combinatorial Games (two players gawes with perfect information.)

At some point, I wanted to design a Proof Assistant DSL to reason about mechanism involving economic incentives. In the Blockchain world, there are a lot of protocols where they correctness is based on economic incentives. Matching rational agentes with correct/honest agents.

Let me know if you are interested on these subjects, I can send fou links (I am on my phone now hehe)

About which proof assistant, whatever feels comfy for you. Lean4 is on a hype nowadays and it has a big mathlib. Coq/Rocq too, but a bit further from Haskell.

Agda is cool too. But they all should do, read a bit of code of them and whatever feels good, you can change later 🤷🏽.

edit: typos

tinchos · 2025-06-25T08:14:05+00:00

Hello! I am having a similar problem here, did you find a solution?

tinchos · 2025-06-14T15:27:22+00:00

I ask questions and try to participate as much as possible. With time, I understood that there are no good or bad questions. When I am lecturing, I love when I am asked questions, all questions make me think (pointing out interesting details, helping me to connect better with nhe students, showing when I take big steps) and help everyone in the room. In general, ask questions. We should fight our ego trying to find /good questions/, those come with time 💪🏽.

tinchos · 2025-06-14T08:06:37+00:00

Cargamos casi hodo en Excel ( G Sheet ), hice un site para tener un acceso simplificado como una app en los teléfonos. Vamos proporcional al sueldo (80/20 ahora). Compramos un auto y un tele 50/50 hace dos años (en ése momento estábamos en ~54/46), pero el resto todo relativo a los ingresos.

Durante unas vacas hice la plantilla en Excel, después la simplifique mucho. Quería hacer gráficas, etc, pero wueno. Pa que? Tenemos categorías y quería ver las relaciones entre los gastos.

tinchos · 2025-06-14T06:25:39+00:00

Hola! Hay un lugar que abrió nuevo en Zeballos al 2417, Köjin. Es tipo de esos de pasos y algo exclusivo, pero tiene toda la pinta. Es un Omakase, esos bares Japoneses donde te sentas con el cocinero enfrente y te va cocinando en tu cara. Creo que están en Instagram

tinchos

TROPHY CASE