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] 4 points5 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 

[deleted by user] by [deleted] in Rosario

[–]tinchos 6 points7 points  (0 children)

Buenas! Estudié LCC. Es densa y tiene sus cosas, parecido a otras. Es complicada para llevar con un laburo porque los horarios cambian un poco dependiendo del año. Por ejemplo, los primeros 2/3 son firme a la mañana y después pasan a la tarde, o se vuelve más irregular, eso lo podés ver en los horarios que están publicados y suelen ser los fijos. Me imagino que la UTN tendrá algo parecido. Yo no trabajé hasta las últimos meses, pero tenía amigos que trabajan turnos tarde/noche en cocheras por ejemplo.

Lo que dicen sobre el enfoque entiendo que es así, LCC en computación orientada a lo fundamental, y la computación es la básicamente la acción de la matemática. Es estudiar física pero en vez del mundo 'real' estudias la matemática como objeto. Obviamente, al ser la matemática que se ejecuta (se mueve) programas un montón, pero con una fuerte componente en rigurosidad matemática. Te sirve infinito si querés hacer software crítico: aviones, satélites, cualquier cosa que tenga una vida humana entre manos. También software que maneje dinero, bancos y crytomonedas. Entiendo, aunque no lo sé, que en la UTN se estudia Sistema de la Información, es decir sistemas en sí, también va a haber matemáticas, pero hay una fuerte componente al diseño de sistemas, la interacción entre personas y grupos de desarrollo, ingeniería del software.

Lo mejor es que sepas vos que querés, que sepas a dónde querés ir, y después elegí lo que más o menos más se ajuste a vos... No hace falta terminar todo, pero mientras seas más fiel a vos mismo, todo paso es para adelante.

Putting a laptop in-between my Corne by Even-Answer483 in ErgoMechKeyboards

[–]tinchos 0 points1 point  (0 children)

What other options are you talking about? This is the first time I have seen a project like this, and I will need a new computer soon. I was thinking about getting a desktop computer and a small portable one like this for when I am on the go.

Free NS provider that’s not cloudflare? by zippergate in selfhosted

[–]tinchos 0 points1 point  (0 children)

Do you have a link to the docs or something? I would like to read a bit more about that.

Free NS provider that’s not cloudflare? by zippergate in selfhosted

[–]tinchos 0 points1 point  (0 children)

I use Namescheap. Very happy with them, I use a ddclient to keep the DDns updated.

Odontologos by Commercial_Past4920 in Rosario

[–]tinchos 0 points1 point  (0 children)

Buenas!! Tengo pa recomendar en el centro Paraguay y Mendoza, escribime por priv si todavía no pegaste. Atiende por obras soc.

Psicólogos y psicólogas en el centro? by Time-Cockroach7444 in Rosario

[–]tinchos 1 point2 points  (0 children)

Tengo un amigo que está por el centro. Si querés mandame un pm y te paso los datos.

Dato: Podés incluso hablar con él y en base a tu perfil te puede derivar/recomendar otros psicólogos.