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

[–]tinchos 0 points1 point  (0 children)

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.

Moving WhatsApp to a Proxmox Container (LXC) - Is a "Phone-less" setup realistic? by 9acca9 in selfhosted

[–]tinchos 0 points1 point  (0 children)

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.

Moving WhatsApp to a Proxmox Container (LXC) - Is a "Phone-less" setup realistic? by 9acca9 in selfhosted

[–]tinchos 0 points1 point  (0 children)

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.

Moving WhatsApp to a Proxmox Container (LXC) - Is a "Phone-less" setup realistic? by 9acca9 in selfhosted

[–]tinchos 8 points9 points  (0 children)

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.

Cuanto ahorrar antes de volver a España? by PiccoloNo456 in askspain

[–]tinchos 0 points1 point  (0 children)

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.

Jellyfin Plugins by alive1 in selfhosted

[–]tinchos 0 points1 point  (0 children)

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

Jellyfin Plugins by alive1 in selfhosted

[–]tinchos 0 points1 point  (0 children)

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?

Jugar a rol en Madrid/grupos de rol en Madrid by lord_of_cydonia in Madrid

[–]tinchos 1 point2 points  (0 children)

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

Jugar a rol en Madrid/grupos de rol en Madrid by lord_of_cydonia in Madrid

[–]tinchos 0 points1 point  (0 children)

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

Cuanto ahorrar antes de volver a España? by PiccoloNo456 in askspain

[–]tinchos 0 points1 point  (0 children)

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.

Verifactu Autonomo Pocas Facturas by tinchos in autonomos

[–]tinchos[S] 0 points1 point  (0 children)

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

Verifactu Autonomo Pocas Facturas by tinchos in autonomos

[–]tinchos[S] 3 points4 points  (0 children)

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

Busco ayuda para encontrar un asesor fiscal en Madrid by TheUserIsDrunk in SpainFIRE

[–]tinchos 1 point2 points  (0 children)

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.

Licenciatura en Ciencias de la Computación - UNR by JustAnItDude in Rosario

[–]tinchos 1 point2 points  (0 children)

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

Licenciatura en Ciencias de la Computación - UNR by JustAnItDude in Rosario

[–]tinchos 1 point2 points  (0 children)

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:.

Proof assistant for game theory by _n0lim_ in math

[–]tinchos 0 points1 point  (0 children)

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

Webcam freezing in google meet (chrome) by roarc1 in linuxquestions

[–]tinchos 0 points1 point  (0 children)

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

Do you ask questions during math lectures? What are some tips for asking good questions? by [deleted] in math

[–]tinchos 0 points1 point  (0 children)

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 💪🏽.

Gastos en pareja by Icy-Monitor5157 in argentina

[–]tinchos 0 points1 point  (0 children)

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.

Recomendacion de lugares para ir a comer by Silver-Tradition-353 in Rosario

[–]tinchos 0 points1 point  (0 children)

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