Mastodawn

WeetHet Mar 22, 2025

@justkwin okay the forums thread has finally been approved, sorry for replying before it had been

WeetHet Mar 22, 2025

@justkwin https://developer.apple.com/forums/thread/777509

And the gist that has links and the repro sandbox profile:
https://gist.github.com/lf-/8ec3d714fd638873fe5324838c4dae4d#file-repro-md

Sign In - Apple

WeetHet Mar 21, 2025

@justkwin, I'm trying to finally fix Nix/Lix build
sandbox. After we fixed this error:
```
sandbox initialization failed: data object length 65730 exceeds maximum (65535)
```

We are now running into another:
```
failed due to signal 6 (Abort trap: 6), previous mes
sages: Assertion failed: (diff <= INSTR_JUMP_NE_MAX_LENGTH), function push_jne_instr, file serialize.c, line 240.
```
This doesn't seem good. We require your assistance as the best DTS engineer in existence
https://git.lix.systems/lix-project/lix/src/branch/main/lix/libstore/build/local-derivation-goal.cc

lix/lix/libstore/build/local-derivation-goal.cc at main

lix - A modern, delicious implementation of the Nix package manager, focused on correctness, usability, and growth — and committed to doing right by its community

Lix Systems

Show thread

WeetHet Nov 6, 2024

@TodePond fuck indeed

Show thread

WeetHet Sep 14, 2024

@jadi do Scala. In some ways, it's harder than rust but it just might be more compatible with how you think

Show thread

WeetHet Sep 12, 2024

@xameer what are the advantages of this verification style over just using something like Verus?

Show thread

WeetHet Sep 1, 2024

@lina @jlin if it just was slow it would be fine. Contributing to rustc is slow, new features take months or even years to implement. The problem is not speed, it's the roadblocks many maintainers put just to fuck with you

Show thread

WeetHet Aug 31, 2024

@lina the worst part to debug about Rust is actually panics produced by RefCell, because it's something compiler wouldn't help you with a lot, so you have to carefully reproduce the bug

WeetHet Jul 24, 2024

@taxorubio now try shuttle.rs, which also creates infrastructure based on your code

WeetHet Jul 10, 2024

@jakub @fasterthanlime there's already a PR working on fixing that: https://github.com/zed-industries/zed/pull/14034

WIP: Disable binary downloads by mikayla-maki · Pull Request #14034 · zed-industries/zed

fixes #12589 #12354 follow up to #12703 TODO: Implement a setting for globally enabling / disabling binary downloads Node Supermaven & Copilot Built in and extension LSP binaries Report ap...

GitHub