The Haskell Unfolder共计44条视频，包括：1 unfoldr、2 quantified constraints、3 injectivity等，UP主更多精彩视频，请关注UP账号。

Voiced by @tokisuno ... Check out his channel. So, in this talk I want to tell about the reasons I love the Zig programming language, and I hope you will relate, or if you've never heard of Zig — consider learning it. 00:00 - Intro 01:00 - Error handling 04:50 - Explicitness and Control 08:46 - Tooling 09:46 - Language Design 12:36 - Community 13:22 - Outro

https://www.youtube.com/watch?v=wFlyUzUVFhw, 视频播放量 15、弹幕量 0、点赞数 1、投硬币枚数 0、收藏人数 0、转发人数 0, 视频作者 dailyrain, 作者简介 ，相关视频：Tidy First? A Daily Exercise in Empirical Design • Kent Beck • GOTO 2024，Native memory tracking for all - Extending NMT beyond Hotspot，Software Engineering Completeness - Peter Muldoon - ACCU 2025，Programming is writing is programming - Felienne，A Field Guide to Reliability Engineering at Zalando • Heinrich Hartmann • G，QoS for DPDK Based Cloud Native Router - Kiran KN & Shailender Sharma, Juni，Lessons from porting software to RISC-V @ RISE，Infrastructure IS Code on AWS • Darko Meszaros • YOW! 2020，Agility ≠ Speed - Agile Development - Kevlin Henney - ACCU 2025，Multiview decoding in libavcodec and ffmpeg CLI

Streamed Live on Twitch: https://twitch.tv/tsoding Enable Subtitles for Twitch Chat Chapters: - 00:00:00 - Intro - 00:05:57 - Downloading GHC - 00:07:47 - Installing GHC - 00:11:58 - ghc Compiler - 00:19:35 - ghc-pkg Package Manager - 00:20:17 - ghci REPL - 00:22:21 - Reading Lines from File - 00:25:07 - Hoogle - 00:26:11 - Partial Application - 00:27:56 - do-blocks - 00:30:13 - Reversing Lines from File - 00:32:22 - Piping Operators - 00:37:37 - C FFI - 00:52:20 - Raylib Speedrun - 00:58:49 - Raylib Window Achieved - 00:59:47 - Raylib Event Loop - 01:16:39 - Drawing Rectangle - 01:36:49 - Mutable State - 01:51:29 - How to Handle Input - 01:52:56 - Propaganda Evolution - 01:54:51 - Outro References: - https://www.youtube.com/watch?v=SPwnfSmyAGI - https://www.haskell.org/ghc/ Topic: Checking out Haskell again Twitch Chat in Subtitles generated by: https://github.com/kam1k4dze/subchat Support: - https://github.com/tsoding/donate#support-tsoding

One of the meta values of TigerBeetle is simplicity. Simplicity is hard, but it gets you all the nice things — performance, correctness, maintainability. In this talk, we'll uncover fundamental simplicity in how software is built, tested, documented, and released — seemingly "boring" aspects, which nontheless are a foundation for everything else. https://matklad.github.io/ Talk from Systems Distributed '25: https://systemsdistributed.com Join the chat at https://slack.tigerbeetle.com/invite

https://www.youtube.com/watch?v=4aLy6qjhHeohttps://matklad.github.io/2023/03/26/zig-and-rust.html, 视频播放量 234、弹幕量 0、点赞数 5、投硬币枚数 0、收藏人数 4、转发人数 1, 视频作者 帆影, 作者简介 兴趣是写代码? #skill issue，相关视频：Finishing the memory allocator for my rust kernel，2025年如何做独立游戏 | Jonathan Blow，Safety, Performance, Experience | matklad，writing simple programming language — Porth Ep.04，Writing a debugger | sphaerophoria，Andrew Kelley Practical Data Oriented Design (DoD)，Exploring Verse, Haskell, Language Design and Teaching (with Simon Peyton Jones)，什么是编程? | George Hotz，Introduction to Continuations，Who needs async when you have epoll | sphaerophoria

