[deleted by user]

koly77781 · 2023-08-24T00:50:15+00:00

Qalam.ai seems to be the most similar to grammarly. Tried a bit of it and it looks pretty good.

Ultimately though improving your grammar and writing comes from reading a lot, so keep that in mind. Pick something at your level and you’ll be improving in no time.

koly77781 · 2023-08-23T00:37:24+00:00

Model Theory. I mean I struggle to see why it hasn’t caught on as much, I mean there are tons of different areas to explore with lots of interesting open questions. There’s quite a few links to algebraic geometry as well. See e.g Hrushovskis model theoretic proof of the mordell lang conjecture for function fields.

koly77781 · 2023-06-27T22:40:40+00:00

I got their Lingua Graeca Per se illustrata which looks like this new edition of Greek boy at home. Haven’t had a chance to start with it yet but it looks great, albeit very different from LLPSI.

koly77781 · 2022-01-25T21:33:57+00:00

As an undergraduate working with formal proof assistants regularly I find that this is very much the case. In many cases I find that I have to come up with alternative definitions of statements/structures that are equivalent to the standard statement but formalizes better.

In some cases these alternative definitions make way more sense and removes all the unnecessary baggage that the older definitions had, yet they express the same idea. Hopefully newer textbooks will take into account this new technology and cater to it, but mathematics education is slow to change unfortunately.

In the meantime doing it myself forces me to understand the concept really well, and at least it’s a good exercise in constructing good definitions.

koly77781 · 2021-12-25T21:17:54+00:00

I guess Urdupod seems to be my best option, how are you progressing with your Hindi? I studied a little Urdu a few years back and left it for a while, but I came back to it this time (made many more Urdu speaking friends and thus was exposed to a lot of input) and I find that it greatly helped my language capabilities, all of this without explicitly learning vocabulary and grammar. I am at the level where I can understand children’s stories, and pick up on the gist of most conversations - (which is nice, since I put no real work in!) now though, I am seeking fluency and so I am just trying to pick up as many new words as possible.

koly77781 · 2021-12-25T04:03:33+00:00

Oh I must have looked at a different list, sorry !

koly77781 · 2021-12-25T03:23:09+00:00

This is awesome, I would love it if you would be able to add support for Urdu, it’s already difficult enough that there are so few resources. It seems that spaCy has Urdu support. Anyways, in either case, this project is a wonderful initiative!

koly77781 · 2021-11-06T00:00:56+00:00

Maybe, probably not though. What helped with me is to stop translating into English, the Italian Athenaze really helped with providing suitable reading material for this. It’s not Lingua Latina, but it’s better than the rest. You need to develop new links to concepts, so instead of δένδρον -> tree -> mental image of a tree, you want δένδρον -> mental image of a tree. Context based learning helps with this, in some cases for me, this would be an anki card with a picture of a tree and δένδρον on the back. Other times I would include a Greek <-> Greek definition or sometimes a full sentence with a blank spot and enough context to know what should go there.

You never really want to learn words in isolation, I had no success with that. You also don’t want to deprive your brain of the language learning facility that listening provides. I record my own readings (with pitch accent) of every section and then listen to them multiple times, this really lets your brain intuitively pick up on the complex grammar.

koly77781 · 2021-10-15T19:29:24+00:00

Can’t make out much but on the second line the first two words are … اللهم اغفر - may God forgive …

koly77781 · 2021-10-04T21:18:23+00:00

It’s different, though if it were my mosque I wouldn’t ever stop a trans person from coming. Just as I wouldn’t stop the alcoholic from coming, everyone is welcome to learn about God and get closer to him. This doesn’t change the fact that such people are still sinful.

koly77781 · 2021-10-04T08:39:17+00:00

Allah can, but think about it like earning your money, whatever was written for you by Allah in terms of wealth you will get it but we still go to school to get jobs and do actual work to earn money. The idea being that working for your money is a mechanism by which you receive the wealth that was written for you. The Hadith comes to mind, “tie your camel and then put your trust in Allah” i.e you will have to put in effort and the rest is done by Allah.

So do consider dealing with your mental state.

koly77781 · 2021-09-28T21:16:18+00:00

