Podcasts about Type safety

Join Amy, Brad, and special guest Ryan Chenkie as they unpack Prisma's expanding ecosystem of database tools. Ryan explains why Prisma launched their own hosted Postgres service and what sets it apart from competitors in the space. The trio examines Prisma's comprehensive feature set including Accelerate for connection pooling, Pulse for real-time events, and optimization tools that help identify performance bottlenecks. They also discuss the upcoming transition from Rust to TypeScript for Prisma's core engine, making it lighter and faster. If you've been curious about modern approaches to database management or wondering which ORM is right for your next project, this conversation provides practical insights and expert perspectives.Show Notes0:00 - Intro1:12 - Working with Prisma and Supabase2:29 - Prisma Postgres Introduction4:17 - Why Choose Postgres6:36 - Prisma's Database Adapter Flexibility8:14 - Serverless Database Architecture11:13 - Connection Pooling with Accelerate14:13 - Pulse for Real-time Database Events16:54 - Studio Integration in Prisma Console18:01 - Database Optimization Tools20:00 - Benefits of Prisma Schema Language22:10 - Prisma Schema vs SQL Definitions23:01 - Comparing Prisma and Drizzle26:24 - Future Improvements to Prisma28:52 - Ryan's History with Prisma32:05 - Learning Resources for Prisma33:37 - Picks and PlugsLinks and ResourcesPrisma ResourcesPrisma WebsitePrisma Twitter/XPrisma YouTube ChannelPrisma Postgres DocumentationPrisma ConsolePrisma VS Code ExtensionPrisma AcceleratePrisma PulsePrisma OptimizePrisma StudioRyan Chenkie ResourcesRyan's Website: https://holodeck.runRyan's YouTube Channel: https://youtube.com/@holodeck_runRyan on Twitter/XFramework and Technologies MentionedRemixRedwood JSSupabasePlanetScaleDrizzle ORMPostgresMySQLMongoDBBrad's ResourcesYouTube Channel: https://youtube.com/@bradgarropyRemix Starter: https://github.com/bradgarropy/remix-appAmy's ResourcesBuild12 Projects: https://buildtwelve.comOther Resources MentionedSkylight FrameAura FrameNetflix Show: "Making Fun"Netflix Show: "Is It Cake"

In this Thanksgiving repeat episode, Tanner Linsley, creator of TanStack and co-founder at Nozzle, dives into the evolution and philosophy behind TanStack, his work on TanRouter, and shares insights on the importance of type safety in routing within web development. Links https://x.com/tannerlinsley https://tannerlinsley.com https://www.youtube.com/tannerlinsley https://github.com/tannerlinsley https://www.linkedin.com/in/tannerlinsley https://tanstack.com We want to hear from you! How did you find us? Did you see us on Twitter? In a newsletter? Or maybe we were recommended by a friend? Let us know by sending an email to our producer, Emily, at emily.kochanekketner@logrocket.com (mailto:emily.kochanekketner@logrocket.com), or tweet at us at PodRocketPod (https://twitter.com/PodRocketpod). Follow us. Get free stickers. Follow us on Apple Podcasts, fill out this form (https://podrocket.logrocket.com/get-podrocket-stickers), and we'll send you free PodRocket stickers! What does LogRocket do? LogRocket provides AI-first session replay and analytics that surfaces the UX and technical issues impacting user experiences. Start understand where your users are struggling by trying it for free at [LogRocket.com]. Try LogRocket for free today.(https://logrocket.com/signup/?pdr) Special Guest: Tanner Linsley.

