Is there an extension that allows for automatic stashing on branch switch like GitHub desktop does?

There was an a proposal about it, but it got declined: https://github.com/microsoft/vscode/issues/86668

Hi,

I want to sort my bookmarks in Firefox with home-manager into folders, but fail.

Simple example:

firefox = {
      profiles."user" = {
        bookmarks = [
          {
            name = "Nix";
            toolbar = true;
            bookmarks = [
              {
                name = "NixOS Search";
                url = "https://search.nixos.org/packages";
              }
              {
                name = "NixOS Options";
                url = "https://nixos.org/manual/nixos/unstable/options";
              }
              {
                name = "Home-Manager Options";
                url = "https://nix-community.github.io/home-manager/options.xhtml";
              }
              {
                name = "Home-Manager Options Search";
                url = "https://home-manager-options.extranix.com/";
              }
            ];
          }
        ];
      };

My assumption was that I get a folder "Nix" in the bookmarks toolbar that contains the four bookmarks. But instead the four bookmarks are added to the toolbar side-by-side without being in a folder.

How can I achieve that?

I can do this manually using the following: Right-click on the video player, copy debug info, paste into text editor, and Ctrl+F for "addocid".

What is the best way to do this automatically?

By modifying an ad accelerator I found, I can reliably detect when a pre-roll ad is playing:

function handleVideoAd() {
	const video = document.querySelector('video');
	const adElement = document.querySelector('.video-ads.ytp-ad-module');
	if (video && adElement && adElement.children.length > 0) {
		alert('advertisement found!')
	}
}

function initializeAdHandling() {
	handleVideoAd();
	const observer = new MutationObserver(handleVideoAd);
	observer.observe(document.body, { childList: true, subtree: true });
}
initializeAdHandling()

If I had the video ID, I could then open the video in a new tab using something like:

window.open('https://www.youtube.com/watch?v=adVideoID');

However, I am at a bit of a loss as to how to extract the ad video ID itself.

In the browser inspector, the only places I can find the ad video ID are:

1. Within the URL for ytp-cued-thumbnail-overlay-image
2. As adVideoId within var ytInitialPlayerResponse, which itself is within <script nonce="rwc3vYf3vRLEyNQKsJOgig">, where rwc3vYf3vRLEyNQKsJOgig changes with every video.

What would be the best way to extract the advertisement video ID?

Apologies for if I'm going about this the wrong way. I am (very!) new to JavaScript, but interested in learning. Please let me know if I've broken any community rules, or committed any other sort of faux pas. Thanks! :)

cross-posted from: https://beehaw.org/post/13830031

Just learning LaTeX; apologies for the noobie-type question.

Hello. Like many of you I've been affected by the wave of layoffs and am struggling to even get a response for most of my applications.

I've recently been talking to a local manufacturing plant about employment regarding full stack development, but they told me they would only be willing to contract me. While this still leaves me without health insurance (USA), beggars can't be choosers.

The issue is, I'm early in my career and have never dabbled in contract work. They haven't been specific about what they want to contract me for as well, just asked me for an hourly rate.

I unfortunately have to dox myself, but I would really appreciate if anyone could take a look over my portfolio/resume and let me know what my worth is. Granted I would likely charge more if I was writing them a high performance Rust program as compared to some Python scripts, but I don't think I have the luxury of nuance.

Thank you, I appreciate it.

https://johnrigoni.me

Aside: I have an appointment to get a professional headshot next week, I know it's not great.

"Raspberry Pi Ltd, a leader in low-cost, high-performance computing, announces that it is considering an initial public offering (the "IPO" or the "Offer") and that it intends to publish today a registration document (the "Registration Document"). The Company is considering applying for admission of its ordinary shares to the premium listing segment of the Official List of the FCA and to trading on the Main Market of the London Stock Exchange ("Admission")."

Invalid SSL certificate Error code 526

Including for me.programming.dev

I have been using sway (basically i3 for Wayland) instead of a traditional desktop environment because it really makes a difference in my laptops performance.

But apparently sway ignores .desktop files which was how i was autostarting things on KDE.

Is the best way to handle this by going through the sway config? If not, how would you do it.

Bonus points if you can tell me how to get the autostart programs to also open in specific workspaces.

Livestream: https://www.youtube.com/watch?v=T8TZQ6k4SLE

Agenda: https://conf.react.dev/agenda

cross-posted from: https://lemmy.world/post/15433712

State of HTML 2023

Results of the State of HTML 2023 Survey are out.

Results of the State of HTML 2023 Survey are out.

Around two years ago I was on a really small team, just two or three developers, and the other developer decided they wanted us to use Rider. Because I didn't have a preference, I used Rider and rather enjoyed it. However, that developer has since moved teams and now it is just me (for the time being).

So I was considering moving back to Visual Studio or even switching to Visual Studio Code, but I wanted to see some arguments against this.

Here is my list so far, but it's probably out of date since I haven't used Visual Studio in a long time.

Pros of Rider:

• Much faster than using ReSharper
• Less sharp interface with a better font
• I'm used to it at this point
• I have a Nyan cat loading bar which is kind of fun

Cons of Rider:

• Enterprise license is expensive (probably)
• New versions of C# aren't immediately supported
• Refactorings are becoming less necessary with the rise of AI assistants
• Don't really like their source control manager

Wanted to hear what other users think. What keeps you using Rider?

Better design, new features and readme.

... and this is the most popular open source LaTeX book on github ❤️

https://github.com/AnMnv/eBook

Better design, new features and readme.

... and this is the most popular open source LaTeX book on github ❤️

https://github.com/AnMnv/eBook

Better design, new features and readme.

... and this is the most popular open source LaTeX book on github ❤️

https://github.com/AnMnv/eBook

From README:

At the heart of coq-of-rust is the translation of Rust programs to the proof system Coq 🐓. Once some Rust code is translated to Coq, it can then be verified using standard proof techniques.

Here is an example of a Rust function:

fn add_one(x: u32) -> u32 {
    x + 1
}

Running coq-of-rust, it translates in Coq to:

Definition add_one (τ : list Ty.t) (α : list Value.t) : M :=
  match τ, α with
  | [], [ x ] =>
    ltac:(M.monadic
      (let x := M.alloc (| x |) in
      BinOp.Panic.add (| M.read (| x |), Value.Integer Integer.U32 1 |)))
  | _, _ => M.impossible
  end.

Functions such as BinOp.Panic.add are part of the standard library for Rust in Coq that we provide. We can then express and verify specifications on the code in Coq.

Blog:

• Improvements in the Rust translation to Coq, part 1, part 2, part 3
• Monadic notation for the Rust translation
• Translation of Rust's core and alloc crates

The same group also recently started coq-of-python, which is the same thing but for Python:

• Translation of Python code to Coq
• Simulation of Python code in Coq

Alternate Rust-to-_ translators:

• Hax: Translate Rust to Coq (like above) or F*.
• Aeneas + Charon: Translate Rust's MIR to pure lambda calculus / F* / Coq / HOL / Lean. Currently has some strict limitations like no nested loops or closures. Paper: Aeneas: Rust verification by functional translation.

Other Rust formal verification projects:

• Creusot: Formally verifies Rust code with annotations representing preconditions/postconditions/assertions, by translating the MIR to Why3 then solving.
• Kani: Formally verifies Rust code with annotations, by using model checking powered by CBMC.
• Verus: Formally verifies a Rust DSL with syntax extensions to represent preconditions/postconditions/assertions, by using the Z3 SMT solver.