logo
episode-header-image
Mar 2018
35m 54s

F# and the functional SAFE Stack with Kr...

SCOTT HANSELMAN
About this episode
Scott digs into the SAFE Stack with Krzysztof Cielak. SAFE is an end-to-end, functional-first stack for cloud-ready web development that emphasizes type-safe programming. Is this your next programming paradigm? 
Up next
Aug 21
Compile after Class Crossover Episode
A young man who's a sophomore in high school emailed me to come on his podcast that he does with his friend, and I had so much fun. I decided to make it a crossover episode. Check out "Compile after Class" on this week's episode! https://www.youtube.com/@shreemanickaraja 
46m 40s
Aug 13
Robots, Nukes, and AI: A Career at the Frontier with Maynard Holliday
Maynard Holliday spent 30+ years at the intersection of robotics, nuclear security, and defense technology, most recently serving as the Assistant Secretary of Defense for Critical Technologies. He's worked on everything from helping remediate Three Mile Island to securing tons o ... Show More
35m 37s
Aug 6
Language Model Builder with Felix Rieseberg
Felix Rieseberg came to computing through poetry, and that background gives him a unique lens for explaining language models. A longtime engineer, Felix now gets to watch AI evolve from the inside. In this episode, Scott and Felix explore why language models are surprisingly easy ... Show More
35m 47s
Recommended Episodes
Nov 2024
852: Cloudflare Tunnels
Explore the power of Cloudflare Tunnels with Scott and Wes as they break down this essential tool for secure remote server access. Learn how to establish and configure tunnels safely, integrate public webhooks with services like Snipcart and Apple Pay, and master the security pra ... Show More
19 m
Jun 2019
The so-called cloud and what it means for cyber security
What is the cloud? Is it secure? How safe is your information when it’s in the cloud? Reformed Hacker Bastien Treptel and Chief Cyber Risk Officer Fergus Brooks talk with David Kaplan from Amazon Web Services about the reliability of cloud security and what the benefits and pitfa ... Show More
20m 25s
May 2025
902: Fullstack Cloudflare with React and Vite (Redwood SDK)
Wes talks with Peter Pistorius about RedwoodSDK, a new React framework built natively for Cloudflare. They dive into real-time React, server components, zero-cost infrastructure, and why RedwoodSDK empowers developers to ship faster with fewer tradeoffs and more control. Show Not ... Show More
46m 53s
Apr 2024
Building Secure Software: Unveiling the Hidden Dependencies with Niels Tanis
tail spinning
1h 15m
Jan 2024
A plea for lean software (News)
Niklaus Wirth makes his plea for lean software, PocketBase puts your entire backend in 1 file, Vanna is a Python RAG framework for accurate text-to-SQL generation, Henrik Karlsson wants you to think more about what to focus on & Calvin Wankhede shares how he built a fully offline ... Show More
7m 41s
Mar 2022
Our Stacks Explained
In this episode of Syntax, Wes and Scott talk through the tech stack they use to manage their course websites. Kontent by Kentico - Sponsor Kontent by Kentico is a headless CMS that provides live editing experience to non-technical users and hands you the technical tools to bui ... Show More
1h 12m
May 2022
TypeScript Fundamentals × Narrowing, Discriminating Unions, and Type Guards
In this Hasty Treat, Scott and Wes talk about TypeScript Fundamentals, including narrowing, discriminating unions, and type guards. Sentry - Sponsor If you want to know what’s happening with your code, track errors and monitor performance with Sentry. Sentry’s Application Monito ... Show More
22m 36s
Jan 2024
High-assurance Post-Quantum Crypto with Franziskus Kiefer and Karthik Bhargavan
We welcome Franziskus and Karthik from Cryspen to discuss their new high-assurance implementation of ML-KEM (the final form of Kyber), discussing how formal methods can both help provide correctness guarantees, security assurances, and performance wins for your crypto code!Transc ... Show More
56m 13s