Highlights from this week's conversation include:Patrik's Background and Journey to Wilde (1:12)The Evolution of QR Codes (4:09)Marketing Analytics and Clean Rooms (9:52)Challenges in Data Sharing (13:20)Technical Challenges with Clean Rooms (15:37)Exploring Current Data Infrastructure (19:11)Data Orchestration Tools (22:50)Performance Tuning and Data Syncing (24:00)Choosing Data Tools (26:08)Mother Duck and Data Warehousing (00:30:31)Flexible Data Architecture (32:40)DuckDB Implementation (35:36)Data Marketplace Concept (38:34)Asset Availability in Data Queries (42:21)Transition from Software Engineering to Data Stack (46:36)Data Contracts and Type Safety (49:10)Database Schema Perspectives (50:27)Final Thoughts and Takeaways (51:35)The Data Stack Show is a weekly podcast powered by RudderStack, the CDP for developers. Each week we'll talk to data engineers, analysts, and data scientists about their experience around building and maintaining data infrastructure, delivering data and data products, and driving better outcomes across their businesses with data.RudderStack helps businesses make the most out of their customer data while ensuring data privacy and security. To learn more about RudderStack visit rudderstack.com.

Pragmatic AI Labs Blog - What is Cargo LambdaWhat is Cargo Lambda?A framework for building tools and workflows for Rust on AWS LambdaKey BenefitsRust PerformanceAllows writing AWS Lambda functions in RustProvides amazing performance and low cold start timesLeverages modern compilation features of RustType SafetyUtilizes Rust's strong type systemHelps catch errors at compile timeReduces runtime errors in productionMemory SafetyImplements Rust's Ownership modelPrevents common bugs like null pointer dereferencesEliminates data races without a garbage collectorEasy DeploymentSimplifies the process of building, testing, and deploying Rust functions to AWS LambdaLeverages Rust's modern binary-based features for optimized and cross-compiled binariesLocal TestingProvides tools for running and debugging Lambda functions locallyEnhances the development and prototyping processCustom RuntimeLeverages the AWS Lambda Rust runtimeAllows optimization for Rust's unique performance capabilitiesEcosystem IntegrationEasy integration with other AWS servicesSeamless connection to the broader Rust ecosystemResource EfficiencyUtilizes Rust's naturally low memory footprintPotentially 70-80% less memory usage compared to languages like PythonCost-effective for data engineering pipelinesCross-compilation SupportEnables building Lambda functions for different architecturesAllows targeting ARM for cost savings on high-performance functionsProductivityStreamlines the development workflow for RustCombines powerful features with time-saving processesConclusionCargo Lambda offers a compelling solution for developers looking to leverage Rust's power in serverless environments, providing a unique combination of performance, safety, and ease of use.

Tanner Linsley, creator of TanStack and co-founder at Nozzle, dives into the evolution and philosophy behind TanStack, his work on TanRouter, and shares insights on the importance of type safety in routing within web development. Links https://x.com/tannerlinsley https://tannerlinsley.com https://www.youtube.com/tannerlinsley https://github.com/tannerlinsley https://www.linkedin.com/in/tannerlinsley https://tanstack.com We want to hear from you! How did you find us? Did you see us on Twitter? In a newsletter? Or maybe we were recommended by a friend? Let us know by sending an email to our producer, Emily, at emily.kochanekketner@logrocket.com (mailto:emily.kochanekketner@logrocket.com), or tweet at us at PodRocketPod (https://twitter.com/PodRocketpod). Follow us. Get free stickers. Follow us on Apple Podcasts, fill out this form (https://podrocket.logrocket.com/get-podrocket-stickers), and we'll send you free PodRocket stickers! What does LogRocket do? LogRocket provides AI-first session replay and analytics that surfaces the UX and technical issues impacting user experiences. Start understand where your users are struggling by trying it for free at [LogRocket.com]. Try LogRocket for free today.(https://logrocket.com/signup/?pdr) Special Guest: Tanner Linsley.

While using the defer utility on a loader, the result useLoaderData hook on the component, does not have proper types any more, and im looking a effective way to keep my types chilling How to keep Type-Safety when defering data from a Remix loader

