Enigma Lav

Failed to install buckaroo on mac with homebrew

9

Hello. I tried to install the utility with this command (`brew install loopperfect/lp/buckaroo`) from getting started section, but the installation failed with these errors: ``` Error: Invalid formula: /usr/local/Homebrew/Library/Taps/loopperfect/homebrew-lp/[email protected] [email protected]:...

Pattern alternative binding empty type does not cause redundant alternative warning

10

So, lean has coverage checking in pattern-matching, e.g. this code... ```lean def v : Option Bool -> Bool | .none => false -- | .some _ => true ``` ...does...

[Issue]: Linux system cant properly enter sleep mode because of amdgpu driver

17

### Problem Description Hi, I observe my computer sometimes cannot enter the sleep mode. `linux` : `6.8.0-40-generic #40~22.04.3-Ubuntu SMP PREEMPT_DYNAMIC Tue Jul 30 17:30:19 UTC 2 x86_64 x86_64 x86_64 GNU/Linux`...