[计算本质] Regex & Finite Automata 正则表达式&有限自动机, 视频播放量 3218、弹幕量 10、点赞数 81、投硬币枚数 44、收藏人数 160、转发人数 7, 视频作者 清华邓博士, 作者简介 the power of explanation 知识星球同名，相关视频：[天选之子C语言]Neo: The One C，Database Beyond 数据库之它飘了，OCaml Programming: Correct + Efficient + Beautiful，[Josh21.UCB.CS10] The Beauty and Joy of Computing，Dr.Dng陪跑CSAPP: bigONE《深入理解计算机系统》，[落笔太难] 核武C++：Atomic Weapons，[实录] linux training 01 overview，[小白]linux命令行生存指南，C03.08 Filtering - Sampling，首讲Stanford CS231AAA：计算机视觉基础课

This presentation was recorded at GOTO Copenhagen 2022. #GOTOcon #GOTOcph http://gotocph.com Andrew Kelley - Creator of the Zig Programming Language LINKS https://ziglang.org https://github.com/ziglang/zig/wiki/Community ABSTRACT What can you expect from this up-and-coming language? Let's take a look at Zig's unique perspective on performance, safety, debugging, and tooling. We'll explore everything from syntax & semantics, to package management, to the non-profit software foundation. [...] TIMECODES 00:00 Intro 01:30 Spot the bug 03:57 Agenda 04:22 What is the Zig project? 07:33 Maintain it with Zig 19:46 How to predict the future 28:17 Zig in action 34:19 A taste of Zig 48:58 Summary 49:55 Outro Download slides and read the full abstract here: https://gotocph.com/2022/sessions/2080/introduction-to-the-zig-programming-language RECOMMENDED BOOKS Dean Bocker • Don't Panic! I'm A Professional Zig Programmer • https://amzn.to/3ljKT8d Saša Jurić • Elixir in Action • https://amzn.to/2RZh5eN Dave Thomas • Programming Elixir ≥ 1.6: Functional • https://amzn.to/34Dw3O5 https://twitter.com/GOTOcon https://www.linkedin.com/company/goto- https://www.instagram.com/goto_con https://www.facebook.com/GOTOConferences #Zig #Ziglang #ZigCode #ZigProject #Programming #ProgrammingLanguages #ProgrammingLanguage #ZigIntro #ZigTutorial #ZigSoftwareFoundation #Zigler #Elixir #FunctionalProrgramming #VFXPlugin #MicroZig #BoksOS #AndrewKelley CHANNEL MEMBERSHIP BONUS Join this channel to get early access to videos & other perks: https://www.youtube.com/channel/UCs_tLP3AiwYKwdUHpltJPuA/join Looking for a unique learning experience? Attend the next GOTO conference near you! Get your ticket at https://gotopia.tech Sign up for updates and specials at https://gotopia.tech/newsletter SUBSCRIBE TO OUR CHANNEL - new videos posted almost daily. https://www.youtube.com/user/GotoConferences/?sub_confirmation=1

Streamed Live on Twitch: https://twitch.tv/tsoding Enable Subtitles for Twitch Chat Chapters: - 00:00:00 - In this video... - 00:01:15 - Day 1 - 02:10:33 - Day 2 - 05:45:36 - Day 3 References: - https://github.com/tsoding/2mpeg4yuv - https://en.wikipedia.org/wiki/Netpbm - https://www.youtube.com/playlist?list=PLpM-Dvs8t0VaAFL21D-48W02tJWTeejcM - https://learn.microsoft.com/en-us/windows/win32/directshow/avi-file-format - https://bellard.org/ - https://github.com/tsoding/tula Topic: Exploring .avi container format to get rid of the dependency on FFmpeg in 2mpeg4yuv project. 7th episode of 2mpeg4yuv series. Twitch Chat in Subtitles generated by: https://github.com/kam1k4dze/subchat Support: - https://github.com/tsoding/donate#support-tsoding

