Vadim Kantorov

Can't open new session by clickin on topmost pixel of `+V` buttons

1

### Windows Terminal version 1.22.10731.0 ### Windows build number 10.0.22631.5189 ### Other Software _No response_ ### Steps to reproduce Should be able to click on topmost pixels of `+` and...

and list exactly what patches they are applying and where Hopefully, these patches can be accepted by upstream PyTorch and HF some day and not be needed :) or at...

[Bug] Cryptic import errors: problems with `unsloth_zoo/compiler.py`

3

Every script launch I'm getting a different error (and the previous one disappears). I've gotten so far: ``` Standard import failed for UnslothBCOTrainer: No module named 'UnslothBCOTrainer'. Using tempfile instead!...

I'm looking to link an "embedded perl" with all libraries linked in statically, including openssl libs. Does `Net::SSLeay` support working with such symbols exported by the `perl` binary itself? (without...

Supporting SQLite might also unlock transparent storing/loading wordpress posts (`wp_posts` table) in bare file system files (akin to Jekyll and other SSR blog engines) and using SQLite vtab (virtual table...

[WSL1] Upgrade to Ubuntu 24.04 from 22.04 fails with missing snap. Possible to work around?

8

### Windows Version Microsoft Windows [Version 10.0.22631.4037] ### WSL Version 2.2.4.0 ### Are you using WSL 1 or WSL 2? - [ ] WSL 2 - [X] WSL 1 ###...

LeanDojo's `REPL/ExtractData.lean` and mods to `REPL/Main.lean` to populate AST

1

- this patch is taken from https://github.com/leanprover-community/repl/compare/master...xinhjBrant:repl:deepseek - minorly updated by me to apply to the recent main branch of REPL - which claims it comes from LeanDojo's https://github.com/lean-dojo/LeanDojo/blob/main/src/lean_dojo/data_extraction/ExtractData.lean This...

This is needed because Lean issues ~100K I/O syscalls when processing mathlib imports. This can stall the whole server, when there are a hundred of parallel REPL processes. So being...

Fork safety

1

Is REPL process / lean state - fork-safe? E.g. is it possible to have a parent REPL process, do all imports there and then just fork this prepared process and...

[feature request] Built-in command timeout support

1

Currently solutions like - https://github.com/project-numina/kimina-lean-server/ - https://github.com/augustepoiroux/LeanInteract have to kill the REPL processes whenever a verification command times out. This leads to having to restart the REPL process which means...