Davidbrcz

That's Event-B (minus the formal side) with LLM

Dark mode is also about accessibility for some visually impaired users

https://drgrizz.xyz/dark-mode.html

Your doctor ?

I don't know your background, but I would advise focusing on niche job pool (legacy cobol systems, ERP development, defense/safety in Ada projects ...).

You can't convince me that 'safe c++' is not an oxymoron.

And invert color images for the images (https://addons.mozilla.org/en-US/firefox/addon/invert-image/)

It's funny, I've come to regret switching jobs a few times.

Congrats, you have just reinvented the monad

Yes ! nothing like doing support for basic questions to understand the pain points and what can be improved.

Wireless is a gamble, wired works.

So emacs-dired ?

I wouldn't mind if they actually _fix_ features afterward, even if it means breaking change.

I work with C++, but the amount of don't use standard feature X because reason' is crazy.

And if I understand you right, you completely miss the point of the article.

I'm already resorting to tools and workarounds (ie Dark mode reader, invert image extensions, invert colors on phone). But

  - they are workarounds, cumbersome, and don't always work well. 
  - I'm tech-savvy, if you are not and suffer the same condition, you are fucked.

Builtin dark mode on websites and apps would just be net benefit for me for little cost.

I never thought that dark mode could make things less readable. I'll lokk into it. Though I don't know what Pelican offers to switch theme live.

Not being disabled.

God, the dark mode change reading is a blessing !

See https://drgrizz.xyz/dark-mode.html why

systemd is a different kind of a mess though

Logicomix: An Epic Search for Truth is a graphic novel about the foundational quest in mathematics

Dwyer patterns https://matthewbdwyer.github.io/psp/patterns.html

Many good and prolific approaches are non deterministic such as fuzzing or property-based testing,

Sanity, language complexity,

Great list.

I would add ability to build abstraction to model the the problem you are dealing with.

Nothing it more bug prone when everything is a int.

Yes, I put music on and do regular coding while vabing to the music.

Emacs

That should be part of every test suite

You can look into theorem proover (Coq, lean ...) and code extracted from them. A middle ground is FramaC+WP plugin for hoare logic for C.

Some languages like F* are also proof oriented.

Pix4d catch

In that context metacognitive process are the processes used to plan, monitor, and assess one's understanding and performances.

So metacognitive lazyness would be the lack of such processes