[计算本质] Regex & Finite Automata II 正则表达式&有限自动机, 视频播放量 3932、弹幕量 6、点赞数 139、投硬币枚数 20、收藏人数 290、转发人数 10, 视频作者 清华邓博士, 作者简介 the power of explanation 知识星球同名，相关视频：[天选之子C语言]Neo: The One C，C02.04P2 Imaging - Camera - Lens，cartographer google激光SLAM论文讲解，C03.08 Filtering - Sampling，C02.01 Imaging - Light，Database Beyond 数据库之它飘了，OCaml Programming: Correct + Efficient + Beautiful，[计算本质] Lambda Calculus，Digging into Probability，The Elegant RISCV: MIT01 Introduction

[计算本质] Grammar & Pushdown Automata 语法及下推自动机, 视频播放量 1529、弹幕量 2、点赞数 48、投硬币枚数 24、收藏人数 33、转发人数 6, 视频作者 清华邓博士, 作者简介 the power of explanation 知识星球同名，相关视频：[计算本质] Regex & Finite Automata II 正则表达式&有限自动机，The Golden Rust语言 03: Mut Ref, Copy, Move, Owner, GC, RC,CustomTypes, PM, Error，The Golden Rust语言 01: overview, types & values, control flow, function，Cache Coherence缓存连贯性，[Bayesian AI 25] 01 overview，[Beauty Python 25] 01 overview what is a Program，08.08 REACT状态机 State Machine,State Transition, Rendering, Rerendering, Immutable，第26课：枚举与状态机，[计算本质] Regex & Finite Automata 正则表达式&有限自动机，[计算本质] Lambda Calculus

[计算本质] Grammar & Pushdown Automata II 语法及下推自动机, 视频播放量 1375、弹幕量 1、点赞数 42、投硬币枚数 12、收藏人数 24、转发人数 3, 视频作者 清华邓博士, 作者简介 the power of explanation 知识星球同名，相关视频：[计算本质] Regex & Finite Automata II 正则表达式&有限自动机，看清了世界的本质以后，但是依然热爱！，大白话半小时理解网络！，[计算本质] Grammar & Pushdown Automata 语法及下推自动机，被打压的本质：看清真相，守护自我价值，不相信有外星人本质还是“傻子共振”，[计算本质] 图灵普照2 RVTM: TM for riscv，CNC编程一天的日常，工厂实录。，20.01 Camera Calibration，把CPU拆到只剩一个晶体管，带你从零看懂计算机底层原理！| 晶体管 / 锁存器 / 寄存器 / 数据总线 / 地址总线 / 汇编语言 / 周期

最速传说：四个月内用 Rust 开发出服务全球的云数据库 ScopeDBThe Fastest Legend: Developing the Global Cloud Database ScopeDB with Rust in Four Months陈梓立, ScopeDB 联合创始人Zili Chen, Co-founder of ScopeDB云原生技术方兴未艾已十余年，但云上的数据方案大多还, 视频播放量 271、弹幕量 0、点赞数 9、投硬币枚数 2、收藏人数 5、转发人数 0, 视频作者 Rust语言中文社区, 作者简介 Rust语言中文社区官方Bilibili账号，用于发布社区活动视频，直播等。，相关视频：迈向易用的Rust，任意规模的通信，Rust + BLE：从技术验证到量产落地，愿景文档：Rust的下一个十年，通过Rust规范实现制度记忆与延续，【中英】LLVM-IR 教程：看懂编译器的中间语言，Rust x AI：为中小投资者打造安全、高效的新一代策略工具，开放原子旋武开源社区的生态愿景，赞助商非凸科技致辞，17小时最全Web3教程：ERC20，NFT，Hardhat，CCIP跨链

第7讲 逆境还是机遇是【哈佛大学】积极心理学 Talben Shahar（全23讲）的第7集视频，该合集共计23集，视频收藏或关注UP主，及时了解更多相关视频内容。