Learning diary › Year 2025 › May, 2025 › 2025-05-25 [2025-05-25]

✍️source

#formal #haskell #lean #ocaml #os #rust #zig
- Having your compile-time cake and eating it too
    - Hindley-Milner (HM), the most popular human-friendly type system, used in Swift, Rust, Scala, Haskell, OCaml etc.
    - proposed four big features to replace pretty much all Rust macros, including derive ones, while keeping Rust's type system, and achieving (most of) Zig's comptime features
        - `@` or `@=`
        - `Abstract`
        - `TypeInfo` and `Field`
        - `Code` and `parse`
- CAPTCHAs don't work any more for ticket sellers
- Concepts vs type traits
- tachy0n: The last 0day jailbreak
- found Domain Theory Lecture Notes
- generate and read the following DeepWiki:
    - ymndoseijin/zilliam
    - ShabbirHasan1/unsynn
    - AstatineAi/ocaml-forester
    - pygae/galgebra
    - utensil/forest
- use GenSpark to generate Follow-up Research after Formalizing Geometric Algebra in Lean
- Does gratitude increase happiness?