Radomír Žemlička
@razemix.mamutovo.cz.ap.brid.gy
JS/TS dev, tech enthusiast, FOSS lover, singer, fan of good music, movies, and literature.
🌉 bridged from ⁂ https://mamutovo.cz/@Razemix, follow @ap.brid.gy to interact
🌉 bridged from ⁂ https://mamutovo.cz/@Razemix, follow @ap.brid.gy to interact
December 17, 2025 at 4:20 PM
@jan_petrus Já ti věřím. Jen je to dost překvapující. 😄
December 16, 2025 at 5:45 PM
@jan_petrus Já ti věřím. Jen je to dost překvapující. 😄
December 16, 2025 at 12:39 PM
Nemocných s infekcemi dýchacích cest přibylo podle údajů Státního zdravotního ústavu za týden skoro o pětinu. Šíří se hlavně chřipka typu A. https://www.irozhlas.cz/zivotni-styl/zdravi/pocet-nemocnych-s-chripkou-typu-a-roste-podle-hlavni-hygienicky-odpovida_2512151546_kvr
December 15, 2025 at 3:40 PM
@ruza To, že ti to hraje v hlavě nebo že slyšíš cover, se právě nepočítá. To bych se vyoutoval sám, budu to zpívat na vánočním koncertě. 😄 Musí to bejt originál.
December 14, 2025 at 10:59 AM
@ruza To, že ti to hraje v hlavě nebo že slyšíš cover, se právě nepočítá. To bych se vyoutoval sám, budu to zpívat na vánočním koncertě. 😄 Musí to bejt originál.
[Advent of Code - Day 10]
This is the first time I had to use an external library to solve a problem during #AdventOfCode. Is it cheating? I don't know. 😄 Learning Z3 was a chore of its own and I simply don't have a morale to write a solver myself. I may come back to it later.
This is the first time I had to use an external library to solve a problem during #AdventOfCode. Is it cheating? I don't know. 😄 Learning Z3 was a chore of its own and I simply don't have a morale to write a solver myself. I may come back to it later.
December 10, 2025 at 7:04 PM
[Advent of Code - Day 10]
This is the first time I had to use an external library to solve a problem during #AdventOfCode. Is it cheating? I don't know. 😄 Learning Z3 was a chore of its own and I simply don't have a morale to write a solver myself. I may come back to it later.
This is the first time I had to use an external library to solve a problem during #AdventOfCode. Is it cheating? I don't know. 😄 Learning Z3 was a chore of its own and I simply don't have a morale to write a solver myself. I may come back to it later.
[Advent of Code - Day 10]
Okay, as it turns out, there are dedicated libraries for ILP, namely `yalps`, which is way faster. 😄 But as a general solver, Z3 is really cool!
#adventofcode
Okay, as it turns out, there are dedicated libraries for ILP, namely `yalps`, which is way faster. 😄 But as a general solver, Z3 is really cool!
#adventofcode
December 10, 2025 at 6:52 PM
[Advent of Code - Day 10]
Okay, as it turns out, there are dedicated libraries for ILP, namely `yalps`, which is way faster. 😄 But as a general solver, Z3 is really cool!
#adventofcode
Okay, as it turns out, there are dedicated libraries for ILP, namely `yalps`, which is way faster. 😄 But as a general solver, Z3 is really cool!
#adventofcode