- 0 Posts
- 5 Comments
Joined 2 years ago
Cake day: July 3rd, 2023
You are not logged in. If you use a Fediverse account that is able to follow users, you can follow this user.
We have this exact hanging lamp at home from Amazon lol
clericc@lemmy.worldto Programmer Humor@lemmy.ml•Ok, at some point we made a big mistake.31·1 year agoAfter 5 minutes of staring at it: Its typesystem sudoku. Each row and each col in the grid must add up to 15 (T<>), bit each number in the grid must be different (Df<>).
Grid will only be a type alias for the value true (google “Dependent types”) only if all Type Parameters (wich are values) hold up to the Sudoku conditions).
The file would not compile with “true as Grid” when grid type-aliases to false.
Fun to understand.
EDIT: too late
clericc@lemmy.worldto World News@lemmy.world•Czech Republic to build 4 new reactorsEnglish53·1 year agoat least we’ll have energy when sun or wind are available, as opposed to having to buy energy because nucular plant shuts down or never got finished
A graph for PV production (green), Grid import/export (red), home power usage (yellow) and wallbox charging power (cyan).
Some power-related Sensors. Then window shutters, then settings for Car max charge and wallbox max. from-grid power usage.
Still working on being able to change the wallbox mode between PV/max power. Does anyone know good card for a Enum selection card?