L

Example run: https://github.com/llllvvuu/vscode-solidity/actions/runs/6282710348/job/17062453049 Example published: https://www.npmjs.com/package/@llllvvuu/vscode-solidity-langserver

GitHub Actions secrets are pretty secure, but you could publish manually if you prefer.

Just wanted to share the hack I use for limited functionality (since the `forkawesome` repo and above customizer repo are hard to compile on M1 Mac Ventura): ``` npm i...

EDIT: This feature now seems to exist. For example, the [nix extension takes advantage of it](https://github.com/hasit/zed-nix/blob/16be93e43853105bd33bf072221da9457e1969bd/languages/nix/injections.scm). EDIT 2: I am finding #8795 to be a blocker for many use cases.

I hit this same issue just now, but on this line: https://github.com/unslothai/unsloth/blob/f1951c0f6d3e1f184af93e5d8f5eff6e7834e4b5/unsloth/models/llama.py#L961C9-L961C52 I don't know if this is the best place to fix it, but I changed it to `logits...

If I use this, can I ignore the lr that gets printed out by trainer? (looks like the default linear decay) Or do I need to change the trainer's lr...

The `unusedHavesSuffices` linter was sometimes not going off due to https://github.com/leanprover/lean4/issues/4375, which has now been fixed. Now we can see this issue more easily in nightly-testing: ```lean import Batteries.Tactic.Lint.Misc import...

From what I can tell, the `Ui` class already keeps track of the state globally even after you close the window, so you can just do ``` :cfdo lua require('ssr').replace_confirm()...

OK, different idea for the workflow: #26 Not as automated (this may actually be good) but should get the job done.

> However I think if you want to replace in multiple files, instead of reopening ssr window in next file, it would be better to just not close it! If...