http

Recursos de programación de http
Ya estamos otra vez aquí con un nuevo episodio esta vez en forma de coloquio con varios invitados. David Calvo Meier (@DavidCMeier), Azahara Fernández (@azahara_fergui) y Juan Manuel Rodríguez (@juan_manuel_rp) nos cuentan su experiencia asistiendo al evento ngSpain. Estos son algunos de los ponentes que acudieron a la ngSpain y referencias a los temas tratados:ngSpain 2019Mike HartingtonMandfred SteyerTracy LeeAngular Ivyag-GridNestJSEn la sección de recomendaciones hemos hablado de: EggHead.ioPro TypeScriptAtípico - NetflixUn científico en el supermercado - Jose Manuel López NicolásCanal de Pelado NerdY recuerda que ya están disponibles los vídeos de las charlas de la PEUM Conf 2019, puedes disfrutar de ellos en nuestro canal de youtube Charlas PEUMConf 2019 en Youtube. Tod@s l@s que tengáis comentarios o sugerencias para el podcast podéis enviarnos un correo a programaresunamierda@gmail.com o dejarnos un comentario en Twitter: @progesunam .No olvidéis de suscribiros a nuestro podcast en FeedPress o itunes, o si lo preferís agregad el RSS a vuestra app de podcast preferida. En cualquier caso siempre agradeceremos reviews del podcast en cualquiera de las plataformas.También podéis uniros a nuestro canal de Slack.La música elegida para la entrada y salida del podcast son del grupo "Dilo". En concreto las canciones son "War Inside" y "Sick of reality"
In this Lambda World 2019 presentation, Tianyu Pu provides an introduction to ReasonML, and explains the benefits of using it. Presentation Description: JavaScript is a critical part of today's programming landscape, and not just for web applications. However, its lack of static typing has given lots of developers grief over the years as they struggled with cryptic runtime error messages such as 'cannot find property X of undefined' (I've been there, too). With the introduction of ReasonML, we're now able to write statically typed, simpler and faster JavaScript. In this talk, we'll cover what ReasonML is, what it isn't, why it's worth paying attention to, how it works, and how it can be used in your applications. ------ Follow: -https://www.twitter.com/lambda_world -https://www.twitter.com/47deg -https://twitter.com/tianyupu Visit: -https://www.47deg.com/events for more details -http://www.lambda.world
In this Lambda World 2019 presentation, Laura Castro looks at the process of testing the robustness of an Erlang-based system. Presentation Description: In the world of distributed, highly concurrent and scalable systems, few technologies can live up to Erlang/OTP's potential. But, as we often hear, with great power comes great responsibility . . . What if we have designed the architecture of our background to be scalable and used Erlang/OTP to implement it? What now? Should we go straight ahead and jump into the production pool? Sit and wait for thousands, millions of requests to come? In this talk, we'll see how we can test the robustness of our system in a controlled setting, and in an automated, effective way. Using ProER, a property-based testing tool that follows into the footsteps of the famous QuickCheck, we will see how our software's validation can be both a challenge and a cool task, when we put the right tools in practice. ------ Follow: -https://www.twitter.com/lambda_world -https://www.twitter.com/47deg -https://twitter.com/lauramcastro Visit: -https://www.47deg.com/events for more details -http://www.lambda.world
In this Lambda World 2019 presentation, J Haigh discusses the Rust programming language. Full Presentation Description: For people coming from functional languages, you may wonder when you would want to use Rust. Rust has functional patterns and takes ideas from substructural type systems. A combination of functional patterns, the borrow checker, and drop checker enable us to have nice program control flow you'd expect with a functional language and granular control of our system resources. In this talk, we'll explore how Rust empowers programmers to write logically correct and memory safe programs. ------ Follow: -https://www.twitter.com/lambda_world -https://www.twitter.com/47deg -https://twitter.com/DebugSteven Visit: -https://www.47deg.com/events for more details -http://www.lambda.world
Aprender algo bueno y productivo en YouTube a veces se antoja difícil. Todas las herramientas que hay alrededor de una plataforma de vídeo con fuerte componente de red social están hechas para *seguir enganchado a la red. Así consumes contenidos de forma rápida, porque siempre hay “otra cosa más para ver”. Ya que tenemos controlada el ansia por reproducir minutos y minutos voy a compartir contigo unos trucos para sacar mejor provecho a los vídeos y características he encontrado en los bueno...
Hemos tenido la fortuna de poder contar con Xavi Albaladejo y Pablo Domingo que nos han aportado su visión sobre diferentes temas desde perspectivas similares y diferentes a la vez. Se han comentado muchas cosas. Os dejamos algunas de las que se han mencionado durante el webinar: Value Stream Mapping: https://www.amazon.es/Learning-See-Eliminate-Enterprise-Institute/dp/0966784308 System Thinking: https://www.amazon.es/Systems-Thinking-Curious-Managers-Management/dp/0956263151/ref=sr_1_1?qid=1573042142&refinements=p_27 %3ARussell+Ackoff&s=books&sr=1-1 STATIK : https://www.linkedin.com/pulse/statik-systems-thinking-approach-implementing-kanban-david-anderson/ Flight Levels de Klauss Leopold: https://www.leanability.com/en/blog-en/2017/04/flight-levels-the-organizational-improvement-levels/ Desescalando una Organización: https://proyectosagiles.org/2019/01/15/como-desescalar-una-organizacion/ Drive de Daniel Pink: https://www.amazon.es/Drive-Daniel-H-Pink/dp/1594484805 Management 3.0: https://www.amazon.es/Management-3-0-Developers-Developing-Addison-Wesley/dp/0321712471/ref=sr_1_1?__mk_es_ES= %C3%85M%C3%85%C5%BD%C3%95%C3%91&crid=2C5TPATN6C8RE&keywords=management+3.0&qid=1573042398&sprefix=management+%2Caps%2C156&sr=8-1 Principles de Ray Dalio: https://www.amazon.es/Principles-Life-Work-Ray-Dalio/dp/1501124021/ref=sr_1_1?__mk_es_ES= %C3%85M%C3%85%C5%BD%C3%95%C3%91&crid=25HVE8UAFPE78&keywords=principles+ray+dalio&qid=1573042521&sprefix=principl%2Caps%2C161&sr=8-1 How to Measure Anything: https://www.amazon.es/How-Measure-Anything-Workbook-Intangibles/dp/1118752368/ref=sr_1_1?__mk_es_ES= %C3%85M%C3%85%C5%BD%C3%95%C3%91&keywords=how+to+measure+anything&qid=1573042542&sr=8-1 Craig Larman: http://www.craiglarman.com/wiki/index.php?title=Books_by_Craig_Larman #Practices_for_Scaling_Lean_.26_Agile_Development:_Successful_Large.2C_Multisite_.26_Offshore_Product_Development_with_Large-Scale_Scrum Switch: https://www.amazon.es/Cambia-chip-afrontar-imposibles-colecci %C3%B3n/dp/8498750865/ref=sr_1_1?__mk_es_ES=%C3%85M%C3%85%C5%BD%C3%95%C3%91&keywords=switch+chip+and+dan+heath&qid=1573042778&sr=8-1
Aditya Siram (Deech) discusses what Functional Programming can learn from static introspection. This presentation was delivered at Lambda World in Cádiz, Spain on October 18, 2019. Presentation Description: What if compile time and type level programming in functional programming languages were easy, something you reach for without even thinking about it? What if you could debug type errors with a simple compile time print statement? Write highly flexible systems by being able to introspect into types at compile time? Pre-calculate large portions of your programs for great efficiency? Typed functional programming is a great and fun way to write resilient software, and as type systems have become more and more expressive in recent years, we are able to program sophisticated and useful properties at the type level for even better compile time safety. Just one problem: It is very difficult, requires advanced knowledge of the type system, the syntax is convoluted, the error messages are impenetrable, and it is nearly impossible to debug. This talk will dive into why we should steal static introspection from languages like Nim, and D, state-of-the-art imperative programming languages which can solve all these issues, make type systems much more approachable without losing any expressive power, and offer new design possibilities for functional programs. ------ Follow: -https://www.twitter.com/lambda_world -https://www.twitter.com/47deg -https://twitter.com/deech Visit: -https://www.47deg.com/events for more details -http://www.lambda.world
In this Lambda World 2019 presentation, Marco Perone shows benefit examples of defining concepts of category theory using Idris. Full Presentation Description: Category theory provides us the setting and a common language to talk about computation and composition. Its usage pervades and inspires languages such as Haskell and Scala, lending concepts like functors and monads. Still, functional programming is just one of the possible applications of category theory, which may actually vary from physics and chemistry to machine learning and blockchain. So what about a change of perspective? Let's make category theory the subject of our code and actually implement it! In this talk, we will take a look at how we can define concepts of category theory, using a programming language as Idris, which allows us to properly define all the required laws and properties of the objects in question, and we will see how we can take advantage of them in concrete contexts. ------ Follow: -https://www.twitter.com/lambda_world -https://www.twitter.com/47deg -https://twitter.com/marcoshuttle Visit: -https://www.47deg.com/events for more details -http://www.lambda.world
In this Lambda World 2019 keynote, Martin Odersky discusses the history of Scala’s implicits. He then presents the revised implicit design of Scala 3. Keynote description: I’ll talk about the history of Scala’s implicits: how they evolved, some mistakes we could have avoided in hindsight, as well as aspects I believe we got right. I then present the revised implicit design of Scala 3 and explain how it addresses the problems mentioned earlier. ------ Follow: -https://www.twitter.com/lambda_world -https://www.twitter.com/47deg -https://twitter.com/odersky Visit: -https://www.47deg.com/events for more details -http://www.lambda.world
In this Lambda World 2019 presentation, Tianyu Pu provides an introduction to ReasonML, and explains the benefits of using it. Presentation Description: JavaScript is a critical part of today's programming landscape, and not just for web applications. However, its lack of static typing has given lots of developers grief over the years as they struggled with cryptic runtime error messages such as 'cannot find property X of undefined' (I've been there, too). With the introduction of ReasonML, we're now able to write statically typed, simpler and faster JavaScript. In this talk, we'll cover what ReasonML is, what it isn't, why it's worth paying attention to, how it works, and how it can be used in your applications. ------ Follow: -https://www.twitter.com/lambda_world -https://www.twitter.com/47deg -https://twitter.com/tianyupu Visit: -https://www.47deg.com/events for more details -http://www.lambda.world