GrigorenkoPV
GrigorenkoPV
I really wish it was possible to view documentation for `kani`-the-lib, the one that provides all the `any`, `assume`, and `proof` stuff. However, since the kani crate on crates.io is...
Proprietary https://www.maplesoft.com/products/Maple/
Drastically reduces the size of build dependencies by not pulling gcc. Before: ```console $ nix -Lv build . --dry-run this derivation will be built: /nix/store/516w6ydn8v54bb5na9lcgwjn4dqpi7yn-xdg-ninja-0.1.0.drv these 54 paths will be...
This flake depends on two versions of nixpkgs: `nixpkgs-unstable` & `nixos-23.05`. From what I can tell, it uses unstable as a fallback for stable. However, this means that both versions...
A trivial rebase of #95982 Should fix #39186 (from what I can tell) Original description: > Fixes #88716 > > * Before this change, when a process was given a...
Trying to send a `.webp` file to a chat where you don't have a permission to send stickers causes a `#400: CHAT_SEND_STICKERS_FORBIDDEN` toast to appear. Trying to send an album...
Implements #34. I did not change the name of the structs like `LeftValues`, because `ValuesLeft` sound more like `ValuesRemaining` than `ValuesOnTheLeft`. (Well, maybe I should've actually renamed it to `ValuesOnTheLeft`,...
`cargo semver-checks` tells me I don't even have to bump the minor version, so I didn't.
# Proposal: Add `{Ref,RefMut}::try_map` method ## Problem statement [The `filter_map` method](https://doc.rust-lang.org/stable/std/cell/struct.Ref.html#method.filter_map) introduced in 1.63 extended [the existing `map` method](https://doc.rust-lang.org/stable/std/cell/struct.Ref.html#method.map) by allowing the conversion to be fallible. However, in case of...