It's the end of the year, so we want to give you a taste of our most popular episodes from 2023, starting with Tim Neutkens and the release of Next.js 13.4, followed by Chris Ferdinandi talking about the transitional web, and ending with Kent C. Dodds talking about type safety. Links Apple Next.js 13.4 with Tim Neutkens: https://apple.co/3S93lyh The state of JS frameworks with Chris Ferdinandi: http://bit.ly/3n9eCRS Fully Typed Web Apps with Kent C. Dodds: http://bit.ly/3LfXNP4 Spotify Next.js 13.4 with Tim Neutkens: https://spoti.fi/4aE67Tm The state of JS frameworks with Chris Ferdinandi: https://spoti.fi/3LPxUpN Fully Typed Web Apps with Kent C. Dodds: http://bit.ly/3YuRN8o Google Next.js 13.4 with Tim Neutkens: https://bit.ly/3RwXscw The state of JS frameworks with Chris Ferdinandi: http://bit.ly/3JEzOXH Fully Typed Web Apps with Kent C. Dodds: http://bit.ly/3L9ZL3O We want to hear from you! How did you find us? Did you see us on Twitter? In a newsletter? Or maybe we were recommended by a friend? Let us know by sending an email to our producer, Emily, at emily.kochanekketner@logrocket.com (mailto:emily.kochanekketner@logrocket.com), or tweet at us at PodRocketPod (https://twitter.com/PodRocketpod). Follow us. Get free stickers. Follow us on Apple Podcasts, fill out this form (https://podrocket.logrocket.com/get-podrocket-stickers), and we'll send you free PodRocket stickers! What does LogRocket do? LogRocket combines frontend monitoring, product analytics, and session replay to help software teams deliver the ideal product experience. Try LogRocket for free today. (https://logrocket.com/signup/?pdr) Special Guests: Chris Ferdinandi, Kent C. Dodds, and Tim Neutkens.

حنتكلم عن الTypes وليه محتاجينها في شغلنا اكثر من قبل كدا و ليه الTypeScript هي افضل حاجة ممكن تضيفها لمشاريعك القادمة والحالية. برضو حنتكلم عن ازاي تحول مشروعك من JavaScript لTypeScriptبشكل آمن وسريع وحنختم بشوية نصائح عن ايه الي تاخد بالك منه وتركز عليه وانت بتتعلم TypeScript. لينكات مفيدة: State of JavaScript survey results - TypeScript usage `tsconfig` reference Frontend masters - TypeScript fundementals v3

It's the Season 10 finale of the Elixir Wizards podcast! José Valim, Guillaume Duboc, and Giuseppe Castagna join Wizards Owen Bickford and Dan Ivovich to dive into the prospect of types in the Elixir programming language! They break down their research on set-theoretical typing and highlight their goal of creating a type system that supports as many Elixir idioms as possible while balancing simplicity and pragmatism. José, Guillaume, and Giuseppe talk about what initially sparked this project, the challenges in bringing types to Elixir, and the benefits that the Elixir community can expect from this exciting work. Guillaume's formalization and Giuseppe's "cutting-edge research" balance José's pragmatism and "Guardian of Orthodoxy" role. Decades of theory meet the needs of a living language, with open challenges like multi-process typing ahead. They come together with a shared joy of problem-solving that will accelerate Elixir's continued growth. Key Topics Discussed in this Episode: Adding type safety to Elixir through set theoretical typing How the team chose a type system that supports as many Elixir idioms as possible Balancing simplicity and pragmatism in type system design Addressing challenges like typing maps, pattern matching, and guards The tradeoffs between Dialyzer and making types part of the core language Advantages of typing for catching bugs, documentation, and tooling The differences between typing in the Gleam programming language vs. Elixir The possibility of type inference in a set-theoretic type system The history and development of set-theoretic types over 20 years Gradual typing techniques for integrating typed and untyped code How José and Giuseppe initially connected through research papers Using types as a form of "mechanized documentation" The risks and tradeoffs of choosing syntax Cheers to another decade of Elixir! A big thanks to this season's guests and all the listeners! Links and Resources Mentioned in this Episode: Bringing Types to Elixir | Guillaume Duboc & Giuseppe Castagna | ElixirConf EU 2023 (https://youtu.be/gJJH7a2J9O8) Keynote: Celebrating the 10 Years of Elixir | José Valim | ElixirConf EU 2022 (https://youtu.be/Jf5Hsa1KOc8) OCaml industrial-strength functional programming https://ocaml.org/ ℂDuce: a language for transformation of XML documents http://www.cduce.org/ Ballerina coding language https://ballerina.io/ Luau coding language https://luau-lang.org/ Gleam type language https://gleam.run/ "The Design Principles of the Elixir Type System" (https://www.irif.fr/_media/users/gduboc/elixir-types.pdf) by G. Castagna, G. Duboc, and J. Valim "A Gradual Type System for Elixir" (https://dlnext.acm.org/doi/abs/10.1145/3427081.3427084) by M. Cassola, A. Talagorria, A. Pardo, and M. Viera "Programming with union, intersection, and negation types" (https://www.irif.fr/~gc/papers/set-theoretic-types-2022.pdf), by Giuseppe Castagna "Covariance and Contravariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers)" (https://www.irif.fr/~gc/papers/covcon-again.pdf) by Giuseppe Castagna "A reckless introduction to Hindley-Milner type inference" (https://www.lesswrong.com/posts/vTS8K4NBSi9iyCrPo/a-reckless-introduction-to-hindley-milner-type-inference) Special Guests: Giuseppe Castagna, Guillaume Duboc, and José Valim.

まつもとゆきひろさんをゲストに迎えて、Ruby, 型、ChatGPT などについて話しました。 Show Notes RubyKaigi 2023 DHH on Twitter: "TypeScript sucked out much of the joy I had writing JavaScript" Accidentally Turing-Complete Sorbet steep Unofficial SDKs on Compute@Edge まつもと ゆきひろ「Matzチャンネル」 Ruby25

Ryan shares his experience getting end-to-end type safety from a Hasura backend into a React application. He tells Sam about the different ways GraphQL codegen can be used to generate types, and how he ultimately landed on a solution that combines the TypedDocumentNode type and the zod library.Topics include:0:00 - Intro2:51 - Using GraphQL Language Server to get autocomplete + linting13:05 - Getting type information on the return object from a query passed to SWR24:06 - Generating TypedDocumentNode objects with GraphQL codegen33:33 - Using zod for run-time validationLinks:GraphQL Tag / gqlGraphQL codegenGraphQL codegen over the yearsRyan's Tweet with TypedDocumentNodeZeusHasuraZod

Recording date: April 21, 2022John Papa @John_PapaWard Bell @WardBellDan Wahlin @DanWahlinCraig Shoemaker @craigshoemakerMaarten Tibau @maartentibauBrought to you byAG GridNarwhal Visit nx.dev to get the preeminent open-source toolkit for monorepo development, today. Resources:TypeScriptType SafetyType-Safe TypeScriptTypeScript support in VS CodeTypeScript: The Good, The Bad, and the Type-SafeAchieving Type Safety with TypeScriptTim Deschryver on Twitter / blogWhy Ernest Hemingway scissors are so expensiveTypeScript "Everyday Types"TypeScript config file TsconfigRavioli Code in TypeScriptTypes vs Interfaces in TypeScriptWurkin Stiffs - magnetic collar staysTime Zone ConverterTimejumps02:29 Guest introduction03:58 What is Type Safety?06:21 What is the value of TypeScript?08:53 Sponsor: Narwhal09:31 Does the presence of Types alone make you safe?16:54 What are the benefits?21:55 Sponsor: Ag Grid22:55 How do you make projects more Type Safe?29:22 What's the softer way of not throwing an error?33:15 What's your preference - Types or Interfaces?36:05 Final thoughtsPodcast editing on this episode done by Chris Enns of Lemon Productions.

In this episode I discuss the paper "Modula-2 and Oberon" by Niklaus Wirth.  Modula-2 introduced (it seems from the paper) the idea of having modules with explicit import and import lists -- something we saw at the start of our look at module systems with Haskell's module system.  I note some interesting historical points raised by the paper.

Подкаст RadioDotNet выпуск №19 Внимание, конкурс! За доброе дело мы готовы подарить 4 лицензий на любой продукт JetBrains. Победителей выберет псевдослучайный рандом из следующих списков: Один автор комментариев на YouTube к этом выпуску в канале DotNetRu Один кто поделился этим анонсом в группе VK.com/DotNetRu Один кому понравился этот анонс в группе VK.com/DotNetRu Один кто поделился этим анонсом в twitter.com/DotNetRu Конкурс продлится ровно 7 дней с момента публикации данного выпуска. К новогоднему выпуску мы собираем вопросы и темы, которые вам хотелось бы обсудить в рамках праздничного эпизода. Пишите нам на почту или в комментарии. Сайт подкаста: radio.dotnet.ru Темы: [00:00:22] — ReSharper & Rider 2020.3 blog.jetbrains.com/dotnet/resharper-2020-3-released blog.jetbrains.com/dotnet/rider-2020-3-release blog.jetbrains.com/dotnet/use-c-9-records-and-init-only-p... blog.jetbrains.com/dotnet/auto-detect-code-format-rules-w... [00:15:52] — Infer# — Interprocedural Memory Safety Analysis For C# devblogs.microsoft.com/dotnet/infer-interprocedural-memory-sa... github.com/microsoft/infersharp youtube.com/watch [00:26:55] — Open sourcing the Porting Assistant for .NET aws.amazon.com/blogs/opensource/open-sourcing-the-por... github.com/aws/porting-assistant-dotnet-client [00:29:32] — Dynamic Class Creation in C# and Type Safety with Roslyn dotnetcurry.com/csharp/dynamic-class-creation-roslyn [00:37:10] — .NET Development on Apple Silicon blog.jetbrains.com/dotnet/net-development-on-apple-silicon github.com/dotnet/runtime/issues/43313 nequalsonelifestyle.com/apple-silicon-benchmarks-pt6-dotnet-pe... habr.com/ru/post/529190 twitter.com/EgorBo/status/1337139321405583376 [00:53:34] — DotNext 2020 Piter Playlist youtube.com/watch Фоновая музыка: Максим Аршинов «Pensive yeti.0.1»

Newtypes let you give things names, but is that type safety? Andres Schmois, Cameron Gera, and Taylor Fausak explore a blog post by Alexis King. - - -

This week, Ben and Paul are flying as a duo, a true dad-cast. We walk through the slow build of increasingly complex keyboard macros, followed by the inevitable cleansing and renewal of an empty slate. Pus, type systems and type safety, the galaxy brain edition.

This week, Ben and Paul are flying as a duo, a true dad-cast. We walk through the slow build of increasingly complex keyboard macros, followed by the inevitable cleansing and renewal of an empty slate. Pus, type systems and type safety, the galaxy brain edition.

Mozilla announces plans to remove FTP support from Firefox, the latest version of Oracle's Java Development Kit is out, and OBS Studio's latest release has some handy new source and capture features.

Type safety proofs are big confirmations requiring consideration of all your operational and typing rules. So they rarely contain much deep insight, but are needed to confirm your language's type system is correct. Looking ahead, this episode also talks about the different between normalization and termination when your language is nondeterministic, and the property of confluence.

We review the metatheoretic property of type safety, decomposed into two properties called type preservation and progress. Discussion of progress in the context of type theory, where adding axioms can lead to a failure of progress.

Type safety is a basic property of both statically typed programming languages and type theories. It has traditionally (past few decades) been decomposed into type preservation and progress. Type preservation says that if a program expression e has some type T, then running e a bit will give a result that still has type T (and type preservation would apply again to that result, to preserve the type T indefinitely along the execution of e). Progress says that well-typed expressions cannot get stuck computationally: they cannot reduce to a form where the operational semantics is then undefined. This is how we model the idea that the type system is preventing certain kinds of failures: make those failures correspond to undefined behavior.

The key benefit of using programming language Scala to build a digital platform is a feature called Type Safety, which allows for better and faster testing because it allows detecting "errors while writing the code," before running it, according to Jason Brown, CEO and co-founder of fintech Tally. In this latest episode of Fintech Unfiltered podcast, Brown explained that Scala is an important, but underrated, layer to develop a cloud-based platform for financial services because of its ability to allow for "faster and better," testing, efficient code compiling and scalability. This "modern programming language," is designed to work within the Java script ecosystem, and although it is not meant to replace Java, it can enhance many features of programming and coding including accuracy and testing, he said.

The key benefit of using programming language Scala to build a digital platform is a feature called Type Safety, which allows for better and faster testing because it allows detecting "errors while writing the code," before running it, according to Jason Brown, CEO and co-founder of fintech Tally. In this latest episode of Fintech Unfiltered podcast, Brown explained that Scala is an important, but underrated, layer to develop a cloud-based platform for financial services because of its ability to allow for "faster and better," testing, efficient code compiling and scalability. This "modern programming language," is designed to work within the Java script ecosystem, and although it is not meant to replace Java, it can enhance many features of programming and coding including accuracy and testing, he said.

Mike and Wes dive into Bosque, Microsoft’s new research language, and debate if it represents the future of programming languages, or if we should all just be using F#. Plus some Qt license clarity, a handy new Rust feature, and your feedback.

We talk about how to build typesafe GraphQL applications & what the benefits of doing so are.

The key benefit of using programming language Scala to build a digital platform is a feature called Type Safety, which allows for better and faster testing because it allows detecting "errors while writing the code," before running it, according to Jason Brown, CEO and co-founder of fintech Tally. In this latest episode of Fintech Unfiltered podcast, Brown explained that Scala is an important, but underrated, layer to develop a cloud-based platform for financial services because of its ability to allow for "faster and better," testing, efficient code compiling and scalability. This "modern programming language," is designed to work within the Java script ecosystem, and although it is not meant to replace Java, it can enhance many features of programming and coding including accuracy and testing, he said. Listen to he full podcast here.

reselect for selectors Normalizing data with normalizr TypeScript's ReturnType using type conditionals The previous package we used for object factories: rosiejs Spencer's package for object factories: cooky-cutter

Jake and Michael return to discuss the introduction of further type-safety in PHP, BladeX, finite state machines, and rendering HTML emails.

We discuss Chris Lattner's recent "Dynamic Member Lookup" proposal.

This week we answer an #askMTJC on AirPlay-ing Amazon Prime videos. We follow up on holographic billboard and LaunchKit shutting down. We were midway through WWDC 2017 week, so we share our impressions on the WWDC17 Keynote, Platform State of the Union and some of the live sessions we had watched. Picks: Refactoring!, Blackbox Puzzles wins ADA, What’s New in iOS, Simulating a second finger during drag, Xcode 9 Beta. NB - we misquoted the hardware pricing of iMac Pro and Mac Pro. They are $4,999 and $2,999 USD respectively. This error we regret. Safe Area aka Type Safety in print and publishing. Also the correct term in TV production is Overscan.

Добрый день уважаемые слушатели. Представляем новый выпуск подкаста RWpod. В этом выпуске: Ruby Ruby 2.4 implements Regexp#match? without polluting global variables, Ruby 2.4 implements Enumerable#sum и Duck typing vs type safety in Ruby Getting rid of before_filter from your ApplicationController with cells и Purposes & Properties of Value Objects Introduction to fragment caching in Rails и Rails API - Throttling with Rack::Attack JavaScript The JavaScript Wars: How did we get here?, What programming language should you learn first? ʇdıɹɔsɐʌɐɾ :ɹǝʍsuɐ и WebAssembly Browser Preview Viewports research, part umpteen, GraphQL: 3 reasons not to use it и Migrating to Webpack 2 Tesseract.js: How To OCR Remote Images from a URL in Node, Egjs - a jQuery-based JavaScript library consisting of UI interactions, effects, and utilities, Turbo.js - a small library that makes it easier to perform complex calculations that can be done in parallel и 8 simple rules for a robust, scalable CSS architecture

In this episode, Adam talks with Ryan Tablada and Matt Machuga about the philosophical differences between programming in a statically typed language vs. a dynamically typed language. They talk about things like explicit interfaces vs. duck typing, function calling vs. message passing, and some of the recent RFCs around optional typing in the PHP community. This episode is brought to you by Hired. J# Hack DHH's "Why Ruby?" Keynote at RubyConf X Design by Contract in Eiffel Type Hinting in PHP PHP RFC: Scalar Type Hints PHP RFC: Sum Types Erie Day of Code EmberGrep Hired