Deschide articolul original într-un tab nou Schimbarea acestei opțiuni se aplică imediat și reîncarcă pagina.
LECTURA
← Înapoi la Urmăritori

The Chrysoberyl

leni.sh/rss.xml
Vizitează site-ul

Cel mai recent articol

Ultima verificare

Urmăritori 0 urmăritori
Articole: 33

  1. Nazrin: A Transposing Atomization Algorithm

    (The Chrysoberyl)

    Searching for treasure?

  2. Announcing the release of Prismriver.lean

    (The Chrysoberyl)

    A Music Formalization Library in Lean 4

  3. Self-Host Concourse CI with NixOS

    (The Chrysoberyl)

  4. Parametric Cosplay Design - Toyosatomimi no Miko (豊聡耳 神子)

    (The Chrysoberyl)

    undefined

  5. Interlude: Fixture ACME Testing a NixOS Configuration

    (The Chrysoberyl)

    No compromise

  6. Topological Intersection Stackup Diagrams

    (The Chrysoberyl)

    Sewing for the Differential Geometer

  7. Cosplay Special Effects in Blender

    (The Chrysoberyl)

    You can do it too

  8. Supersinographic MATP Terminologies / 機械定理証明之超漢文語彙

    (The Chrysoberyl)

  9. A Reproducible Nix-Forgejo Server

    (The Chrysoberyl)

  10. We Must Develop White-Box Artificial Intelligence

    (The Chrysoberyl)

  11. The Future Directions of MATP

    (The Chrysoberyl)

    At ICML'25 AI4Math workshop

  12. Parametric Cosplay Design - Yasaka Kanako (八坂 神奈子)

    (The Chrysoberyl)

    First step towards declarative cosplay design

  13. A Course in Lean 4 at Stanford University

    (The Chrysoberyl)

    The Perfect Math Class

  14. Information Sign: Satisfiability Modulo Theory

    (The Chrysoberyl)

    CDCL and Quantifiers

  15. Information Sign: Search and Coupling

    (The Chrysoberyl)

    Metavariables, Coupling, and Formal Proofs

  16. Singularity for the Impatient

    (The Chrysoberyl)

  17. Announcing the Release of Pantograph and PyPantograph

    (The Chrysoberyl)

    A machine-to-machine proof assistant interface

  18. Cooking: Yuzu Ice Jelly

    (The Chrysoberyl)

    undefined

  19. Unofficial Lean Nix Flake

    (The Chrysoberyl)

    Why?

  20. Lowering the Barrier of Entry of Cosplaying

    (The Chrysoberyl)

    Is it possible?

  21. New Website

    (The Chrysoberyl)

    Overhauling the website for presentation and clarity

  22. Hyprland/Swayfx and Eww Desktop Environment

    (The Chrysoberyl)

  23. Announcing the Release of Pantograph v0.2.13

    (The Chrysoberyl)

    A machine-to-machine proof assistant interface

  24. Trillium Devlog: Calling Lean from Rust

    (The Chrysoberyl)

  25. How I got into Computer Science

    (The Chrysoberyl)

    An unbelievable story

  26. Trillium Devlog: A Rust development environment in Nix

    (The Chrysoberyl)

  27. LatexMk relative directory compilation hook

    (The Chrysoberyl)

    A method for finding project root in emacs

  28. Hyprland/Waybar Desktop Environment

    (The Chrysoberyl)

  29. The Philosophy of Colours

    (The Chrysoberyl)

    How colours impact the cognitive load of the reader

  30. Cooking: Sichuan Fried Pork

    (The Chrysoberyl)

    Sichuan Style Fried Pork adaptable to frying tofu

  31. Doom Emacs

    (The Chrysoberyl)

  32. Cooking: Curry

    (The Chrysoberyl)

    Japanese style flank plate, carrot, and potato curry

  33. Creation of the Stanford Photography Club

    (The Chrysoberyl)

    Reloaded