krasi0

Perhaps, if we encourage more people to use privacy preserving tools like Tor browser, signal, etc., then privacy for everyone will be normalized again. One can only hope

And if you're only interested in preserving just some Wiki pages, this browser extension with some automation on top will do the perfect job: https://github.com/gildas-lormeau/SingleFile No affiliation, just a happy user :)

Yet another gem by the genius Fabrice B!

I kinda understand why he would not release the source code. Perhaps, he's finally decided to monetize some of his coding skills. Maybe in the future, he'll start releasing some of those newer and bigger models to the public given that other big corps like FB have started already doing so (GPT-NeoX and OPT - as mentioned in the sibling comment by infinityio)

Great work! Is there a similar project for (local) text generation (NLP) on a CPU + lots of RAM. I mean something transformers-based and of similar quality to GPT-3 (i.e. better than GPT-2). I understand that each prompt would take almost forever to complete but still curious if something like that exists

I am surprised that there have been no responses to your question as this would be like the holly grail for people interested in privacy oriented and robust peer to peer messaging. I wouldn't be able to add much know how to the technical aspects unfortunately.

Yup, getting a few of these each day and manually marking them as Spam (to no avail). Not sure how GMAIL's filter is missing them. A simple regex matcher would catch 99% of those. It seems like even the gmail registration process for the SPAM accounts has been automated?

Some other examples: Чарльз Некрасов <qxazagesuf@gmail.com> Фома Авдеев <tpewixicig@gmail.com> Порфирий Угримов <solodqez@g...

Quite similar is the situation in neighbouring Bulgaria and I am sure the rest of the Balkan countries as well.

I wish they tried to tackle StarCraft 1 BroodWar AI where the game is (arguably) even harder than SC 2. Besides, there's a healthy BroodWar AI community with some very strong AIs out there.

This is your typical modern "objective" journalism today. The only thing not clear is whoose financial and / or political interests they are trying to boost today. Follow the money / power, I guess?

The same situation in many developing countries around the world. The local taxi cartels have been using lobbying and outright violence to keep ride-sharing services away / banned.

Of all the natural predators mentioned above, only dragonflies make a real difference. It's night and day in the same area depending on whether there's a healthy population of dragonflies nearby.

In some parts of the world, the suffering that you describe already lasts 9+ months of the year. Mosquito swarms literally eat you alive while outside.

I really recommend getting into StarCraft 1 BroodWar AI development using BWAPI. OpenBW is open source and there's a thriving and helpful community around bot development. A lot of tournaments / competitions and video casts too. You won't regret it. Search for the SSCAIT Discord link. (I am on mobile and don't have it handy).

This sounds great to be honest. Which country is that if I may ask?

Let's not forget that there are many regions in the world (say in the middle East or Africa) where the situation is constantly volatile to put it mildly and where a nuclear power plant would be impossible to be secured properly against insurgency.

If you mean in terms of stopping climate change, then it doesn't look like it...

What was the temperature and the weather like during this part of the year?

Then why not embed a Prolog engine which being Turing complete is much more powerful and expressive than Datalog?

So what is a good and healthy way to address the situation aside from eating something? Using an insulin pump?

Interesting. I guess your driving factor was that you can use those directly from Python. How's the performance (with many many rules)?

This is the the tip[0] that worked for me to restore the lost tabs into an older (safe) version of TGS 7.1.6 which Google can't kill ;)

https://github.com/greatsuspender/thegreatsuspender/issues/1...

Which forward-chaining engine do you use? Something based on prolog?

You may be interested in BWAPI. An API for developing StarCraft 1 BroodWar AI. The community around it is amazing and there are a few yearly competitions. The current top bots are very strong already.

https://github.com/bwapi/bwapi

How well does solar work in Poland? I mean given that the country is so far north. I would expect wind power generation to be more suitable, especially close to the sea shore.

Is your complete build posted somewhere (for example pcpartpicker) ? Thanks

Ah, gotcha. That makes sense. I really appreciate your help with the above code. I've been meaning to get deeper into the wonderful world of Z3 for a while now and it seems like the time has come :)

The trick with the `while` loop is smart! ;) Exactly what I wanted to achieve. Thanks!

In your first post, you mentioned that the Z3 (which I agree with you is awesome!) solution is less clever than the generic Python one. What additional changes would you implement in order to make it more clever or did you mean something else entirely?

Sorry for the late reply. I don't get notified on replies to my posts. Thanks for the posted solution. It seems to work fine.

I am trying to understand what is happening on line 18 (what's the * operator in front of `answers[:4]` for?) and wondering if it could be re-written more generically based on the output of line 14 (i.e. by saving the result from the first `.solve(constraints)` call on line 14 and automatically appending it as a constraint of something to reject on line 18. Does that make sense?

Could you please post the `fixed` solution in a separate gist? Thanks!

And for those interested in making their own AI to play Starcraft 1 BroodWar and become a part of the huge BroodWar AI community (get in touch on Discord at: https://discord.gg/w9wRRrF), they can follow the following tutorial: https://sscaitournament.com/index.php?action=tutorial

Your AI would then be able to participate in tournaments and fight other AIs on the existing ladders.

Additionally, one could watch BW bots fighting each other on: https://www.twitch.tv/sscait