Programming

Hi, I made FuncSug to make GUI programming in the browser easier. It's a new language that aims to enable a clearer and easier code structure.

Can you tell me what you think about it?

Solve mysteries through SQL.

Not sure if off-topic, but what's the best way to go about finding coding gigs at the moment? Need some urgent funds so need to reach out to people somehow.

I think of linkedin as a facebook for businesses leading you open to being spammed by agencies, which I don't really want.

Though I have years of experience of coding across many languages and fields (audio, computer vision, e-commerce backends, etc), and github accounts over the years with some pushes to the core of a few major projects, I haven't really kept the accounts, and past projects have nearly always been back-ends for clients so can't exactly add them to a portfolio.

Languages I'm currently using would be python / php (including symfony and laravel), though happy to switch to javascript/html coding, some c/c++ etc, so I'm not tied to one area I guess.

Is there a decent place to advertise or, is there a better way lately? Thanks

Don't. Just don't.

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

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