- 01 September 2025 (1 messages)
-
The Haskell Unfolder_哔哩哔哩_bilibili
The Haskell Unfolder共计44条视频,包括:1 unfoldr、2 quantified constraints、3 injectivity等,UP主更多精彩视频,请关注UP账号。
- 03 September 2025 (1 messages)
-
Zig Language | Thoughts After 2 Years
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
- 04 September 2025 (1 messages)
-
Zig Build System & How to Build Software From Source • Andrew Kelley • GOTO_哔哩哔哩_bilibili
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
- 07 September 2025 (1 messages)
-
Haskell is Back!
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
- 09 September 2025 (1 messages)
-
Building Systems, Simply by Matklad
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
- 13 September 2025 (2 messages)
-
[SEI' 24] Modern Systems Programming: Rust and Zig - Aleksey Kladov (matklad)_哔哩哔哩_bilibili
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 正则表达式&有限自动机_哔哩哔哩_bilibili
[计算本质] 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:计算机视觉基础课