Programming

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

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.

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.

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!

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?

Hi /c/programming,

I am developing PdfDing - a selfhosted PDF manager, viewer and editor. You can find the repo here.

Today I reached a big milestone as PdfDing reached over 600 stars on github. A good portion of these stars probably comes from being included in the favorite selfhosted apps launched in 2024 on selfh.st.

Here is a quick overview over the project's features:

• Seamless browser based PDF viewing on multiple devices. Remembers current position - continue where you stopped reading
• Stay on top of your PDF collection with multi-level tagging, starring and archiving functionalities
• Edit PDFs by adding annotations, highlighting and drawings
• Clean, intuitive UI with dark mode, inverted color mode and custom theme colors
• SSO support via OIDC
• Share PDFs with an external audience via a link or a QR Code with optional access control
• Markdown Notes
• Progress bars show the reading progress of each PDF at a quick glance

As always I am happy if you star the repo or if someone wants to contribute.

I know little about gradle and have only just started exploring it, so this is just a question out of curiosity.

It's supposedly a language agnostic dependency manager and builder, yet it seems to have only found its niche in Java. C/C++ projects could definitely do with dependency resolution...

I have in mind two options:

• Code in the class being saved/loaded. The flows for each entity/model are in the same place, so it's easy to just have one file open to see all the functionalities of that class, but this means having more code in a single file.
• Code in a dedicated class (like a factory)
  This makes each file smaller, but spreads flows of a single model into different parts of the repo, also because I'm thinking of having a directory /src/models and another like /src/export (or serialize)

What do you guys think?
What's your preferred way to organize the save and load flows?