@ultraman_0xff

@ultraman_0xff / Public archive of Telegram messages.

  • 2025

    • Sep 2025 (7)
    • Aug 2025 (11)
    • Jul 2025 (6)
    • Jun 2025 (28)
RSS feed.    Made with tg-archive
  • 01 September 2025 (1 messages)
  • None None (@ultraman_0xff) #201 10:05 PM, 01 Sep 2025
    https://www.bilibili.com/video/BV1hW42197NZ/?spm_id_from=333.1391.0.0
    The Haskell Unfolder_哔哩哔哩_bilibili

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

  • 03 September 2025 (1 messages)
  • None None (@ultraman_0xff) #202 09:52 PM, 03 Sep 2025
    https://www.youtube.com/watch?v=TCcPqhRaJqc&ab_channel=codingjerk
    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)
  • None None (@ultraman_0xff) #203 07:17 PM, 04 Sep 2025
    https://www.bilibili.com/video/BV1694y1W7z9/?spm_id_from=333.1007.top_right_bar_window_history.content.click&vd_source=37af3cfc547963ae9eb8c855ef7cd537
    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)
  • None None (@ultraman_0xff) #204 02:36 PM, 07 Sep 2025
    https://www.youtube.com/watch?v=BhaBzbzEbKg&t=14s&ab_channel=TsodingDaily
    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)
  • None None (@ultraman_0xff) #205 07:52 PM, 09 Sep 2025
    https://www.youtube.com/watch?v=jVC4DP-8xLM&ab_channel=TigerBeetle
    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)
  • None None (@ultraman_0xff) #206 08:30 AM, 13 Sep 2025
    https://www.bilibili.com/video/BV1GR1PYQEty/?spm_id_from=333.1391.0.0&vd_source=37af3cfc547963ae9eb8c855ef7cd537
    [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

  • None None (@ultraman_0xff) #207 08:30 AM, 13 Sep 2025
    https://www.bilibili.com/video/BV1sK411h7vJ/?spm_id_from=333.1391.0.0
    [计算本质] 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:计算机视觉基础课

  • 01 Sep 2025 (1)
  • 03 Sep 2025 (1)
  • 04 Sep 2025 (1)
  • 07 Sep 2025 (1)
  • 09 Sep 2025 (1)
  • 13 Sep 2025 (2)