java

Recursos de programación de java
¿Cualquier clase de Java te acaba llevando más de 500 líneas? ¿Estas cansado de repetir el mismo código una y otra vez para getters, setters, hashcode, etc.? ¿Cuantos tests e ifs escribes para comprobar nulls? ¿Los try/catch inundan tu código? Kotlin es un lenguaje que soporta los paradigmas OO y FP, de tipado estático y compilado a Bytecode y JS que te ayudará a reducir esas incomodas características de Java. ¡Ven y descubre como! Todos los videos de Codemotion 2016; https://www.youtube.com/playlist?list=PLKxa4AIfm4pUvMn4lZ8zin500bsp3oL2A Suscríbete a nuestra newsletter; bit.ly/newsletterautentia Facebook; https://www.facebook.com/Autentia-127966880558674/ Twitter; https://twitter.com/autentia
Os propongo una charla donde repasaremos gran parte de los algoritmos de Machine Learning. Conocer qué tipos hay, para qué demonios sirven, qué dificultad tienen, cómo los podemos usar, etc. La idea es salir de la charla sabiendo qué es para qué sirven: Linear Regression, SVM, Random Forest y los demás amiguitos, poderlos explicar a vuestros colegas y usarlos para frikear en vuestros próximos experimentos. Si da tiempo, veremos algo de código: en R, en Java o en scala… A lo berserker no es sólo aprender a lo bruto: sino que NO vamos a detenernos en los detalles matemáticos, NI vamos a profundizar en las fórmulas que sustentan cada algoritmo; se trata de entender la lógica y el sentido, y ganar la intuición para aplicarlos.
Puede que hayas oído hablar de Spock, el framework basado en Groovy que te permite hacer tus tests Java más legibles y expresivos. Pero seguramente no hayas visto una comparación de código real de tests hechos en librerías de test típicas como son JUnit y Mockito y cómo se harían en Spock, algo que realmente te haga consciente de lo que ganas, y lo que pierdes, al hacer tus tests con Spock. En esta charla no solo mostraremos eso, sino que repasaremos algunas recomendaciones de buenas prácticas típicas para los tests unitarios o de integración en Java, y veremos cómo se ven afectadas al usar Spock. Cómo algunas pierden importancia y hasta sentido, y otras nuevas aparecen para reemplazarlas. Cómo ahora puedes pensar más en el qué que en el cómo, cómo todo es más sencillo. Y cómo pierdes también cosas por el camino. ¿Te atreves a cambiar la forma de hacer tus tests? Todos los videos de Codemotion 2016; https://www.youtube.com/playlist?list=PLKxa4AIfm4pUvMn4lZ8zin500bsp3oL2A Suscríbete a nuestra newsletter; bit.ly/newsletterautentia Facebook; https://www.facebook.com/Autentia-127966880558674/ Twitter; https://twitter.com/autentia
Groovy es un lenguaje dinámico para la JVM y la evolución natural para un programador Java debido a su baja curva de aprendizaje. Si quieres saber por qué programar con Groovy es una Hora de Aventuras, esta es tu charla. Aprenderás a través de ejemplos las principales características que hacen de Groovy un lenguaje tan potente y versatil: tipado dinámico, closures, manejo de listas y mapas, power asserts, builders, metaprogramación, scripting, DSL's, transformaciones AST y muchas más. Te aseguro que después de la charla tendrás ganas de profundizar y utilizarlo en tu día a día. Todos los videos de Codemotion 2016; https://www.youtube.com/playlist?list=PLKxa4AIfm4pUvMn4lZ8zin500bsp3oL2A Suscríbete a nuestra newsletter; bit.ly/newsletterautentia Facebook; https://www.facebook.com/Autentia-127966880558674/ Twitter; https://twitter.com/autentia
En esta charla os hablaremos sobre qué stacks tecnológicos hemos utilizado en Nayar Systems, y cómo la experiencia nos ha llevado a conocer golang y lo que ha supuesto para nuestro equipo. Desde software para dispositivos hardware con capacidades limitadas, hasta la infraestructura de microservicios de la empresa, sin olvidarnos de uno de nuestros productos con mayor volumen de carga, todos ellos han sido desarrollados en golang. Compartiremos detalles en cada una de estas áreas así como sus peculiaridades, explicando por qué nos decantamos por esta tecnología y cuáles fueron los resultados obtenidos. Daniel Pecos Daniel Pecos Martínez Ingeniero en Informática por la Jaume I, actualmente trabaja como director del departamento de I+D de Nayar Systems. Gran parte de su carrera profesional ha sido en el mundo de la consultoría informática, fundamentalmente en tecnologías Java y más recientemente ha tenido la opción de adentrarse en el mundo de las pymes y startups donde desarrolló más a fondo su experiencia en tecnologías web, testing y gestión de equipos.
Category Theory for the Working Hacker The talk will explain why category theory is of interest for developers. The principle of Propositions as Types describes a correspondence between propositions and proofs in logic, on the one hand, and types and programs in computing, on the other. Category theory constitutes a third leg of this correspondence. Assuming only enough familiarity with functional programming that you know why ‘Lambda World’ has that name, the talk will explain how to model products (logical and), sums (logical or), and functions (logical implication), and why you already learned the most important stuff in high school. About Philip: Philip Wadler is an American computer scientist known for his contributions to programming language design and type theory. In particular, he has contributed to the theory behind functional programming[8] and the use of monads in functional programming, the design of the purely functional language Haskell,[9] and the XQuery declarative query language. In 1984, he created the Orwell programming language. Wadler was involved in adding generic types to Java 5.0.[10] He is also the author of the paper ‘Theorems for free!’ that gave rise to much research on functional language optimization (see also Parametricity). Cool Fact: In 2005, Wadler became a Fellow of the Royal Society of Edinburgh and in 2007 was inducted as a Fellow of the Association for Computing Machinery. Find out more at here: Philip Wadler’s home page About Lambda World: The 2016 Lambda World brought together Functional Programming enthusiasts from around the world for two days of presentations, hacking, networking, and a healthy dose of partying in Cadiz, Spain. Hosted by 47 Degrees, the event also featured a Typelevel Community Conference and a Scala Center Hackathon. Join in on the conversation at http://www.twitter.com/lambda_world and http://www.twitter.com/47deg using #LambdaWorld. Stay tuned to http://www.lambda.world and http://www.47deg.com for more on the conference and announcements for the 2017 event.