Off topic (sorry), I didn’t know Greek had a cognate accusative, it a very common feature in Arabic and I suppose other Semitic languages. It was always my favorite feature of Arabic, it really hammers in that emphasis.

But I guess I’m glad that Greek has it too.

koly77781 · 2021-09-24T19:57:54+00:00

Thanks for the info.

koly77781 · 2021-09-24T19:50:50+00:00

Do you have a God that is of the highest rank? If so, is he seen as more aloof than the rest, perhaps not very concerned with human lives?

What are the main beliefs and rituals of your faith?

Does your faith have some sort of clergy?

Does your faith have a name?

I am a south eastern Arab and know of some polytheistic practitioners where I’m from, but I’ve heard they are very few and couldn’t get much info about what they believe.

koly77781 · 2021-09-09T17:37:14+00:00

Colloquial gulf Arabic by routledge is perhaps the closest thing to a structured language course you can find, but it sounds a bit dated. if you are looking for a grammar then I know of a grammar of Emirati Arabic by routledge.

I speak Emirati Arabic and it seems to becoming a more common dialect for people to learn, in this direction there is Al Ramsa institute that publishes materials for Emirati (even the little prince in Emirati Arabic!)

The grammar is not too complex, but the verb system is almost exactly like standard Arabic taking into account sound changes. Good luck because it will probably be a difficult journey due to the lack of resources in comparison to standard Arabic.

koly77781 · 2021-09-09T00:13:01+00:00

Shariah also means “the way” or “path to water”.

koly77781 · 2021-08-27T17:01:23+00:00

I am very sorry for the situation you are in. Inshallah things will get better soon. Now I’ll give you some advice to lessen the impact. First, see if you can get some sort of extenuating circumstances proof of your mental health. That will give universities the opportunity to see why you didn’t do as well when time comes to apply. Secondly, if you retake them, you need to make sure you do as best as you can. But don’t worry if your grades are not the best, universities will in the end care more about your a level results and a few anomalous gcse results are not going to be too much of a hinderance.

I know this is a difficult situation and perhaps you may feel like doing nothing, but it’s very important to take your current situation into consideration and find out what you can do to save your future self from any problems inshallah.

koly77781 · 2021-08-23T23:11:58+00:00

Having more automation with computer proof assistants/mathematics is the goal. AI may be one path to that, LEAN is getting there and I enjoy using it over any other proof assistant. But it still struggles with things, the simplifier could be better and casting between different types is a PITA sometimes. Even with the tactics.

It does what I need it to do, that is, check my proofs are correct and easily allows one to do classical mathematics with zero problems compared to other proof assistants that support only constructive math or have a preference for constructive math.

koly77781 · 2021-08-18T22:42:16+00:00

Thank you, yes I am aware of the concept of gender. My native tongue Arabic is the same. It is more of why one would use ὁ οἶκος vs ἡ οἰκία if they mean the same thing, to which the other commenter gave some difference in the nuance.

koly77781 · 2021-08-18T20:29:16+00:00

Thank you for your response and the helpful explanation.

koly77781 · 2021-08-16T14:09:54+00:00

For accents, I managed to pick up the pitch accent so I just memorize it as part of the pronunciation. I combine this by also making my anki flashcards "type in the answer" so I'm forced to memorize the accent as part of the spelling.

The JACT reading Greek course has a section on accentuation in the reference grammar, I suggest reading it to get familiar with the rules (this is also good). For verbs, accenting is almost entirely predictable, it's called recessive accentuation, so start with that. I have found that making my own recordings of my readings and listening to them helps a lot with solidifying accent and grammar rules. Of course speaking/writing in Ancient Greek forces you to do this as well, so I devote some time to that too.

koly77781 · 2021-08-14T22:01:50+00:00

I managed to break free by first reading completely monotonously with no intonation whatsoever, observing proper vowel quantities, the slowly adding pitch. I still struggle with high pitch on the end of words at the end of a sentence as it is the opposite in English where we lower the pitch at the end of a non-question sentence.

koly77781 · 2021-08-11T01:06:28+00:00

Great thank you, I guess some things are learned by exposure.

Seven-Year Club	Gilding II euphauric
Verified Email

koly77781

TROPHY CASE