Yuxuan Sun

个人页面无法查看小说收藏-非公开

1

选择非公开无效，仍然显示公开收藏； 在iOS/Android端Pixez均可复现，使用网页端pixiv可正常查看

See https://github.com/catppuccin/starship/commit/0cf91419f9649e9a47bb5c85797e4b83ecefe45c

Formal Method, Type Theory: init

5

Add Logic - Formal Method, Math/Logic Preliminaries - Type Theory. Not sure if they are correctly classified. Restrictions: - Formal Method currently includes only Coq-related materials. For other proof assistants...

Several problems about build targets

3

Several targets in Makefile (correct if I got it wrong): 1. Standalone emulator targets (e.g. `pydrofoil-riscv`) is built with PyPy2 + RPython for codegen. 2. PyPy interpreter with bundled emulator...

https://github.com/shezdy/hyprsplit/blob/a1f95ac05279ede3e4b6926464f1ba10d4d8a128/flake.nix#L31C1-L38C20 ``` src = if (commitPins ? ${hyprland.rev}) && (self ? rev) then (builtins.fetchGit { url = "https://github.com/shezdy/hyprsplit"; rev = srcRev; }) else ./.; ``` Fetching source with `builtins.fetchGit` will...

# Bug Report Follows https://github.com/moonbit-community/moonbit-overlay/pull/4#issuecomment-3194173787 ## Environment Latest moonbit toolchain from moonbit-community/moonbit-overlay ### OS Operating System: NixOS (GNU/Linux) ### MoonBit CLI Tools Version ``` moon 0.1.20250801 (edae1ae 2025-08-01) /nix/store/1zkmgf3xd2r4pig7h0l0dwk3197l8dvw-moonbit-cli-v0.6.24+012953835/bin/moon moonc...

feat(pydrofoil): (WIP) add new reference model with pydrofoil

5

NOTE: 🚧🚧🚧 This PR is under development and may not be usable right now. 🚧🚧🚧 # Background [Pydrofoil](https://github.com/pydrofoil/pydrofoil) is an experimental emulator for various instruction set architectures, which contains a...