The word, used by computer scientists to mean ‘no value,’ has created long-running challenges

Finally the new Rust 1.85.0 update is here, with a new Rust Edition 2024.

Hello lemmy! I am a underGrad in Delhi, India. This is my portfolio website made with React, Typescript and Tailwind. Please go through it and if possible rate it.

I'm under Windows, so my primary shell will be Powershell, which eats up the commas for some reason.

The University of Pennsylvania offers a free series of books called Software Foundations with the following description:

The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software.

The principal novelty of the series is that every detail is one hundred percent formalized and machine-checked: the entire text of each volume, including the exercises, is literally a "proof script" for the Coq proof assistant.

The series includes Verifiable C, which seems very appealing as a way to avoid some of C's infamous "footguns." I haven't read the series myself, but I might in the future because I like math, logic & programs that do what they're supposed to do.

Are there any materials that would be good as alternatives or complements to this series?

Edit: Adding the Vercors Wiki to the resources in this thread

cross-posted from: https://lemmy.ml/post/26048405

Because, we have here something called "Swiss Qr Bill" (standardized e-bill with Qr code) and some shops send you the bill via email. Would be nice, if i could just tap the qr-image and open with app.

It makes the code icky and hard to debug, and you can simply return new immutable objects for every state change.

EDIT: why not just create a new object and reassign variable to point to the new object

cross-posted from: https://lemmy.ml/post/25903183

I wrote a CLI tool that generates basic scaffolding for all sorts of coding projects, from Zig applications to NPM packages.

Feel free to ask questions or contribute!

I have a samsung smartwatch, and I'd like to make watchfaces for it. The problem is that I tried once and I couldn't find any documentation, not version or basically anything. Somehow, I forgot how, but I managed to print text on a background picture. It was very frankenstein-like.

I'd like to start over with proper everything, so I came here asking on the offchance that any of you can help me with at least documentations. I remember it being in java, however if I can use other languages I would. My mate got the idea to somehow render a webview, because that atleast it's codeable, problem is I have no Idea how to render anything.

Can someone give me links to usable up-to-date docs? Or pre-written webview? I wasn't able to find anything.

Tired of bloated image image viewers? Well, I was too and hence I created a dirt simple image viewer. Build from source or get it straight from AUR.

When I was in high school I found Sublime Text and learned "multiple cursors". Since then, I've transitioned to vscode, mainly because I need LSP (without too much configuration work) for my work.

I keep hearing about how modal editing is faster and I would like to switch to a more performant editor. I've been looking at helix, as the 4th generation of the vi line of editors. Is anyone using it? Is it any good for the main code editor?

The problem that I have is that learning new editing keybindings would probably take me a month of time, before I get to the same amount of productivity (if I ever get here at all). So I'm looking for advice of people who have already done that before.

My code editing does involve a lot of "ctrl-arrow" to move around words, "ctrl-shift-arrow" to select words, "home/end" to move to beginning/end of the line, "ctrl-d" for "new cursor at next occurrence", "shift-alt-down" for "new cursor in the line below", "ctrl-shift-f" for "format file" and a few more to move around using LSP-provided "declaration"/"usages".

I would have to unlearn all of that.

Also, I do use "ctrl-arrow" to edit this post. Have you changed keybindings in firefox too?

Macro keyboards are mini programmable USB keyboards that can be pressed to trigger shortcuts, a sequence of keypresses etc. They can have several layers so switching to a different one will trigger different keypresses from the same key, so e.g. different IDEs can be represented.

I've just bought one with a view to setting up shortcuts for debugging. Each IDE has its own unique keys for navigating through the code, so I figure it'll be nice to just press one key to start debugging and one key to step into instead of a combination of ctrl+whatever etc

Do you use one? If so, what do you use it for and what size do you use? Is it too big / too small?