Buenos Aires, Provincia de Buenos Aires, Argentina
2 mil seguidores
Más de 500 os
Acerca de
Actividad
-
My first mentors didn’t know my name. They changed the way I do business. Forever. I’ve been a fan of 37Signals since 2008. Used Basecamp &…
My first mentors didn’t know my name. They changed the way I do business. Forever. I’ve been a fan of 37Signals since 2008. Used Basecamp &…
Recomendado por Manuel Panichelli
-
I'm having something of an existential-crisis this week re: Gen AI in software development. I’ve never seen something, that possibly has such huge…
I'm having something of an existential-crisis this week re: Gen AI in software development. I’ve never seen something, that possibly has such huge…
Recomendado por Manuel Panichelli
-
LA IA NOS VA A REEMPLAZAR, EL MERCADO ESTA SATURADO, SI ESTAS ESTUDIANDO INGENIERIA LLEGASTE TARDE No paro de leer y escuchar esto. Es tragicómico…
LA IA NOS VA A REEMPLAZAR, EL MERCADO ESTA SATURADO, SI ESTAS ESTUDIANDO INGENIERIA LLEGASTE TARDE No paro de leer y escuchar esto. Es tragicómico…
Recomendado por Manuel Panichelli
Experiencia y educación
Licencias y certificaciones
-
Cambridge English: Advanced (CAE) - CEFR C2
University of Cambridge
Expedición:ID de la credencial 16BAR6025439
Proyectos
-
PPA
-
PPA es un asistente de demostración para lógica de primer orden con extracción de testigos usando la traducción de Friedman.
Resumen:
Los asistentes de demostración son programas que simplifican la escritura de demostraciones matemáticas, permitiendo la colaboración masiva o la verificación formal de programas.
Para mi tesis de licenciatura implementé PPA, un asistente de demostración para lógica clásica de primer orden. Cumple con el criterio de De Bruijn, generando demostraciones…PPA es un asistente de demostración para lógica de primer orden con extracción de testigos usando la traducción de Friedman.
Resumen:
Los asistentes de demostración son programas que simplifican la escritura de demostraciones matemáticas, permitiendo la colaboración masiva o la verificación formal de programas.
Para mi tesis de licenciatura implementé PPA, un asistente de demostración para lógica clásica de primer orden. Cumple con el criterio de De Bruijn, generando demostraciones en el sistema lógico de deducción natural a partir de programas escritos en un lenguaje de alto nivel, cuyo objetivo es ser similar a cómo serían en lenguaje natural. Tiene un mecanismo automático de demostración, el by, que por debajo cuenta con un solver heurístico para lógica de primer orden que facilita la escritura de demostraciones. Está inspirado en el mecanismo análogo en Mizar.
Tambień implementa la extracción de testigos de existencial. Dada una demostración de ∃x.p(x), se extrae un testigo t tal que cumpla p(t). Es sencillo hacerlo sobre lógica intuicionista por su naturaleza constructiva, pero un desafío sobre lógica clásica, que no lo es. Para ello hay dos grandes categorías: directas (mediante técnicas semánticas como realizabilidad clásica) o indirectas (mediante traducciones a otra lógica, como intuicionista).
El aporte principal del trabajo es una implementación práctica de la extracción de testigos. PPA la implementa de forma indirecta usando la traducción de Friedman, que permite convertir demostraciones clásicas de fórmulas Π2 de la forma ∀y0...∀yn.∃x.φ, con φ sin cuantificadores, a demostraciones intuicionistas. Se describe cómo una vez traducidas pueden ser normalizadas usando reglas de reducción bien conocidas, que se corresponden con las reglas de reducción del cálculo-lambda vistas desde el isomorfismo Curry–Howard. Finalmente, de una demostración normalizada se podrá extraer un testigo. -
Bloodline
-
Juego en 3D de aventura y exploración en un mundo abierto. Inspirado fuertemente en The Witcher 3.
Implementado en Unity. Tareas: Movimiento, cámara, sistema de combate, inventario, guardado, waypoints, mapa y minimapa, sistema de quests y diálogo, Iluminación.Otros creadores -
-
Xtreme Running
-
Juego de freerunning al estilo Mirror's Edge.
Realizado a modo de aprendizaje.Otros creadores -
-
The Doors
-
Juego al estilo de Bomberman.
Realizado a modo de aprendizaje.Otros creadores -
Idiomas
-
Español
Competencia bilingüe o nativa
-
Ingles
Competencia profesional completa
Más actividad de Manuel
-
Celebrating a significant decision today! 🚀 After an incredible 14 years at Google, I'm thrilled to be transitioning to a new chapter where I'll be…
Celebrating a significant decision today! 🚀 After an incredible 14 years at Google, I'm thrilled to be transitioning to a new chapter where I'll be…
Recomendado por Manuel Panichelli
-
increíble lo que vivimos este finde. +400 inscriptos 65 participantes 22 grupos 9 premios de cientos de dólares vercel de Sponsor Top talento…
increíble lo que vivimos este finde. +400 inscriptos 65 participantes 22 grupos 9 premios de cientos de dólares vercel de Sponsor Top talento…
Recomendado por Manuel Panichelli
-
I wish more software engineers knew about the Einstellung Effect. The Einstellung Effect is simply that we tend to reuse known solutions to solve…
I wish more software engineers knew about the Einstellung Effect. The Einstellung Effect is simply that we tend to reuse known solutions to solve…
Recomendado por Manuel Panichelli
-
Spanish version below👇 -- Excited to share that I’ve just started working as an Ingénieur d'études at the Paris Brain Institute (ICM)! I’m…
Spanish version below👇 -- Excited to share that I’ve just started working as an Ingénieur d'études at the Paris Brain Institute (ICM)! I’m…
Recomendado por Manuel Panichelli
-
Acabo de aplicar para dar una charla en Nerdearla en le Konex sobre cómo equipos de producto y tecnología pueden trabajar más efectivamente. La…
Acabo de aplicar para dar una charla en Nerdearla en le Konex sobre cómo equipos de producto y tecnología pueden trabajar más efectivamente. La…
Recomendado por Manuel Panichelli
-
Fueron 3 años increíbles en Pomelo lleno de aprendizajes, donde pude ayudar a construir los productos de emisión de tarjetas y operaciones de…
Fueron 3 años increíbles en Pomelo lleno de aprendizajes, donde pude ayudar a construir los productos de emisión de tarjetas y operaciones de…
Recomendado por Manuel Panichelli
-
When you encounter a simpler system, a simpler idea, or a simpler implementation, you have an opportunity. You can say "it's not enough, it doesn't…
When you encounter a simpler system, a simpler idea, or a simpler implementation, you have an opportunity. You can say "it's not enough, it doesn't…
Recomendado por Manuel Panichelli
Otras personas con el nombre de Manuel Panichelli
Hay 1 persona más con el nombre de Manuel Panichelli en LinkedIn
Ver a otras personas con el nombre de Manuel Panichelli