Skip to content

Instantly share code, notes, and snippets.

Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@Shika-B
Shika-B / lambda_parser.rs
Created October 6, 2022 17:25
Small lambda-calculus parser using nom
use nom::{
branch::alt,
bytes::complete::{tag, take_while},
character::complete::satisfy,
combinator::map,
IResult,
};
#[derive(Debug)]
pub enum Term {
@Shika-B
Shika-B / fix_discord.md
Last active June 9, 2024 12:04
Discord lagging during long calls on Linux

My discord was lagging increasingly during long calls on my Manjaro installation. I searched a bit on the Wiki but the fix shared there didn't work for. What worked for me is this answer on the Discord support forum, that I will detail a bit here. Start by moving to the right folder:

cd ~/.config/discord/<your_version>/modules/discord_desktop_core

Then, depending on whether you are a javascript developer or not, you may need to install the npm package of your distribution. On Arch/Manjaro, yay -S npm will do. Once this is done, unpack the core.asar file with

npx asar extract core.asar core