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

State of HTML 2023

Results of the State of HTML 2023 Survey are out.

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.

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

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

In SwiftUI, many layout container constructors include a spacing parameter with a default value of nil, which controls the spacing between adjacent views. This article will start with this default parameter to explore the concept of Spacing in SwiftUI in-depth, and share some related tips and considerations.

What is Test Coverage? Test Coverage vs Code Coverage What is the gap to have a true test coverage? How can tracing data improve test coverage? Relation between end-to-end tests and Tracing data Let's get our hands dirty with real code Write integration test using MockWebServer Write end-to-end tests without mocking interactions

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.

#rust #rustlang

When I read the sentence, I was like "Wh... w... how? WHY? ...and OF COURSE it was distributed via FTP, I mean, what else do you use for entertainment in AIX. Or business, for that matter."

(Abuse)

Single HTML element + CSS only

1. Inhale for 4 seconds
2. Hold for 4 seconds
3. Exhale for 4 seconds
4. Hold for 4 seconds

And repeat

Inspired by: https://quietkit.com/box-breathing/

Note: The current Safari version has a bugged linear() implementation that has been fixed in the upcoming version.

I got most of my games run pretty good now with the help of Steam compatibility and Wine now what should I do moving forward, win11 is a strong no go because I heard rumors about Microsoft locking bootloader with software update and I can't stand fucking copilot/edge, should I wait until EOL or do it now? I'm pretty noob when it comes to Linux but I know what distro I'll use (Fedora+KDE). Sorry for bad grammar English is not my first language

This is my entry to The Dusty Old Game Jam. It's the first real boss fight I've ever made, and I think it's coming along nicely.

This is just the first encounter with the boss. Subsequent encounters start the fight immediately. Also got a cool jump attack, and several variety of regular attacks working since I recorded this the other day.

P.s. sorry if the quality is bad. I used OBS to record this, welcome to any suggestions of something else that will get me higher quality video.