Programming

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

Don't. Just don't.

Go on a walk. Feed your dog. Maybe read a fucking book. Do literally anything else.

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.