Rust documentation issues, still unclaimed

Summary The Par grammar already has language server support in this repository, but editor integration outside VS Code can be improved and made easier to adopt. This issue tracks support and documentation for using the Par language server in other popular editors (for example…

Problem description It would be nice to be able to switch between pyproject.toml and pixi.toml for code snippets in the documentation. This could be done with a selection tab at the top of each code block.

@mooori mentioned that this topic came up in discussions. I'm thinking: Avoid memory allocation. Avoid unaligned memory access (avoid small ints like i8 and i16). Avoid Vec and probably other high-level container types. Use arrays. Felt arithmetic should have near-zero overhead…

Goal Document how legacy v1 ConstraintHints relate to first-class special constraints in OMMX v3, and how users explicitly opt into checked promotion. The relevant implementations are merged: #1193: checked OneHot promotion in Rust. #1197: batch SOS1 Big-M promotion in Rust and…

Follow-up to #589 review comment. The Rust SDK already has create_with_pull_progress and create_detached_with_pull_progress, but they have a few gaps compared to the TS and Python equivalents: Naming inconsistency. Rust is ..._with_pull_progress; TS is createWithProgress; Python…

I just realised Sniffnet still doesn't have a page on Wikipedia 😱 I'll leave this issue here hoping that someone has the time and will to write it down! You can give a look at the Sniffnet blog and my thesis to find more info about the project.

Summary The word("...") syntax for deriving a Word constant from a string hash is widely used (especially for named storage slot IDs) but is not documented in the assembly reference. Details The code organization docs document word constants declared as arrays ([1,2,3,4]) and hex…

Overview This issue serves as a place to document and collect information about Lenovo devices that have been successfully tested and confirmed to work with the Lenovo UEFI Boot Logo Changer tool. Currently Documented Devices 🔴 ThinkPad ThinkPad E14 Thinkpad T14P Gen 1 ThinkPad…

Line 57 of rosenpass/tests/main-fn-generates-manpages.rs calls let res: std::process::Output = std::process::Command::new("man").arg(path).output()?; which makes the test (and by extension cargo test for the entire repo) fail if "man" is not installed on the system. Probably a…