#os #rust #zig
- Memory Safety Features in Zig
    - very well summarized, with great examples
- Reservoir Sampling
- You can use C-Reduce for any language
- Rust Dependencies scare Me
    - a comment reminds me of Build It Yourself
- What's in an e-graph?
- A catalog of ways to generate SSA

#agent #gpu #idea #interop #os #software #web #zig
- Why transformers need adam: A hessian perspective[zhang2024transformers]
    - insightful, and well summarized related work
- trying to figure out a way to let AI agent to read all papers citing an paper, and write a summary of the follow-up research
- The magic of software; or, what makes a good engineer also makes a good engineering organization
    -  "Engineers are most capable and most effective when abstraction layers serve as shorthand for an understanding of what it is doing on your behalf, rather than a black box"
    - "start with deep understanding as the basis for innovation – cultivating the curiosity to look inside the black boxes"
    -  "The magic of both software and software organizations comes from those moments where insight into how something works sparks entirely new ideas about what it could become"
    - related: Reinvent the Wheel
- Implement your language twice
    - Futhark is a statically typed, data-parallel, and purely functional array language with AoT compilation to CUDA, OpenCL, HIP, and WebGPU (WIP)
    - also Comparing the performance of OpenCL, CUDA, and HIP
- Objective-C interop with Zig?
- got zig to work inside lima with minimal setup

#ebpf #os #rust #tui #zig
- Zig’s Low-Level Safety Features Leave Rust in the Dust
- found Parallel, Concurrent and Distributed Programming in Scala
- found nnd: A TUI alternative to gdb
- found A part of the fundamental group of an n-dimensional beanA
- Building a regex engine in C++
- wondering about chaos engineering in Zig with eBPF #ebpf
    - learn more about zbpf
    - maybe it's easiest to use lima to test eBPF
    - found Pixie when reading Debugging Production: eBPF Chaos
    - Introducing Minderbinder which is in Go
    - Implementing fast TCP fingerprinting with eBPF
        - using Cilium in Go
    - ebpf series - Unnamed Memories
    - Introducing TCP-in-UDP solution (eBPF)
    - Go Allocation Probe (on HN)
    - KernelScript eBPF-centric programming language (on HN) #lang
    - OOMProf - Take a heap profile just before OOMkill using eBPF #chaos
- found alternative open source front-ends for popular internet platforms
- Zig defer Patterns
- Glossary Web Component
- Recreating an iOS Animation with GLSL (interactive tutorial)
- found Argo CD - Declarative Continuous Delivery for k8s
- found bash/POSIX-compatible shell implemented in Rust

#agent #benchmark #blogging #context #formal #game #gpu #news #optimization #os
- LM
    - survey papers
        - A Survey on Inference Engines for Large Language Models: Perspectives on Optimization and Efficiency
        - Low-Precision Training of Large Language Models: Methods, Challenges, and Opportunities
            - sadly, NormalFloat used by QLoRA is excluded from the paper, as it is "specifically designed for pretrained fixed parameters, which only participate in the forward inference stage during training."
    - improvements on reasoning
        - Think on your Feet: Adaptive Thinking via Reinforcement Learning for Social Agents
            - the model is trained to switch between different complexity level of thinking mode based on context for an optimal balance between correct answer and reasoning length
            - the thinking modes are inspired by Hierarchical Cognitive Control Theory (HCCT)
        - RM-R1: Reward Modeling as Reasoning
            - provides good insight into reward modeling and how each training stage boosts the model's performance
    - other
        - Unlearning Sensitive Information in Multimodal LLMs: Benchmark and Attack-Defense Evaluation
            - I'm still interested in unlearning and model editing
- Benchmarking Crimes Meet Formal Verification
    - learn about Systems Benchmarking Crimes
- #zig
    - Implementing a Struct of Arrays
        - Zig has easy-to-use support of SoA via MultiArrayList
        - learn about Data-Oriented Design
        - I can't help but feel that new features of C++ such as reflection is really becoming syntax cancer
    - Reflecting on a year of Gamedev in Zig
    - Jai, the game programming contender
- bringing data to AI, not the other way around
    - The Data Surrender Trap: How Enterprises Are Losing Control in the AI Gold Rush—and the Simple Fix
- lifestyle
    - Protect The Habit
    - skimmed blogging in isolation
- skimmed modern-latex: A short guide to LaTeX that avoids legacy cruft
- The Beauty Of Having A Pi-hole
    - own your own DNS
- An appeal to Apple from Anukari regarding GPU frequency scaling
    - I'm amazed that the author is using GPU to simulate physics for realtime audio