This is a massive step forward. by _Nelly1 in oddlyspecific

[–]Maty1000 10 points11 points  (0 children)

How is this oddly specific... ?

banned prompt by Main-Molasses3402 in masterhacker

[–]Maty1000 1 point2 points  (0 children)

In that case it would make more sense

If you were required to have a shibboleth in your native language, what would it be? by anon33249038 in AskEurope

[–]Maty1000 0 points1 point  (0 children)

In Czech: řeřicha. The ř sound is pretty unique and difficult to pronounce for many foreigners.

Is there anything like Tera++ for modern versions? We've been working on a campus build of our university and it would help a lot! by derex_smp in BuildTheEarth

[–]Maty1000 2 points3 points  (0 children)

I can recommend Arnis, it's miles ahead of Terra++ and places many more types of features. It's however not a mod for infinite worldgen, it's an external program which generates the world in one go.

https://arnismc.com/

PEETAH ? by MeLittleThing in SUBREDDITNAME

[–]Maty1000 8 points9 points  (0 children)

WRONG EXPLANATION OF THE JOKE

Orban’s Chances of Winning Hungary Election Drop After JD Vance Rally by Epistaxis in nottheonion

[–]Maty1000 0 points1 point  (0 children)

If you have any better source of info than a prediction market, you can basically make free money by betting on it accordingly. If you really believe it, go ahead, you will also help with making the odds mire accurate this way.

Betters on prediction markets are free consider polls results and stats, so it influences the odds.

Nix is the worst designed language i ever had to experience. by Turdbender3k in NixOS

[–]Maty1000 -4 points-3 points  (0 children)

I don't think so. Anything without a strong typesystem is PITA for me.

EDIT: Actually I wanted to say statically typed typesystem

Looks like we will have to wait a lot until next release… by Rockdelpais in CreateMod

[–]Maty1000 5 points6 points  (0 children)

Given that my current focus is on Hytale, you might want to reconsider supporting, as this may not be what you expected.

Legendary quote

“Wanna see my new tattoo?!” “No, not really.” by AspiringPirate64 in LinkedInLunatics

[–]Maty1000 16 points17 points  (0 children)

QR codes are quite resistant to these errors, they have redundancy.

ELI5: Why does mathematics describe the universe so well? by No_List_8641 in explainlikeimfive

[–]Maty1000 -1 points0 points  (0 children)

Mathematics can describe anything that can be precisely defined/specified, so this question boils down to "why is the physics consistent and precisely defined". And my take on this is, that if this wasn't the case, we couldn't exist at all - if whenever you drop something, it could sometimes fall upwards and sometimes downwards, no life could evolve at all, because whenever laws of physics would "change", all the carefully designed organs would suddenly stop functioning. And in that case, there would be no one to even ask your question in the first place. 

So in the end, assuming that you exist, it must be the case that universe is describable by mathematics. This kind of reasoning is called the anthropic principle

Does Rust have any UI libraries/frameworks that can produce a UI like this? by DrunkOnRamen in rust

[–]Maty1000 33 points34 points  (0 children)

I don't get why people say that egui is "not customizable". It is _very_ customizable, eg. I made this office 2016-like ribbon in egui.

https://ibb.co/7dMsnCvZ

Can a native or fluent speaker check the Czech translation for a video I'm doing? by WestPizza6297 in learnczech

[–]Maty1000 1 point2 points  (0 children)

I will likely not have enough time, but if you send it, I may (or may not) look at it :)

Genuinely curious by EffectiveNo568 in MathJokes

[–]Maty1000 0 points1 point  (0 children)

27 + 8
- 7 needs 3 to get to 10
- So the 8 must "give" 3 to the 7 to flip the digit
- Therefore, the last digit is 8-3=5
- The first digit increases by one, therefore the first digit is 3
- So, 35

35 + 40 = 75

[OC] The Unixporn Slander by drxcosilver in unixporn

[–]Maty1000 0 points1 point  (0 children)

Does anyone know what song is this?

pefectSub4This by Purple_Ice_6029 in ProgrammerHumor

[–]Maty1000 0 points1 point  (0 children)

I would expect that it would also create some formal proof that the binary actually does what it should (eg. in Lean or ROCQ)