Posted in
Fediverse
It’s five bucks a month and has a lot of functionality.
Yeah, and here 5 bucks is more or less the ~110% of the incomes of most here and in a lot of parts of the world. Also, even for those that have not so bad wages, it’s still sort of a 5% to 10% of their incomes.
For me, i.e., it’s much more because I’m unemployed (because of all of the AI crysis, I’m music producer and in my area it hurts so much).
You don’t notice it, but you live in a privilege bubble and speak bullshit from your high horse while most of us are trying to find out how to survive with less than 100 USD a month while the basic food basket is more than 500 USD.
![search_digits : List Bits64 -> Fin 16 -> Fin 16 -> Config -> Cpu -> IO ()
search_digits candidates len digit_idx config cpu =
case digit_idx of
0 => putStrLn (show candidates)
_ => do
let digit_idx = digit_idx-1
let range = [0..7]
let digits = map (\digit => shiftL digit digit_idx) range
?a
-- The word "0" has a red underline](https://files.mastodon.social/media_attachments/files/117/497/210/549/509/166/original/26994bc9ebbaf962.png)
![The red underline has broken out into the error message
Error: While processing right hand side of main. While processing right hand
side of main,search_digits. When unifying:
Integer
and:
Integer
When unifying:
Fin 16
and:
Nat
Mismatch between: Fin 16 and Nat.
src.puzzle-digits:233:46--233:55
229 | 0 => putStrLn (show candidates)
230 | _ => do
231 | let digit_idx = digit_idx-1
232 | let range = [0..7]
233 | let digits = map (\digit => shiftL digit digit_idx) range](https://files.mastodon.social/media_attachments/files/117/497/213/313/643/853/original/0a8d5e6bc7583f84.png)
